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

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

反对称性和传递性的两个等价定义及应用

直接根据现有离散数学教材--文献中的二元关系反对称性和传递性定义,有时不好判定二元关系的反对称性和传递性。本文给出二元关系反对称性和传递性的两种等价定义,从而可以方便、快捷地实现二元关系反对称性和传递性的判定。     

反对称性和传递性的两个等价定义及应用

直接根据现有离散数学教材--文献[1-2]中的二元关系反对称性和传递性定义,有时不好判定二元关系的反对称性和传递性.本文给出二元关系反对称性和传递性的两种等价定义,从而可以方便、快捷地实现二元关系反对称性和传递性的判定.     

二元关系中传递性的若干研究

二元关系的传递性有时不好判断,通过对二元关系传递性定义的深入分析,给出了传递性判断的等价定义及定理,利用该等价定义及定理可以较快地实现二元关系传递性的判定。     

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

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

一类二元关系的计数问题

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

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

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

二元关系的性质及判定

离散数学中的二元关系是一个重要的基本概念,本文中给出的二元关系的五种特性的定义,并给出了反对称性及传递性的等价定义,同时列出了二元关系性质判定的四种不同方法。对于易混淆的关系指出了它们之间的联系。     

基于设置复合位置的传递闭包算法

二元关系的传递闭包根据定义有时不好计算,文中提出一种通过设置二元关系中序偶的复合位置,对被删减的二元关系按照序偶的复合位置,进行增量式复合来计算传递闭包的新算法,利用该算法可以较快地实现传递闭包的求解。     

二元关系的对偶合成及其在传递性中的应用

系统地讨论了偏好结构理论中的各种传递性质,引入了二元关系的一种新的合成运算：对偶合成.结果表明,这种对偶合成可以方便地刻画反向传递性,它与合成运算一起可以刻画半传递性和Ferrers传递性.利用二元关系的合成和对偶合成运算建立了二元关系的各种类型的传递性质的若干等价条件.这些等价条件都是用集合的包含式表示的,这种表示有利于判断一个二元关系是否具有某种传递性质.     

二元拟序关系的性质及拟序关系的胚分解

利用关系的胚分解对拟序关系作了进一步分析,讨论了二元拟序关系和偏序胚的基本性质,得到了拟序关系的唯一基本胚分解式.     

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

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

基于二元关系闭包运算构造商集的一种方法

本文通过对二元关系闭包运算的研究,给出与二元关系R结构相近的一个等价关系的划分,从而构造相应的商集,该方法简便、实用、高效,易于操作。     

S-系上的模糊同余

给出了S-系集合A上的模糊同余的定义,用A上的模糊二元关系θ定义的模糊二元关系θ刻画了由θ生成的模糊同余θ．     

二元关系的传递性的计算机检测法

讨论了如何利用计算机对有限集合上的二元关系的传递性质进行检测，同时对自反性与反自反性，对称性与对反对称性亦进行了讨论，并给出了具体算法，使之能检测有限集合上的二元关系是否是相容关系，等价关系，偏序关系，全序关系。     

二元关系性质的组合性

讨论了二元关系五种性质的组合存在性问题,证明了二元关系5种性质的所有组合模式中有14种是不可能出现的,并对其余组合模式的存在性进行了实例说明。     

二元关系半群 的一类左单位的构造

设 是任意的非空集合, 是集合 上的半格, 是任意集值变换．通过 上的极值变换 定义集合 上由半格 确定的二元关系,而 是集合 上由半格 确定的所有二元关系构成的集合,并且 在二元关系的乘积运算构成半群．利用半群 左单位已有的结论,以及二元关系之间的包含关系,可以获得 的一类左单位的重要特征,从而可以构造出半群 的一类左单位.     

基于工作流的管理系统开发模型

工作流技术是实现企业过程自动化的核心技术,成为当今计算机技术领域中重要的研究方向.对工作流管理系统的体系结构和工作流管理联盟提出的工作流参考模型进行了分析和总结,在此基础上,给出了工作流管理系统过程模型的建立过程,并对实际的工作流管理系统组织模型进行了设计.