论文摘要
Domain理论具有理论计算机科学与纯粹数学的双重研究背景,它是计算机程序设计语言指称语义学研究的数学基础,它与拓扑、逻辑、代数、范畴等学科有密切的联系.Domain理论将逼近与收敛的思想高度抽象化,其中序与拓扑的相互结合、相互作用是这一理论的基本特征.量化Domain在过去的三十年里经历了快速的发展,形成了Domain理论一个新的分支.它研究除了能提供定性信息还能提供定量信息的计算模型,比如能反映收敛的速度或程序的复杂度.目前量化Domain的研究已产生了众多不同的方法.其中,Ω-范畴作为研究量化Domain的一种方法受到了许多学者的关注.Ω-范畴是包含偏序集与广义度量空间的一类特殊的enriched范畴.本文将对Ω-范畴相关结构及其在量化Domain理论中的应用展开研究.主要内容包含三个方面：一是将Ω-范畴与代数相结合,研究带有相容的Ω-范畴结构的代数结构；二是针对Ω-范畴研究中存在的问题,对Ω-范畴内在结构进行研究；三是研究Ω-范畴在量化Domain中的应用.具体内容安排如下：第一章预备知识.本章介绍全文所需的预备知识,包括Domain理论中的基本概念、Ω-范畴中的有关概念与结论以及模糊Domain的概念.第二章Ω-序代数结构.本章将Ω-范畴与代数结构相结合,考虑带有相容的Ω-范畴结构的代数结构.文中首先引入Ω-序半群的概念,给出大量的例子,并在其中引入同态与理想等基本概念.其次,基于Ω-伴随引入Ω-剩余序半群的概念,给出几个例子并讨论它的相关性质.最后,在Ω-序代数结构与带有模糊等于关系的代数结构构成的范畴之间建立了伴随关系.第三章Ω-范畴中的几种基本结构.本章从三个方面对Ω-范畴研究中存在的问题与相关结构展开研究.第一节在L-完备格上引入L-完备格同余的概念,建立了它与L-闭包算子之间的关系；定义了L-完备格同余的商,并证明了一个L-完备格满同态的像同构于由该同态所诱导的同余的商.第二节是对Ω-范畴上反变Galois联络的研究,得到了Ω-范畴、Ω-范畴的张量积关于反变Galois联络的表示,并给出了反变Galois联络关于多值关系的表示.第三节是对基于Ω-范畴的多值拓扑的研究,本节在强L-拓扑范畴与L-frame范畴间建立了Stone型对偶.第四章模糊Domain范畴的乘积.本章首先对L-偏序集中的几种完备性的关系进行研究,证明了一个L-偏序集是完备的当且仅当它是有限并完备且定向并完备的.在第二节讨论了模糊Domain与分明Domain的关系,给出了从模糊Domain诱导分明Domain,以及由分明Domain构造模糊Domain的方法与条件.第三节首先给出了模糊Domain的乘积中的模糊双小于关系的具体形式,进而证明了含最小元的cotensor完备的模糊Domain范畴和模糊连续格范畴有乘积.第五章（代数）模糊连续格范畴的Cartesian闭性.本章针对Domain理论研究中的一个核心问题,即寻找模糊Domain范畴的Cartesian闭子范畴进行研究.主要证明了模糊连续格范畴与代数模糊连续格范畴是Cartesian闭的.本章首先回顾模糊Domain在几类模糊Scott连续的投射算子下的像的性质,主要证明了模糊Domain在模糊Scott连续的投射下的像仍是模糊Domain.进而研究模糊Domain的映射空间的连续性,基于第四章关于模糊连续格范畴乘积的结果,证明了模糊连续格的映射空间仍是模糊连续格,从而证明了模糊连续格范畴是Cartesian闭的.然后我们简要介绍了代数模糊Domain的有关概念与性质,讨论了代数模糊连续格的乘积与映射空间,并进一步证明了代数模糊连续格范畴也是Cartesian闭的.
论文目录
相关论文文献
- [1].利用插入性质刻画模糊domain[J]. 南昌大学学报(理科版) 2018(03)
- [2].Z-相容连续Domain及其相关性质[J]. 绵阳师范学院学报 2017(05)
- [3].Z-相容连续Domain及其相关性质[J]. 佳木斯大学学报(自然科学版) 2017(03)
- [4].伪相容连续Domain局部基的若干性质[J]. 赤峰学院学报(自然科学版) 2014(16)
- [5].Zara Domain不良的研究与改善[J]. 液晶与显示 2019(03)
- [6].Guest Editorial TTA Special Section on Applications of Terahertz Time Domain Spectroscopy[J]. Journal of Electronic Science and Technology 2016(04)
- [7].相容连续Domain的序同态扩张[J]. 江西师范大学学报(自然科学版) 2011(04)
- [8].相容连续Domain上的序同态[J]. 模糊系统与数学 2011(02)
- [9].半群上的拓扑、偏序和相关Domain[J]. 模糊系统与数学 2010(04)
- [10].几乎代数基与有界完备domain[J]. 四川师范大学学报(自然科学版) 2018(01)
- [11].Z-准连续Domain的性质及其等价刻画[J]. 西南大学学报(自然科学版) 2017(08)
- [12].Global Regularity for a 2D Model of Electro-Kinetic Fluid in a Bounded Domain[J]. Acta Mathematicae Applicatae Sinica 2018(02)
- [13].森林脑炎病毒E基因DomainⅢ段的克隆表达及鉴定[J]. 吉林农业大学学报 2012(06)
- [14].紧化的一个Domain理论构造[J]. 模糊系统与数学 2013(04)
- [15].相容连续Domain的遗传性[J]. 模糊系统与数学 2010(01)
- [16].Fatigue Damage Assessment by Considering Mean Value Effect in Frequency Domain[J]. Transactions of Tianjin University 2015(02)
- [17].Overview of Center for Domain-Specific Computing[J]. Journal of Computer Science & Technology 2011(04)
- [18].FZ-Domain的遗传性[J]. 纺织高校基础科学学报 2011(01)
- [19].Dynamic Analysis of Cable Roofs Under Transient Wind:A Comparison Between Time Domain and Frequency Domain Approaches[J]. Tsinghua Science and Technology 2008(S1)
- [20].基于DOMAIN和NeuralEnsembles模型预测中国毛竹潜在分布[J]. 林业科学 2011(07)
- [21].关于拟连续domain以及函数空间的注记[J]. 模糊系统与数学 2012(04)
- [22].Frequency Domain TOA Estimation Algorithm Based on Cross-HOC[J]. Journal of Measurement Science and Instrumentation 2011(02)
- [23].TN型产品Zara Domain理论研究与分析改善[J]. 液晶与显示 2016(03)
- [24].Domain函数空间代数性的一个注记[J]. 徐州师范大学学报(自然科学版) 2009(01)
- [25].Square Geometrical Shaping 128QAM Based Time Domain Hybrid Modulation in Visible Light Communication System[J]. 中国通信 2020(01)
- [26].Coefficient Estimates for the Subclasses of Analytic Functions and Bi-Univalent Functions Associated with the Strip Domain[J]. Journal of Mathematical Research with Applications 2017(05)
- [27].Construct Protein-Protein Interaction Network by Mining Domain-Domain Interactions[J]. Journal of Harbin Institute of Technology 2016(04)
- [28].拟连续Domain的遗传性、不变性及映射空间[J]. 陕西师范大学学报(自然科学版) 2010(06)
- [29].靶向23SrRNA domainⅡ区的肽-多肽核酸抑制细菌生长的研究[J]. 检验医学 2009(05)
- [30].AT&T Domain2.0与运营商转型[J]. 中国电信业 2016(04)