可拓数学与矛盾问题

本文对可拓数学建构中的几个核心问题进行了初步探讨，分析了可拓数学在研究对象、基本模型、集合基础、逻辑基础等几个方面的特点。     

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

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

区间值函数和Fuzzy值函数的常微分方程解的性质

将普通常微分方程解对初值的连续性和可微性加以推广，得到了区间值函数的常微分方程解对初值的连续性和可微性．在此基础上，应用Ｆｕｚｚｙ集的分解定性，讨论了Ｆｕｚｚｙ值函数的常微分方程解对初值的连续性和可微性．     

Hopf Galois扩张和Frobenius扩张

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

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

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

可实现模糊矩阵的秩

通过对Ｆｕｚｚｙ可实现矩阵的Ｓｃｈｅｉｎ秩、行（列）秩和秩的研究，初步探讨了可实现矩阵的容度和其秩的关系     

运用模糊综合评判法对裁判员工作的评估

运用模糊综合评判法．确定了对足球裁判员工作的综合评判系统与评估指标．建立了模糊综合评判数学模型．给出了评判方法．     

综合替代法的算法与编程实现

提出了综合替代法的一种计算机算法并开发了实用软件．对算法进行了分析．指出了软件开发过程中应注意的问题、给出了实验结果．     

微分差分方程（t）＝f（x（t—1））的周期解

讨论了当ｆ（ｘ）仅在有限区间给出定义时，微分差分方程（ｔ）＝ｆ（ｘ（ｔ－１））周期解的存在性和简单周期解的个数．由于采用了定性分析和构造法相结合的新方法，所得结果改进和拓展了前人的工作．     

一般Boole空间的单点紧扩张

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