【摘 要】
:
20世纪60年代末70年代,计算机理论学家D.Scott提出了Domain理论,为理论计算机科学的指称语义学奠定数学基础.但是,经典Domain理论中的二元序关系,只能够表达元素之间的定性信
论文部分内容阅读
20世纪60年代末70年代,计算机理论学家D.Scott提出了Domain理论,为理论计算机科学的指称语义学奠定数学基础.但是,经典Domain理论中的二元序关系,只能够表达元素之间的定性信息,而没有实际计算所需要的定量信息.模糊偏序集和量化Domain的引入则弥补了这一不足.因此,近些年来量化Domain的研究受到诸多学者的关注并取得了一系列好的成果.本文利用模糊可数定向子集引入了模糊可数way-below关系的定义,以此为基础给出了模糊可数连续格的概念,对它的基理论以及序同态进行了研究.主要内容如下:首先,介绍了模糊偏序集的研究背景和研究现状,并给出了阅读本论文需要用到的有关Domain理论和模糊集理论中的概念和结论.其次,利用模糊可数定向子集引入了一种新的模糊way-below关系——模糊可数way-below关系,以此为基础,在模糊完备格上给出了模糊可数连续格的概念,讨论了它的一些基本性质.再次,提出了模糊可数局部基与模糊可数基的概念,并利用插入性,得到了模糊可数连续格的性质及若干等价刻画.最后,引入了模糊可数定向极小集的概念,基于模糊可数定向极小集和模糊可数基,研究了模糊可数连续格上的模糊序同态的一些性质.
其他文献
目的 :中长距离跑对心血管系统的功能和肌肉耐力要求极高。高原训练是中长距离跑项目的常用训练手段,通过高原缺氧环境对人体的刺激,从而提高中长跑运动员心血管系统的功能和
2001年,龙冬阳证明了k-p-内缀码在乘积下封闭,每个(k+1)-p-内缀码是k-p-内缀码,2-k-ps-内缀码在乘积下不封闭等结论,本文研究了k-p_内缀码在其它运算下的封闭性以及2-k-ps-内
随机矩阵作为一类特殊的非负矩阵,具有广泛的应用背景.数理经济学、运筹学和Markov链等众多领域的许多问题都与随机矩阵有着密切的联系.随机矩阵非1特征值的定位与具有非零相
本论文研究了具有分布时滞和离散时滞的复值Cohen-Grossberg神经网络微分方程.通过运用压缩映射原理,Lyapunov泛函等方法得到解的存在性和全局一致渐近稳定性.本论文的结构如
AFR算法是矢网校准算法的其中之一,其采用时域门来提取夹具带来的误差,因此相比于TRL,AFR具有所需标准件少、测量便捷、精度与TRL相当等优势。然而,AFR算法需要用到傅里叶变
本文主要研究两类特殊的无穷维数Hamilton算子的谱的问题,得到了点谱关于虚轴对称以及近似点谱和本质谱刻画.本文内容如下:第一章简单介绍了穷维数Hamilton算子的发展现状.第
量子色动力学(Quantum Chromodynamics,简称QCD)理论预言,在某些极端环境下(如温度极高、能量密度极大的条件下),被禁闭的强子物质可能会转变成一种全新的物质状态——夸克胶
自从1963年Lorenz提出第一个混沌数理模型以来,混沌受到各个领域的关注并获得快速的发展.混沌是非线性科学中所具有的一种复杂运动,它在自然界中是普遍存在的.近些年来,关于
最近的研究发现具有π电子的多环芳香烃半导体在掺杂碱金属或者碱土金属后可以表现出转变温度为5~33 K的超导电性,这引起了科学家对于多环芳香烃有机半导体材料电磁性质的极
Scott D在1971年第一次提出了连续格的概念,从此经典Domain理论开始出现.Ray Y在1989年第一次给出了半素理想的概念并研究了它的基本性质.赵东升在1997年首次在完备格上定义