免费论文摘要：朦胧DCPO范围的几类满子范围

        Domain表面是由Scott于20世纪60岁月末树立的,其手段是为计划机因变量式谈话供给指称语义.过程有年的兴盛, Domain表面仍旧博得了特殊充分的接洽成.为了扶助可计划因变量的百般演算,普遍诉求相映的Domain范围是笛卡尔闭的,所以范围笛卡尔闭性的接洽在Domain表面中占领格外要害的位置.自2000年此后,樊磊和张奇业等提出了L-fuzzy偏序集的观念,并将典范Domain表面中的很多截止都实行到了朦胧的景象,产生了模Domain基础表面.对于朦胧Domain范围的笛卡尔闭性,姚卫证领会朦胧Dcpo范围FDCPO是笛卡尔闭的,刘敏证领会朦胧贯串格范围和代数的朦胧贯串格范围是笛卡尔闭的,但对于朦胧Dcpo范围的两个要害的满子范围,即朦胧Domain范围和代数朦胧Domain范围的笛卡尔闭性姑且不知.        正文一上面给出了朦胧Dcpo范围的两类笛卡尔闭的满子范围:有界完美朦胧Dcpo范围与tensor完美朦胧Dcpo范围.另一方面临朦胧Domain范围和代数朦胧Domain范围的有限积、等子等本质举行了接洽,那些论断充分了朦胧Domain与代数朦胧Domain范围的相关本质.正文的重要实质安置如次:        第1章: 计划常识.本章给出了与正文关系的朦胧偏序集以及范围论中的少许基础观念和论断.        第2章: 朦胧Dcpo范围的笛卡尔闭子范围.本章开始归纳了朦胧Dcpo范围中笛卡尔闭的关系论断,获得了朦胧Dcpo范围的满子范围笛卡尔闭的一个充要前提.而后给出了有界完美朦胧Dcpo及tensor完美朦胧Dcpo的设置,并证领会有界完美朦胧Dcpo范围与tensor完美朦胧Dcpo范围是笛卡尔闭的,即找到了范围FDCPO的两个笛卡尔闭的满子范围.同声还给出了朦胧完美交半格与强朦胧完美交半格的设置,计划了它们与有界完美朦胧Dcpo的联系.        第3章: 朦胧Domain范围的少许本质.本章接洽了朦胧Domain与代数朦胧Domain范围的本质.开始给出了朦胧Domain的一个等价刻划,而后证领会代数朦胧Domain范围有有限积,并获得有界完美朦胧Domain范围与有界完美代数朦胧Domain范围均有有限积.其余,本章证领会朦胧Domain与代数朦胧Domain范围均有等子,同声给出了朦胧交半格的设置,计划了朦胧交半格在少许特出映照下的本质.

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

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