完备Brouwerian格上有限@-Fuzzy关系方程有解的一个充要条件

本文在论域为有限集时讨论了完备Brouwerian格上@-Fuzzy关系方程(其中@表示inf-α合成),给出了@-Fuzzy关系方程有解的一个充要条件并构造出了方程的极大解,进一步确定了方程的解集。

完备Brouwerian格上Fuzzy关系方程极小解存在的一个充分条件

在完备Ｂｒｏｕｗｅｒｉａｎ 格上证明如果方程∨ｉ∈Ｊ（ ａｉ ∧ｘｉ） ＝ ｂ 的解集Ｘ２ 非空且ｂ 有不可约完全并既分解，则Ｘ∈Ｘ２ ，至少存在Ｘ２ 的一个极小元Ｘ＊ 满足Ｘ＊ ≤Ｘ．

完备Brouwerian格上Fuzzy关系方程极小解的一些性质

讨论了完备Brouwerian格上Fuzzy关系方程,当Fuzzy关系方程的解集非空时,首先给出了解集中的解是极小解的一个充要条件,然后得到了方程极小解的一些不变性,根据这些不变性可以由一个极小解构造出其他的一些极小解.

完备Brouwerian格上无限@-Fuzzy关系方程的极大解问题

在论域为无限集时讨论了完备Brouwerian格L上@ Fuzzy关系方程A@X=b(其中@表示inf α合成,A=(aij)I×J,I,J为无限指标集,b∈L),当b为完全交既约元时构造出了方程的极大解,当b有不可约完全交既分解时对方程的解集中的每一个解都找到了一个大于等于它的极大解.

完备剩余格上的蕴涵闭包算子

利用蕴涵运算,在完备剩余格上定义了蕴涵闭包算子,给出了它的若干等价刻画及其表示定理。

完备剩余格中的全蕴涵推理方法

三I算法是王国俊教授提出的一种模糊推理方法,较之模糊控制理论中广泛采用的CRI 算法更具有严谨性、合理性．本文在完备剩余格中给出了模糊推理．RL-型全蕴涵α-MIFMP,α- MIFMT规则,并讨论了完备剩余格中的RL-型全蕴涵α-MI算法,得到了完备剩余格中RL-型全蕴涵α-MIFMP,α-MIFMT的计算公式,并将之应用于Godel逻辑系统,Lukasiewicz逻辑系统,Goguen逻辑系统和W-逻辑系统．特别是将结果应用于W-逻辑系统中得到了Ro-型全蕴涵α-三I算法计算公式,简化了原有的R0-型三I算法的证明．

不完备信息的概念格诊断规则提取方法

针对航空装备诊断知识获取困难的问题,研究了不完备信息条件下基于概念格的诊断规则提取方法。首先,用不完备诊断形式背景将残缺的故障数据表示成三值表格,借助近似概念格分析故障数据,设计了基于对象的增量式近似概念格构造算法,利用Hasse图直观揭示诊断结果与测试参数之间的依赖关系;然后,引入广义可辨识矩阵对不完备诊断形式背景进行属性约简,通过布尔运算将广义决策辨识函数变换为极小析取范式,得到约简的测试参数集,进而构造约简的近似概念格并生成最优近似诊断规则集,用于对新的测试样本进行故障诊断;最后,将该方法用于某型航空雷达的故障诊断,诊断准确率达到77.7%,验证了该方法从不完备故障数据中提取诊断知识的有效性。

完备Brouwerian格上Fuzzy关系方程有极小解的条件

本文在有限论域上对完备Brouwerian格上Fuzzy关系方程极小解的存在问题作了探讨.首先构造了Fuzzy关系方程有解但无极小解的一个例子,然后在解集非空时给出了对Fuzzy关系方程的每一个解都存在一个小于等于它的极小解的一个充分条件及一个充要条件.特别地,在充分条件下给出了一类Fuzzy关系方程所有极小解的个数的公式.

完备强对偶原子分配格上的不可约极小并分解及其应用

在完备强对偶原子分配格上引入了不可约极小并分解的概念,给出了元素存在不可约极小并分解的一些充要条件.证明了当元素恰有一个下邻时,该元素就是完全并既约元;有两个下邻时,元素的不可约极小并分解与不可约完全并既分解是等价的;下邻多于两个时,元素的不可约极小并分解不一定是不可约完全并既分解.最后证明了模糊关系方程有极小解的充要条件是方程左边有大于等于右手项的系数或右手项系数有不可约极小并分解.

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

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

完备格上Fuzzy关系方程的解是极小元的一个充要条件

在完备格L上给出方程∨j∈J(aj∧xj) =b的解集非空时 ,解集中的解是极小元的一个充要条件及解集中的解有极小元的一个充分条件 .讨论了与格论有关的一些性质 ,并给出了一个开问题 .

完备格上模糊关系方程的研究进展

从理论研究的角度总结了模糊关系方程30余年来的研究进展,内容包括:完备Brouwer格上sup-inf合成模糊关系方程的极小解及方程的解集,其中包括论域有限时完备Brouwer格上模糊关系方程的极小解及方程的解集以及论域无限时完备Brouwer格上模糊关系方程的极小解及方程的解集;完备Brouwer格上inf-α合成模糊关系方程的极大解及方程的解集;格上元素的分解与模糊关系方程的极小(大)解的关系;最后,介绍了MV-代数上的半线性空间及定义在其上的模糊关系方程.

自由Dcpo和自由并完备格的结构和性质

给出了由偏序集生成的自由Dcpo及自由并完备格和由并半格生成的强自由Dcpo及强自由完备格的结构,分别讨论了它们的性质,证明了偏序集与并半格分别可以序嵌入到自由Dcpo、自由并完备格与强自由Dcpo、强自由并完备格.

模糊完备格上的模糊同余关系

在模糊完备格中引入模糊完备格同余关系的概念,讨论了模糊完备格同余与模糊闭包算子之间的关系.证明了一个模糊完备格上的模糊同余关系之集构成的模糊偏序集模糊序同构于其上的模糊闭包算子之集构成的模糊偏序集.给出了模糊完备格同余的商的概念,证明了任一模糊完备格满同态的像都模糊序同构于由该模糊完备格同态所诱导的同余关系的商.

完备格上区间值t-半模及其R-蕴含算子

主要讨论区间值t-半模,在I的基础格为完备格L的情况下,利用完备格L上的t-半模构造区间值t-半模,得到了区间值t-半模的构造方法.进一步,讨论了区间值t-半模及其区间值R-蕴含的性质.

完备格上的超分子理论

研究定义在完备格上的“超分子”的有关性质 ,并讨论它和分子、强分子之间的关系 .并在此基础上证明在 |L|=2 n 时 ,SM(L) =M(L) .

完备Brouwerian格上模糊关系方程解集的一种分类

首先给出了完备Brouwerian格上模糊关系方程的解集与解矩阵之间的一个映射,并讨论了这个映射的一些性质,然后给出了方程解集(非空时)的一种分类.最后给出了完备Brouwerian格上模糊关系方程的极小解的一些性质.

完备格上交既约元的性质

根据格上交既约元、完全交既约元的概念,定义了连续交既约元,给出了它们之间的联系与区别,进而得出完备格上交既约元的一些性质及相关结论.

完备格上的完全素滤子(英文 )

讨论了完备格上完全素滤子的性质,借助于完全素滤子。

完备Brouwer格上伪t—模与蕴涵算子

本文引入并讨论Brouwer格L上伪t-模概念,详细研究L上无穷V-分配伪t-模与无穷∧-分配蕴涵之间的关系,证明[0,1]上三类基本的Fuzzy蕴涵与Yager蕴涵都是[0,1]上无穷V-分配伪t-模诱导的蕴涵.此外,我们给出一种生成伪t-模与蕴涵的方法.