RL型蕴涵与Fuzzy推理的三Ⅰ算法

引入了RL型蕴涵与正则RL型蕴涵的概念,系统地讨论了基于RL型蕴涵的三Ⅰ算法、三I MT算法及其还原性,得到了这些算法的一般表达式,指出基于正则RL型蕴涵的三Ⅰ算法与三ⅠMT算法的表达式具有对偶形式;证明了当P表示条件{B(y)| y∈Y}(∩){A(x)| x∈X}时,基于RL型蕴涵的三I算法为P-还原算法,当P表示条件{A(x)| x∈X}(∩){B(y)| y∈Y}时,基于RL型蕴涵的三I MT算法为P-还原算法.     

剩余格中的Fuzzy(P)滤子

在剩余格中引入了Fuzzy(P)滤子的概念,得到A是Fuzzy(P)滤子的充要条件是当λ∈[0,1]且Aλ≠时,Aλ是(P)滤子;在正则剩余格中引入了素Fuzzy(P)滤子的概念,证明了正则剩余格中的Fuzzy(P)滤子A是素Fuzzy(P)滤子的充要条件为a、b∈L,A(a b)=A(a)∨A(b)等结论.     

的正则子R_0代数及其应用

引入了 W的正则子R0代数的概念,证明了这种代数在 W中关于势是均匀分布的.又证明了当判定一个逻辑公式是否为 W中的α 重言式时,可以用 W的任一正则R0 代数去替代 W作判断,特别是可以用具有简单结构的正则子R0 代数W0去作判断,这里W0仅有一个聚点0.5,并且在一定意义下是"收缩不变"的.     

命题演算系统L*与谓词演算系统K*中统一的近似推理理论

引入了度量R₀-代数和R₀型Hilbert方体的概念. 从语义和语构两个方面建立了同时适用于命题逻辑系统L^*与一阶逻辑系统K^*的近似推理理论,并得到了统一的完备性定理.     

焊缝冲击断口的分形分析

研究了在不同温度下的焊缝的冲击断裂分维数.结果指出:冲击韧性与断面分维成单调上升直线关系;显微组织的变化对分形维数有一定的影响;断面分形维数与断裂机制之间有一定的关系.     

关于序列的聚点之集的连通性的一点注记

最近,Niechajewicz证明了,如果S={x_n}_(n=1)~∞是距离空间(X,ρ)中的紧序列,C(S)是S的聚点之集,则为使C(S)是连通的,必须且只须S有子序列Y={y_n}_(n=1)~∞,使C(Y)=C(S),且limρ(y_n,y_(n+1))=0。但他的证明是繁琐的,而且结论的局限性较大。本文的目的     

团结奋进，创办一流的师范大学──在陕西师范大学建校50周年庆祝大会上的讲话

团结奋进，创办一流的师范大学──在陕西师范大学建校５０周年庆祝大会上的讲话校长王国俊尊敬的各位领导、各位来宾、各位校友、全校师生员工同志们：今天，我们怀着无比喜悦的心情，欢聚在美丽的校园，隆重庆祝陕西师范大学建校５０周年。在这令人激动的时刻，请允许我...     

形式系统~*的完备性及其应用

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