导读:本文包含了极大点空间论文开题报告文献综述、选题提纲参考文献及外文文献翻译,主要关键词:空间,拓扑,局部,环境,论文,FB,domain。
极大点空间论文文献综述
韩本叁[1](2004)在《混合幂domain的极大点空间及其对某类domain结构的封闭性》一文中研究指出为了模型化不确定计算而引入的幂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])。本文证明T FB一domain关于混合幂domain构造是封闭的(旦4).关锐词:混合幕domain,FB一domain,domain环境,极大点空间(本文来源于《四川大学》期刊2004-05-20)
尚云,赵彬[2](2003)在《极大点空间的若干特征定理》一文中研究指出本文利用极大点空间的等价刻划证明了极大点空间的某些子空间、不交和、 乘积空间、逆序列的逆极限、具有可数基的局部紧的Hausdorff空间是极大点空间,还 给出了具有可数基的局部紧的Hausdorff空间的Domain hull.(本文来源于《数学学报》期刊2003年06期)
极大点空间论文开题报告
(1)论文研究背景及目的
此处内容要求:
首先简单简介论文所研究问题的基本概念和背景,再而简单明了地指出论文所要研究解决的具体问题,并提出你的论文准备的观点或解决方法。
写法范例:
本文利用极大点空间的等价刻划证明了极大点空间的某些子空间、不交和、 乘积空间、逆序列的逆极限、具有可数基的局部紧的Hausdorff空间是极大点空间,还 给出了具有可数基的局部紧的Hausdorff空间的Domain hull.
(2)本文研究方法
调查法:该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法:用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法:通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法:通过调查文献来获得资料,从而全面的、正确的了解掌握研究方法。
实证研究法:依据现有的科学理论和实践的需要提出设计。
定性分析法:对研究对象进行“质”的方面的研究,这个方法需要计算的数据较少。
定量分析法:通过具体的数字,使人们对研究对象的认识进一步精确化。
跨学科研究法:运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法:这是社会科学用来分析社会现象的一种方法,从某一功能出发研究多个方面的影响。
模拟法:通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
极大点空间论文参考文献
[1].韩本叁.混合幂domain的极大点空间及其对某类domain结构的封闭性[D].四川大学.2004
[2].尚云,赵彬.极大点空间的若干特征定理[J].数学学报.2003
论文知识图





