偏序集拟阵的偏序集性质及其应用

通过对偏序拟阵的偏序集性质和广义拟阵通的偏序集性质的分别研究，得到了偏序集拟阵和广义拟阵二的关系，即每个偏序集拟阵均为广义拟阵，但反之不然。又利用这种关系得出拟阵中的贪心算法能够推广到偏序集拟阵进而组合格式中，并阐述了利用这种关系对于研究偏序集拟阵理论和广义拟阵理论的一些其他作用。     

相容连续偏序集及其定向完备化

引入了相容连续偏序集及其定向完备化等概念,证明了相容连续偏的定向完备化是连续偏序集;利用主理想及Ｓｃｏｔｔ拓扑刻画了相容连续偏序集,得到相容定向完备偏序集是相容连续的当且仅当它的任一主理想是连续偏序也当且仅当它的Ｓｃｏｔｔ拓扑是一个完全分配格;考察了相容性连续偏序集的定向完备化的范畴意义,得到相容连续偏序集范畴以连续偏范畴作为为满的反射子范畴。     

偏序集上的蕴涵

首先引入偏序集上的基础蕴涵代数和蕴涵代数的概念，得到了偏序集上基础蕴涵代数和蕴涵代数的若干基本性质；给出了偏序集上基础蕴涵代数和蕴涵代数之偏序集的特征刻画，又从格论的角度出发；给出了偏序集上基础蕴涵代数和蕴涵代数之偏序集的一些格的性质以及蕴涵代数之偏序集成为格的一些条件．     

有关偏序集与竞赛图的讨论

给定一个竞赛图T=(V，A)，与T相关联的偏序集P是一个偏序集P1=(V，≤)，使得V．x，y∈V(T)，x≤y当且仅当x=y或者d(x，y)≥3．证明了每一个竞赛图都与一个偏序集相关联，但存在偏序集不与任何竞赛图相关联．此外，还对与竞赛图相关联的偏序集的性质进行了讨论．     

偏序集广义拟阵的闭包公理

在偏序集拟阵的基础上,引入了偏序集广义拟阵的函数,定义了偏序集广义拟阵的闭包算子,讨论了偏序集广义拟阵的一系列性质.最后得到了偏序集广义拟阵的闭包公理.     

偏序集上的弱滤子弱极大理想

文章在偏序集上引入偏序集上弱滤子弱极大理想,证明其存在性定理,并研究它的一些性质,得到弱理想在满足弱理想降链条件的偏序集上的一个分解定理.     

Z-半连续偏序集的性质

讨论了Z-半连续偏序集上一些映射性质,Z基于不同的映得到了相关的Z-半连续序集的等价刻划．同进还定义了Z-半连续偏序集的基和Z-半代数偏序集,并讨论了Z-半连续偏序集的基的性质和Z-半代数偏序集与Z-半连续偏序集间的刻划．     

两类代数Domain范畴的等价

首先证明了一个Domain范畴与它的等价范畴有相同的笛卡儿闭性，其次通过引入两类新的偏序集即L-偏序集和B-偏序集，构造了范畴LPOSa（由L-偏序集与逼近关系组成）和范畴BPOSA（由B-偏序集与逼近关系组成），并证明了它们分别与代数L-domain范畴ALD和代数be-domain范畴ABD等价．     

偏序集的主理想连续和闭区间连续性

在偏序集上引入并考察了主理想连续性和闭区间连续性。证明了主理想连续性和通常的偏序集连续性的等价的，构造了反例说明闭区间连续性与通常的偏序集连续性互不涵。证明了连续偏序集如果非空有限集有多值并，则必定是闭区间连集；而闭区间连续性附加入方控制条件，则蕴函通常连结局续性得到了ＳｃｏｔｔＤｏｍａｉｎ的两个新的等价刻画。     

W-代数偏序集及其性质

引入了W-引代数偏序集与强W-代数偏序集的概念。讨论了W-代数偏序集、Exact偏序集以及代数偏序集的关系,证明了W-代数偏序集在保定向并的单的核算子下的像是W-代数偏序集。最后得到了每一点有最小局部基的弱Domain是强W-代数Domain,证明了弱Domain上的Scott连续映射保局部基当且仅当它保Weakly way below关系。     

偏序集拟阵中的三类算子及十四滤子定理

在具有逆序对舍对应的有限偏序集上的偏序集拟阵中定义了闭包、内部和取补3种算子，研究了这3种算子的一些性质，最后证明了偏序集拟阵中的十四滤子定理。     

闭模糊拟阵模糊圈的充要条件

利用模糊拟阵的基本序列和导出拟阵序列,研究了闭模糊拟阵的模糊圈,得到了与模糊圈有关的几个结果:模糊拟阵或闭模糊拟阵的初等模糊圈的充要条件;闭模糊拟阵模糊圈的性质;闭模糊拟阵模糊圈的充要条件.利用这些充要条件,可以从闭模糊拟阵的某些模糊相关集找到其模糊圈.     

新组合概型的生成及其性质

以“秩”的形式给出了偏序集拟阵中限制与收缩两种运算作用相等的一个充要条件，显示了秩函数在研究偏序集拟阵中的重要作用.详细地讨论了产生新组合概型的限制、收缩、截短和延伸等运算，并研究了它们的一些性质.     

闭G-V模糊拟阵的模糊圈公理

采用类似拟阵圈公理的方法, 讨论闭G V模糊拟阵的模糊圈公理. 首先给出G-V模糊拟阵模糊圈的若干性质； 然后利用这些性质, 讨论如何利用初等模糊圈集确定G-V模糊拟阵； 最后提出并证明闭G V模糊拟阵的模糊圈公理. 由该公理可知, 一个初等模糊集族、 一组有限数列和一个模糊集映射, 在满足一定条件下可唯一确定一个闭G-V模糊拟阵.     

偏序集中的下收敛与Lawson拓扑

在偏序集中引入下极限的概念,利用下极限定义下收敛,讨论下收敛类所生成拓扑的若干性质,利用下收敛(类)刻画连续偏序集的Lawson拓扑以及交连续偏序集的连续性.     

关于模糊横贯拟阵的简洁表示

该文利用模糊拟阵和拟阵的关系研究了模糊横贯拟阵的表示问题.首先,讨论了模糊横贯拟阵的“子集数最小表示”,得到这种表示的一个充要条件; 解决了这种表示的存在性并设计了计算这种表示的算法.其次,在此基础上研究了模糊横贯拟阵的“简洁表示”,提出并证明了一个表示是简洁表示的充要条件.然后,证明了简洁表示的存在性,构造了从模糊拟阵的表示计算简洁表示的算法.最后,研究了一种特殊的简洁表示即“顺序表示”,证明了这种顺序表示可以从普通表示中产生.     

模糊拟阵的和及其性质

进一步研究了模糊拟阵的性质和结构问题.通过将传统拟阵理论中和的概念推广到模糊拟阵,给出了模糊拟阵的和的定义.详细研究了模糊拟阵的和的性质,并分析了它与传统拟阵理论中和的性质的不同之处.特别地,对闭正规模糊拟阵的和,得到了多个重要结果.     

Modular拟阵的参数特征

得到无环Modular拟阵M的一个参数特征,给出使Seymour等式成立的两类拟阵。     

拟阵间的连续映射和子拟阵以及商拟阵

从拓扑学的角度研究拟阵，引入了拟阵间的连续映射、开映射、闭映射、同胚映射以及子拟阵和商拟阵等概念，研究了拟阵在这些映射下的性质，给出了一些等价条件，讨论了拟阵中的独立集、相关集、极小圈在映射下是否保持等问题．