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

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

关于模糊拟阵的独立模糊集生成问题的一些结果

本文首先定义"生成模糊集族",利用这个概念构建了闭模糊拟阵的独立模糊集生成定理,并利用这个定理找到了模糊拟阵是闭模糊拟阵的一个充要条件;然后,利用"基子集套"概念讨论了模糊拟阵闭包的一个等价描述,通过这个等价描述详细探讨了模糊拟阵与其闭包的关系;最后,利用这些关系,得到了普通模糊拟阵的独立模糊集次生成定理。     

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

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

模糊拟阵的导出集合函数

本文从改进模糊拟阵的独立模糊壳概念出发,提出"导出集合函数"概念;然后详细讨论了导出集合函数的值域、与独立模糊壳的关系和与基本序列的关系等。并且详细研究了利用导出拟阵列和基本序列来计算导出集合函数值的办法;接着,利用导出集合函数找到了描述独立模糊集和模糊基的充要条件;最后,通过这些充要条件,得到了闭模糊拟阵、准模糊图拟阵和闭正规模糊拟阵这三类模糊拟阵的充要条件。这些结论既丰富了模糊拟阵理论,同时,也提示了研究模糊拟阵的一种可能的新方法。     

“模糊横贯拟阵”的反例

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

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

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

关于模糊截短列拟阵的研究

本文研究了导出拟阵序列为一个拟阵通过逐次截短得到的拟阵序列所确定的模糊拟阵。首先证明了这种模糊拟阵是闭正规模糊拟阵,接着讨论了它们的一些特殊性质,最后刻画了这类模糊拟阵。     

关于模糊拟阵的圈子集套

本文主要采用通过导出拟阵来研究模糊拟阵的方法,探讨模糊拟阵模糊圈的性质和构造。这种方法的基本原理是两条:闭模糊拟阵可以由其导出拟阵序列和基本序列唯一确定,而模糊圈可以被分解为导出拟阵的圈和独立子集套。借助这种方法,本文主要做了三方面工作:一是讨论了模糊拟阵的模糊圈集和导出拟阵圈集之间的关系。比如模糊圈、初等模糊圈和最大初等模糊圈与导出拟阵圈之间的关系等;二是基于模糊圈和导出拟阵圈之间的关系,定义了导出拟阵圈函数和导出拟阵圈子集套两个概念。然后,详细研究了利用这两个概念来构造模糊圈的方法。同时,分析了在圈子集套和数列满足什么条件时,这种方法有效;三是分别用导出拟阵圈和圈子集套给出了准模糊图拟阵和精细模糊拟阵的充要条件。     

模糊横贯与模糊拟阵

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

关于G-V模糊拟阵的对偶模糊拟阵概念的推广

模糊拟阵的研究方法之一就是通过基本序列和导出拟阵序列将模糊拟阵问题转化为普通拟阵问题来进行研究。本文正是采用这个研究方法,主要完成了三项工作:一是给出并证明了闭正规模糊拟阵和正规模糊拟阵的几个充要条件;二是将对偶模糊拟阵概念从闭正规模糊拟阵推广到正规模糊拟阵并讨论了有关性质和计算;三是证明了除正规模糊拟阵外,其他模糊拟阵不存在这样的对偶模糊拟阵。     

闭模糊拟阵模糊基的判定

通过讨论闭模糊拟阵的导出拟阵序列和模糊基的结构,找到了判定闭模糊拟阵的模糊基的一个充要条件。根据此充要条件,给出了从导出拟阵序列得到闭模糊拟阵的模糊基的一种算法。     

研究模糊拟阵的一种新方法

本文根据模糊集合的表示方法,在模糊拟阵中提出"基子集套"概念。然后,利用"基子集套"概念描述了闭模糊拟阵的模糊基结构,并给出了闭模糊拟阵的充要条件、闭正规模糊拟阵的充要条件和准模糊图拟阵的充要条件。     

初等模糊拟阵与基本截片模糊拟阵的若干性质

对两种初等模糊拟阵和基本截片模糊拟阵的定义进行了比较,研究了它们之间的关系.研究了初等模糊拟阵的若干性质,得到了初等模糊拟阵和基本截片模糊拟阵为闭正则模糊拟阵等结论,给出了初等模糊拟阵的等价刻画以及初等模糊拟阵与其截拟阵之间的关系.     

格蕴涵代数的Ω-直觉模糊子代数

在直觉模糊集概念的基础上,给定一个集合Ω,提出了Ω—直觉模糊集的概念。将Ω—直觉模糊集与格蕴涵代数相结合,给出了Ω-直觉模糊子代数的概念,并研究了其相关性质;讨论了Ω一直觉模糊子代数与Ω—模糊子代数之间的关系,得到了一些等价刻画。     

M-模糊化P-基集族和M-模糊化P-圈集族

引入了M-模糊化p-基集族和M-模糊化p-圈集族,并研究了他们的性质.借助于层拟阵结构,得到M-模糊化拟阵可分别由M-模糊化p-基集族和M-模糊化p-圈集族等价刻画这一合理结论.     

有限链值的GV状模糊拟阵及其等价刻画

给出了完全L-拟阵及规范GV状模糊拟阵的等价刻画(其中L为有限链),推广了相关文献中的部分结果.     

M-模糊化相关集族及M-模糊化β-圈集族

本文在已有研究基础上,讨论了M-模糊化相关集族的若干性质,给出了M-模糊化β-圈集族的定义,研究了M-模糊化β-圈集族的基本性质,并借助于M-模糊化拟阵的层拟阵结构,得到由M-模糊化相关集族和M-模糊化β-圈集族可以等价刻画M-模糊化拟阵这一重要结论。     

直觉L模糊子群的刻画

本文研究了一个群G上的直觉L模糊子群.借助于L模糊集的截集,反模糊子群,得到了群G上的直觉L模糊子群的等价刻画.在直觉L模糊子群和群G上的子群族之间可以建立起一一对应.     

双圈拟阵

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

模糊Prime元

基于完备剩余格,本文在模糊完备格中,引入模糊Prime元概念。给出了模糊Prime元的等价刻画,证明了所有的模糊Prime元构成的模糊集是模糊完全分配格。