模糊DCPO范畴的几类满子范畴

来源 :陕西师范大学 | 被引量 : 0次 | 上传用户:spring19760128
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Domain理论是由Scott于20世纪60年代末创立的,其目的是为计算机函数式语言提供指称语义.经过多年的发展,Domain理论已经取得了非常丰富的研究成果.为了支持可计算函数的各种运算,一般要求相应的Domain范畴是笛卡尔闭的,因此范畴笛卡尔闭性的研究在Domain理论中占有十分重要的地位.自2000年以来,樊磊和张奇业等提出了L-fuzzy偏序集的概念,并将经典Domain理论中的许多结果都推广到了模糊的情形,形成了模糊Domain基本理论.关于模糊Domain范畴的笛卡尔闭性,姚卫证明了模糊Dcpo范畴FDCPO是笛卡尔闭的,刘敏证明了模糊连续格范畴和代数的模糊连续格范畴是笛卡尔闭的,但关于模糊Dcpo范畴的两个重要的满子范畴,即模糊Domain范畴和代数模糊Domain范畴的笛卡尔闭性尚且不知.本文一方面给出了模糊Dcpo范畴的两类笛卡尔闭的满子范畴:有界完备模糊Dcpo范畴与tensor完备模糊Dcpo范畴.另一方面对模糊Domain范畴和代数模糊Domain范畴的有限积、等子等性质进行了研究,这些结论丰富了模糊Domain与代数模糊Domain范畴的有关性质.本文的主要内容安排如下:第1章:预备知识.本章给出了与本文相关的模糊偏序集以及范畴论中的一些基本概念和结论.第2章:模糊Dcpo范畴的笛卡尔闭子范畴.本章首先总结了模糊Dcpo范畴中笛卡尔闭的相关结论,得到了模糊Dcpo范畴的满子范畴笛卡尔闭的一个充要条件.然后给出了有界完备模糊Dcpo及tensor完备模糊Dcpo的定义,并证明了有界完备模糊Dcpo范畴与tensor完备模糊Dcpo范畴是笛卡尔闭的,即找出了范畴FDCPO的两个笛卡尔闭的满子范畴.同时还给出了模糊完备交半格与强模糊完备交半格的定义,讨论了它们与有界完备模糊Dcpo的关系.第3章:模糊Domain范畴的一些性质.本章研究了模糊Domain与代数模糊Domain范畴的性质.首先给出了模糊Domain的一个等价刻画,然后证明了代数模糊Domain范畴有有限积,并得到有界完备模糊Domain范畴与有界完备代数模糊Domain范畴均有有限积.另外,本章证明了模糊Domain与代数模糊Domain范畴均有等子,同时给出了模糊交半格的定义,讨论了模糊交半格在一些特殊映射下的性质.
其他文献
学位
阿秒脉冲是一种持续时间极短的阿秒量级(1as=10-18s)脉冲,由于其超短的脉宽,使得人们在原子分子尺度内进行观测、操纵和追踪电子的动力学过程成为了可能,它的发现也极大地推
在科技发展快速的今天,人类运用科学技术探索了蔚蓝的海洋,也获取了巨量的海洋观测数据。但是这些海洋观测数据不仅种类繁多、内容广泛,而且是不同时期、不同区域的,使得数据具有动态性、多维性、时变性等特点,从而造成了海洋数据的语义歧义和共享困难。现阶段人们对于语义异构问题的解决方案是构建本体,并通过W3C制定的本体描述语言进行形式化表达。在现有的本体描述语言中,OWL相对其他语言具有较强的表达和推理能力,
光子在大气中传输时,会与介质相互作用,发生后向散射。在后向散射的过程中,后向散射光会含有特定的偏振信息。后向散射光的偏振信息在气溶胶光学、去雾、量子通信、目标识别
学位
肌肉生长抑制素(Myostatin)又名生长分化因子8,属于TGF-β超家族成员之一,是肌肉生长的负调控因子。当Myostatin基因的成熟肽碱基发生突变时,它表达的产物就会丧失抑制肌肉生
于2018年在河南省驻马店市泌阳县盘古乡开展田间试验,研究叶面喷施赤霉素、磷酸二氢钾与蔗糖脂肪酸酯对烤烟上部叶生理生长和物理特性、化学品质以及香气含量的影响,探讨提高烤烟上部叶品质及可用性的处理措施。共设置8个处理:CK:喷施清水;CK1:喷施赤霉素;CK2:喷施磷酸二氢钾;CK3:喷施蔗糖脂肪酸酯;T1:喷施赤霉素+磷酸二氢钾;T2:喷施赤霉素+蔗糖脂肪酸酯;T3:喷施磷酸二氢钾+蔗糖脂肪酸酯;
全息测量法在国际上被广泛应用于大型反射面天线的现场测量,是诸多方法中测量精度最高的天线反射面检测方法。本论文对近场范围内的全息测量关键技术进行了理论研究,建立了一
目前有许多人类的药用蛋白都是利用工业生物反应器来生产的,然而这种体系的建立需要大量的人力、物力、财力且耗时较长。随着人们对药用蛋白的需求日益增长,研制一种即经济又
[目的]建立小鼠肾脏缺血再灌注损伤模型,研究Maresin 1(MaR1)对小鼠肾脏缺血再灌注损伤的影响,并探讨其关键机制。[方法]C57BL/6雄性小鼠被随机分成三组:假手术组(Sham组)、