关于模糊横贯拟阵的最大表示

本文利用横贯拟阵的最大表示及其性质来定义和研究模糊横贯拟阵的最大表示问题。首先,推广横贯拟阵的最大表示概念定义横贯拟阵的p-最大表示。同时解决了p-最大表示的存在性、唯一性和算法等问题;然后,再推广横贯拟阵的最大概念定义模糊横贯拟阵的最大表示。证明了模糊横贯拟阵的最大表示也是简洁表示,最大表示的截短子集族是导出横贯拟阵的p-最大表示以及其它性质和结论;接下来,利用这些研究结果,通过简洁表示和p-最大表示概念提出并证明了模糊横贯拟阵的表示是最大表示的充要条件;最后,根据这个充要条件证明了模糊横贯拟阵的最大表示总是存在并且唯一。给出了从模糊横贯拟阵的一个表示计算最大表示的算法,而且证明了这个算法的有效性。

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

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

模糊拟阵的表示与和

通过对模糊拟阵的讨论 ,找到模糊拟阵的一系列特征 。

模糊横贯的若干性质

与分明集的横贯与部分横贯类似,定义了模糊集下的模糊横贯与部分模糊横贯,得到了模糊横贯与部分模糊横贯的一些性质以及模糊横贯与缺失的关系.研究了模糊集上的Perfect定理及其相关性质,最后得到了共同模糊横贯的若干性质.

关于模糊横贯拟阵表示的初步研究

本文首先讨论了模糊子集族的全体模糊部分横贯能够形成模糊横贯拟阵的条件,得到两个充要条件。第一个充要条件使用截短模糊子集族来进行描述;第二个充要条件是通过部分横贯的指标集单射兼容这个概念来描述。然后研究了模糊横贯拟阵的表示形式,得到了三个结论。一是任何模糊横贯拟阵都有“精简表示”,而且构造了从一个表示寻找精简表示的方法;二是模糊横贯拟阵的表示的模糊子集个数不小于导出拟阵的最大秩;三是一致模糊横贯拟阵的任何表示都包含“最小表示”,也给出了求这个“最小表示”的方法。

双圈拟阵

Sim■es Pereira于1992年提出双圈拟阵.本文讨论了(i)双圈拟阵及其秩函数;(ii)次模函数在双圈拟阵中的应用;(iii)双圈拟阵B(G)的横贯拟阵.主要结果:1°由圈矩阵Bf=[I,Bf12]和圈秩的概念,推出M(f0)为双圈拟阵;2°证明了双圈拟阵B(G)等于由子集族{Av∶v∈V(G)},e与v在G中相关联}所确定的横贯拟阵;3°用不同于Matthews(1977)的方法证明了(iii).

“模糊横贯拟阵”的反例

文献[1]、文献[2]、文献[3]、文献[4]和文献[5]推广横贯概念定义了模糊横贯,并认为一个模糊集族的全体模糊部分横贯构成一个模糊拟阵[6](称为"模糊横贯拟阵")。本文举出一个反例,说明某些模糊集族的全体模糊部分横贯不能构成模糊拟阵;然后,详细分析了出现这种情况的原因,指出文献[1]、文献[2]、文献[3]、文献[4]和文献[5]得出这个结论的证明方法是错误的。

模糊横贯拟阵的再研究

本文首先推广模糊横贯拟阵概念,定义了更为广泛的模糊横贯拟阵;然后,通过模糊拟阵导出集合函数概念,证明了所有模糊横贯拟阵都是闭模糊拟阵;利用这个闭性,研究了模糊横贯拟阵的基本序列和导出拟阵序列特性;通过这两个特性和“截短模糊集族”概念,得到了模糊横贯拟阵的独立模糊集和模糊基的等价刻画;借助建立“子集族串”概念,找到了模糊集族的全部模糊部分横贯能够组成模糊横贯拟阵的一个等价刻画。

模糊横贯与模糊拟阵

定义了粗糙模糊横贯与广义粗糙模糊横贯的概念,得到了粗糙模糊横贯与广义粗糙模糊横贯的一些性质以及与缺失的关系,研究了粗糙模糊集上的Hall定理与Hall-Ore定理。最后粗糙集与广义粗糙集下的模糊部分横贯的集合组成应该模糊拟阵。

关于一致模糊横贯拟阵的研究

"模糊横贯拟阵'的反例"^([1])一文指出不是所有模糊集族的模糊部分横贯都能构成一个模糊拟阵的模糊独立集族。本文找到一类满足"一致性"条件的模糊集族,其模糊部分横贯全体一定能组成一个模糊拟阵的模糊独立集族(称这类模糊拟阵为一致模糊横贯拟阵);然后详细讨论了一致模糊横贯拟阵的基本序列、导出拟阵序列和模糊基等许多性质;还讨论了一致模糊横贯拟阵与准模糊图拟阵的关系,与正规模糊拟阵的关系;最后证明了一致模糊横贯拟阵是一类准模糊图拟阵。

推广的模糊横贯理论

定义p-模糊横贯的概念,得到p-模糊横贯的一些性质艺及p-模糊横贯与缺失的关系,研究模糊集上的Hall定理与Hall-Ore定理。最后给出p-模糊横贯的一个应用。