若干K凸性的等价条件

就一些K凸性的等价条件作了讨论，证明了几种K凸性在某种条件下是等价的，如当空间X是自反的且X和X*均有（H）性质时，则有7种K凸性等价，当空间X自反且有（H）性质，则有6种K凸性等价。     

一类差分方程的Cm解的存在性和惟一性

讨论了一类较广泛的差分方程G(x,f(x),f(x 1),……,f(x n)=n,x∈R，其中G∈C^m（R^n 2,R),n≥2)，通过采用小挪动映射逼近不动点的方法，对任一整数m≥0，在较弱的条件下证明了该方程的C^m解的存在性和惟一性。     

有限信念集上修正的一种方法

讨论了信念集是有限子句集时的信念修正方法，首先给出了一阶逻辑上求所有极小不协调子集的一个过程，证明了该过程的正确性，讨论了由所有极小不协调的子集来实现信念修正的方法，介绍了我们开发的信念修正的原型系统，最后和相关工作进行了比较。     

基于粗集知识推理的IDSS中的知识表示

 探讨在智能决策支持系统中的知识表达,讨论了属性在知识表达系统中的作用,决策表格形式的知识表达系统的性质、作用以及根据粗集理论(其基本观点是:人类的知识表现为对对象的分类能力)分析处理海量信息中信息的有用特征,通过分析、推理产生最小决策规则.     

广义和强广义一致凸Banach空间

引入了广义一致凸Banach空间和强广义一致凸Banach空间的概念．证明了一致凸Banach空间是强广义一致凸Banach空间，广义一致凸Banach空间X是弱局部一致凸和严格凸的；X中任一元在以0为顶点的闭凸锥中有惟一最佳逼近；强广义一致凸Banach空间中任一元在其闭凸子集中有惟一的最佳逼近元。     

一个广义Ramsey数r(C5,K7)

该文证明了25≤r(C5，K7)≤26。     

粗集理论中的决策表条件属性的简化

根据粗集理论，给出一些概念的新的形式定义，包括决策表、决策表的正区、决策表条件属性的简化、等价关系族对前件Ⅱ型简化等，并讨论了几个等价关系，包括决策表的正区与等价关系族对正区的等价性，决策表条件属性的简化和等价关系族对前件Ⅰ型简化的等价性，协调决策表条件属性的简化和等价关系族对前件Ⅱ型简化的等价性等．     

关于平面点集的凸分解

给定处于一般位置的平面点集S，可将S划分为若干空凸子集使得这些子集的并形成一简单多边形P，并且S的每一个点均位于P的边界上．称P中这样的空凸k-子集为-k-胞腔．令f(S)为S的划分中所含胞腔的最小数，F(n)=max{f(S)：S包含于E^2,|S|=n,无三点共线}．利用构造法将F(n)的下界改进为[n 1/4].     

幺半群中亚同余概念及幺半群的一分类定理

将群中模H左（右）同余概念及有关理论推广到么半群上，给出么半群中模H左（右）亚同余、亚同余概念及么半群的一个分类定理。     

超穷序集及超穷论法

给出了序集Ｗ为半整序集的充要条件是Ｗ的非空真前段有形Ａ（ｘ０）及Ａ「ｘ０」。在半整序集上建立了超穷归纳不原理：设Ｗ是一个半整序集，Ｐ是一个性质，如果下列例题成立，则Ｗ的所有元素均具有性质Ｐ。（１）若α〈ｘ〈β具有性质，则，α，β具有性质Ｐ；（２）一串不具有性质Ｐ的点 极限点亦不具有性质Ｐ。