调和映象对的公共不动点定理

引进集值映象与单值映象对的调和概念，建立了一类调和映象对的公共不动点定理，最后讨论了这类映象的随机不动点的存在性。     

确定Fmin的一个算法

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

综合数据包络分析模型及其软件系统设计

针对实际问题复杂多样、范围广泛,而数据包络分析(DEA)模型本身又种类较多等特点,首先对多种常用的DEA模型进行了分类研究,指出了每类DEA模型在形式上的具体特点。以此为基础给出了一种能够包含各类模型特征的综合DEA模型和相应的目标规划模型。最后,根据目标规划模型中不同参数与不同模型之间的对应关系设计了能判断多种DEA有效性的综合算法和软件系统。     

基于事务线索树的一次扫描关联规则增量挖掘算法

首先将事务数据库压缩存储到一棵事务线索树(TT-tree)的结点上，并建立这些结点的索引表，然后寻找结点索引表的最后结点到根结点的全部路径，这些路径及路径的交集包含了用于挖掘关联规则的频繁集，该算法只需扫描事务数据库一次，由于采用了逆向搜索TT-tree的方法,搜索的时间开销非常少，该算法可以挖掘中短模式的海量数据，具有很好的伸缩性,同时该算法具有增量挖掘的功能，通过大量的实验数据进行比较。该算法的速度约是Apriori算法的10倍。     

一个基于关键字有向图的BCNF分解新算法

FD集中根据左部等价形成划分，划分的各子集根据左部的依赖关系形成一个有向图，有向图中每一个节点的FD可能是一个符合BCNF的子模式的FD，其关键字就是各子集的等价左部。     

集对分析和协商方法在多媒体教学评价中的应用

教学质量评价就是对评价对象的教学目标实现程度评价分析，在一定条件下可以看成集对的例子。结合运筹学多媒体教学实践引入集对分析SPA(Set Pair Analysis)中同异反定量分析思想方法对多媒体教学效果进行评价。对教学环节中不确定性“客观承认、系统描述、定量刻划、具体分析”，可以较为切合实际的找出多媒体教学中的不足与难点，并动态改进教学形式和内容的建议。     

关于子格格的若干性质

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

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

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

S-粗集的副集α-生成粒度

利用S-粗集理论,给出单向副集As(Xσ)的α-生成粒度,双向副集As(X*)的α-生成粒度等概念;提出单向副集As(Xσ)的α-生成粒度特性定理,双向副集As(X*)的α-生成粒度特性定理;给出副集α-生成粒度的存在背景及在风险投资决策估计中的应用.     

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

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