【摘 要】
：
Domain理论属于理论计算机科学的重要内容之一,其目的是为程序语言的语义学奠定数学基础,是计算机科学与数学研究工作者共同感兴趣的一个活跃领域.从纯数学的角度看来,Domain
论文部分内容阅读
Domain理论属于理论计算机科学的重要内容之一,其目的是为程序语言的语义学奠定数学基础,是计算机科学与数学研究工作者共同感兴趣的一个活跃领域.从纯数学的角度看来,Domain理论主要是以满足一定条件的偏序集以及它们之间的映射为研究对象Domain理论研究的一个重要方面是尽可能地将连续格理论推广到更为一般的格序结构上去.可数逼近偏序集被证明是连续domain的一种成功的推广.本文的主要工作之一是进一步讨论可数逼近偏序集的性质,主要讨论了可数逼近偏序集的拓扑性质以及与映射相关的性质,并给出了可数逼近偏序集的两个刻画；本文的另一个工作是讨论了可数Scott闭集格性质,特别地引入了可数c-连续偏序集的概念并证明了对任意偏序集,其可数Scott闭集格是可数c-连续的.此外我们考虑了c-代数格的一些基本性质.
其他文献
随着我国城市公路隧道运营里程的快速增长,城市公路隧道的运维工作变得越来越重要,隧道运营维护问题复杂,涉及运维对象众多,具有隐蔽性强、信息量大的特点,依靠传统二维平面
传染病是人类面临的一项重要挑战,严重危害着人们的身体健康和生命安全.长期以来,描述传染病动态的数学模型对于更好地理解疾病传播模式和疾病控制起到了重要作用.近年来,传染病模型的动力学分析受到了人们的重视,许多流行病学模型被用来解释疾病发生的机制和控制策略.因此本文研究了几类传染病模型,且对不同的模型给出了理论分析和数值仿真,组织结构如下:在第二章,建立了带时滞的分数阶SI(Susceptible-I
光催化水和二氧化碳直接合成太阳能燃料是太阳能和二氧化碳利用的绿色路线之一。本论文针对目前光催化二氧化碳还原效率低的问题,拟通过制备具有丰富缺陷位半导体材料或利用稀土元素掺杂产生缺陷位,来提高光催化材料的光吸收性能和光生载流子的分离效率,从而改善半导体材料的光催化还原CO_2的效率。首先,以乙二胺(En)和水的混合溶液作为水热溶剂合成了一系列具有丰富铟空位的In(OH)_3,用XRD、FT-IR、T
近些年以来,无网格方法以其特有的优点逐渐受到计算科学界的青睐。它克服了有限元法对于网格的依赖,仅仅基于节点就能够解决偏微分方程的数值求解问题。无网格方法作为新发展
微生物资源种类繁多,功能各异。细菌是微生物群落的重要成员之一,其不仅可以作为初级生产者为生态系统提供了能量来源,而且作为分解者生态系统的物质循环和转化中起到重要作
冲击模型是可靠性数学的重要研究内容之一,一般被用于刻画在随机环境下运行、并持续受到外界冲击的工作系统的失效分布、维修策略等问题。冲击模型以电子、通信、医学等领域
本文详细研究了对偶统一模与有补统一模以及基于统一模上的两类蕴涵算子,主要内容归纳如下：首先,研究了对偶统一模与有补统一模,在定义对偶统一模与有补统一模的基础上借助严
锂离子电池在便携式电子设备领域所取得的巨大成功正在逐步扩展到需要更高安全性和更大能量密度的电动汽车领域。尽管石墨的理论容量高达372 mAh g-1,但石墨的安全性能和倍率性能较差。在近年来探索替代石墨的负极材料中,嵌入型的Nb基氧化物负极材料由于其高比容量,高安全特性,持久的循环稳定性和显著的赝电容行为等优点引起了广泛的关注。然而,这类材料的电子电导率非常低并且锂离子扩散系数较差导致其倍率性能不
C-反应蛋白(C-reactive protein, CRP)是一种人类急性期血浆蛋白,属于环状五聚体蛋白家族。CRP在先天免疫中扮演重要角色,且与多种慢性炎症疾病的病生理过程相关。在五聚体CR
细菌感染严重威胁着人类的健康,抗生素的出现让人们有了战胜细菌的力量和能力。长久以来,使用抗生素是人类对付致病菌感染的有效方法,然而伴随抗生素的广泛使用,越来越多的致