一些特殊格的表面理论和量化Domain研究

来源 :湖南大学 | 被引量 : 0次 | 上传用户:alecsuss
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
自Turing奖得主Scott发现连续格以来,许多研究者对连续格的研究就保持着浓厚的兴趣.连续格是一种具有特殊性质的完备格,其内部结构十分复杂.为了彻底搞清楚连续格,研究者尝试用各种各样的形式去表现它,有方程刻画,有拓扑刻画以及信息系统表示等等.在本文中,我们从集合论角度定义了非空集合上的拟闭包算子,得到连续格与该算子的不动点集存在同构对应的结论,并将完全分配格以及完全分配的代数格分别对应到更强条件下该算子的不动点集.以拟闭包算子为工具,我们重新研究了连续信息系统,分别得到连续格和完全分配格的信息系统表示.我们还给出连续信息系统上逼近映射的另一种定义,得到连续信息系统与连续格范畴等价的结论.   形式概念分析是利用序理论方法来处理数据的有力工具.其基本概念是形式背景和形式概念,形式概念从形式背景中提取出来,形成一个格结构,即形式概念格.形式概念格与完备格之间存在同构对应关系.结合粗糙集理论,Düntsch和Yao分别在形式背景中定义了属性粗糙概念和对象粗糙概念,并证明相应的概念格与完备格之间也存在同构对应关系.后来,Zhang在形式背景中引进了逼近概念,发现逼近概念格恰好是代数格的表示,并且逼近概念对应着形式背景诱导的代数信息系统中的信息元.不久,Lei和Luo把逼近概念发展为粗糙逼近概念,证明二者具有相同的性质.在此基础上,我们把逼近概念进一步推广为弱逼近概念,证明弱逼近概念格是素代数格(即完全分配的代数格)的表示.我们还讨论了形式背景与素信息系统之间的关系,得到弱逼近概念与诱导素信息系统中的信息元一一对应的结论.   量化Domain理论(也称模糊Domsin理论)旨在为并发系统提供数学模型.模糊完备格是量化Domain理论中不容忽视的一种结构,对其表现形式的研究是本文研究工作之一.我们从经典的完备格同构于闭包系统这个结论中得到启发,首先讨论了模糊完备格与模糊闭包系统之间的关系.然后融合模糊序与模糊逻辑的共性,我们提出了模糊信息系统的概念,证明它是模糊完备格的逻辑表现形式.同时我们在模糊信息系统上定义合适的态射,证明它与模糊完备格在范畴上等价.   模糊偏序集是量化Domain理论中的另一个研究重点.本文主要讨论模糊偏序集的完备化及相关问题.在前人研究工作的基础上,我们研究了模糊偏序集Dedekind-MacNeille完备化(简记为DM完备化)的范畴性质.在合理的态射下,我们证明DM完备化算子是模糊偏序集范畴到模糊完备格范畴的共变函子,且在模糊完备格范畴意义下,DM完备化是模糊偏序集范畴中对应的模糊偏序上的自由对象.并得到模糊完备格范畴是模糊偏序集范畴的反射满子范畴的结论.此外,我们还给出了DM完备化的等价刻画.最后结合形式概念分析,给出DM完备化的其它一些形式,并讨论新形式下的完备化与模糊粗糙概念之间的关系.   模糊Scott拓扑和Scott收敛理论在满足条件—任意模糊方向子集存在模糊并的模糊偏序集,即模糊dcpo上已经有相关研究.但已有的结论对一般模糊偏序集不适应,甚至一般模糊偏序集的连续性也需要重新考虑.为此,我们在模糊偏序集上引进了模糊way-below关系,借助于它重新研究了模糊偏序集的连续性.然后在模糊偏序集上定义模糊收敛结构,讨论了其上的模糊Scott拓扑.由此建立模糊偏序集上的Scott收敛理论,并用它来刻画模糊偏序集的连续性.   此博士论文得到了湖南省研究生科研创新项目的资助.   此博士论文用LATEX2ε软件打印.
其他文献
本文主要研究两类特殊的抛物双曲方程(组)的定性问题.其中一类是退化抛物-双曲方程,另一类是热弹性力学方程组.   退化抛物-双曲方程出现在很多的物理模型中,例如多孔介质流,污
本文主要研究在纽结和链环投影图上做一次Wendt操作对纽结和链环的影响,以及其与解结数和交叉指标的关系。第一章介绍有关的基础知识,包括链环、解结数、Reidemeister变换、投
骨骼肌是构成人体的重要组织。理解骨骼肌在运动中的作用可以帮助解决不同人群可能存在的肌肉骨骼系统问题。超声影像技术作为一种无创、实时和便捷的成像手段,已经被越来越多
在处理结构复杂的高维数据时,子空间表示算法能够恢复出数据真实的子空间结构,在图像聚类、图像分类,图像分割,动态分割和图像压缩表示等领域中发挥着重要的作用。其中稀疏子空间表示对系数矩阵施加稀疏约束来提取数据间的局部特性;低秩子空间表示对系数矩阵施加低秩约束获得数据的全局特性,这两种算法是数据子空间表示中的典型算法。然而稀疏或低秩表示算法仅仅利用数据的列空间信息,忽略行空间信息的重要性,在处理样本不足
学位
摘 要:企业在经营的过程中,合理利用资源能源是企业控制成本最有效的方法。对能源进行有效地管理,不仅能提高企业对能源的利用率,也是我国建设和谐社会的基本要求,而能源管理的基础工作是能源统计,本文主要论述了能源统计在企业能源管理中的作用,希望对企业在节约能源、提高经济效益等方面有所启发。  关键词:能源统计 能源管理 作用 探析  企业的经营过程一般都伴随着能源的大量使用,尤其是高耗能企业。随着环境的
分数阶微积分学推广了传统的整数阶微积分学,尽管它已有了300多年的历史,但其发展历程却是缓慢而曲折的。直到近几十年,分数阶微分方程理论才日益完善,在很多领域(如量子力学、随
时间序列分析是概率统计中一个应用性强的分支,是运用数理统计的方法对有顺序的动态随机数据观察值进行分析和处理,即选取合适的数学模型去拟合这个时间序列,通过建立的模型得出
在可修系统的可靠性研究中,贮备可修系统和三状态的可修系统是可靠性研究中非常重要的类型。由于它的可靠性和实用性,受到越来越多人的重视。论文将修理工进行延误休假,多部
这篇文章主要研究的是一类偶数阶偏微分方程的混合问题,一类偶数阶偏微分方程的变动边界问题,一类混合型双曲-抛物型方程的未知边界问题等三个问题.偶数阶偏微分方程和混合型方
q贝齐尔曲线曲面是贝齐尔曲线曲面的一种推广。与贝齐尔曲线曲面相比,q贝齐尔曲线曲面具有可调控曲线曲面形状的优点,特殊情况下可化简成贝齐尔曲线曲面,因而在CAGD和图形学中占