有限扰动模糊逻辑代数及其广义重言式

讨论了有限扰动模糊逻辑代数，给出了判别其子代数的充要条件：将王国俊教授在多值模糊逻辑系统中的广义重言式理论推广到有限扰动模糊逻辑系统I^2N中，证明了在I^2n中不存在（1，0）-重言式，广义重言不随系统的增大而增多，广义重言式前缀是不灵敏的。     

有限Atanassov逻辑代数及其广义重言式

讨论了有限Atanassov直觉模糊逻辑代数，给出判别其子代数的充要条件，并将王国俊教授在逻辑系统W，W^-，Wn中的广义重言式理论推广并用到Atanassov逻辑中，证明了在Atanassov逻辑中不存在绝对重（假）言式，广义重言式不随系统变大而增多和广义重言式前缀（α，β）具有不敏感性。     

Lukasiewicz区间值命题逻辑的广义重言式

给出一个新区间值的定义,在此基础上进一步给出了Lukasiewicz区间值逻辑代数及其广义重言式的定义.同时由一类特殊的公式序列Ak,k=1,2,…,证明了可达-a-重言式类类不空和类类互异定理在Lukasiewicz区间值命题逻辑中也成立.     

区间值模糊命题逻辑的广义拟重言式及其分类

通过定义规范区间值模糊命题逻辑的→s蕴涵算子，讨论了区间值模糊命题逻辑广义拟重言式的分类，获得了与王国俊的一维赋值格广义重言式理论类似的结果。     

逻辑系统H_α中的广义语义MP规则

将修正的Kleene逻辑系统中的语义MP规则推广后应用于Ha逻辑系统中,讨论了H1逻辑系统中广义重言式理论的语义（[a]-MP）规则、语义（[a＋]-MP）规则,使得对Ha系统中的广义重言式有了更进一步的认识,另外,逻辑系统刀中的广义语义MP规则也成为其中的一个特例。     

Gainse-Rescher逻辑系统中的广义重言式理论

将王国俊教授在逻辑系统Ｗ，Ｗ，Ｗｋ中的广义重言式理论进行推广，并应用到了Ｇａｉｎｓｅ－Ｒｅｓｃｈｅｒ逻辑系统Ｇｒ，Ｇｒ，Ｓｎ中，主要结果是：在逻辑系统Ｇｒ，Ｇｒ中，重言式不可能由对非重言式进行有限次升级算法得到；在逻辑系统Ｓｎ中，对任一公式最多进行ｎ次升级算法即可得到重言式；利用可达广义重言式概念和ａ－矛盾式概念分别在Ｇｒ，Ｇｒ，Ｓｎ中给出了Ｆ（Ｓ）的一个关于一同余的分划。     

区间值模糊命题逻辑的∑-广义拟重言式

通过对区间值模糊命题逻辑系统的公式进行部分赋值,讨论了区间值模糊命题逻辑∑-广义拟重言式,并且通过定义I2n^2和I2（n＋1）^2中的可达拟重言式,证明了拟重言式类类互异定理,同时在∑-广义拟重言式之间建立了一种升级算法.     

直觉区间值模糊逻辑算子

首先提出了用直觉区间值去表示命题的真值;然后定义了直觉区间值模糊逻辑上的算子－补,t-范、t－余范和蕴函算子,并讨论了它们与I[0,1]及[0,1]上的相应算子的内在联系,指出它们可用I[0,1]及[０,１]上相应逻辑算子表示。     

广义区间值模糊粗糙集模型及其公理化特性

把粗糙集理论和区间值模糊集理论结合起来, 利用粗糙集理论的构造性方法, 提出了一种广义区间值模糊粗糙集理论模型。首先, 利用区间值模糊剩余蕴含算子和它的对偶算子, 定义了一种广义上下区间值模糊粗糙集近似算子。然后, 利用该蕴含算子的性质, 讨论了该模型上、下近似算子一系列有趣的性质。 在公理化方法中, 通过定义一对抽象的区间值模糊近似算子, 刻画了广义区间值模糊粗糙集模型的公理化特性。     

格蕴涵代数的区间值犹豫模糊子代数

把区间值犹豫模糊集和格蕴涵代数相结合，给出格蕴涵代数的区间值犹豫模糊子代数的概念，讨论了区间值犹豫模糊子代数与其犹豫模糊子代数的关系。证明了2个区间值犹豫模糊子代数的交是区间值犹豫模糊子代数，并结合具体例子，说明2个区间值犹豫模糊子代数并不满足类似结论。     

具有(F(V×V),R,→,■)模糊逻辑模型的稳定性结构

本文利用多边矩阵理论定义的正交性及对称性,给出了一种具有两种因果关系的模糊稳定性逻辑分析模型,这种稳定的逻辑分析模型结构清晰、简单,并且可用于解决许多复杂问题.     

n值标准序列逻辑系统S_n的子代数及其重言式理论

讨论了n值标准序列逻辑系统Sn,给出了判断其子代数的充要条件,并比较了不同的逻辑系统Sn中的重言式,同时给出了逻辑系统Sn中判断公式不是重言式的充分条件.     

模糊时序逻辑的语义及其广义重言式

讨论了时序命题逻辑系统MPTL模糊化的问题，给出了模糊时序命题逻辑系统FMPTL的语义及其广义重言式的概念，并讨论了广义重言式的分类．     

基于FLS的一种广义预测控制器的设计

将模糊逻辑与广义预测控制相结合,提出了一种基于FLS(FuzzyLogicSystems)的广义预测控制器的设计方法,并推导出基于BP算法的参数修正公式·仿真结果表明该方法的有效性·     

一种FEC控制器的研究

作者针对常规 Fuzzy 控制方式的局限性,将 Fuzzy 控制技术、常规控制技术和专家系统技术相结合,研制出一种新型的模糊专家控制器——FEC 控制器。我们着重探讨了以 Fuzzy 控制为主导的四种控制方式知识库的建立;提出应用 Fuzzy 控制技术实现系统推理、搜索的设想,设计了一种基于 Fuzzy 逻辑的推理机;运用 Fuzzy集理论解决了 FEC 控制器的参数自调整问题;对 FEC 控制器的品质和搜索算法进行了大量的数字仿真比较实验,并在 STD BUS 工业控制机上用该控制器实现了电阻炉温度控制。结果表明,该控制器实现了系统动态、静态品质的综合优化,为改进Fuzzy 控制系统的性能,完善不确定过程控制,提供了一种有效的、实用的方法。     

自动车方向控制的模糊技术

在自动导引车的光学导引方面,提出了对检测信号的处理方法,采用模糊控制,使小车能在复杂的道轨上行驶。在Ｆｕｚｚｙ ｌｏｇｉｃ Ｔｏｏｌｂｏｘ ｆｏｒ ｕｓｅ ｗｉｔｈ ＭＡＴＬＡＢ软件上进行了系统设计,仿真结果表明,该方法简单实用。     

区间平均运算模型柔性化的研究

用泛逻辑学原理,把广义相关性引入到区间值逻辑,重新定义了柔性区间补、柔性区间与、柔性区间或、柔性区间平均等运算模型,且这些运算模型是连续可变的,还进一步证明了柔性区间平均的中介性、交换律、单调性和边界条件.以全新的观点给出柔性区间平均在h几个特殊点处的运算模型,并绘出其图形.     

二元有向向量的有理插值公式

在Vector Valued Rational Interproants Ⅱ一文中,Graves-Morris在实用背景下提出了有向向量有理插值,本文将此推广到二元的情形,从而建立了二元有向向量有理插值,给出的计算实例说明了插值公式的有效性。     

Fuzzy导集算子与Fuzzy拓扑

在Ｉ＾Ｘ上,定义了Ｆｕｚｚｙ半导集算子与Ｆｕｚｚｙ导集算子,讨论了它们与拓扑的关系,借助于文献（３）中提出的强导集概念,得到：若ｄ是Ｘ的Ｆｕｚｚｙ导集算子,则在Ｘ上唯一存在一个Ｆｕｚｚｙ拓扑ｆ,使得（Ｘ,Ｆ）是Ｆｕｚｚｙ准Ｔ０空间,且在（Ｘ,Ｔ）中Ｆｕｚｚｙ集Ａ的强导集恰是Ａ在ｄ下的像ｄ（Ａ）。