Modal extension rule

Modal logics are good candidates for a formal theory of agents. The efficiency of reasoning method in modal logics is very important, because it determines whether or not the reasoning method can be widely used in systems based on agent. In this paper, we modify the extension rule theorem proving method we presented before, and then apply it to P-logic that is translated from modal logic by functional transformation. At last, we give the proof of its soundness and completeness.     

矩阵的扩充与紧支撑正交小波

从矩阵的扩充出发给出了尺度因子a=4时紧支撑正交小波的一种构造方法，同时说明了补空间Wj在a=4时可以进一步分解为三个子空间的正交直和，实现Wj的细致化．     

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

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

Hopf Galois扩张和Frobenius扩张

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

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

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

一般Boole空间的单点紧扩张

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

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

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

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

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

Banach空间上的单值延拓性质

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

完全单半群的nil-扩张上的群同余

论述了完全单半群的nil-扩张上的群同余与同余子半群之间的一一对应关系，即每个同余子半群可诱导出一个群同余，而每个群同余的核是一个同余子半群．