一、关于连续Domain权的进一步结果（论文文献综述）
姚灵娟[1]（2020）在《连续格和FS-domain的表示理论研究》文中研究指明1969年,D.S.Scott提出了 Domain理论,旨在为计算机程序语言的指称语义提供数学基础.序、拓扑和逻辑的相互转换、相互作用是其基本特征,因此,Domain理论成为拓扑学与计算机科学研究者共同感兴趣的领域.连续性是Domain理论中的一个重要概念,而对各种序结构连续性的刻画和表示也是Domain理论研究的热点之一,包括信息系统表示、集族表示、拓扑表示、形式概念表示等.众所周知,连续domain和代数domain范畴不是Cartesian闭范畴.1989年,A.Jung证明了连续domain和代数domain范畴中存在四个极大Cartesian闭的满子范畴,即连续L-domain范畴,代数L-domain范畴,FS-domain范畴和双有限domain（代数FS-domain）范畴.这四类domain的表示问题引起了研究者的极大兴趣.2014年,吴明渊等人引入了代数L-信息系统的概念,并证明这种信息系统能表示所有的代数L-domain.郭兰坤等人提出了 一类特殊类型的形式背景,通过形式概念分析给出了代数L-domain的具体表现形式.Spreen等人提出了一个新的信息系统来表示FS-domain,但在他们的定义中集合Con必须限制为可数集族.基于这些工作,本文将从以下两个方面进行研究:一、从信息系统表示出发,设法去掉Spreen文章中Con是可数集族这个条件,以抽象基作为桥梁给出了 FS-domain和双有限domain的信息系统表示;二、从集族表示出发,通过在给定闭包空间上附加新的结构,给出了连续格、FS-domain和双有限domain的闭包系统表示.具体内容如下:第一章是全文的综述,介绍Domain理论的研究历史与现状,并对本文的主要内容进行概述.第二章是全文基本概念的介绍,对连续domain,domain范畴及相关内容进行了概述和介绍.第三章提出FS-信息系统理论,首先介绍本章要用到的关于连续信息系统,代数信息系统,抽象基,稠密抽象基的一些基本知识.然后设法引入FS-基和FS-信息系统的概念,通过探讨他们的性质和相互关系,进一步研究了 FS-domain的信息系统表示.类似于FS-基与FS-信息系统的概念,本章同样引入了 BF-抽象基,BF-信息系统的概念,并以BF-抽象基为桥梁得到了双有限domain的信息系统表示.第四章建立了连续格和闭包空间的联系,通过推广代数闭包空间的概念到连续闭包空间,我们证明了连续格能被连续闭包空间表示.我们也在连续闭包空间上引入了逼近映射,并证明了连续闭包空间带有逼近映射构成的范畴与连续格带有Scott-连续函数构成的范畴等价.第五章利用在给定闭包空间上附加新的结构,我们引入了 FS-闭包的概念,并且得到一个连续domain是FS-domain的一个充分必要条件,即存在一个FS-闭包空间表示.我们也建立了 FS-闭包空间和FS-domain范畴等价.第六章基于闭包空间,探索研究了双有限domain的闭包空间表示.即任一 BF-闭包空间都诱导一个双有限domain,而从一个双有限domain出发也可构建BF-闭包空间,并证明了 BF-闭包空间和双有限domain范畴等价.
汪鲲[2]（2020）在《相容Dcpo与局部Dcpo的性质研究》文中指出本学位论文研究了相容Dcpo与局部Dcpo的若干性质,对局部Dcpo进行了推广,引入了LBF-Domain的定义,并对LBF-Domain作了更深层次地研究,讨论其相关性质.论文主要内容如下:第一章:介绍本学位论文的研究背景,并阐述本文所研究的主要内容与重要结论.第二章:给出了本学位论文所需要的一些定义以及相关的基础性结论.第三章:基于相容Dcpo概念,研究其相关性质并在相容Dcpo中讨论了映射与Galois伴随之间的联系,进而得到了相容Dcpo中映射的一些结论.随后给出了弱下集算子的定义,讨论其在相容完备格中的相关性质.最后借助-极限的概念,研究-极限在相容Dcpo中的相关结论,同时讨论了相容Dcpo、相容连续Domain和-极限之间的关系.第四章:基于局部Dcpo的定义,将有限分离性与代数局部Dcpo结合,借助FS-Ldcpo的概念,引入了LBF-Domain的定义.研究了FS-Ldcpo的定向完备化与FS-Domain之间的联系以及LBF-Domain的若干性质,同时讨论了范畴LBF-DOM的反射子范畴及笛卡儿闭范畴.第五章:对本学位论文研究的结果进行总结,并进一步展望了接下来可能研究的问题.
甘艳萍[3]（2020）在《基于闭包空间的连续信息系统与连续domain之间的范畴等价》文中进行了进一步梳理Domain结构的表示是Domain理论的一个热点研究方向,其目的是用相对具体或简单的数学结构来表示相对抽象的domain结构.常用于表示domain结构的工具有闭包空间和Scott提出的信息系统.最近的研究结果表明,形式概念分析为domain结构的表示提供了一种新工具.本文利用形式概念分析这一工具,通过结合闭包空间和Scott-型信息系统,提出一种新的信息系统结构,从而为连续domain的表示提供一种新的表示方法.首先,我们研究关系相容形式背景诱导的Scott-型信息系统的性质,并提出基于闭包空间的连续信息系统结构,进而研究两种结构的内在联系.然后,我们研究基于闭包空间的连续信息系统与连续domain之间的关系.最后,我们在范畴层面建立基于闭包空间的连续信息系统与连续domain之间的范畴等价.本文结构如下:第一章,陈述相关的研究背景,并给出本文所需要的一些基本概念及其相关性质.第二章,通过对关系相容形式背景诱导的信息系统的研究,引入基于闭包空间的连续信息系统,并研究两种结构的内在联系.第三章,引入基于闭包空间的连续信息系统之间的F-态射,研究F-态射和关系相容形式背景之间的F-逼近映射的内在联系.第四章,证明基于闭包空间的连续信息系统和F-态射构成的范畴与连续domain和Scott连续映射构成的范畴是等价的.
王龙春[4]（2020）在《Domain的逻辑语构与逻辑语义表示》文中进行了进一步梳理本文讨论了在逻辑框架下刻画Domain范畴所必需的方法与技巧.Domain以及它们之间的Scott-连续映射构成了计算机程序语言的指称语义的数学理论基础.一般地,Domain范畴的一个逻辑表示就是把Domain中的元素看作是逻辑演算中的理论或者是逻辑演算的Linbenbaum代数上的素滤子,并把Scott-连续映射理解为逻辑演算间的推理引擎.这种方法为Domain理论提供了一种简单而具有启发意义的直观表示,从而使Domain理论中的概念和性质变得容易理解,进而可以激发我们去寻找Domain理论中更多的概念和构造.为刻画有界完备domain和Scott-连续映射组成的范畴,本文构建了一种名为合取序列演算的逻辑系统,它是经典Gentzen型命题逻辑关于合取连接词的一个片段.证明了任一没有最大元的有界完备domain D都序同构于D所诱导的合取序列演算的所有逻辑点在集合包含序下构成的偏序集.随后通过在合取序列演算间定义有效序列我们得到了一种多语言序列演算,这种多语言序列演算间的推理称为是一个合取序列关系,它是和有界完备domain间的Scott-连续映射一一对应的.进一步,构建了一个以一致合取序列演算为对象以合取序列关系为态射的范畴,并证明了它是与有界完备domain带有Scott-连续映射构成的范畴等价的.这样就把有界完备domain范畴纳入到了合取序列演算的语构框架下,从而得到了它的一种具体的逻辑语构表示.连续L-domain中的任一主理想是一种特殊的有界完备domain.注意到这一性质,我们为连续L-domain定义了一个名为局部合取序列演算的逻辑系统,它在局部位置上满足合取序列演算的推理规则.我们证明了这种局部合取序列演算的逻辑点构成了一个连续L-domain,并且所有的连续L-domain都可由这种方式在同构意义下生成.这一结果从逻辑的角度上再现了连续L-domain所具有的局部性质.随后证明了局部合取序列演算间的合取序列关系与连续L-domain间的Scott-连续映射是可以互相生成的,从而把局部合取序列演算与连续L-domain间的关系推广成为一个范畴等价.同时,代数L-domain范畴作为连续L-domain范畴的一个子范畴也是等价于局部合取序列演算范畴的一个子范畴的.对于代数L-domain范畴,本文利用陈仪香等人提出的析取命题逻辑给出了它的另一种纯语构形式的逻辑刻画.证明了析取命题逻辑的一类特殊的理论恰好可以生成所有的代数L-domain.为进一步发展析取命题逻辑的表示理论,我们定义了一个以析取命题逻辑为对象的范畴,并证明了这一范畴与代数L-domain和Scott-连续映射构成的范畴是等价的.特别地,基于一类特殊的析取命题逻辑给出了Scottdomain的一种纯语构形式的逻辑刻画,从而可以从逻辑的角度上揭示代数L-domain与Scott-domain间的联系与区别.最后,我们把析取命题逻辑中任意维的析取连接词替换为一种二元析取连接词后提出了N-序列演算的概念,并证明了它关于FD-格是逻辑完备的.在N-序列演算的框架下给出了Lawson紧的代数L-domain的两种不同的逻辑表示方法.第一种表示是逻辑语义形式的,其研究对象为FD-格,并以FD-格的素滤子为桥梁建立了FD-格与Lawson紧的代数L-domain间的可互相生成关系.这一表示发展了陈仪香等人的代数L-domain的逻辑表示方法,但是在范畴的态射构造上与他们的方法又有着本质的区别.第二种表示是前面Domain的逻辑语构表示工作的继续,因而没有借用逻辑代数的帮助而是直接采用了N-序列演算的语构作为研究对象.这时以N-序列演算中的逻辑点为工具确定了N-序列演算和析取序列关系构成的范畴与Lawson紧的代数L-domain带有Scott-连续映射构成的范畴间的等价关系.这一部分的结果表明可以把某些Domain的逻辑语义表示和逻辑语构表示纳入到同一个逻辑框架下.
刘东明[5]（2019）在《相对连续偏序集理论的研究》文中提出自诞生以来,具有计算机程序语言理论背景的Domain理论备受各科学特别是数学与计算机科学交叉领域的广泛关注.现如今,Domain理论已经成为一个不可替代的数学分支.定向集作为Domain理论最基础且最重要的定义之一,对其进行推广,可以使Domain理论得以丰富和完善.本文主要利用相对的思想在偏序集上引入相对定向集的定义,并借此给出一系列相关概念,进而定义相对连续偏序集,讨论其基本性质.主要的研究工作如下:1.基于定向集和一致集的概念,引入和分析相对定向集和相对定向完备集的概念.并证明当集合T定向时,偏序集上所有相对T定向集构成一个完备格.2.定义相对理想和相对极大理想,讨论他们各自具有的性质,证明相对极大理想的存在性,并阐明理想、相对理想和一致理想三者之间的关系.3.通过引入相对way below关系,在偏序集上定义相对连续偏序集,给出其若干等价刻画,并证明相对连续偏序集在给定的T集合下具有相对T的遗传性.4.在相对连续偏序集上,引入相对连续Domain的相对基与权的概念,给出一些等价刻画和基本性质.5.利用相对邻域和相对Scott开集,定义相对Scott拓扑,并证明相对连续偏序集的相对way below关系在给定集合T中同样具有插入性质.
赵娜,鲁静[6]（2018）在《Z-连通连续偏序集的遗传性及不变性》文中指出本文引入了Zc-子空间的概念,证明了Zc-连续（代数）偏序集对Zc-闭集是可遗传的,并给出例子说明Zc-连续偏序集的Zc-Scott开集通常不是Zc-连续的。最后我们证明了在特殊的连通集系统下,Zc-连续（代数）性在既保局部基又保Zc-集并的映射下保持不变,且Zc-连续（代数）偏序集的收缩仍是Zc-连续（代数）偏序集。
张则则[7]（2017）在《局部连续Domain理论的研究》文中指出Domain理论从上世纪70年代以来,一直受到计算机科学及数学领域的关注.Domain理论研究的对象是满足一定条件的偏序集与它们之间的映射,研究的一个内容是将连续格的理论推广到更为一般的格序结构.本文主要研究工作如下:1.基于连续Domain理论,深入研究了局部连续Domain的相关概念及其理论.首先引入了局部邻域的定义,并在此基础上给出了局部连续Domain的内部刻画;然后借助局部定向集,给出局部连续Domain基、权的定义以及其若干等价刻画;同时探讨局部Scott Domain与拓扑空间（?）的权之间的关系.2.主要研究了局部连续Domain的特征与浓度.首先,在局部基和稠密子集的基础上,定义了局部连续Domain的特征与浓度;其次,探讨了局部连续Domain及其带上Scott拓扑或局部Lawson拓扑时的拓扑空间的特征、浓度之间的关系.3.基于局部半连续格,利用局部半素理想定义了局部半素基,并给出了局部半连续格的局部半素基和左伴随的一些性质.4.给出局部相容半连续格的概念,并借助局部相容半素极小集来阐述映射的局部相容半连续性、保?lc关系及保局部相容半素极小集之间的联系.
高淑红,卢涛[8]（2016）在《相容并半连续Domain》文中研究指明在素滤子和并半连续格的基础上,引入了相容R-半连续Domain和相容并半连续Domain的概念,给出了它们的一些基本性质.并且利用相容R-半scott拓扑刻画了相容并半连续Domain.
郭智莲[9]（2012）在《相容连续Domain和模糊半连续Domain的研究》文中进行了进一步梳理Domain理论是计算机程序设计语言的指称语义学的数学基础.它的基本特征是序与拓扑相互结合、相互作用.正是这一特征使Domain理论成为计算机科学与拓扑学研究者共同感兴趣的领域,也使这一理论与许多数学学科产生了密切联系.2000年,徐罗山教授提出相容连续Domain的概念,将最常用的实数集和自然数集纳入其中,并且进一步将连续Domain理论中重要的概念和结论推广到相容连续Domain理论中.近几年,我国学者张德学、赖洪亮等人用Ω-范畴理论研究模糊偏序集的定向完备性和连续性,樊磊、张奇业等人提出用模糊集方法研究量化Domain理论,都得到了很好的结论.还有姚卫在博士毕业论文中研究了模糊连续Domain中的一些重要问题.本文在上述研究的基础上,进一步拓展了相容连续Domain理论和模糊连续Domain理论,主要的工作有以下几个方面：（1）进一步研究相容连续Domain的结构.得到了相容连续Domain上基的一些等价刻画,并且在相容连续Domain中引入了权的概念,给出了有关权的一些基数不等式及等式,把从格论角度引入的权的概念与拓扑中权的概念做了比较,揭示了它们之间内在联系.给出了相容连续L-domain之间的稳定映射以及相容FS-domain之间的一致交换映射的不动点之集的性质.（2）研究了相容半连续Domain及其上的拓扑给出了偏序集上素理想的定义,在此基础上引入半连续Domain和相容半连续Domain的定义,并且把拟连续Domain和交连续Domain的概念与相容半连续Domain相结合,引入相容拟半连续Domain和相容交半连续Domain,揭示了它们之间的关系,给出了相容拟半连续Domain和相容交半连续Domain的等价刻画.并且给出了相容半连续Domain上的相容半Scott拓扑和相容半Lawson拓扑等几类拓扑,讨论了它们之间的关系,构造出相容半连续Domain上相容μ—拓扑连续映射.（3）研究了模糊半连续Domain和模糊强连续Domain的性质.首先给出模糊偏序集上模糊素理想的定义,进而给出模糊（?）Fc关系的定义,讨论了模（糊?）Fc关系和模糊双小于关系的内在联系.在此基础上定义了模糊半连续Domain和模糊强连续Domain,证明了模糊Dcpo是模糊半连续Domain当且仅当（（?）Fc,（?））是模糊Dcpo与其上的模糊素理想之集之间的一个模糊Galois伴随；证明了模糊Dcpo是模糊强连续Domain当且仅当（（?）Fc,（?））是模糊Dcpo与其上的模糊素理想之集之间的一个模糊Galois伴随且映射（?）是满射.最后得到模糊强连续Domain是模糊连续Domain,模糊连续domain在一定条件下是模糊半连续Domain的结论.（4）研究了模糊半连续Domain上的L-半Scott拓扑的性质.首先给出L-半Scott拓扑的定义,进一步给出了L-半Scott开集在模糊半连续Domain下的等价刻画,并且给出了模糊半连续Domain下L-半Scott拓扑的一个基.其次给出了几种模糊连续映射的定义,并且探讨了它们之间的关系.再次定义了L-半Scott开滤子,给出了L-半Scott开滤子与模糊Scott开滤子之间的关系.最后给出了L-滤子的L-半Scott收敛的定义,证明了模糊Dcpo （X,e）是模糊半连续Domain当且仅当满层的L-滤子是L-半Scott收敛的等价于按L-半Scott拓扑收敛.
李娇,徐晓泉[10]（2011）在《相容连续Domain的序同态扩张》文中研究说明对相容Domain引入了相容定向极小集的概念,证明了相容Domain D是相容连续Domain当且仅当D中的每个元在D中存在相容定向极小集,并给出了相容连续Domain的序同态扩张定理.
二、关于连续Domain权的进一步结果（论文开题报告）
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
本文主要提出一款精简64位RISC处理器存储管理单元结构并详细分析其设计过程。在该MMU结构中,TLB采用叁个分离的TLB,TLB采用基于内容查找的相联存储器并行查找,支持粗粒度为64KB和细粒度为4KB两种页面大小,采用多级分层页表结构映射地址空间,并详细论述了四级页表转换过程,TLB结构组织等。该MMU结构将作为该处理器存储系统实现的一个重要组成部分。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
三、关于连续Domain权的进一步结果（论文提纲范文）
（1）连续格和FS-domain的表示理论研究（论文提纲范文）
| 摘要 |
| Abstract |
| 第1章 绪论 |
| 1.1 研究背景 |
| 1.2 主要工作和结构安排 |
| 1.3 相关符号说明 |
| 第2章 预备知识 |
| 2.1 连续domain |
| 2.2 内蕴拓扑 |
| 2.3 Domain范畴 |
| 第3章 FS-domain和双有限domain的信息系统表示 |
| 3.1 连续信息系统和抽象基 |
| 3.2 代数信息系统和稠密抽象基 |
| 3.3 FS-基 |
| 3.4 FS-信息系统 |
| 3.5 双有限domain的信息系统表示 |
| 第4章 连续格的闭包空间表示 |
| 4.1 闭包空间 |
| 4.2 连续闭包空间 |
| 4.3 范畴等价 |
| 第5章 FS-domain的闭包空间表示 |
| 5.1 F-扩张广义闭包空间 |
| 5.2 FS-闭包空间 |
| 5.3 FS-闭包空间和FS-domain范畴等价 |
| 第6章 双有限domain的闭包空间表示 |
| 6.1 F-扩张闭包空间 |
| 6.2 BF-闭包空间 |
| 6.3 BF-闭包空间和双有限domain范畴等价 |
| 结论 |
| 参考文献 |
| 致谢 |
| 附录A 攻读学位期间所发表的学术论文目录 |
（2）相容Dcpo与局部Dcpo的性质研究（论文提纲范文）
| 摘要 |
| abstract |
| 第一章 绪论 |
| 1.1 研究背景 |
| 1.2 论文内容安排与主要结论 |
| 第二章 预备知识 |
| 2.1 偏序集 |
| 2.2 相容Dcpo |
| 2.3 局部Dcpo |
| 第三章 相容Dcpo的若干性质 |
| 3.1 相容Dcpo上的连续映射 |
| 3.2 相容完备格的弱下集算子 |
| 3.3 相容Dcpo上的S-极限 |
| 第四章 局部Dcpo的若干性质 |
| 4.1 FS-Ldcpo的定向完备化 |
| 4.2 LBF-Domain的范畴性质 |
| 第五章 总结与展望 |
| 参考文献 |
| 攻读硕士学位期间出版或发表的论着,论文 |
| 致谢 |
（3）基于闭包空间的连续信息系统与连续domain之间的范畴等价（论文提纲范文）
| 中文摘要 |
| 英文摘要 |
| 1. 绪论 |
| 1.1 引言 |
| 1.2 闭包空间的基本概念与性质 |
| 1.3 连续domain的基本概念与性质 |
| 1.4 形式概念分析的基本概念与性质 |
| 2. CB-信息系统和R-背景之间的相互诱导 |
| 2.1 R-背景和R-概念 |
| 2.2 R-背景诱导的Scott-型信息系统 |
| 2.3 CB-信息系统 |
| 2.4 CB-信息系统诱导的R-背景 |
| 3. F-态射和F-逼近映射 |
| 3.1 CB-信息系统间的F-态射 |
| 3.2 F-逼近映射与F-态射的一一对应 |
| 4. CB-信息系统的等价刻画 |
| 4.1 CB-信息系统与连续domains间的等价 |
| 4.2 CB-信息系统与R-背景间的等价 |
| 参考文献 |
| 致谢 |
（4）Domain的逻辑语构与逻辑语义表示（论文提纲范文）
| 摘要 |
| Abstract |
| 第1章 绪论 |
| 1.1 研究背景 |
| 1.2 创新点和内容安排 |
| 1.3 预备知识 |
| 第2章 有界完备domain的语构表示 |
| 2.1 合取序列演算 |
| 2.2 有界完备domain的表示定理 |
| 2.3 有界完备domain范畴的表示 |
| 第3章 连续L-domain的语构表示 |
| 3.1 局部合取序列演算与连续L-domain |
| 3.2 局部合取序列演算范畴 |
| 第4章 代数L-domain的析取命题逻辑的语构表示 |
| 4.1 析取命题演算 |
| 4.2 代数L-domain的表示定理 |
| 4.3 代数L-domain范畴的表示 |
| 第5章 Lawson紧的代数L-domain的表示 |
| 5.1 N-序列演算及其逻辑完备性 |
| 5.2 逻辑语义表示 |
| 5.3 逻辑语构表示 |
| 结论 |
| 参考文献 |
| 致谢 |
| 附录 A 范畴符号检索 |
| 附录 B 攻读学位期间所完成的学术论文目录及参与的科研项目 |
（5）相对连续偏序集理论的研究（论文提纲范文）
| 摘要 |
| Abstract |
| 第一章 序言与预备知识 |
| 1.1 序言 |
| 1.2 预备知识 |
| 第二章 相对定向集与相对定向完备集 |
| 2.1 相对定向集 |
| 2.2 相对定向完备集 |
| 第三章 相对理想与相对极大理想 |
| 3.1 相对理想与一致理想 |
| 3.2 相对极大理想 |
| 第四章 相对连续偏序集 |
| 4.1 相对way below关系 |
| 4.2 相对连续偏序集 |
| 4.3 相对基与权 |
| 第五章 相对Scott拓扑 |
| 5.1 相对上集与相对下集 |
| 5.2 相对Scott拓扑 |
| 第六章 总结与展望 |
| 参考文献 |
| 攻读硕士学位期间出版或发表的论着,论文 |
| 致谢 |
（7）局部连续Domain理论的研究（论文提纲范文）
| 摘要 |
| Abstract |
| 第一章 序言及预备知识 |
| 1.1 序言 |
| 1.2 预备知识 |
| 第二章 局部连续Domain的基与权 |
| 2.1 局部定向集及局部邻域 |
| 2.2 局部连续Domain的基 |
| 2.3 局部连续Domain的权 |
| 第三章 局部连续Domain的特征与浓度 |
| 3.1 局部连续Domain的特征 |
| 3.2 局部连续Domain的浓度 |
| 第四章 局部半连续格 |
| 4.1 局部半连续格 |
| 4.2 局部半素基 |
| 第五章 局部相容半连续格 |
| 5.1 局部相容半连续格 |
| 5.2 局部相容半素极小集 |
| 第六章 总结 |
| 参考文献 |
| 攻读硕士学位期间出版或发表的论着, 论文 |
| 致谢 |
（9）相容连续Domain和模糊半连续Domain的研究（论文提纲范文）
| 摘要 |
| Abstract |
| 前言 |
| 第1章 预备知识 |
| 1.1 Domain理论的基本概念 |
| 1.2 模糊连续Domain的基本概念 |
| 第2章 相容连续Domain |
| 2.1 相容连续Domain的概念 |
| 2.2 相容连续Domain的基和权 |
| 2.3 相容连续Domain间Scott连续自映射的不动点 |
| 第3章 半连续Domain和相容半连续Domain |
| 3.1 半连续Domain及其相关性质 |
| 3.2 相容半连续Domain |
| 3.3 相容半连续Domain上的拓扑 |
| 3.4 相容拟半连续Domain和相容交半连续Domain |
| 第4章 模糊半连续Domain |
| 4.1 模糊(?)Fc关系 |
| 4.2 模糊半连续Domain |
| 4.3 模糊强连续Domain |
| 第5章 模糊Dcpo上的L-半Scott拓扑 |
| 5.1 L-半Scott拓扑 |
| 5.2 L-半连续映射 |
| 5.3 L-半Scott开滤子 |
| 5.4 L-滤子的L-半Scott拓扑收敛 |
| 总结 |
| 参考文献 |
| 致谢 |
| 攻读博士学位期间的研究成果 |
四、关于连续Domain权的进一步结果（论文参考文献）
- [1]连续格和FS-domain的表示理论研究[D]. 姚灵娟. 湖南大学, 2020(02)
- [2]相容Dcpo与局部Dcpo的性质研究[D]. 汪鲲. 淮北师范大学, 2020(12)
- [3]基于闭包空间的连续信息系统与连续domain之间的范畴等价[D]. 甘艳萍. 湖南师范大学, 2020(01)
- [4]Domain的逻辑语构与逻辑语义表示[D]. 王龙春. 湖南大学, 2020(12)
- [5]相对连续偏序集理论的研究[D]. 刘东明. 淮北师范大学, 2019(09)
- [6]Z-连通连续偏序集的遗传性及不变性[J]. 赵娜,鲁静. 模糊系统与数学, 2018(04)
- [7]局部连续Domain理论的研究[D]. 张则则. 淮北师范大学, 2017(02)
- [8]相容并半连续Domain[J]. 高淑红,卢涛. 吉林师范大学学报(自然科学版), 2016(01)
- [9]相容连续Domain和模糊半连续Domain的研究[D]. 郭智莲. 陕西师范大学, 2012(03)
- [10]相容连续Domain的序同态扩张[J]. 李娇,徐晓泉. 江西师范大学学报(自然科学版), 2011(04)