一般模糊推理具有还原性的全蕴涵三I算法

在王国俊教授提出的满足还原性的单一规则的全蕴涵三I算法基础上,利用模糊集合的相似度给每条模糊推理规则赋予权重,即wi=1-S2,i■I1+S2,i∈I,其中S={max S1,S2,…,Sn}且I=i|Si=S,{1≤i≤n},使得全蕴涵三I算法在一般的模糊推理情形下也满足还原性。最后通过实例表明:用新方法推理得出的结果比文献[4]的全蕴涵三I算法的结果更具合理性。     

完备剩余格中的上近似与下近似模糊推理方法

借助于全蕴涵三I算法的思想,在完备剩余格上探讨了FMP问题的输出的上近似模糊推理与下近似模糊推理,并得到上近似推理与下近似推理算法均具有还原性.     

IL型三I算法及其还原性

基于模糊推理的全蕴涵三I算法，给出了当蕴涵算子→为蕴涵格中的蕴涵算子（称为IL型蕴涵）时的三I算法和α-三I算法的表达式，并进一步讨论了IL型三IMT算法．给出了IL型三I算法、三IMT算法具有P-还原性的充分条件．证明了IL型三I算法是P-还原的，如果存在a∈X，使A（a）=1；IL型三IMT算法是P-还原的，如果存在b∈Y，使B（b）=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解具有还原性的充要条件．     

关于若干整数分拆问题

Y．Alavi,A．J．Boals,G．Chartrand,P．ErdSs和O．R．Oellermann提出下面的猜想：已知整数a1,a2,…,ak,满足n≤ai≤2n-2,1≤i≤k,且a1＋a2＋…＋ak=rt（n＋1）／2,则S=（1,2,…,n）包含有k个互不相交子集S1,S2,…,Sk,满足ai=∑（Si）,1≤i≤k。推广该猜想,得到下面的定理：已知整数a1,a2,…,ak,满足ai≥n,1≤i≤k,且a1＋a2＋…＋a4≤n（n＋1）／2,则S={1,2,…,n）包含有k个互不相交子集．S1,S2,…,Sk,满足ai=∑（Si）,1≤i≤k。由此定理易推出K．Ando,S．Gervacio和M．Kano证明的一个主要定理。参考文献中的一个错误同时被更正。     

一类双环网络的最优路由算法

设n＞h≥2.双环网络D(n,h)是如下定义的有向图其结点集是Zij={0,1,…,n-1},边集是E={i→i+1(modn),i→i+h(modn)0≤i≤n-1}.设n=qh+r,这里1≤r≤h-1,又设w=[(h-1)/(q+r)]≤h/r.本文提出了D(n,h)中源结点到目的结点的最短路径算法,该算法至多只要两次算术运算和一次比较,并且除了q,h,r和w外,各结点不必预先存储网络中别的信息.     

模糊推理的FMT-对称I*算法

面向模糊推理的FMT(Fuzzy Modus Tollens)问题,从对称蕴涵的角度,将三I*算法推广为对称I*算法.首先,给出了FMT-对称I*算法的定义、求解原则,针对R-蕴涵算子构建了一致化表达的求解模式;针对几个常见的R-蕴涵算子,提供了具体的优化解形式.进一步地,将FMT-对称I*算法衍生到α-FMT-对称I*算法的范畴,探讨了α-FMT-对称I*算法的定义、求解原理和优化解.最后,考察了FMT-对称I*算法的置换还原性,发现其效果良好.     

面向R-蕴涵算子的FMT-泛三I*算法

针对模糊推理的FMT(fuzzy modus tollens)问题,作为三I*算法的推广与改进形式,研究了FMT-泛三I*算法。首先,分析了FMT-泛三I*算法的属性,提出了该算法的基本原则,改进了之前三I*算法的原则。其次,面向R-蕴涵算子,建立了FMT-泛三I*算法的统一形式的解,同时针对几类经典的R-蕴涵算子,分别获得了具体情形下的优化解。最后,证明了FMT-泛三I*算法的置换还原性,获得了良好效果。     

关于全不变子模的两个定理的推广

对全不变子模的两个定理:1.设M是右R-模,M=M1 M2,若N≤SMR,那么N=N1 N2,其中Ni=N∩Mi≤S(Mi)R,i=1,2;2.设M是右R-模,M=M1 M2,若F1≤S(M1)R,那么存在F2≤S(M2)R,使得F1 F2≤SMR.进行推广,则为:1'.设M是右R-模,M= i∈ΛMi,若N≤SMR,那么N= i∈ΛNi,其中Ni=N∩Mi≤S(Mi)R,i∈Λ;2'.设M是右R-模,M= i∈ΛMi,若F1≤S(M1)R,那么存在Fi≤S(Mi)R,i∈Λ-{1},使得 i∈ΛFi≤SMR.     

半群T_(n,r)的极大(正则)子半群的完全分类

设S_n和T_n分别是X_n={1, 2,…,n}上的对称群和全变换半群.对1≤r≤n,令T(n,r)={α∈T_n:|im(α)|≤r},则T(n,r)是全变换半群T_n的双边理想.对1≤r≤n-1,考虑半群T_(n,r)=T(n,r)∪S_n,得到了半群T_(n,r)的极大子半群S有且仅有两类:S=T_(n,r)\[τ_i](1≤i≤p=p_r(n))和S=T(n,r)∪G,其中G是群S_n的极大子半群.同时,证明了半群T_(n,r)的极大子半群和极大正则子半群是一致的.所得结果推广了已有的结果.