正规弗晰集合结构与布尔值模型

弗晰集合论是应用数学中发展十分迅速的一个领域,布尔值模型则是公理集合论的一种非标准模型,这种模型在集合论独立性证明中起着重要的作用.在文献[1]中我们曾引进正规弗晰集合结构的概念,这种正规弗晰集合结构是对弗晰集合论的一种本质的刻划与推广;在文献[1]中还证明了任一正规弗晰集合结构都是带本元的集合论公理系统ZFa的一个布尔值模型.这样,我们就在弗晰集合论与布尔值模型这两个领域间架起了一个桥梁.本文是对文献[1]的一种阐明,详细地阐明了正规弗晰集合结构与弗晰集合论中的一些基本概念之间的联系与转换,同时引进了正规弗晰集合结构的序数、基数等基本概念.本文的研究对布尔值模型方法也是一种推广与发展.     

FUZZY相似矩阵传递闭包的计算-关于[1]一文的一点补遗

本文在[1]的基础上给出了Fuzzy相似矩阵R传递闭包t(R)的简单计算方法.     

集合上二元关系运算的理论研究

基于集合上的二元关系,讨论了如何从关系矩阵的特征来判断二元关系的传递性,并给出了一个求集合 X 上二元关系 R 的传递闭包的算法以及关于集合上二元关系的几点结论.     

传递闭包公式的改进

给出了有限集合上传递闭包的改进公式 ,借助二元关系 ,矩阵秩等概念并利用数学归纳法给出了该公式的证明过程 ,利用所得结果来求有限集合上的传递闭包 ,减少了不必要的计算量     

关系传递闭包的计算

总结了常用的传递闭包的求法,给出了关系R中链的定义,并给出了依据链的长度求传递闭包的算法,从而简化了关系传递闭包的运算．     

正规弗晰集合结构的一些基本性质

在文献[2]中我们证明了正规弗晰集合结构是带本元的公理集合论的一类非标准模型.本文研究的正规弗晰集合结构的一些基本性质,主要是:子结构的性质;受囿公式在U~(B)中的性质和U~(2)与基础模型M的同构性质.     

关系的划分及其矩阵描述

讨论了有限集合X上的二元关系R及关系运算的划分,并利用关系划分的矩阵表示,给出了关系闭包及关系性质的矩阵描述．     

模糊矩阵的最大——积合成传递闭包的性质和计算

本文在[1]的基础上,讨论了模糊矩阵的最大——积合成传递闭包的性质,并给出了一个一般地简单地计算传递闭包的方法。     

关系传递闭包的一个充要条件

本文给出了关系传递闭包的一个充要条件,这个定理是“关系R是传递的充要条件是R(?)R~2”的推广。     

关系的传递闭包

本文介绍了关系、关系的传递闭包等有关概念及传统的求关系传递闭包的常用算法，受当今模糊聚类分析方法的启发，给出了一个基于关系矩阵求关系的传递闭包的改进算法，并给出了一个基于无向图的求关系的传递闭包高效算法，其时间复杂性为O(n^2)。     

模糊相似关系的传递核

从对称的角度考虑,人们自然而然的考虑到R所包含的最大模糊等价关系,这就是传递核.针对模糊相似关系的传递核问题提出并证明其一些基本性质,说明任意模糊相似关系其传递核的存在性及不唯一性.同时,还讨论了传递核与传递闭包的关系,指出利用传递核和传递闭包进行聚类时面临的局限性.     

有限集上二元关系传递闭包的一种矩阵求法

利用关系矩阵给出有限集上传递闭包的一种求法，使得求传递闭包变得既直观又迅速。该方法简便、实用、易于操作。     

模糊关系的S-负传递内部的研究

提出一般t-余模下S-负传递性内部的概念,即包含于该关系的最大的S-负传递关系,给出相应的计算公式及加速计算方法,并利用研究传递闭包相类似的方法,在一些特殊的情况下(如论域有限、相似关系等)给出简化算法。S-负传递内部的研究,不仅完善了模糊关系的性质,而且方便了模糊关系在其它方面的应用。     

关于《离散数学》中两个问题的注

1 传递闭包的Warshall算法的矩阵证明本节只讨论有限集X={x_1,…,x_n}上的二元关系R.M_R=[m_(ij)]_(nxn)表示尺的关系矩阵,用G_R表示R的关系图.[1]指出不易从M_R或G_R判断R是否是传递关系.由[2],我们有如下命题1.1 设R是有限集X={x_1,…,x_n}上的二元关系.R是传递的,当且仅当下述条件之一成立:     

关系矩阵与关系闭包

在参考文献[1]中给出了关系矩阵代数系统U=和二元关系代数系统V=同构的证明。本文就是利用关系矩阵代数系统来求关系闭包并且给出关系闭包的一些性质。     

关于Warshall的关系R之传递闭包t(R)求法的一点注记

本文给出了求二元关系R的传递闭包t(R)的一种方法,它是从另一侧面对Warshall于1962年给出的方法的一个补充和完善。     

传递闭包的增量式更新研究

针对二元关系中添加序偶原有传递闭包更新问题,先提出一种新的传递闭包算法,并基于新的传递闭包算法给出传递闭包的增量式更新方法,只需要在原有传递闭包的基础上,根据所添加的不同序偶,进行简单的更新即可,利用该方法可以较快地实现动态变化的二元关系传递闭包的求解。     

有限集上可传递二元关系的矩阵判别方法

用关系矩阵研究二元关系及其性质的方法既简洁又高效。在有关二元关系的自反、反自反、对称、反对称以及可传递的研究中,前四种性质已有了关系矩阵判别方法。一般认为有限集上可传递二元关系的特征较为复杂,故不容易从其关系矩阵中直接判别。文章对可传递关系进行了相应的讨论,并在此基础上给出了有限集合上可传递二元关系的矩阵判别方法。     

模糊聚类分析的一个改进算法及其应用

对传统模糊聚类分析方法进行研究,指出其不足之处,给出一个改进的模糊聚类分析算法,即对传递闭包进行逐行逐列改造,得到较优模糊等价矩阵,用它进行聚类比直接用传递闭包进行聚类更为合理,同时应用该方法对大学生综合素质进行评定.     

从Warshall算法到求模糊矩阵传递闭包的一个简捷算法

模糊矩阵传递闭包的计算在模糊聚类中起着关键的作用,而模糊矩阵传递闭包与普通集合论中传递闭包是有密切联系的。从普通集合论中求关系闭包的Warshall算法和模糊关系图出发,论述并实现了一种求模糊矩阵传递闭包的有效算法。与经典的求模糊矩阵传递闭包的算法———平方法比较,该算法简捷,运算量小。最后分析了一个利用传递闭包法进行模糊聚类的实例。