求解大型线性方程组的GATOR方法

本文建立了求解大型方程性方程组Ａｘ＝ｂ的一处新的迭工法－－ＧＡＴＯＲ方法，讨论了系数矩阵Ａ在不同情况下的算法的收敛性问题。     

基于集合分析的数据查询方法

针对具有全称量词及蕴含运算查询构造困难的问题,用数学中集合论工具,分析了这两类查询的本质,得到了关于这两类查询应满足的集合条件的两个定理.应用这两个定理,推导出了实现几类复杂查询的统一查询模式.推出的查询集合条件简单明了,从而使具有全称量词和蕴含运算命题查询的构造更容易理解.典型应用示例验证了基于集合分析数据查询方法的有效性.     

校企合作实践项目教学的深入探索

笔者结合计算机教学的特点,将校企合作的真实项目引入到实践教学中,探索出一条可行的教学路线,取得了较好的效果.     

Hermite正定矩阵的多分裂算法的收敛性

本文研究了系数矩阵为Hermite正定矩阵的解大型线性方程组Ax=b的并行AoR算法.在假定A具有分离形式的前提下,证明了并行多分裂AoR算法的收敛定理.     

计算机上机考试阅卷系统BASIC模块软件设计

介绍了《计算机应用基础》上机考试阅卷系统Ｋ ＢＡＳＩＣ阅卷模块程序设计方法，该模块解决了计算机应用统考中ＢＡＳＩＣ试题自动阅卷问题。本模块采用标准答案文件中与学生答题文件相比较的方法，地一个语句就可以得一个语句的分数，比较合理，适用于各种ＢＡＳＩＣ环境下的ＢＡＳＩＣ程序，为ＢＡＳＩＣ试题的阅卷提供了一个理想的工具。