完备格相关论文
序结构、拓扑结构和代数结构并称数学中的三大母结构,三大结构的相互交叉与融合极大地推动了数学本身的发展.Stone对偶理论是20世......
超空间上的拓扑与格上拓扑以及常见的模糊拓扑有着十分密切的联系.本文讨论了这三类拓扑结构中某些典型拓扑之间的特殊关系，对应于......
序同构是数学中的重要概念.对于给定的集合X,设T（X）是X上的拓扑的全体,CL（X）是X上的Kuratovski闭包算子的全体.如果能给出CL（X）上的偏序......
文献[8]首先提出L-滤子的概念.随后许多学者开始深入研究L-滤子（例如文献[2]和[7]研究了满层L-滤子）并得到了一些深刻的结果.本文受......
本文主要讨论了完备格上元素的分解及其在刻画模糊关系方程解集中的应用.首先引入了主因子格的概念,刻画了完备主因子格的结构.证......
本学位论文的主要内容是研究相容半连续Dcpo并探讨它的相关性质,文章定义了相容半连续格并给出它的一些性质,紧接着对相容半连续Dc......
本文主要探讨了QFS-Domian和QFS偏序集的若干性质,全文包括如下三个方面的内容：第一部分,首先引入了QFS偏序集的定义,讨论了QFS偏序......
拓扑系统是Steven Vickers在论著《Topology via Logic》中通过结合数理逻辑的特点将序与拓扑结合为一体而引进的一种新型的拓扑学......
序关系是数学形态学理论中一种基本而重要的二元关系，完备格是形态学理论发展最基本的框架，完备格上算子空间中良好结构的序关系在形......
本文在完备格上引入—个新的拓扑S-拓扑。进一步讨论了S-拓扑的一些性质以及S-拓扑与Scott拓扑和Lawson拓扑之间的联系和区别，在此......
本学位论文研究的问题属狭义模糊逻辑的范畴。首先，对正则蕴涵算子的定义进行了简化，通过正则蕴涵与三角模之间的关系，得到了正则......
Domain理论产生于20世纪70年代早期D.Scott为解决计算机程序设计语言语义学问题对连续格的研究．大约在同一时期，在纯数学领域，Lawson......
随着计算机科学的飞速发展，有关计算机科学的数学基础研究越来越受到人们的关注和重视，已成为数学和计算机科学研究者共同感兴趣的领......
在Serra和Matheron的著作中都给出过很多关于颗粒分析方法的广泛应用，但关于颗粒分析算子理论方面的研究却比较少见.本文从完备格理......
本文定义了直觉模糊有限自动机上的直觉容许关系,同余,同态,同构.并通过对直觉模糊有限自动机的状态集的等价划分进行了最小化讨论......
本文通过在模糊关系R:A×B→L确定的条件下,研究以∧?∨为算子的模糊关系不等式∨x∈X(R(x,y)∧ψ(x))≤ω(y) 的解的情况,即......
本文通过在模糊关系R:A×B→L 确定的条件下,研究以∧ ?∨ 为算子的模糊关系不等式∨xeχ(R(x,y)∧ψ(x)≤ω(y)的解集结构,即满足......
引入了Quantale上Ⅰ型结构和弱子结构的概念,讨论了Ⅰ型结构和弱子结构与映射之间的对应关系,利用Quantale上的(×)、∨和∧等运算......
在完备格中引入了元素的成分概念.基于此,引入了元素的宽度的概念.在分配格的情形证明了元素的成分集对有限并运算封闭且有某种遗......
算子表示定理是数学形态学理论的重要组成部分及其应用基础.该文基于容许完备格和模糊逻辑研究了一种具有广泛意义的较弱的算子表......
期刊
证明了纯正半群上的所有强同余构成该半群同余格的完备子格,刻画了与强同余对应的核-迹同余对-正规迹、正规子半群(称为强同余对)......
对于完备格L上给定的|I|×|I|的矩阵R,若存在|I|×|I|的L上的矩阵S满足S☉S=R,则称S为R的平方根,其中|I|表示指标集I的基数,☉在本......
系统研究了Quantic格范畴。证明了Quantic格范畴有等子、余等子。给出了Quantic格范畴中的极限和逆极限结构，从而说明了Quantic......
提出了软泛代数概念，将已有的软群、软环等概念统一纳入这一框架中，从整体上研究了软泛代数的序结构性质，证明了固定指标集和T-代......
