残缺互补判断矩阵次序一致性及排序方法

针对残缺互补判断矩阵次序一致性检验、调整及排序方法存在的问题,采用残缺互补判断矩阵次序一致性及排序的偏序集表示方法.在界定偏序集、模糊互补判断矩阵、残缺互补判断矩阵、截集矩阵等定义基础上,利用偏序关系矩阵的转换关系给出次序一致性的检验定理;证明了残缺互补判断矩阵任意截集矩阵满足传递性和残缺互补判断矩阵完全次序一致性的等价定理;根据上集和下集特征,给出更为简捷的残缺互补判断矩阵排序方法.研究结果表明:与其他方法相比,调整及排序方法赋值有依据、方法简单、易操作,鲁棒性强.     

偏序范畴若干问题研究

本文介绍了关系及关系矩阵等概念,并着重讨论了偏序关系及对应的偏序范畴、偏序矩阵,刻划了偏序范畴的始对象、终对象和零对象,偏序范畴的积范畴以及给出相应的矩阵的关系,即积范畴对应的偏序矩阵是原来两个偏序矩阵的张量积;讨论了等价的偏序范畴对应的偏序集之间的关系.     

基于关系矩阵格的快速判定

利用纯代数的方法,构造了一种新的格的判别方法.由于格定义在偏序集上,利用偏序关系与关系矩阵的对应,分析关系矩阵的性质,定义了一个K阶子矩阵,通过K阶子矩阵判断该偏序集是否构成格,并在Matlab7做了实例验证,该方法思路规范、便于计算机程序化.     

区间值模糊图的图塔分解与表示定理

利用偏序集的同构关系研究区间值模糊图的图塔分解与表示.借助于所定义的[0,1]上区间集的划分,研究区间值模糊图的图集表示,证明[0,1]上区间集的划分与其对应的图集具有相同的序结构.同时,给出区间值模糊图的图塔分解及运算法则,建立区间值模糊图塔与区间值模糊图的同构关系.作为模糊图运算及其应用的基础性研究,得到了图集与区间值模糊图的转换定理.     

矩阵中减、星、Sharp偏序之间的关系

目的研究矩阵的减偏序、星偏序、Sharp偏序之间的关系。方法利用矩阵理论、矩阵计算、矩阵性质进行运算分析。结果得出在特定条件下,减偏序、星偏序、Sharp偏序之间两两的蕴含关系和等价关系。结论这些关系有助于深入理解矩阵的特征,分析特殊矩阵的性质。     

布尔关联规则集的结构

由事物数据库的项目集构造一个分层偏序集,使所有布尔关联规则之集构成该分层偏序集的一个下集.本文讨论了该下集的极大元及其性质.     

De Morgan偏序集的刻画与同余关系

借助于上集算子和下集算子给出了De Morgan偏序集概念并讨论了它的一些性质,得到了由De Morgan偏序集的弱理想生成的最大同余关系.     

求偏序关系Hasse图的算法

给出计算偏序集＜A,R＞的盖住关系的关系矩阵的算法如下Procedure求哈斯图对应关系阵(MRn×n偏序关系阵)Q=MR-I for I=1 to n for j=1 to n for k=1 to n qik=qik-qik*qij*qjk end end end {Q=[qij]为Hasse图对应关系}.     

基于矩阵的偏序关系中盖住集计算研究

按照偏序关系中“盖住”的定义来计算盖住集,有时判断不准确或遗漏.基于矩阵的方法,提出了求盖住集的一个新的等价定义,并给出计算盖住集的矩阵和相关理论.利用矩阵可方便地计算出盖住集.     

剩余偏序集及其与FI代数的关系

给出了剩余偏序集的定义,导出了剩余偏序集的一些性质.证明了如果FI-代数上有二元运算满足（ab）→c=a→（b→c）,那么FI-代数是剩余偏序集;正则FI-代数与正则剩余偏序集是相同的代数结构.通过剩余偏序集细化了FI-代数与其它常见逻辑代数之间的联系,并绘制了剩余偏序集与其它相近逻辑代数之间联系的网络图.     

拟极小集及其对于连续偏序集理论的应用

本文以拟极小集概念为基础,论述了连续偏序集的刻划问题,对于连续偏序集之间的余态射作了详细的分析。对J.D.Lawson和R.E.Hoffmann所确立的完全分配格与连续偏序集间的对应关系给出了一种新的处理。     

Poset on Dyck paths

Dyck格路径是第一象限中由上升步与下降步构成的格路径.由Dyck格路径的包含关系确定了其为偏序集,且是一个分配格.此偏序集的Whitney数满足一个递归关系式,其生成函数可写成连分数的形式.此偏序集交不可约同构于n-元链的区间构成的偏序集.给出了此偏序集的Mbius函数,并讨论了其应用.利用ECO方法,递归地构造出了此偏序集的Hasse图.最后,还介绍了Dyck格路径上的另外一种类型的偏序集,即其偏序关系由包含关系和峰的个数来确定.     

基于关系矩阵的区间集粗糙近似

基于矩阵的直观性和矩阵运算的简便性引入区间向量,给出了区间集一种新的表达形式,探讨了区间向量的相关性质,给出了区间向量与关系矩阵的运算法则。在经典粗糙集中,给出了基于关系矩阵的粗糙下、上近似的等价表示,进而利用关系矩阵和区间向量提出了基于关系矩阵的区间集粗糙下、上近似,构造了基于关系矩阵计算区间集粗糙下、上近似的方法,给出了其相应的算法,并通过实例说明了该方法的简便性与有效性。     

区间集上R0-代数的表示形式及其性质

研究了与区间集理论相关的偏序关系和偏序集概念,详细讨论了区间集上的交、并、补、伪补、蕴涵及基本运算律,并以此为理论基础,在区间集上重新定义了R0-代数系统的表示形式,接着严格化地论证了该系统的可行性和合理性,最后给出了区间集上R0-代数的两组有趣性质.     

区间集上R0-代数的表示形式及其性质

研究了与区间集理论相关的偏序关系和偏序集概念,详细讨论了区间集上的交、并、补、伪补、蕴涵及基本运算律,并以此为理论基础,在区间集上重新定义了R0-代数系统的表示形式,接着严格化地论证了该系统的可行性和合理性,最后给出了区间集上R0-代数的两组有趣性质.     

（0,1）—矩阵的对称链分解

自１９５１ 年ｄｅ Ｂｒｕｉｊｎ 等人提出了对称链概念后,人们用这个特殊的偏序得到了许多优美的结果．如果一个偏序集可以分解成不相交的对称链之并,则称此偏序集具有对称链分解．目前已证明具有对称链分解结构的偏序还不多．把任意一个（０,１）－矩阵Ａ 中的某些１ 变成０ 得到的矩阵叫做Ａ的导出矩阵．Ｌ（Ａ）表示Ａ及其Ａ的所有导出矩阵所组成的集合,在Ｌ（Ａ）上定义序关系＞ ：Ｐ１＞ Ｐ２,其中Ｐ２ 是Ｐ１ 的导出矩阵．本文构造性地证明了偏序集（Ｌ（Ａ）,＞ ）具有对称链分解．     

保等价关系变换半群的变种半群上的自然偏序

在保等价变换半群上规定新的运算,通过此运算,得到保等价变换半群的变种半群.给出了此半群中自然偏序关系的定义,利用定义,考察了半群中两个元素何时关于此偏序关系是相关的,并探讨了关于这个关系相容的元素,所得结果推广了保等价变换半群上的自然偏序关系.     

拟阵的独立集构成的偏序集

为了将贪心算法与偏序集进行结合,以挖掘拟阵的更多算法,对拟阵的独立集族与偏序集之间的关系进行研究;利用拟阵的独立集全体关于集合的包含关系构建偏序集,利用布尔格的结构性质,讨论该偏序集的性质,得到有限偏序集在满足何种条件时,必为拟阵的结构的充要条件。结果表明:在同构意义下,有限偏序集与该偏序集所建立的拟阵之间的对应是满足一定条件的偏序集与无环拟阵之间的双射;建立了拟阵与偏序集之间的桥梁,可以将关于拟阵的一些研究成果转化为偏序集理论框架下的结论,反之亦然。     

强理想及其在有限偏序集上的应用

在偏序集上引入强集和强理想的概念,进而从另一个角度给出有限偏序集上元素之间的一种等价关系:连通关系,从而将有限偏序集分为连通和非连通两类.此外,在不交并偏序集上给出分支、可分分支和不可分分支等概念,并在有限偏序集上探讨强理想、非连通偏序集和不交并偏序集之间的关系.     

一个生成Hasse图的有效算法

Hasse图是偏序集关系图的一种简明而有效的表示。文章证明了偏序集的唯一盖住关系Cov(A)等价于两个关系的复合运算,从而可转化为两个矩阵的布尔乘积,给出了一个求盖住关系Cov(A)的有效算法,从而方便、快捷地生成偏序集的Hasse图,完善了有关Hasse图的理论及算法。