面向对象的模糊知识表达及推理

首先介绍了加权模糊逻辑及其在推理中的应用，讨论了面向对象的程序设计技术及面向对象的知识表达，提出了一种集框架、规则、过程于一体的面向对象的知识表达方法，介绍了呆推理机、方法推理机、规则推理机及元推理机的作用，并着重讨论了规则推理机的工作原理。     

自反BCK—代数

本文在BCK-代数中引进稳定子的概念，并定义一类特殊的BCK-代数——自反BCK-代数，证明自反BCK-代数的概念与半单BCK-代数的概念是一致的。同时对于有限BCK-代数还得到它是自反的一个充要条件。     

模糊逻辑函数中短语的可消性

设Ｆ＝ａＰ＋ａ＿１Ｐ＿１＋……＋ａ＿ｍＰ＿ｍ是非冗余析取范式，本文获得了当ａ＞０．５时，ａＰ可消当且仅当ａＰ是冗余项，当ａ≤０．５时，给出了ａＰ可消的一个判别准则，然后归纳出短语可消性的判定法则。     

考虑两种不确定性的模糊决策方法

本文提出了一种新的考虑两种不确定性的模糊决策方法。该方法采用贴近测度SM和阈值λ以决定是否启用某条规则,井用修正函数MF修正推出的结论;然后,再利用专家对规则的置信度SC再一次校正修正后的结论。这种决策方法将为专家系统提供有效的推理工具。本文最后,提出了算法及例子。     

Fuzzy拓扑共生预序空间

文[1]给出了研究拓扑空间,邻近空间,一致空间的统一化理论的方法,提出了拓扑共生结构的概念。文[3,4]引入了Fuzzy拓扑共生结构,初步研究了Fuzzy拓扑,Fuzzy邻近结构,Fuzzy一致结构的统一化问题,文[5]讨论了Fuzzy拓扑共生结构生成     

理想微裂纹系统中的随机扩展效应

本文讨论了在理想微裂纹系统中,由于微裂纹的随机性扩展,对微裂纹统计演化产生的效应。文中提供了一般的理论框架,给出了便于处理的转移概率的表达式。最后,用数值计算的例子展示了随机模型的统计演化特征,并比较了与确定性扩展模型下统计演化的异同。     

多项式理想准素分解的算法

讨论了多项式理想准素分解的算法,对于理想坐标变换中关键的“一般位置”的计算,给出了一个确定算法,并建立了特别规范Groebner基的概念,利用这一概念及文中提供的相应算法,可以方便地计算理想的维数,进而使用降维的方法来得到高维理想的准素分解。     

有关Fuzzy命题否定的数学表示

本文在[1]的基础上,对Fuzzy命题的否定形式的数学表示做了更进一步的研究,使其更符合自然语言(汉语)的规律。     

λ-可加模糊测度的一般形式及分布特征

指出在信息处理与决策中应用λ-可加模糊信息测度评价信息的必要性。讨论λ-可加模糊测度的转换函数构造法,给出其转换函数的一般形式,并指出λ-可加模糊测度分布函数的性质,重点分析经典分布参数的变化对λ-可加模糊测度的影响,进而说明:λ-可加模糊测度是一种刻画理性多样性的有效方式,它可用于表达决策人或行为人对共同的小概率事件的激进或者保守的评价。     

偏序集上的滤子极大理想

在偏序集上引入并考察了滤子极大理想的概念,证明了相应的存在性定理。引入并考察了伪极大元和伪既约元的概念,利用图表的形式对连续格中各种类型的既约元和素元之间的关系进行了归纳总结,完善了文献《Continuous Lattices and Domains》(作者:G.Gierz,et al)中的一个图表的相关内容,填补了在分配的连续格情形该图表的一个未知内容,部分地回答了该文献中的一个问题。