关于专家系统MYCIN中更新算法的可结合性

讨论了专家系统ＭＹＣＩＮ中不精确推理的更新算法，证明了文［３］中的更新算法只是部分地满足结合律，给出了更新算法与更新次序无关的条件     

基于概率的不确定推理集成模型

给出了基于概率的不确定推理的一个形式化框架，研究了ＭＹＣＩＮ类和ＰＲＯＳＰＥＣＴＯＲ类不确定推理模型，建立了新的不确定推理模型，解决了基于概率的不确定推理中的一些重要的理论和实践问题。     

一种新的基于区间估计的不确定推理模型

建立了一种新的基于区间估计的不确定推理模型，它继承了ＳＬＰ的模型和ＭＹＣＩＮ的模型的优点，即既能很好地区分证据的出现是导致对假设的信任或是怀疑，又能表示“不知道”的信息。并且，还能与点估计的ＭＹＣＩＮ模型兼容。最后给出了一个兼容点估计和区间估计的例子，说明了本文所建立模型的能力．     

电视机故障诊断系统

采用基于知识的正向推理方法，建立了电视机故障诊断系统，其中运用了ＭＹＣＩＮ的不精确推理型求解结论的可信度值。     

2，4－二硝基五环［4．3．0．0~（2，5）．0~（3，8）．0~（4，7）］壬烷~1H和~（13）C NMR的完全归属

利用１Ｈ－１ＨＣＯＳＹ，１３Ｃ－１ＨＣＯＳＹ，１３Ｃ－１Ｈ远程ＣＯＳＹ以及选择性远程ＤＥＰＴ１３ＣＮＭＲ谱，对２，４－二硝基五环［４．３．０．０２，５．０３，８．０４，７］壬烷的１Ｈ和１３ＣＮＭＲ谱进行了完全的归属．     

2,4—二硝基五环[4.3.0.0^2.5.0^3,8.0^4,7]壬烷^1H和^13C…

利用＾１Ｈ－＾１ＨＣＯＳＹ，＾１３Ｃ－＾１ＨＣＯＳＹ，＾１３Ｃ－＾１Ｈ远程ＣＯＳＹ以及选择性远程ＤＥＰＴ＾１３ＣＮＭＲ谱，对２，４－二硝基五环［４．３．０．０＾２．５，０＾３．８．０＾４，７］壬烷的＾１Ｈ和＾１３ＮＭＲ谱进行了完全的归属。     

Fuzzy循环矩阵半群的L—等价类

文［１］讨论了ｎ阶Ｆｕｚｚｙ循环矩阵集合Ｃ（Ｍ），建立了Ｃ（Ｍ）中元素Ａ为幂等矩阵的充要条件，本文是文［１］的继续，主要讨论如下问题，１），建立一类Ｆｕｚｚｙ循环矩阵方程有解的必要条件；２），在么半群Ｃ（Ｍ）中引入ＧｒｅｅｎＬ——等价关系，给出Ｃ（Ｍ）中元素Ａ，Ｂ为Ｌ——等价的充要条件；３），证明含幂等矩阵Ｅ＿ｉ的Ｌ—等价类Ｌ（Ｅ＿ｉ）是Ｃ（Ｍ）的极大子群，从而（结合文［１］）解决了在Ｃ（Ｍ）中寻求一切极大子群的问题。最后还讨论了集合Ｐ＝｛Ｌ（Ｅ＿ｉ）｜Ｅ＿ｉ∈Ｃ（Ｍ）为幂等矩阵｝的一些重要性质。     

一种不精确推理的模型

本文在不精确推理的Ｐｒｏｓｐｅｃｔｏｒ模型的基础上，利用其充分性和必要性量度，结合ＭＹＣＩＮ模型中的确定因子，将先验概率转换成较容易给出参量形式。在此基础上，给出一种模糊关系的数据模型，并定义了模糊集合的并、交、差和笛卡尔积等运算，从而对非精确数据及知识描述中的不确定性进行有效地处理。     

一种基于PROSPECTOR及MYCIN系统的综合推理模型

分析ＭＹＣＩＮ的可信度ＣＦ与ＰＲＯＳＰＥＣＴＯＲ的充分性度量ＬＳ的关系．将可信度ＣＦ引入到主观Ｂａｙｅｓ模型上,导出一个综合的推理模型．该模型不仅消除了ＣＦ与ＬＳ间可能存在的不一致性,而且减少了要求先验概率值的结点数．     

路和回路的各种乘积图的联结数

图的联结数是图的示性数之一．Ｄ．Ｒ．Ｗｕｏｄａｌｌ［１］首先引进了这个概念，研究了联站数与 图的其它量之间的关系．Ｖ．Ｇ．Ｋａｎｅ，Ｓ．Ｐ．Ｍｏｈａｎｔｙ和Ｒ．Ｓ．Ｈａｌｅｓ［２］研究了一些乘积图 的联结数．［３］中证明了［２］中提出的关于ｂｉｎｄ（Ｃｍ×Ｃｎ）的猜想．本文进一步研究了［２］、［３］未 解决的若干乘积图的联结数，得到了Ｌｍ×Ｃｎ，Ｃｍ　Ｃｎ，Ｌｍ　Ｃｎ，Ｃｍ＊Ｃｎ，Ｌｍ＊Ｃｎ，Ｃｍ（Ｃｎ），Ｌｍ（Ｃｎ）等图的联结数。