完备格相关论文
序结构、拓扑结构和代数结构并称数学中的三大母结构,三大结构的相互交叉与融合极大地推动了数学本身的发展.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-代......
本文通过对拓扑空间上的内部算子及其性质的研究,给出了同一集合上的内部算子之间的偏序关系,重新定义了同一集合上的内部算子在此......
以二值形态运算中平移变换的作用为引导,赋予代数格上的自同构群可交换的特性,使得形态算子的表示更为明确.在此基础上研究了代数......
从代数角度研究了右侧幂等Quantale中的理想和理想余核的具体结构，并且证明了右侧幂等Quantale中的理想和理想余核分别是主理想和简......
研究了Quantic格的内部结构，给出了子Quantic格和余核映射的定义，讨论了余核映射和子Quantic格之间的关系以及子Quantic格的若干性质......
讨论了Girard Quantale的内部结构,研究了Girard Quantale中各种运算的若干性质和它们之间的相互关系,证明了Girard Quantale中六......
给出了Quantic格同余的定义,研究了Quantic格同余、核映射以及商对象之间的关系,证明了Quantic格的又一同态定理.......
给出了预余Quantale态射的概念，证明了预余Quantale中的特殊元在预余Quantale态射的左伴随下不变的性质，找到了预余Quantale中态射与......
首先引入了Quantale上两个子集之间的等同关系；其次，利用序半群的Quantale完备化给出了序半群上两个子集之间的等同关系；最后，讨论了序......
基于完备格值模糊积分在信息融合、不确定决策等方面的应用，本文讨论了取值于完备格值的模糊积分．考虑到Lebesgue积分可用实值简单可......
描述逻辑中含有循环定义的TBox通常使用固定点模型来刻画循环定义的语义，对于固定点模型，不仅需要研究其存在性，还需要研究模型之间的......
对于任意集合X，我们证明了，在IFWCL（X）（X上的直觉模糊弱闭包算子的全体），IFWIN（X）（X上的直觉模糊弱内部算子的全体）和IFWOU（X）（X上的直觉模糊弱外......
格蕴涵代数是一种处理不确定或不精确信息的格值逻辑系统，区间集是在近似推理、模糊控制等领域中有着广泛应用的重要研究方向。本文......
对红外图像中的目标进行检测和跟踪是精确制导武器中非常困难的也是急需解决的难点之一,针对红外图像的特点,提出了一种新的用于红......
给出了群的灰同余关系的定义,在此基础上证明了群的灰同余关系满足乘法交换律,论证了群的灰同余关系的乘、交仍满足灰同余关系等重......
研究了内部算子及闭包算子与伴随的关系,得到了2个主要结论:1) 在f是内部算子,g是闭包算子的条件下,(f,g)成为伴随的充要条件是f和......
针对在许多应用领域中,大多数信息都是复杂的、不确定的,而传统的形式概念分析不能表达这些模糊的、不确定的信息问题,介绍了将Zad......
引入了可数值格的概念,获得了可数值格的若干重要结果,例如,若完备格L是C-紧的,则 L∈Fw@当且仅当L∈Bw0∩Fv2.......
为了使描述逻辑能处理更一般化的模糊动态信息，将模糊动态描述逻辑FDDL的真值空间扩充到完备格上。......
针对现有彩色图像形态学矢量排序算法的缺点,将基于图的二值及灰度形态学扩展到彩色图像,在具备完备格的图空间上定义一种新的彩色......
给出了纯正半群S的强同余格上同余T的一些判别性质,证明了S上所有基础强同余所构成的集合FCP（S）是CP（S）的完备子格,最后讨论了由纯正半......
