确定Fmin的一个算法

构造了一个求解最小函数依赖集Fmin的计算机算法．该算法将求解Fmin的逻辑推理过程包装在一个C 函数之中，通过运行与此函数相配套的程序，可以快速、准确地获得与所给函数依赖集F等价的Fmin从而使求解Fmin的过程方便、快捷．     

关于子格格的若干性质

对由子格格中的链构成的偏序集进行了研究，给出了一类链的长度估计式和一些相关性质，另外，还探讨了模格和分配格的子格格性质，给出了一个格是模格或分配格的子格格的充要条件，最后，给出了部分计算公式在DEA方法中的一些应用．     

连续选择和聚合不动点定理

得到了定义域为非紧、非仿紧，值域为拓扑空间的集值映象的连续选择定理，并且集值映象的连续选择映象的定义域为整个空间而非拓扑空间的一个紧子集，应用连续选择定理，得到了聚合不动点定理，推广了最近一些文献上的相关结论。     

一个求外平面图最小反馈点集的多项式时间算法

如果从一个图中去掉某些顶点后得到的导出子图是无圈图，则所去的那些顶点组成的集合就是原图的反馈点集。本文讨论外平面图的反馈点集并给出了一个求外平面图最小反馈点集的多项式时间算法。     

不分明化拓扑中的几乎分离公理

在不分明化拓扑空间中，利用正则开集、R-邻域和δ-闭包等概念导入了AT0-，AT1-，AT2-，AT3-，AT4-分离公理，并且给出了这5个公理的等价命题以及它们的关系．     

不相容决策信息系统属性核的研究

决策表属性核的计算往往是基于Rough集理论的决策信息系统约简过程的出发点和关键．不相容决策信息系统是信息系统约简处理研究的重点．本文对不相容决策信息系统属性核的计算问题进行研究，证明了Rough集理论代数观和信息观中属性核概念的包含关系，以及几种属性核计算方法所得到的结果之间的包含关系．     

广义粗糙集理论的公理化注记

首先回顾了粗糙集理论的代数表示,给出代数表示与公理化算子的相互关系.特别地,给出了广义粗糙集模型的公理化等价表示.     

用弱优超的概念改造NTU对策中的核心

在NTU对策中推广了弱优超与弱稳定集的概念，对核心中的支付进行了精炼，并讨论了所有不能被弱优超的支付的全体所组成的集合、核心与弱稳定集三者的关系。     

一类本原有向图的第k个顶点指数的研究

广义本原指数的上界和相应的指数集的确定是广义本原指数研究的重要问题.给出了围长为2的n阶本原有向图的第k个顶点指数(expn(k))的上界及相应的指数集.     

分形几何的前沿问题--开集条件与强开集条件

文章讨论开集条件与强开集条件是否等价的问题.