一种基于类数据流的软件测试技术

提出了一种类数据流测试技术，通过类的数据流分析计算出实例变量的定义-使用对信息及成员函数的前置条件和后置条件，匹配函数的前置条件和后置条件为每一定义-使用对产生函数激活序列(即测试用例)．这样产生的测试用例能够发现成员函数与实例变量之间交互作用时发生的错误，并且弥补了传统数据流测试技术的不足，减少了重复测试，提高了测试效率．     

啮合同向双螺杆挤出机螺杆组合及其应用

介绍啮合同向双螺杆挤出机螺杆元件的特性,根据物理机械共混理论及尼龙66的熔融特性,设计出一种用于加工玻璃纤维(简称玻纤)增强尼龙66材料的螺杆组合形式,实验结果表明,玻纤在尼龙66中增强效果显著,螺杆设计合理。     

温度的等价类定义

用现代数学中的等价类概念定义了热力学中的温度概念。     

关于K—可换性与K—正规性

本文证明了对实自共轭迹类算子有Ｔｒ（（ＡＢ）＾２＾ｎ）≤Ｔｒ（Ａ＾２＾ｎ，Ｂ＾２＾ｎ），即Ｋ＝２＾ｎ情形下的Ｈｉｌｂｅｒｔ空间中Ｂｅｌｌｍａｎ不等式；定义了Ｋ－换位子，讨论其若干性质；并给出Ｔｒ（（ＡＡ）＾２＝Ｔｒ（Ａ＾２Ａ）＾２的充要条件，等价定义了正常迹类算子。     

混合超图的星染色

研究混合超图的各种星染色方式及其性质，比较它们之间的关系以及它们与一般超图的染色，星染色的关系，并给出了若干类染色图。     

双圆n边形再探

推广了文献［１］的结果，圆满地解决了广义双圆ｎ（３≤ｎ≤６）边形的存在性问题．     

EDDBMS存取机制的设计与实现

介绍了一种面向对象的工程数据库管理系统的存取机制，根据面向对象语义模型的特点，提出了一种适合于类、对象的存储模型以及一种可查询类层次对象和单类对象的复合对象索引机制，对象标识的选择便于对象的查询，在此之上实现了复杂对象的存储管理     

基于面向对象方法的多智能集成知识系统

基于面向对象方法建立了多智能集成知识系统的一种通用体系结构，使之融合多种形式的知识表达和处理方法．通过语义表和复合对象机制扩展现有的面向对象形式框架，以实现这一体系结构，其中类语义表、继承关系语义表和变量语义表增强面向对象形式框架关于类、继承关系和变量成员的说明性语义，并借助于伴随类的引入使复合对象的表示与面向对象方法的重用性原则一致．     

Smash积与Morita Context环

Morita Context理论是研究环与代数的有效工具(参见[1,4,5]等)。本文首先给出Morita Context环属于正规质类的充要条件。作为应用讨论了Hopf模代数A的不动子代数A~H与Smash积的正规质性之间的关系,推广了文[2,3]中相应结果。     

基于面向对象技术的知识表示模式

该文提出了一种基于面向对象技术的知识表示模式，采用结构对象类来表示知识单元，定义组合运算作为对象间的操作机制，并结合实例具体说明了该表示技术。