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

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

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

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

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

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