基于正则蕴涵算子的三I算法的性质

基于正则蕴涵算子分析了三I算法的连续性与逼近性问题,指出在模糊连续输入的条件下,RL、RG、RΠ型三I算法均具有连续性与逼近性,并指出了R0型三I算法具有连续性与逼近性的条件是x∈X,A*(x)∧A(x)>1/2成立.     

伪度量L~*-Lindenbaum代数中基本运算的连续性

研究了伪度量L Lindenbaum代数中基本运算的连续性.结果表明,Fuzzy命题演算系统L 中的全体公式集上的伪度量可以在L Lindenbaum代数M上诱导出一个伪度量ρ,证明了M上的非运算、并运算以及蕴涵运算关于ρ都是连续的.这为在(M,ρ)上建立近似推理理论提供了方便.     

小电流系统单相接地故障分析

介绍了变电运行中小电流系统在单相接地后存在的问题，通过对小接地系统发生单相接地与电压互感器保险熔断时现象的比较，为变电运行人员提供了分析判断系统故障原因的方法。     

主变差动保护误动分析报告

对变压器差动保护的各种错误接线方式进行了系统的分析和归类，并提出了纠正的方法。     

三Ⅰ算法的统一形式

给出了正则蕴涵算子的概念,证明了Lukasiewicz算子、Godel算子、乘积算子和R0-算子都是正则蕴涵算子-针对这种正则蕴涵算子建立了FMP和FMT的三Ⅰ算法的统一形式,相应地三Ⅰ解可用一般的伴随对((×),R)中的左连续三角模(×)和正则蕴涵算子R统一表达;指出在Godel的意义下,Zadeh关于FMP的CRI算法可以纳入到这种统一形式之中;给出了α-三Ⅰ算法的统一形式,得到了关于FMP和FMT而言的α-三Ⅰ算法的对偶性结论.     

三I方法与区间值模糊推理

（ｉ）进一步论证了模糊推理ＣＲＩ方法应当改进三Ｉ方法;（ｉｉ）提出区间值型模糊推理问题;（ｉｉｉ）提出“激活一个,否则离开”原则作为解决问题（ｉｉ）的预处理手段;（ｉｖ）解决问题（ｉｉ）。     

广义MP规则

提出了广义MP规则与集体广义MP规则 ,并在二值逻辑系统中通过引入根的概念给出与上述规则在语构意义下的解 .以三I方法为基础 ,在连续值逻辑系统L 中讨论了广义MP规则与集体MP规则的语构意义下的解 .又分别在二值与Lukasiewicz三值系统中给出了上述问题在语义意义下的解 .以上理论可视为模糊推理在经典逻辑学中的非模糊形式     

伪度量(L)*-Lindenbaum代数中基本运算的连续性

研究了伪度量L*-Lindenbaum代数中基本运算的连续性．结果表明，Fuzzy命题演算系统L*中的全体公式集上的伪度量可以在L*-Lindenbaum代数M上诱导出一个伪度量ρ，证明了M上的非运算、并运算以及蕴涵运算关于ρ都是连续的．这为在(M，ρ)上建立近似推理理论提供了方便。     

论聚合与推理的顺序

给定一组推理规则,可以先把这组规则聚合为一个超规则,然后依此超规则进行推理;也可先分别依据各给定规则进行推理,然后将所得结果进行聚合．本文证明了这两种方法都可以是相容的,并指出Ｂｕｃｋｌｅｙ与Ｈａｙａｓｈｉ关于前者一定不相容的论断是错误的．     

蕴涵格与Stone表现定理的推广

从R₀-语义出发在全体 ( ,∨ ,→ )型公式之集F(S)上引入了逻辑等价关系 ,证明了它是F(S)上的同余关系并称商代数为R₀-语义Lindenbaum代数 .以此为背景引入了蕴涵格与正则蕴涵格的概念 ,它是Boole代数的推广 .另一方面 ,引入了除含有拓扑结构之外尚有蕴涵运算的Fuzzy蕴涵空间及其蕴涵基的概念 ,证明了正则蕴涵格的拓扑表现定理 ,即 ,( ,∨ ,→ )型代数M是正则蕴涵格当且仅当M同构于某Fuzzy蕴涵空间的蕴涵基 .在M是Boole代数的情形 ,证明了相应的蕴涵空间是紧零维Hausdorff空间 ,从而由蕴涵格的表现定理可以推得关于Boole代数的著名的Stone表现定理.