二元关系传递性的等价定义及其判别法

通过对二元关系传递性定义的深入分析,突破其原始定义的局限性,给出其等价的定义形式,又由二元关系与矩阵的联系,给出矩形判别法,从而可以方便、快捷地实现二元关系传递性的判定。     

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

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

二元关系传递性的矩阵判别法

判断一个二元关系是否具有传递性,用定义与关系图的方法比较繁琐,利用关系矩阵判断其传递性,能避免繁琐的过程。利用矩形判别法、三角形判别法、十字型判别法,使可传递关系得到的判别变得既直观又迅速。     

基于衡平矩阵的二元关系传递性的判别法

直接根据文献[1-3]中的离散数学教材中的二元关系传递性定义,有时很难判定。通过研究突破了二元关系传递性定义的局限性,通过引入衡平矩阵的概念,给出一个二元关系具有传递性的充要条件是它的关系矩阵为衡平矩阵,并给出了利用衡平矩阵判定二元关系具有传递性的几种方法,使对传递性的判别直观、形象、方便、快捷。     

利用关系矩阵判断二元关系的传递性

目的判断一个二元关系是否具有传递性,从定义与关系图的方法比较繁琐,利用关系矩阵判断其传递性,能避免繁琐的过程。方法利用关系矩阵中元素的特点与关系。结果找零元素法;矩阵的逻辑加运算法;十字画法。结论对于给定一个集合元素的个数较多时,能方便地判断其是否具有传递性。     

判定二元关系传递性的几种方法

直接根据现有离散数学教材中的二元关系传递性定义来判定二元关系的传递性，有时比较困难，介绍了两个等价定义，给出了关系图法、关系矩阵法、关系复合运算、关系闭包等几种方法来判定关系的传递性，并分析了各种方法的优缺点，对正确掌握二元关系传递性的判定有一定作用。     

一类衡平矩阵的判定与应用

给出了判定0-1矩阵为衡平矩阵的几种方法。因为每一个0-1矩阵对应一个二元关系的关系矩阵,从而给出了利用衡平矩阵判定二元关系具有传递性的几种方法。     

一类二元关系的计数问题

利用二元关系的矩阵和组合理论给出了有限集上满足特殊性质的二元关系的计数.     

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

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

基于被删减二元关系的可达性矩阵求解

利用邻接矩阵求解有向图的可达性矩阵,计算量大,提出将有向图表达成二元关系,忽略环和回路的处理,通过计算被删减二元关系的传递闭包来求解可达性矩阵,利用新方法可以较快地实现可达性矩阵的求解。     

基于遗传算法的模糊控制模型参数优化的研究

模糊控制的精度取决于有关参数,如隶属度函数、模糊关系矩阵、传统 确定参数的方法是依靠人工。作者采用遗传算法来优化参数,大大地提高了模糊控制的精度。试验结果表明,先验知识和遗传算法的结合可以得到很好的控制效果。     

模糊Hopfield神经网络及其模糊聚类功能

首先提出了具有模糊逻辑计算功能的模糊Hopfield神经网络-FHN.FHN中的神经元对应于模式集合的元素，权重矩阵对应于模式之间的模糊关系，最后讨论了FHN的稳定性和基于模糊距离关系的模糊聚类功能，研究表明FHN在模糊模式识别中具有广泛的应用性。     

P*4中保二元正则可离关系非最小覆盖的剔除

为确定部分四值逻辑的最小覆盖,根据部分K值逻辑的完备性理论、正则可离关系以及准完备集之间的相似关系理论, 对部分四值逻辑的最小覆盖进行分析,证明了270个保二元正则可离关系函数集中的222个函数集必不属于部分四值逻辑中最小覆盖的成员。     

群上L—fuzzy同余关系

利用剩余格值逻辑的语义方法讨论了L－fuzzy同余关系的某些性质,给出了L-fuzzy正规子群与群上L-fuzzy同余之间的某些联系。     

同态关系的关系矩阵

同态关系的关系矩阵@杨留记...     

对空间基本元素及其位置关系的认识

本文通过对中学立体几何教材中空间基本元素位置关系的分析,揭示了逻辑链条断裂的原因,再现了被抛弃的环节,即对教材的理论结构进行了剖析。     

论逻辑函数变量的二值与格形对称性

格形结构是自然界中普遍存在的一种结构形态。通过对逻辑函数变量的二值与对偶关系以及与之对应的格形对称图的一些性质及其规律的探讨,在两种格形对称图上,找到了最小项与其逻辑相邻项之间的对应关系,从而为用格形对称图法化简逻辑函数提供了捷径和方法。     

一种弱BL形式演绎系统及其商代数理论

弱化了BL的条件，提出了弱BL形式演泽系统，详细研究了弱BL中经常用到的性质定理。研究了一种同余关系极其商代数理论；提出了商代教中的模糊滤子概念，详细研究了模糊滤子的性质定理。     

二元关系传递性与反传递性的判定

本文给出了关系运算法、关系图法、关系矩阵法、关系复合矩阵法判定二元关系的传递性和反传递性,分析了传递性和反传递性之间的联系,并建立了判定传递性和反传递性的算法,最后利用C语言编程实现.