基于矩阵蕴涵运算的格值模糊概念格构造方法

从矩阵角度对一类模糊概念格的构造方法进行了研究。以具体的格蕴涵代数作为刻画对象与属性间不确定性关系的取值域建立了格值模糊概念格;为了便于非数值间的计算,分别定义了矩阵合取运算、析取运算和蕴涵运算,并基于矩阵蕴涵运算给出了格值模糊概念格的构造方法;进而通过实例求出了对应的格值模糊概念格,验证了该方法的正确性。

格值模糊拓扑空间中的近良紧性

在格值模糊拓扑空间中定义了近良紧集，引入Ｍ—聚点、Ｍｒ—复盖及具有有限Ｍｒ—交性质的集族等概念，并以此刻划了近良紧集的特征．此外。

格值模糊拓扑群的同态

在L-fuzzy拓扑群之间引入了L-fuzzy同志及L-fuzzy开同态等概念,并刻画了它们的基本特征.证明了L-fuzzy同态是“L-好的推广”,揭示了它与分明拓扑群的同态之间的内在联系,研究了它的某些性质.

格值模糊自动机的一些性质

提出了可恢复、可分离的概念,并讨论相关的性质。得到了格值模糊自动机强连通的两个充要条件,并研究了可分离的与连通的格值模糊有限状态机的性质。

格值模糊下近似算子的唯一公理刻画

公理化是研究粗集理论的重要方式。一般的公理系统都含有多个公理。在剩余格值环境下,给出了由格值模糊关系和一系列特殊的格值模糊关系生成的格值模糊下近似的唯一公理刻画。

基于格值逻辑的模糊概念格

从逻辑的角度,将非经典逻辑之一的格值逻辑引入概念格,建立了格值模糊形式背景,通过格结构来刻画对象与属性之间的模糊关系,证明了由蕴涵算子诱导的算子对是伽罗瓦连接,并讨论了相关的一些性质,进而给出了格值模糊概念格的构造算法。格值模糊概念格的建立为模糊性与不可比较性信息的处理提供了可靠的数学工具。

格值模糊有限自动机的同态

引入了格值模糊有限自动机的(强)同态的概念,研究了它们的相关性质,得出了同态基本定理。给出了A上容许关系及强同态的核的概念,研究了它们相关性质。

格值直觉模糊有限自动机的直积与覆盖

给出了格值直觉模糊有限自动机,格值直觉模糊有限自动机的全直积、限制直积以及覆盖的定义,提出了格值直觉模糊有限自动机的状态转移函数可扩充的充要条件,研究了格值直觉模糊有限自动机在全直积和限制直积情形下的转移函数性质,讨论了格值直觉模糊有限自动机的全直积和限制直积的覆盖关系,得到了一些乘积自动机覆盖关系的传递性质,为进一步研究格值直觉模糊有限自动机奠定了基础.

Mizumoto格值有限自动机及其最小化

提出取值为格半群的Mizumoto格值有限自动机的概念,得到基于模糊字符串的Mizumoto格值有限自动机的扩张模型,并详细讨论了其性质。同时建立了扩张Mizumoto格值有限自动机与标准扩张Mizumoto格值有限自动机的等价性,在此基础上给出了其最小化算法。

层闭算子与模糊仿紧性

在格值模糊拓扑空间中,引入了层闭算子和层次格值模糊拓扑等新概念,并讨论了它们的基本性质,在此基础上,给出了Ⅲ型强模糊仿紧空间的某些新特征。

格蕴涵代数的布尔元及其应用

在格蕴涵代数中引进了布尔元的概念,讨论了布尔元的一些基本性质,并由此得到格蕴涵代数的一种直积分解. 这些结果在一定程度上反映了格蕴涵代数内部结构的特征.

T_2 Separation Subsets and T_2 Separateness in L-fuzzy Topological Spaces

The concept of α-CT2 separation L-fuzzy subsets in L-fuzzy topological spaces is presented by taking the stratiform structure of L-fuzzy subsets as the point of departure,and its basic characterizations and some topological properties are discussed,and the relation between it and other separateness is exposed,and the action is studied of α-CT2 separateness in N-compact spaces and N-paracompact spaces.