【摘 要】
:
自诞生以来,具有计算机程序语言理论背景的Domain理论备受各科学特别是数学与计算机科学交叉领域的广泛关注.现如今,Domain理论已经成为一个不可替代的数学分支.定向集作为Do
论文部分内容阅读
自诞生以来,具有计算机程序语言理论背景的Domain理论备受各科学特别是数学与计算机科学交叉领域的广泛关注.现如今,Domain理论已经成为一个不可替代的数学分支.定向集作为Domain理论最基础且最重要的定义之一,对其进行推广,可以使Domain理论得以丰富和完善.本文主要利用相对的思想在偏序集上引入相对定向集的定义,并借此给出一系列相关概念,进而定义相对连续偏序集,讨论其基本性质.主要的研究工作如下:1.基于定向集和一致集的概念,引入和分析相对定向集和相对定向完备集的概念.并证明当集合T定向时,偏序集上所有相对T定向集构成一个完备格.2.定义相对理想和相对极大理想,讨论他们各自具有的性质,证明相对极大理想的存在性,并阐明理想、相对理想和一致理想三者之间的关系.3.通过引入相对way below关系,在偏序集上定义相对连续偏序集,给出其若干等价刻画,并证明相对连续偏序集在给定的T集合下具有相对T的遗传性.4.在相对连续偏序集上,引入相对连续Domain的相对基与权的概念,给出一些等价刻画和基本性质.5.利用相对邻域和相对Scott开集,定义相对Scott拓扑,并证明相对连续偏序集的相对way below关系在给定集合T中同样具有插入性质.
其他文献
本文以加拿大著名画家科尔维尔绘画艺术的贡献,以及科尔维尔画面结构特点和对后人创作影响的研究这一命题为出发点,首先从科尔维尔成长环境分析了画家独特艺术风格形成的原因
【正】 骨质疏松是个主要的公共卫生问题,已经影响了大约2500万美国人,每年约有150万骨折因骨质疏松引起,估计每年用于骨质疏松的直接与间接的费用达100亿美元。国际骨质疏松
民族现象主宰了整个十九世纪和二十世纪的历史,现代民族国家通过民族主义来构建人们对于国家的认同。民族是现代国家成员的一种集体身份,民族认同意味着社会成员以“民族”作
采用了基于密度泛函理论(DFT)的第一性原理平面波超软赝势方法,计算了本征TiO2,Cu、Fe单掺杂及共掺杂TiO2电子结构和光学性质.计算结果表明:Cu掺杂属于p型掺杂,Fe掺杂均属于n
目的:冠状动脉粥样硬化性心脏病是一种慢性动脉壁炎症性疾病。巨噬细胞移动抑制因子(Macrophage migration inhibitory factor,MIF)是一种促炎性及趋化因子,它可起到让巨噬细胞等炎症免疫细胞聚集于动脉粥样硬化斑块处进而引起相关的炎症反应。MIF可通过CD44/CD74共受体介导炎症反应发生,本研究探讨CD44基因多态性与新疆汉族人群冠心病的相关性。方法:本研究采用病
本文讨论了利普希茨映射在连续映射所构成的空间中的稠密性.我们证明了:在对目标空间进行合理假设的情况下,从利普希茨同伦类的集合到连续同伦类的集合的一个自然映射是双射,
四面体格网(TEN)模型是一种重要的空间数据构模方法,侧重于三维空间对象内部的表达,但是存在着数据量大、计算速度慢的问题。三维拓扑关系是三维GIS的重要研究内容,为此,该文
目的 :探讨持续质量管理在儿科护理管理中的应用效果。方法 :对2014年6月至2016年7月期间江苏省泗阳县人民医院儿科的护理管理情况进行回顾性分析。在2014年6月至2015年6月期
随着大功率LED的诞生和发展,用单粒LED作为照明光源已经能够满足很多场合的照明要求。本文结合工作台照明用灯的实际使用条件和单粒LED的发光特性,利用ZEMAX光学设计软件对欧
改革开放以来,特别是上世纪末本世纪初,随着城市经济的不断发展,城市建设的步伐也在加快,城市房地产开发也得到了前所未有的发展。但是城市房地产开发在给人类提供物质保障的