拟阵之间的强映射与秩强映射

引入了拟阵间的秩强映射、反射闭集映射(RC映射)和强映射等概念,研究了它们的一些基本性质.证明了秩强映射和RC映射等价;一个映射是拟阵间的强映射当且仅当它是相应扩张拟阵间的秩强映射;以秩强映射或强映射为态射的拟阵范畴中的范畴同构都是拟阵同构.这些结果为进一步研究拟阵的范畴性质奠定了一定基础.此外,还修正了Welsh关于强映射的定义.     

偏序集拟阵与广义拟阵的关系

研究了偏序集拟阵与广义拟阵的关系.利用偏序集拟阵秩闭包算子的性质与广义拟阵闭包算子性质的比较得出:偏序集拟阵为广义拟阵;通过广义拟阵自同构群的公理系统与偏序集拟阵相应性质的比较得出:广义拟阵不一定为偏序集拟阵.     

拟阵之间的弱映射与秩弱映射

鉴于Welsh给出的拟阵弱映射与强映射关系不太自然,重新定义了拟阵之间的弱映射,并引入了秩弱映射和反射独立集的映射的概念.这就使得强映射总是弱映射,而且一个映射是秩弱映射当且仅当其扩张是弱映射.讨论了秩弱映射、反射独立集的映射以及反射闭集的映射之间的关系,利用这些映射给出了拟阵同构的等价刻画,说明了弱映射和秩弱映射也是合适的拟阵态射.     

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

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

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

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

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

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

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

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

关于偏序集拟阵与闭包算子的关系

给出了偏序集拟阵的闭包算子和闭集的定义，并讨论了其相关性质，推广了拟阵理论中的有关结果，同时指出闭包算子和闭集在偏序集拟阵理论与拟阵理论中的区别和联系。     

偏序集上有限维闭空间的秩函数

集合上的有限维闭集空间这一有趣的研究课题是由Batten引入的.本文研究了更一般的情形,即对偏序集上的有限维闭集卒间进行了探讨.利用了一个比偏序拟阵秩函数更一般的整值函数,给出了一个刻画偏序集闭空间的充分必要条件,而且当考虑的是有限偏序集时,该刻画可以加以改进.     

偏序集与不同种广义拟阵间的包含关系

众所周知,偏序集理论在研究广义拟阵论中起着重要作用.但是偏序集理论与不同种广义拟阵间的包含关系的直接联系是什么呢?怎样运用偏序集理论的手法去解决该问题呢?为得到答案,首先对于定义在同一集上的全体广义拟阵构造一个偏序关系,运用这种偏序关系讨论不同种的广义拟阵间的包含关系.多数结论是以构造方式给出,因此也使其在理论和运用方面更加简捷明了.     

有限拟阵的确定

证明了对任一有限集E，可以给C（E）（即E上的拟阵极小圈系的全体）、R（E）（即E上的拟阵秩函数的全体）和F（E）（即E上的拟阵闭集族的全体）上定义适当的序关系，使它们成为与（I（E），包含于）（即E上的拟阵独立集系的全体）同构的偏序集．     

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

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

关于广义拟阵间映射的性质

将拟阵间有关强映射和自同构的概念推广到广义拟阵上，给出强映射的判定理及两种具体找到强映射的方法，为实现用计算机搜寻映射提供了理论依据，着重讨论区间广义拟阵自同构的判定定理，并推出关于广义拟阵自同构建不存在平坦公理的结论，结果是在网络和算法上蓬勃发展的广义拟阵理论的充实，为讨论广义拟阵的关系提供了基础。     

由多项拟阵函数f所确定的拟阵M_f的秩r_f

研究由多项拟阵函数f所确定的拟阵的秩函数rf。先给出由次模函数所确定的拟阵Mf,然后导出多项拟阵函数的秩函数rf的表示式。由此证明了多项拟阵函数f的两个性质,讨论了由二部图导出拟阵M(△)的独立集I(△)和秩函数rf(△)的表示。     

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

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

偏序集上关联蕴涵代数的性质

偏序集上的蕴涵代数是取值于偏序集上的逻辑蕴涵联结词的一种代数抽象．在偏序集关联蕴涵代数概念的基础上，本文对其性质进行了一定的讨论，给出了它与其它逻辑代数结构间的关系．     

拟阵的并与横贯拟阵

研究拟阵的并与横贯拟阵。首先导出定义在不同集上拟阵的并的秩函数,然后结合多项拟阵函数所确定拟阵与横贯拟阵的秩函数,给出了拟阵的并与横贯拟阵的多种关系与性质。     

GV状模糊拟阵的秩与圈

运用特殊化思想研究GV状模糊拟阵的秩与圈。定义了GV状模糊拟阵的秩和规范GV状模糊拟阵,并且给出了GV状模糊拟阵有秩的充要条件。引入了规范拟阵基系塔和规范拟阵独立集系塔的概念,证明了可以用规范拟阵基系塔或规范拟阵独立集系塔确定规范GV状模糊拟阵独立集系。定义了GV状模糊拟阵的圈并证明它类似于拟阵圈的一些性质。     

构形和拟阵的同构映射及关于超可解的几个性质

给出了中心超平面构形相交半序集及与其对应的简单拟阵平坦格的同构映射的对应关系,证明了这个映射若限制在模元组成的集合上,也是同构映射,且给出相交半序集和平坦格的模元秩函数之间的关系。另外,还讨论了关于超可解的几个性质。     

紧生成的偏序集

本文根据格上紧元的定义,在偏序集中给出了紧元的三种定义方法,并对其等价性进行了证明。在偏序集中紧元定义的基础上,得到证明了紧元的相关性质。然后在偏序集中给出了格中没有的强紧元的定义,在此定义的基础上,分别提出证明了:满足升链条件的偏序集是强紧元的;强紧元的偏序集不一定是紧生成的偏序集。并推广证明了格中紧元的相关性质:如紧生成偏序集的子集一定是紧生成的偏序集;每个紧生成的偏序集P都是弱原子的;若偏序集中的元都是紧元当且仅当偏序集满足升链条件。给出了偏序集中上连续、下连续的概念,并证明了每个紧生成的偏序集都是上连续的。