免费论文摘要：FZ-Domain的拓扑与范围本质

?????? ?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闭子范围,同声给出了它们的少许运用.

来源：半壳优胜育转载请保留出处和链接！

本文链接：http://www.87cpy.com/250851.html