关于高等代数与解析几何教学的思考

介绍了当今数学界将高等代数的解析几何合并的思路与措施,阐述了两门基础课合二为一应注重与计算机运用和实际应用相联系的观点,对国内常见的十余种高等代数与解析几何的中、外文版教材作了简要介绍。     

基于关系代数的结构模式识别系统句法分析单元设计

介绍了一种基于关系代数的句法分析单元设计.尝试通过与关系代数模型紧密集成,利用关系数据库系统能够组织和快速检索海量数据的特点,提高句法分析单元的处理复杂文法样本的能力,同时减轻用户的编码负担.在此框架中,部分推导树集合被表示为关系；推理规则集被表示为扩展的关系代数运算.给出了算法实现所需的数据结构和控制结构.从而将句法分析算法完全表示为数据库系统中的一个关系运算过程.最后通过原型系统验证了该方法的可行性.     

Burgers—KdV行波解方程的可积性条件

利用整除定理严格论证了在参数满足特殊关系时Burgers—KdV行波解方程才存在代数曲线解，并且仅在此参数关系下方程是Liouville可积的．     

毅;江苏技术师范学院电气信

?并给出了相应的软件解码方法,该解码方法已成功地在单缆传输电视监控系统中得以实现,大大提高了实时数据通信的有效性和可靠性.Realization of decoding b     

面向对象类测试方法研究

面向对象的软件开发给测试带来了新的挑战。类级测试是面向对象测试过程中的一个重要阶段。本文研究了基于代数规格说明的面向对象类测试方法,构造了一个半自动化的测试框架。公理系统是代数规格说明中的最重要部分,该框架主要基于CLA算法来完成代数规格说明中公理系统的设计和实现,采用GNF方案实现面向对象类级测试中范式半自动化辅助生成工具的设计和实现,最后在此基础上,将GFT算法实现为半自动化辅助工具。     

格蕴涵代数的模型论性质

讨论有关格蕴函代数结构的模型论性质,证明了形式化格蕴函数代数理论Ｔ保子模型,保模型链之并、保模型同态、理论Ｔ不是完备的,也不是模型完备的,因此不存在内在Ｓｋｏｌｅｍ函数。另外,文中借助于超滤概念提出了格蕴函代数簇的超积及格蕴函代数中模糊子集的模糊超积,并进而研究了模糊滤子、模糊关联滤子及模糊子格蕴涵代数的相应性质。     

气泡羽流紊流的应力代数模型及数值分析

本文在文献[1]给出的气—液两相流羽流紊流应力模型的基础上得到了相应的应力代数模型.采用Spalding向前积分有限差分法对气泡羽流紊流场算例在引用一些假设的条件下进行了数值分析,并与Kobus的实验结果进行了比较和分析.