模糊推理与模糊逻辑

论证了当赋值集为[0,1]时经典例题演算中的定理、重言式、MP规则以及HS规则之间关系的不协调性,建立了关于模糊命题演算的准形式演绎系统,证明了相应的可靠性定理。修正了模糊取式（Fuzzy Modus Ponens,FMP）与模糊拒取式（Fuzzy Modus Tollens,FMT)概念,并明确了FMP与FMT的模糊逻辑依据。     

-极小集理论及其应用

1977年,Hutton在完备格中引入了极小族概念,并证明了完全分配格L的每个元都有极小族。文献[2]中利用这种极小族深入研究了L上保并运算的交运算公式,为L上的拟一致结构理论奠定了基础。然而我们曾指出,从这种极小族的存在性推不出完全分配律。为此我们引入了一种较强的极小族概念,并证明了其存在性与完全分配律等价。本文将给出更     

论拓扑分子格与经典拓扑空间的本质区别

拓扑分子格理论是点集拓扑学与Ｆｕｚｚｙ拓扑学的共同推广．由于序结构与拓扑结构并存且相互配合,拓扑分子格理论有更广泛的内涵．最近有人试图以经典拓扑空间的方法来处理拓扑分子格理论,本文证明这是不可能的．     

不同蕴涵算子下的三I算法

对三Ｉ算法作了进一步的推广,详细讨论了在Ｌｕｋａｓｉｅｗｉｃｚ涵蕴算子,Ｇｏｅｄｅｌ蕴涵算子和Ｇａｉｎｅｓ－Ｒｅｓｃｈｅｒ蕴涵算子之下的ＦＭＰ规则以及相应的三Ｉ算法的表达形式,同时给出了三Ｉ算法为Ｐ－还原的充分条件。     

一种新型的三I算法及其逻辑基础

在Fuzzy推理中提出了“过半可信”原则，并证明了R0-型三角模恰为可实现这一原则的三角模．在此基础上，将Fuzzy推理中的大、小前提作了修正从而摒弃了不可信的推理成分，提出了一种新型的三I算法(Triple I)^*．研究了逻辑系统ょ^*中的形式化推理机制，基于根的理论为新型三I算法奠定了严格的逻辑基础．     

可交换弱R0代数

简化了弱R0代数及R0代数的定义。在弱R0代数的基础上，提出可交换弱R0代数，并讨论了它的一些新的性质。探究了可交换弱岛代数与格蕴涵代数之间的关系，以及与MV代数之间的关系。     

反链方法及其在正则三值逻辑函数计数上的应用

为适应不确定推理之需要,Mukaidono提出并系统地研究了正则三值逻辑函数的理论.这类函数个数的计算十分复杂,至今仅对自变量个数小于7的情形提出了若干结果.本文将反链方法与该类计算联系起来,从而为解决该类问题提供了一种新的可能途径.定义1 　设E={0,1/2,1},在E上除通常序“≤”外,再定义偏序(?)为:0(?)1/2,1(?)1/2,i(?)i.这两种序在E~n上各诱导出相应的乘积序,仍记为“≤”或“(?)”.映射f:E~n→E称正则函数,若(?)a,b∈E~n,当a(?)b时f(a)(?)f(b).正则函数f:E~n→E称单调函数,(?)a,b∈E~n,当a≤b时f(a)≤f(b).以下用F(n,R)记全体n元正则函数之集,用F(n,M)记全体n元单调函数之集.定义2 设(P,≤)是非空偏序集,a,b∈P.若有c∈P使c≤a且c≤b,则称a与b有公根.设A与B是P中的反链,若(?)a∈A和(?)b∈B,a与b有(无)公根,则称序对(A,B)为全(无)公根反链对.以下用E(n)表示(E~n,(?))中全体无公根反链对之集.令N(n)={1,…,n}.W(n)={L:L(?)N(n),L≠φ},用N(n,C)表示(W(n),(?))中全体全公根反链之集.定义3 设a=(a_1,…,a_n)∈(E~n.(?)).     

广义近似空间与拓扑空间

研究了有限论域上的广义近似空间与拓扑空间之间的关系。首先,给出了粗糙隶属函数,拓扑隶属函数的概念。其次,借助粗糙隶属函数刻画了的上下近似算子,借助拓扑隶属函数刻画了的内部闭包算子。再次,利用隶属函数分别从拓扑,二元关系出发构造了关系,拓扑,最终证得拓扑空间与关于自反传递关系的近似空间一一对应。     

基于圆环孔合成射流器的LED前照灯散热控制

采用实验方法明确圆环孔合成射流器的速度分布特征,利用参数化方法获得最佳散热距离,将其与发光二极管(LED)前照灯组合后采用实验方法明确合成射流器对LED前照灯的散热效果。基于大涡模拟对该部件的流场及温度场进行解算,在验证仿真方法有效性的同时明确温度及换热系数的分布规律。采用正交分解法对该部件流场及铝基板表面对流换热系数进行分析,表明壁面对流换热系数的分布特征及合成射流器的散热控制效果主要由流场中的大尺度涡结构所决定。