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

来源 :湖南大学 | 被引量 : 2次 | 上传用户:jekiyi
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
自Turing奖得主Scott发现连续格以来,许多研究者对连续格的研究就保持着浓厚的兴趣.连续格是一种具有特殊性质的完备格,其内部结构十分复杂.为了彻底搞清楚连续格,研究者尝试用各种各样的形式去表现它,有方程刻画,有拓扑刻画以及信息系统表示等等.在本文中,我们从集合论角度定义了非空集合上的拟闭包算子,得到连续格与该算子的不动点集存在同构对应的结论,并将完全分配格以及完全分配的代数格分别对应到更强条件下该算子的不动点集.以拟闭包算子为工具,我们重新研究了连续信息系统,分别得到连续格和完全分配格的信息系统表示.我们还给出连续信息系统上逼近映射的另一种定义,得到连续信息系统与连续格范畴等价的结论.形式概念分析是利用序理论方法来处理数据的有力工具.其基本概念是形式背景和形式概念,形式概念从形式背景中提取出来,形成一个格结构,即形式概念格.形式概念格与完备格之间存在同构对应关系.结合粗糙集理论, Du¨ntsch和Yao分别在形式背景中定义了属性粗糙概念和对象粗糙概念,并证明相应的概念格与完备格之间也存在同构对应关系.后来, Zhang在形式背景中引进了逼近概念,发现逼近概念格恰好是代数格的表示,并且逼近概念对应着形式背景诱导的代数信息系统中的信息元.不久, Lei和Luo把逼近概念发展为粗糙逼近概念,证明二者具有相同的性质.在此基础上,我们把逼近概念进一步推广为弱逼近概念,证明弱逼近概念格是素代数格(即完全分配的代数格)的表示.我们还讨论了形式背景与素信息系统之间的关系,得到弱逼近概念与诱导素信息系统中的信息元一一对应的结论.量化Domain理论(也称模糊Domain理论)旨在为并发系统提供数学模型.模糊完备格是量化Domain理论中不容忽视的一种结构,对其表现形式的研究是本文研究工作之一.我们从经典的完备格同构于闭包系统这个结论中得到启发,首先讨论了模糊完备格与模糊闭包系统之间的关系.然后融合模糊序与模糊逻辑的共性,我们提出了模糊信息系统的概念,证明它是模糊完备格的逻辑表现形式.同时我们在模糊信息系统上定义合适的态射,证明它与模糊完备格在范畴上等价.模糊偏序集是量化Domain理论中的另一个研究重点.本文主要讨论模糊偏序集的完备化及相关问题.在前人研究工作的基础上,我们研究了模糊偏序集Dedekind-MacNeille完备化(简记为DM完备化)的范畴性质.在合理的态射下,我们证明DM完备化算子是模糊偏序集范畴到模糊完备格范畴的共变函子,且在模糊完备格范畴意义下, DM完备化是模糊偏序集范畴中对应的模糊偏序上的自由对象.并得到模糊完备格范畴是模糊偏序集范畴的反射满子范畴的结论.此外,我们还给出了DM完备化的等价刻画.最后结合形式概念分析,给出DM完备化的其它一些形式,并讨论新形式下的完备化与模糊粗糙概念之间的关系.模糊Scott拓扑和Scott收敛理论在满足条件—任意模糊方向子集存在模糊并的模糊偏序集,即模糊dcpo上已经有相关研究.但已有的结论对一般模糊偏序集不适应,甚至一般模糊偏序集的连续性也需要重新考虑.为此,我们在模糊偏序集上引进了模糊way-below关系,借助于它重新研究了模糊偏序集的连续性.然后在模糊偏序集上定义模糊收敛结构,讨论了其上的模糊Scott拓扑.由此建立模糊偏序集上的Scott收敛理论,并用它来刻画模糊偏序集的连续性.此博士论文得到了湖南省研究生科研创新项目的资助.此博士论文用LATEX2ε软件打印.
其他文献
学位
(?)p正则化问题在变量选择、信号处理、压缩传感、数据挖掘、金融最优化等许多领域有广泛的应用背景.对该问题的理论与算法的研究是目前国际优化界关注的一个热点.本文研究求解(?)p正则化问题的理论、算法及其在压缩传感等领域中的应用.侧重于对p∈(0,1]时问题的研究.当p=1时,问题是一个Lipschitz连续的非光滑最优化问题.当p∈(0,1)时,问题是一个非Lipschitz连续的非光滑非凸函数极
为实现建筑信息化,提高建筑业数字化水平,我国展开了智能工地的全面推广应用,但目前我国智能工地的应用存在认知不足、价值不高等问题。同时由于智能工地的应用在我国尚处于初级阶段,缺少系统的研究,因此本文通过问卷调研获得数据,利用相关分析和因子分析方法对智能工地应用价值大小以及功能重要性排序进行分析,目前我国智能工地应用价值最高的项是对工人的实名制管理,对于不同项目主体来说,一致认为智能工地应用产生了一定
针对建筑工地施工噪声实时监测和调查取证难等问题,结合自动化、人工智能、物联网等技术,开发了建筑工地噪声源智能监测与识别系统。该系统采用深度学习技术和基于噪声到达时间差的声源定位技术对建筑施工噪声进行声源识别和定位,并控制网络摄像机对噪声污染责任主体进行视频取证,实现对建筑施工噪声污染源的智能化精准监测。最后利用计算机仿真和实验室测试对所设计的系统进行了验证,实验结果表明所设计系统能够较好地实现对建
5G是最新的移动通信技术,也是通信技术主要发展方向,5G与4G相比,具有"超高速率、超低时延、超大连接"等技术特点,在5G行业网中发挥着重要优势。文章针对医疗行业用户,结合具体的业务场景和业务需求,将医院内的门禁、工卡、视频监控、道闸、设备管理、餐厅消费等系统应用5G专用互联,构造一个智能化医院综合管理系统;使医院院区内的工作人员、各类型的车辆、医疗设备、业务和管理系统之间形成一个全连接,终端级的
随着人类在计算能力、数据积累、数学工具等方面取得了巨大进步,人工智能(Al)应运而生。为使机器能够更好地理解周围的世界并为人类提供帮助,人工智能技术受到生物学启发,集中研究了如何提升应用智能视觉系统分析图像的能力。根据不完全统计,2019年超过1000名职工死于工地不安全行为,许多抱有侥幸心理的职工不佩戴安全帽,是导致人员伤亡、财产损失和停工的根本原因。基于此,本文介绍了一款神经网络软件,用于监管
国有企业在我国的经济体制中占有着十分重要的一席,近年来在进一步深化国有企业改革、大力推行国有企业混合所有制改革的形势下,完善国企的法人治理结构、聚焦主业、精简健体也应运而生。由于各种历史遗留问题的存在,国有企业体系内现状下存在的大量"僵尸企业""壳企业",不仅无任何效益产出,还耗费了大量的人力支出,并造成了资产的严重闲置,资源浪费的同时加重了企业的管理成本。基于思索有效推动解决类似机构设置的问题,
建筑施工现场人员密集、环境纷杂、物料众多,存在安全事故高发、安全监督和防范手段落后等问题,企业难以全面掌控施工各环节,管理难度大、成本高。在工地精细化管理的需求和数字化技术不断创新发展的内外因驱动下,工地管理逐渐向智能化、数字化、信息化的综合管理转变。浙江华卫智能科技有限公司自主研发的绿色工地整体解决方案,基于工地现场管理的实际需求,
期刊
近年来,滑坡、崩塌、泥石流等地质灾害频发,其危害性大,波及范围广,严重威胁人民群众生命及财产安全,制约经济社会发展和人民对美好生活需求的向往。经过多年技术攻关和群防群测工作积累,我国在地质灾害风险调查和隐患排查方面取得了明显成效,综合运用合成孔径雷达测量、高分辨率卫星遥感、无人机遥感、机载激光雷达测量等多种新技术手段以提高全国地质灾害调查评价精度的工作也在持续开展中。在新时代计算机技术的不断革新与