免费论文摘要：相容贯串Domain和朦胧半贯串Domain的接洽

?????? Domain表面是计划机步调安排谈话的指称语义塾的数学普通。它的基础特性是序与拓扑彼此贯串、彼此效率。恰是这一特性Domain表面变成计划机科学与拓扑学接洽者共通感爱好的范围，也使这一表面与很多数学学科爆发了出色接洽。2000年，徐罗山熏陶提出相容贯串Domain的观念，将最常用的实数集和天然数集归入个中，而且进一步将贯串Domain表面中要害的观念和论断实行到相容贯串Domain表面中。近几年，我国粹者张德学、赖洪量等人接洽朦胧偏序集的定向完美性和贯串性，樊磊、张奇业等人提出用朦胧集本领接洽量化Domain表面， 都获得了很好的论断。再有姚卫在硕士结业舆论中接洽了朦胧贯串Domain中的少许要害题目。正文在上述接洽的普通上,进一步拓展了相容贯串Domain表面和朦胧贯串Domain表面，重要的处事有以次几个上面：(1) 进一步接洽相容贯串Domain的构造. ?????? 获得了相容贯串Domain上基的少许等价刻划，而且在相容贯串Domain中引入了权的观念，给出了相关权的少许基数不等式及等式，把从格论观点引入的权，的观念与拓扑中权的观念做了比拟， 揭穿了它们之间内涵接洽。给出了相容贯串L-domain之间的宁静映照以及相容FS-domain之间的普遍调换映照的不动点之集的本质。(2)接洽了相容半贯串Domain及其上的拓扑.???????? 给出了偏序集上素理念的设置，在此普通上引入半贯串Domain和相容半贯串Domain的设置，?而且把拟贯串Domain和交贯串Domain的观念与相容半贯串Domain相贯串，引入相容拟半贯串Domain和相容交半贯串Domain，?揭穿了它们之间的联系， 给出了相容拟半贯串Domain和相容交半贯串Domain的等价刻划。而且给出了相容半贯串Domain上的相容半Scott拓扑和相容半Lawson拓扑等几类拓扑，计划了它们之间的联系。???(3) 接洽了朦胧半贯串Domain和朦胧强贯串Domain的本质.??????? 开始给出朦胧偏序集上朦胧素理念的设置，从而给出朦胧半素双小于联系的设置， 计划了朦胧半素双小于联系和朦胧双小于联系的内涵接洽。在此普通上设置了朦胧半贯串Domain和朦胧强贯串Domain，?给出了朦胧半贯串Domain和朦胧强贯串Domain的等价刻划。 结果获得朦胧强贯串Domain是朦胧贯串Domain，朦胧贯串domain在确定前提下是朦胧半贯串Domain的论断。(4) 接洽了朦胧半贯串Domain上的L-半Scott拓扑的本质.??????? 开始给出L-半Scott拓扑的设置， 进一步给出了L-半Scott开集在?朦胧半贯串Domain下的等价刻划，而且给出了朦胧半贯串Domain下L-半Scott拓扑的一个基。其次给出了几种朦胧贯串映照的设置，而且商量了它们之间的联系。?再次设置了L-半Scott开滤子，给出了L-半Scott开滤子与朦胧Scott开滤子之间的联系。 结果给出了L-滤子的L-半Scott抑制的设置。证领会朦胧Dcpo是朦胧半连Domain当且仅当满层的L-滤子是L-半Scott抑制的等价于按L-半Scott拓扑抑制。

来源：半壳优胜鲸鱼幸运星转载请保留出处和链接！

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