面向对象类测试方法研究

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

格蕴涵代数的模型论性质

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

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

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

空间网格结构的自动成形

依据形式代数理论，用ＦＯＲＴＲＡＮ语言编制了实用程序，使外形比较复杂的球面网壳、椭球形网壳，双曲抛物面形及筒壳等形式的网格结构能够利用计算机自动成形，避免了以往冗长，单调且易于出错的结构成形工作，与计算机辅助图形相结合，既直观又便于修改和检查，通过工程实例为说明形式代数和空间网格结构自动成形中的优越性和很强的实用性。     

关于正互反矩阵代数结构的几个定理

对正互反矩阵集合的代数结构进行了讨论，指出正互反矩阵集合是一个交换群，一致性正互反矩阵集合是正互反矩阵集合的一个不变子群，正互反矩阵集合是一致性正互反矩阵集合与标准型正互反矩阵集合的直积。     

多传感器信息融合分类识别系统中冗余知识判定的关系代数方法

在基于多源信息融合的对象分类识别系统中,信源/传感器数量的增加往往使数据处理量急剧增长,不仅占用大量计算资源,提高运行成本,而且降低了系统可贵的实时性.本文提出用关系代数方法判定由信源传感器提供的知识有无冗余,从而精简和优化信源/传感器资源的配置和组合.     

Frattini子代数为零的Lie代数

证明了特征零代数闭域上的具有交换幂零根基的完备Ｌｉｅ代数的Ｆｒａｔｔｉｎｉ子代数为零。     

具迹抽象类型的代数语义与继承

采用理论计算机科学中的范畴论形式化地描述了具迹抽象数据类型，而对象是该类型满足某些公理约束的一个模型，基于这种观点形式给出了继承的概念。     

基于区间矩阵的时态关系的简化方法

用区间代数能表示不确定的时态关系,可以方便地应用于时态推理,表达能力强。将区间代数及区间矩阵中有端点相等的基本关系去掉,只保留现实世界中真正可能发生的基本关系,大大降低了问题的复杂性,然后,对每个原子矩阵建立一个特征集,用特征集的并运算来取代矩阵的复合运算,提高了计算效率。