基于PROLOG元级扩充的知识消化系统

通过对ＴＵＲＢＯ ＰＲＯＬＯＧ进行元级扩充，实现了一个能在知识获取时对新知识进行逻辑一致性检测的实用知识消化系统，所采用的技术和方法对提高微机ＰＲＯＬＯＧ知识库系统的质量和性能有重要参考价值。     

均匀设计抽样的小样本均匀性

文献［８］从理论上给出了均匀设计抽样样本点集的偏差的阶，并随机模拟了大样本的情况。本文通过随机模拟说明，当样本容量较小时，均匀设计抽样的偏差优于其它几种设计和抽样方法。最后，从最大对称差的角度对几种设计和抽样方法进行了比较。     

Hopf Galois扩张和Frobenius扩张

设有限维Hopf代数H作用于代数A.A^H是A在这一作用下的不变子代数．     

因素空间理论与知识表示的数学框架（Ⅰ）──因素空间的公理化定义与描述架

系统地研究因素空间理论及其在知识表示中的应用。介绍因素空间理论的基本思想，修改了原有的因素空间的公理化定义，提出了表达概念的基本工具－－描述架，为建立知识表示的数学框架奠定了基础。     

构造高阶广义M─分形图及对称逃逸时间算法

利用“对称逃逸时间算法”，根据经典的“Ｍａｎｄｅｌｂｒｏｔ－集”的构造方法，构造了一系列高阶多项式的复映射变换：ｆ（ｚ）＝ｚｍ＋ｃ（２≤ｍ≤１０）所显示的高阶广义Ｍａｎｄｅｌｂｒｏｔ－集（简称Ｍ－集或Ｍ－分形图），提供对其定量研究的新材料．这些独特而奇妙的分形图不仅特别令人赏心悦目，而且“被认为是至今所看到的最为复杂的数学研究对象之一     

实方阵正定的一个充分准则

给出了判定实方阵天定的充分准则，并利用该准则证明了判定矩阵Ｈａｄａｍａｒｄ积正定性的两个定理。     

一般Boole空间的单点紧扩张

本文研究了一般Ｂｏｏｌｅ空间的一个特征和Ｂｏｏｌｅ格的一个判定定理。及一般Ｂｏｏｌｅ格的素幻与其单点扩张Ｂｏｏｌｅ格的素幻之间的关系。     

基于WINDOWS的多媒体语言教学系统的研究

介绍一一个自行设计和开发的基于ＷＩＮＤＯＷＳ的多媒体语言教学系统，结合在汉语教学中的应用，对系统的特点，功能，结构和运行和软硬件环境，数据准备，系统软件的设计思想以及实现各功能模块的关键技术作了深入的讨论。     

关系数据库类型系统的扩充

讨论了关系数据库在类型和函数两个方面的扩充问题．对于类型扩充，讨论了特殊类型、抽象数据类型以及语言类型三个方向的扩充；对于函数扩充，讨论了源函数、ＳＱＬ函数和外部函数三个方面的扩充．研究了关系数据库在函数扩充方面出现的动态联编问题     

Banach空间上的单值延拓性质

设A为Banach空间X上的一个有界线性算子. 给出了算子A具有单值延拓性质的特征；利用算子的单值延拓性质, 研究了正则算子的摄动和线性算子的分解.