【摘 要】
：
为了模型化不确定计算而引入的幂domain已成为程序设计语言指称语义学研究中最重要的构造,几个经典的幂domain构造已经被广泛的研究(见[5]).C.A.Gunter在[6]中引入了混合幂do
论文部分内容阅读
为了模型化不确定计算而引入的幂domain已成为程序设计语言指称语义学研究中最重要的构造,几个经典的幂domain构造已经被广泛的研究(见[5]).C.A.Gunter在[6]中引入了混合幂domain的概念.并证明了当D为sober空间时,混合幂domain的序刻画,使我们更清楚的看到其内在本质.但是仍有一些基本问题没还不甚清楚,作为一个重要的概念还是有必要给予研究.首先我们研究了Lawson紧连续domain D的混合幂domain.首先对一般的domain D该文讨论了其混合幂domain一些基本性质(§2).同时因为近年来应用domain环境来解决拓扑学中的某些问题引起了人们的关注(见[8,9,10]),我们进而讨论了混合幂domain的domain环境问题.该文给出了混合幂domain极大元的刻画,证明了当D为Lawson紧时,混合幂domain是其极大点空间的domain环境(§3).其次研究了FB-domain关于混合幂domain构造是封闭性.一个Domain范畴能够作为一个非确定性计算的指称语义模型的基本要求是它关于某类适当的幂domain构造封闭并且需要是Cartisan闭的.因而研究Domain范畴关于幂domain构造的封闭性是幂domain理论研究的基本任务之一(见[2]).该文证明了FB-domain关于混合幂domain构造是封闭的(§4)·
其他文献
阅读是学习过程中的重要环节,搞好阅读能增强我们学习的主动性,有利于培养我们的阅读能力。阅读教材是学好思想品德课的重要方法。那么,我们怎样才能搞好思想品德课的阅读,提
本文由两篇组成。在这两篇中，分别有模型的推导、存在性证明和唯一性证明。我们分别采用了几种不同的方法给出它们的存在性或唯一性的证明。 第一篇，我们研究MH/Ni电池氢化
狄氏型(Dirichlet form)理论在经典位势分析与随机分析之间架起了一座桥梁,在位势论,马氏过程,Malliavin分析,量子场论等许多领域有着广泛的应用.对称狄氏型的Beurling-Deny
请下载后查看，本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view profile.
随着计算机网络和多媒体技术的快速发展，特别是Internet的普及，信息的安全问题日益突出。如今信息隐藏技术，特别是数字水印技术作为版权保护的重要手段，已得到广泛的研究和应用。
长期以来,非线性椭圆问题一直受到人们的广泛关注,其原因是许多数学物理问题,如源于非线性源的非线性扩散理论,热力学中的气体燃烧理论,量子场论和统计力学以及星系的重力平
应用写作这门课程的应用性以及实践性较强,需要不断的对于教学方式进行优化才能够对于高职高专学生的习作能力得以有效的提升,因此教师在这一过程中应加强对于应用写作课程的
本文主要利用半序方法研究了几类算子方程解的存在性.先考虑了一类算子方程的可解性,并将所获结果应用于一些微分方程、微分积分方程边值问题的求解,进而将这一研究推广到方
随着我国经济社会的不断进步,高职院校将培养符合社会需要的高素质的人才为主要的教学目标,要建立积极的与企业工作相结合的理实一体化的项目式的教学模式,此种教学方式更好
近年来，随着投资的全球化，双币种衍生证券越来越受到投资者的青睐。它们的收益不仅依赖于某国的标的资产，而且还受到汇率变动的影响，实际收益用另一国的货币表示。根据外国标的资