变电站查找直流接地浅谈

直流系统是变电站一个重要的组成部分,直流系统接地是常见的缺陷。主要介绍了变电站内直流接地查找的方法,并通过在实践中查找直流接地的实例,为维护人员直流接地的查找提供了一些经验。     

一类二值谓词逻辑中公式的准真度理论

在二值谓词逻辑中引入了一阶语言的一类特殊解释，该类解释中的解释域取为非空有限集．在此基础上基于有限均匀分布概率测度空间的可数无穷乘积引入了逻辑公式的相对真度与准真度概念，证明了关于准真度而言MP规则与HS规则成立，并基于准真度对全体谓词公式之集进行了分类．准真度理论虽然并不与逻辑有效公式以及矛盾式概念完全吻合，但可证明存在一类公式，对该类公式而言，逻辑有效性等价于准真度为1，矛盾性等价于准真度为0．所以准真度为1或0分别是逻辑有效公式或矛盾式概念的一种推广．     

FMP问题的构造性方法

研究了全蕴涵三I算法及几种常用蕴涵的三I MP解的还原性．利用新构造的函数Ψx（t）=（A（x）→B（y））→（A^＊（x）→t），将三I MP规则给予定量描述，得到了FMP（Fuzzy Modus Ponens）问题的构造性方法．给出Zadeh型三I MP解，修正了已有结果．将这一构造性方法推广，得到α-三I MP问题的构造性方法，并给出R0型、Lukasiewicz型和Zadeh型三I MP解具有还原性的充要条件．     

基于正则蕴涵算子与强否定的支持度理论

研究了基于正则蕴涵算子的支持度理论,将模糊推理的全蕴涵三Ⅰ算法推广至一般情形.针对几个常用的正则蕴涵算子得到如下结果:(1)Lukasiewicz逻辑系统L中命题间的支持度之集恰为[0,1]中有理数的全体[0,1]∩ Q;(2)G(o)del逻辑系统(G-)和(x*)逻辑系统(W-)中命题间的支持度之集均为{0,12,1};(3)乘积逻辑系统P中命题间的支持度之集为{0,1};(4)考察了相应的n值逻辑系统Ln,Gn和Wn中命题间的支持度的分布.最后,将逻辑非运算改为强否定,通过建立逻辑系统之间的同构进一步考察了相应逻辑系统中的支持度的分布.     

形式系统T^＊的完备性及其应用

研究了R0代数类的性质与结构，并用这些结果证明了R0区间[0,1]上的每个重言式在任－R0代数上仍是重言式，进而基于T^*－Lindenbaum代数的特殊结构证明了系统T^*的完备性与强完备性。还讨论了形式系统T^*在模糊推理中的应用，所得结果和例子表明系统T^*优于其他一些常用的模糊逻辑系统。     

一阶逻辑完备性定理的代数证明

在一阶逻辑中回避了通常使用的相容扩张方法，基于商Lindenbaum代数并引入一阶语言的一种γ－解释，证明了一阶逻辑的完备性定理。     

F(S)在Lukasiewicz逻辑系统中的一种分划

利用McNaughton函数，研究了Lukasiewicz逻辑系统中的可达广义重言式，证明了当α为无理数时，没有可达α-重言式，进而给出了F(S)的一个分划．还证明了在Lukasiewicz逻辑系统中，重言式可由对非重言式进行有限次升级算法得到。     

L~*中的典型赋值中介与公理系统的简化

出于为模糊推理奠定逻辑基础之需要,文献[1]提出了形式系统Ｌ.基于此文献[2～4]从语义的角度为ＦＭＰ及ＦＭＴ建立了严格的逻辑依据.为从语构的角度开展进一步的工作,本文首先证明了Ｌ中Ｆ(Ｓ)的典型赋值中介[Ｆ]的结构定理,然后将Ｌ中的14条公理作了简化,得出了仅含9条公理的等价系统Ｌ°.设Ｓ是无限集,是一元运算,∨与→是二元运算,以Ｆ(Ｓ)记由Ｓ生成的(,∨,→)型自由代数.称由Ｆ(Ｓ)、文献[1]中的14条公理(Ｌ1),(Ｌ3)—(Ｌ6),(Ｍ1)—(Ｍ9)以及ＭＰ规则与交推理规则组成的系统为Ｌ.设Ａ,Ｂ∈Ｆ(Ｓ),定义Ａ～Ｂ　　当且仅当├(Ａ→Ｂ)且├…     

广义MP规则

提出了广义ＭＰ规则与集体广义ＭＰ规则,并在二值逻辑系统中通过引入根的概念给出与上述规则在语构意义下的解。以三Ⅰ方法为基础,在连续值逻辑系统φ中讨论了广义ＭＰ规则与集体ＭＰ规则的语构意义下的解。又分别在二值与Ｌｕｋａｓｉｅｗｉｃｚ三值系统中给出了上述问题在语义意义下的解。以上理论可视为模糊推理在经典逻辑学中的非模糊形式。     

L~*系统的一种弱完全对偶形式系统WCL

研究了模糊命题演算的一种形式演绎系统 L* 和修正的 Kleene逻辑系统 W-,W,Wk 及 R0-代数 ,给出了 L* 系统的一种弱完全对偶形式系统 WCL-* ,并证明了二者之间的等价性 ,为形式演绎系统的研究和应用提供了一个有益的途径