一类差分方程的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中的知识表示

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

双解析函数的齐次Riemann边值问题关于边界曲线摄动的稳定性

讨论了当区域边界L发生微小的光滑摄动时，双解析函数的齐次Riemann边值问题的解的稳定性，并给出误差估计．     

关于算子紧空间

在算子开集理论中提出了算子紧空间、算子可数紧空间、算子Lindeloef空间的概念，同时指出算子紧空间是紧空间、s-紧和强紧等空间的推广，并对这类空间所具有的性质进行了一些有益的讨论。     

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

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

一种新的四边形的生成算法

Q-Morph算法在用Delaunay方法形成三角网格的基础上，利用已有的网格拓扑关系，提出一种新的四边形生成算法。采用边界推进法来生成四边形网格。该算法生成的网格具有边界敏感性和方位不敏感性，并且能极大地减少网格中不规则点，很大程度上提高了网格质量。     

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

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

用域-边界元法分析非线性地基梁

利用域－边界元法求解了非线性地基梁。计算实例表明，这各方法在分析非线性问题具有收敛快、稳定性好的特点。