【摘 要】
:
Domain理论为计算机程序设计语言的指称语义学奠定了数学基础,序与拓扑的相互结合,相互作用在这一理论中起着基本而重要的作用.这使得Domain理论成为了理论计算机和数学领域学者共同关注的对象.自从Wright, Wagner和Thatcher于1978年提出子集系统的概念以来,利用Z-子集系统来研究偏序集的序、拓扑等相关性质受到了人们的广泛关注,大量的新观点,新方法被引入.本文利用子集系统,引入
论文部分内容阅读
Domain理论为计算机程序设计语言的指称语义学奠定了数学基础,序与拓扑的相互结合,相互作用在这一理论中起着基本而重要的作用.这使得Domain理论成为了理论计算机和数学领域学者共同关注的对象.自从Wright, Wagner和Thatcher于1978年提出子集系统的概念以来,利用Z-子集系统来研究偏序集的序、拓扑等相关性质受到了人们的广泛关注,大量的新观点,新方法被引入.本文利用子集系统,引入了一种新的连续性——FZ-连续性,从而建立了FZ-Domain等相关概念.研究了FZ-Domain的序、拓扑和范畴方面的性质.本文主要内容安排如下:第一章预备知识.本章给出了相关的Domain理论、拓扑及范畴论方面的概念和结论.第二章FZ-Domain首先,引入了FZ-双小于关系,在此基础上建立了FZ-连续偏序集,FZ-Domain等概念,并讨论了它们的基本性质.其次,讨论了FZ-Domain的乘积和它在投射下的象的结构.再次,定义了代数的FZ-Domain,重点讨论了它在两类闭包算子下的象的结构.最后,引入了FZ-基与FZ-抽象基.对一类子集系统,研究了FZ-Domain与定向的FZ-基、FZ-抽象基之间的关系.第三章FZ-Scott拓扑.在Z-完备偏序集上,定义了FZ-Scott开集,并进一步证明了,对一类子集系统,它们的全体构成一个拓扑——FZ-Scott拓扑.讨论了该拓扑的相关性质.其次,在不同情形下,得到了关于该拓扑的连续映射的若干等价的格序刻画.其中主要证明了,当子集系统Z满足一定性质时,映射f关于FZ-Scott拓扑是连续映射当且仅当f保定向的Z集之并.最后,重点研究了FZ-Domain上的FZ-Scott拓扑.证明了,对一类子集系统该拓扑空间为Sober空间当且仅当它具有Rudin性质.第四章FZ-Domain范畴的两种子范畴的Cartesian闭性.首先,定义了FZ-Domain范畴和FZCPO范畴,并给出了它门的一些具体应用,比如Dom、Poset、DCPO等重要范畴都是它的具体实例.证明了FZCPO范畴是Cartesian闭的.其次,对FZ-Domain范畴的两个子范畴:有限分离的FZ-Domain范畴和双有限的FZ-Domain范畴进行了研究,证明了它们是FZ-Domain范畴的满的Cartesian闭子范畴,同时给出了它们的一些应用.
其他文献
白光LED拥有发光效率高、节能、无热辐射、无污染等众多优点,被视为“绿色照明光源”的明日之星,是固体照明的重要光源,应用前景广泛。要实现白光发射的主要途径之一是利用稀土发光材料的荧光体转换技术,将LED芯片发射的蓝光/紫外光转换成白光。但目前所开发的白光LED用红色荧光粉的发光效率较低,不能满足要求,因此需要我们寻找新型高效的白光LED用红色荧光粉。本文利用高温固相反应法制备了AgGd(WO4)2
研究发现生物膜的半通透性和边界性与许多生命活动有密切联系,生物膜的研究已涉及到物和医学各个领域,并日趋成为生物医学和生物物理中活跃的前沿课题之一本文以磷脂酰胆碱、磷脂酰乙醇胺和胆固醇作为生物膜的基本骨架,利用Langmuir-Blodgett(LB)膜技术制备两性霉素B与脂质分子混合单层膜。通过表面压力-平均分子面积(π-A)曲线的关系,研究水/空界面形成的两性霉素B与脂质分子混合单层膜的热力学特
算子理论是泛函分析中一个极其重要的研究领域,自从20世纪初von Neu-mann,Hilbert等建立算子理论以来,算子理论已得到了迅速发展并渗透到数学的各个分支,形成了一批经久不衰的研究课题,其研究内容涉及到基础数学与应用数学的许多分支,诸如代数学,几何理论,算子扰动理论,矩阵理论,逼近论与非交换概率论等等.初等算子是算子代数理论的一个重要分支,而关于初等算子的范数的研究具有非常重要的意义,从
磁电材料是一类新颖的多功能材料,具有许多潜在的应用,不仅具有电、磁特性,而且电、磁之间存在耦合相互作用即磁电效应。基于目前已有的工作基础,本论文构造新的PZT/Terfenol-D磁电叠层复合材料来获得较高的磁电性能,进行了深入的实验研究。第一:对PZT/Terfenol-D双层结构磁电复合材料进行研究,得出磁电性能随偏置磁场、谐振频率、不同位置磁电压分布等因素的变化规律。经过测试发现它们都具有了
Sturm-Liouville(S-L)理论起源于对固体热传导问题数学模型的处理,其理论广泛应用于物理学、数值方法以及各种理论科学及应用科学领域.因此,S-L理论成为了相关学科领域学者共同关注的对象.1946年Borg证明了已知两组谱唯一确定势函数,开创了逆谱理论研究的先河.此后,利用特征值来确定势函数和边界条件的思想受到了人们的广泛关注,大量的新观点,新方法被引入.本文基于微分方程基本解,研究具
在哺乳动物,内源性雌激素对中枢神经系统的发育和性分化起关键的作用,而中枢神经系统控制着神经内分泌、行为和认知等功能。整个发育过程中,神经系统是在内源性信号的作用,外源性或经验因素的作用以及这两个因素相互作用下逐渐形成的。在发育的敏感或关键时期,神经系统特别容易受到某些因素的影响,这些因素决定了神经通路的形成并且可以影响发育之后各阶段个体对相应刺激产生的反应。在围产期,即从怀孕的后期到出生后的1-2
近年来,声空化应用范围不断扩大,使得空化研究成为国内外专家学者关注的焦点。由于空化声场的复杂性,加之其理论研究不够完善,尚未找到一种能准确描述空化情况及其特点的方法,从而为评价及利用空化带来了困难。因此对于空化的精确测量以及定量描述空化特征的参量是一个亟待解决的课题。鉴于此,本文以实验研究为主,主要对圆柱形反应器内的空化噪声进行了测量,并对反应器内空化泡的大小和数量分布进行探索性研究,以期更详细的
Hilbert空间中的框架理论是小波分析理论研究中的重要内容之一,在各种实际问题中也有着重要的应用,近些年来,众多的国内外学者已经对它们进行了深入的研究.本文是在Hilbert空间中的框架和Bessel族理论的基础之上,引入了Hilbert空间中的K-框架和K-Bessel族的概念,并得到了它们的一些性质.全文共分三章,各章主要内容如下:第一章介绍了框架理论的研究背景和研究现状,并简要说明了本文的
本文研究了V.Rakocevic给出的Weyl定理的一种变化:(ω)性质,同时,定义了一种新的变化:(ω1)性质,给出了有界线性算子满足(ω)性质和(ω1)性质的充要条件,讨论了(ω)性质、(ω1)性质与单值延拓性质和拓扑一致降标的关系,并研究了算子矩阵的(ω1)性质和(ω)性质.本文共分四章:第一章通过定义新的谱集,给出了有界线性算子同时满足ω)性质和a-Weyl定理的充要条件.同时,利用所得的
神经放电的动作电位频率以及动作电位的间隔排列的时间模式中蕴含着丰富的信息,而近期对神经放电的节律研究表明丰富的神经信息也存在于节律转迁的动力学分岔中。神经元可以通过调整自身的活动水平以适应机体内外环境的变化,并在此过程中表现出多样的节律模式和规律的节律转迁过程。已有研究表明,连续改变胞外的钙离子浓度,神经的自发放电会出现多种节律模式和多种方式转迁。近期的研究发现,随着钾离子通道阻断剂TEA浓度的增