不完全三值逻辑在语言表达上的相互比较

深入讨论各种命题联结词含量不完全的三值逻辑的语言表达的能力,完全弄明白了三值系统L3,L3,B3,B3,K3,K3,MP的语言表达能力的等效或不等效关系,特别应当指出的一个结论是：中介命题逻辑MP作为一种命题联结词含量不完全的三值系统而言,它和其他命题联结含量不完全的三值逻辑L3,L3Δ,B3,B3Δ,K3,K3Δ的语言表达能力都不等效,从而也由此体现出MP的一种自身特色。     

MP与各种命题联结词含量完全的三值逻辑在语言表达能力上的等效性 …

本文基于中介命题逻辑的扩张系统ＭＰ之命题联结词含量的完全性结果,进上步证明了Ｌｕｋａｓｉｗｉｃｚ三值逻辑Ｌ３、Ｐｏｓｔ三值逻辑系统Ｐ３、Ｓｌｕｐｅｃｋｉ三值逻辑系统Ｓ３和Ｗｏｏｄｒｕｆｆ三值逻辑系统Ｗ３等的命题联结词的含量也是完全的,从而着眼于形式系统,可知ＭＰ、Ｌ３、Ｐ３、Ｓ３、Ｗ３的语言表达的能力也都是等效的,又若这些三值系统都是可靠的完备的,则可进上步证明这些三值系统立足于形式揄也都是互相等     

煤油和空气的混合流体水平管内沸腾换热实验研究

以煤油为介质,在高不凝气体含量下对水平管内的沸腾换热进行了实验研究,得到了在不同的不凝气体含量范围内,沸腾换热系数随不凝气体含量增加而降低的规律．实验结果表明了不凝气体的加入使得煤油的分压降低,泡点温度降低,在较低的混合流体温度下就产生了沸腾,但不凝气体对核态沸腾换热存在抑制现象．采用渐进逼近模型给出了含不凝气体的煤油管内沸腾换热的实验关联式。     

扁平管管内负压冷凝流动阻力特性研究

本文采用试验的方法对扁平管内的负压蒸汽冷凝过程进行了研究。研究结果表明,这类扁管的特殊结构使得管内的蒸汽充满度高,冷凝液占据整个流动截面的份额小,流动顺利,阻力小,是很好的有利于冷凝液流动的管型。研究结果给出了这类扁平管的管内冷凝流动摩擦阻力的计算方法,为这类管型在空冷凝汽器的应用提供了设计依据。     

中介逻辑演算系统MPN及MFN

为满足不完全信息系统应用的需要,本文构造了基于命题联结词∧、∨、→、ヲ、～和     

MP*与各种命题联结词含量完全的三值逻辑在语言表达能力上的等效性研究

本文基于中介命题逻辑的扩张系统 MP*之命题联结词含量的完全性结果 ,进一步证明了 Lukasiwicz三值逻辑系统 L*3 、Post三值逻辑系统 P*3 、Slupecki三值逻辑系统 S*3 和 Woodruff三值逻辑系统 W*3 等的命题联结词的含量也是完全的 .从而着眼于形式系统 ,可知 MP*、L*3 、P*3 、S*3 、W*3 的语言表达的能力也都是等效的 .又若这些三值系统都是可靠的完备的 ,则可进一步证明这些三值系统立足于形式推理也都是互相等价的 .     

2010年江苏卷第13题的再思考

文[1]中张老师通过生花妙笔为我们真实再现了自己对这一道题目的思考过程,让我们零距离感受了一位特级教师是如何展开解题思维活动并付诸实施的,读后获益匪浅．文[1]以解题思路的形成为旨归,值得我们进一步研究的是,解题后我们又该做些什么工作呢？在此基础上,笔者又有一些想法,行之成文,权作文[1]的补充,希望对同学们能有所启发．     

含不凝气体时煤油在水平管束外的冷凝

采用实验的方法,研究了在较宽的不凝气体含量范围内,煤油蒸汽在不同几何结构的螺旋扁管管束外的冷凝换热现象,得出了螺旋扁管的几何结构对冷凝换热的影响规律,并与同样条件下的光管管束的冷凝换热进行了分析比较。     

中介逻辑演算系统MPN及MFN

为满足不完全信息系统应用的需要,本文构造了基于命题联结词∧、∨、→、ヲ、～和～的中介逻辑命题演算系统ＭＰＮ和中介逻辑谓词演算系统ＭＦＮ,并证明了ＭＰＮ与ＭＰ＊、ＭＦＮ与ＭＦ＊的表达能力等价。ＭＦＮ将为进一步讨论不完全信息数据库作准备