完备分配格上的∧ - →型矩阵方程

给出了完备分配格∧ - →型矩阵方程可解的充要条件，并且求出了该类方程的所有极大解     

有向图字典乘积的代数群性质

字典乘积有向图G_1→⊙G_2是通过已知阶数较小的有向图G_1和G_2构造来的,这些小有向图G_1和G_2的拓扑结构和性质肯定影响大有向图G_1→⊙G_2的拓扑结构和性质.运用群论方法,证明了有向图字典乘积的一些代数性质,如:结合律、分配律等.     

利用格蕴涵代数找出所有LI-理想的方法

利用格蕴涵代数中理想的定义未找出所有的理想需要花费大量的时间.给出了利用格蕴涵代数的蕴涵运算表找出格蕴涵代数所有理想的方法;再利用析取运算表找出格蕴涵代数中所有sl_理想的方法;最后,利用蕴涵否运算表找出格蕴涵代数中所有LI-理想的方法.     

偏序集上蕴涵代数的素滤子

偏序集上的蕴涵代数是取值于偏序集上的蕴涵逻辑联结词的一种代数抽象.以偏序集上蕴涵代数中由蕴涵算子引入的逻辑运算t-余范为工具,讨论了偏序集上蕴涵代数的一些性质,然后引入了偏序集上蕴涵代数的素滤子的概念,讨论了素滤子在一定条件下的性质,并给出了一个MP滤子成为素滤子的条件.     

具有函数的泛逼近性能的模糊控制器的设计

构造出9类具有函数的泛逼近性能的模糊控制器,这些模糊控制器均由模糊蕴涵算子构造而成.利用倒车仿真说明采用具有函数的泛逼近性能的模糊控制器可以用于实际的模糊控制系统中.     

The Extended Alpha-triple I Algorithm Based on the Generalized Implication Operator

In this paper, the classical implication operator is generalized, and then the definition of generalized implication operator on [0, 1] is proposed. Based on generalized implication operator, the extended alpha-triple I principle is presented by generalizing the alpha-triple I algorithm. By analyzing the essence of alpha-triple Fuzzy Modus Ponens (FMP) and alpha-triple Fuzzy Modus Tollens (FMT) principles, and based on the generalized implication operator, the generalized calculating formula of extended alpha-triple I algorithm is proposed. At the same time, the reversibility on the proposed alpha-triple I algorithm is discussed. It is proved that Compositional Rule of Inference (CRI) is a special case of extended alpha-triple I algorithm. Finally, two implication operations are proposed to validate the proposed generalized equation.     

On finitely generated multiplication modules

We shall prove that if M is a finitely generated multiplication module and Ann(M) is a finitely generated ideal of R, then there exists a distributive lattice M such that Spec(M) with Zariski topology is homeomorphic to Spec(M) to Stone topology. Finally we shall give a characterization of finitely generated multiplication R-modules M such that Ann(M) is a finitely generated ideal of R.     

基于系统L（X）的几种近似推理

本文在格值命题逻辑系统Ｌ（Ｘ）研究工作的基础上，借助于Ｌ（Ｘ）的语法推演规则，针对四种近似推理模型分别提出了几种近似推理方法。