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

利用普通拟阵来研究模糊拟阵,得到用有限数列、子集族和映射来描述闭模糊拟阵的一个充要条件.首先根据模糊拟阵的导出圈的连贯性,定义了导出圈映射;然后,详细讨论了闭模糊拟阵的基本序列、导出圈集和导出圈映射的性质与相互关系,并从中抽取出规范性、导出圈映射、反包含性、合成性和遗传性5个关键性质,通过这5个关键性质提出并证明了闭模糊拟阵的导出圈公理;最后得到:只要满足上述5个关键性质,可以用有限数列、子集族和该集族上的映射唯一确定一个闭模糊拟阵,反之也然.可以预见,利用这个公理,可以在闭模糊拟阵的理论研究、设计构造、实例应用等多方面开展进一步工作.     

闭模糊拟阵导出独立集的等价描述

利用闭模糊拟阵可由基本序列和导出拟阵序列唯一确定的方法, 提出并证明一个子集族、 一个数列和由该子集族到该数列的一个满射, 在满足规范性、 继承性、 强单调减和增长性的条件下唯一确定一个闭模糊拟阵, 反之亦然. 该等价描述建立了普通集族与模糊独立集族的联系.     

Fuzzy横截和Fuzzy拟阵

本文引入了Fuzzy横截,部分Fuzzy横截的概念,证明了有限Fuzzy集族的全体部分Fuzzy横截是一个Fuzzy拟阵的全体Fuzzy独立集,给出并证明了有限Fuzzy集族具有Fuzzy横截的一个充要条件,最后利用Fuzzy点给出了Fuzzy拟阵的一个等价描述.     

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

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

一种新的模糊广义拟阵

基于Al-Hawary所提出的模糊广义拟阵(亦称(H)模糊广义拟阵),讨论(H)模糊广义拟阵性质的不足,提出新的模糊广义拟阵,并研究其相关性质.首先否定Al-Hawar所给出的结论:(H)模糊广义可行集族((亦称(H)模糊可行系统)的r-水平截集族仍然是清晰可行集组成的集合,其中r∈(0,1].其次,重新研究(H)模糊可行系统的r-水平截集族,得到了(H)模糊可行系统的相关性质.进而,对(H)模糊广义拟阵的不足进行分析,提出了一种新的模糊广义拟阵(亦称为(Y)模糊广义拟阵),并研究了其性质,得到了(Y)模糊可行系统(即(Y)模糊广义可行集族)与某一清晰可行系统(即清晰可行集族,由(Y)模糊广义可行集的支集构成的集合)等价的结论,这一结论表明(Y)模糊广义拟阵在一定程度上优越于(H)模糊广义拟阵.最后通过有向和无向图分别构造有向分支和无向分支(Y)模糊广义拟阵;还根据Hasse图构造了偏序(Y)模糊广义拟阵.     

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

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

模糊拟阵基集的一些特征

模糊拟阵是在一般拟阵的基础上建立起来的,有很多的相似性。文章类似于一般拟阵的基公理讨论模糊集族构成模糊基集所要满足的一些条件。     

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

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

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

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

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

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

拟阵族的分裂子

研究拟阵族 的分裂子 先应用分裂子定理和拟阵的单扩张定理证明了：若 ={ 是二元域拟阵且 不含有同构于 的拟阵},则 是 的一个分裂子。据此证明了两个结论,1.若 是正则拟阵且 不含 -幼阵 ,则 是 的一个分裂子;2. 是 和 的分裂子,并得到了这两个拟阵族的正则拟阵分解表示。     

基于等价关系的粗糙拟阵的性质

粗糙拟阵是同时推广了粗糙集和拟阵的数学工具,它既可以被理解为是借助拟阵研究粗糙集,也可以被当作是通过粗糙集来研究拟阵.粗糙拟阵能够利用粗糙集和拟阵各自的优势处理和分析数据.通过等价关系上可定义集的性质,研究了基于等价关系的上粗糙拟阵和下粗糙拟阵.事实上,基于等价关系的上粗糙拟阵同时也是基于这个等价关系的下粗糙拟阵.因此给出了基于等价关系的粗糙拟阵的概念.类比拟阵中基的概念,定义了基于等价关系的粗糙拟阵的基,并且研究了这些基的性质.根据基的性质得到一个论域上所有的粗糙拟阵.特别地,讨论了论域的任何一个子集与该论域上的粗糙拟阵之间的某种对应关系.     

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

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

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

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

拟阵族N的分裂子M(K_5)

研究拟阵族N的分裂子M(K5)。先应用分裂子定理和拟阵的单扩张定理证明:若N={M:M是二元域拟阵且M不含有同构于F*7的拟阵},则F7是N的一个分裂子。据此证明了两个结论:1.若N={M:M是正则拟阵且M不含M(K3,3)-幼阵},则M(K5)是N的一个分裂子;2.M(K5)是EX(U2,4,F7,M(K3,3))和EX(U2,4,F7*,M(K3,3))的分裂子,并得到了这两个拟阵族的正则拟阵分解表示。     

拟阵中算子的性质

在有限集上定义了闭包、内部、外部和边界等算子,然后用类似于拓扑学中的方法研究了这些算子与拟阵之间的关系,并研究了这些算子的复合性质.结果表明,这些算子的每一个都可以确定惟一的一个拟阵,Kuratowski 14集定理在拟阵中成立.     

拟阵的基关联矩阵

提出了拟阵的基关联矩阵概念,基于此给出了一个求秩的公式,以及一个矩阵是拟阵的基关联矩阵的充要条件.同时给出两个拟阵有K-公共独立集(基数为K的公共独立集)的另一充要条件,并与Edmonds交定理判定的复杂性进行了比较.     

诣零矩阵和拟阵

对于一个包含关系的关联矩阵,文献[1]构造了一个拟阵,并由关联矩阵定义了诣零矩阵(nil-矩阵),而且讨论了它的相关性质,进而提出具有N-特征的矩阵(即nil-矩阵)能否构造一个拟阵.本文在文献[2～5]的基础上,通过反例证明nil-矩阵不一定能构造拟阵,又给出了一个较强的能构造拟阵的nil-矩阵的条件,即对于关联矩阵A,若任意秩为的子矩阵皆为nil-矩阵,则(D,N(A))是一个拟阵,且其秩为,而且这个矩阵A的所有nil-矩阵都是拟阵(D,N(A))的独立集.     

GV状模糊拟阵的秩与圈

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

关系粗糙拟阵的一些性质

关系粗糙拟阵的概念最早是由祝峰教授等人最先提出的,是作为一种同时推广了粗糙集和拟阵的概念.在他们工作的基础上,本文将进一步对关系粗糙拟阵的性质进行研究.首先,研究了基于关系的可定义集的一些性质.特别地,基于一个自反关系上的可定义集关于集合的包含运算作成一个格;其次,探究了关系粗糙拟阵的一些性质,并且给出了一些特殊关系粗糙拟阵的等价描述.