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

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

四氯二苯并对二噁英的从头算和密度泛函理论研究

用HF/6—311G**和B3LYP／6—311G**方法全优化计算22个四氯二苯并对二噁英(简称TCDD)分子，预言了能量最低的异构体不是毒性最大的2，3，7，8-TCDD，而是1，3，6，8-TCDD，这一结论与以前采用AMl和PM3方法得到的结论不同。得到的异构体相对稳定性次序与垃圾焚烧炉中生成的异构体的百分比次序基本一致，说明焚烧炉中产生的，TCDD主要受热力学控制。     

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

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

关于算子紧空间

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

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

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

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

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

仿生氧化偶联合成苯并二氢呋喃新木脂素 Balanophonin

以廉价易得的香草醛和丙二酸为原料，经knoevenagel缩合反应、酯化、仿生氧化偶联、还原和氧化等5步反应(总产率22％)制得苯并二氢呋喃新木脂素Balanophonin 1，其中两分子阿魏酸甲酯5经Ag2O仿生氧化偶联成为它的二聚体6是本合成路线的关键步骤。     

广义Ramsey数p(n,k)的若干性质

设n ,k≥ 3为自然数 ,p(n ,k)是最小的正整数p ,使得对任何阶图G ,或者G有n点导出子图至少有n - 1条边 ,或者G有k点独立集 ,则本文证明 :( 1 )p(n ,k) ≥max{p(n ,k-1 ) ,p(n- 1 ,k) },( 2 )当n<3k - 4时有p(n ,k) ≥ 2k- 2 + [n/3],这里 [·]是最大取整函数 .     

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

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

超穷序集及超穷论法

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