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

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

拟阵的并与横贯拟阵

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

横贯拟阵与覆盖粗糙集

通过结合拟阵理论,建立了覆盖粗糙集的横贯拟阵结构;在此结构下,建立了覆盖与正规拟阵间的联系,揭示了覆盖变化与相应的横贯拟阵变化的关系;进一步给出了由任一拟阵导出覆盖的方法,且研究了该方法和覆盖产生横贯拟阵的方法之间的联系;证明了一个论域上的覆盖可由它产生的横贯拟阵导出,当且仅当此覆盖是划分。

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

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

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

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

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

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

“模糊横贯拟阵”的反例

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

模糊横贯拟阵的再研究

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

覆盖的两类拟阵结构

覆盖是属性约简中一种常见的数据表示,而覆盖粗糙集恰是处理这类数据的有效工具;拟阵是线性代数与图论的推广,目前已被广泛应用于许多领域特别是贪婪算法的设计,该算法在属性约简中起着重要的作用.鉴于此,有必要将拟阵与覆盖粗糙集相结合来解决此类优化问题.首先,本文通过横贯拟阵理论,构造了覆盖的拟阵结构;其次,利用该拟阵结构实现对覆盖的等价刻划;进一步,在该拟阵结构上定义了一类近似算子,通过证明上近似算子满足拟阵的闭包公理,从而诱导出另一个拟阵结构;最后研究了这两类拟阵结构之间的关系,而当覆盖退化到划分时,二者相等.

双圈拟阵

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).