混合幂domain的极大点空间及其对某类domain结构的封闭性研究.pdf

四川大学 硕士学位论文 混合幂domain的极大点空间及其对某类domain结构的封闭性 姓名：韩本三 申请学位级别：硕士 专业：基础数学 指导教师：梁基华 混合幂domain的极大点空间及其对 某类domain结构的封闭性 基础数学专业 研究生韩本三 指导教师梁基华教授 为了模型化不确定计算而引入的幂domain已成为程序设计语言指称语 义学研究中最重要的构造，几个经典的幂domain构造已经被广泛的研究(见 sober空间时，混合幂domain的序刻画，使我们更清楚的看到其内在本质． 但是仍有一些基本问题没还不甚清楚，作为一个重要的概念还是有必要给予 研究． 首先我们研究了Lawson紧连续domainD的混合幂domain．首先对 一般的domain D本文讨论了其混合幂domain一些基本性质(§2)．同时因 为近年来应用domain环境来解决拓扑学中的某些问题引起了人们的关注(见 是其极大点空间的domain环境(§3)． 范畴能够作为一个非确定性计算的指称语义模型的基本要求是它关于某类适 于幂domain构造的封闭性是幂domain理论研究的基本任务之一(见【2】)． 本文证明了FB—domain关于混合幂domain构造是封闭的(§4)． The of themaximalinthemixed space points domainand of power theclosedownits with to construction somekind respect of domailI Mathematics Major：Foudational HanAdvisor：Pro．Jihua Postgraduate：Bensan Liang for introduced nondeterministic Powerdomains modeling computation inthesemanticsof have themost constructions nonde— become important terministic classic domainshavebeen languages．Severalpower programming the ofthe studied introduced