模糊Domain的基理论研究及其推广

来源 :湖南大学 | 被引量 : 8次 | 上传用户:a3470114
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
连续格是以拓扑方式作为数学的工具出现在计算科学(domain理论)领域的,由Scott在上世纪70年代初提出.尽管在其它的领域,如一般拓扑学、范畴理论、逻辑方面也有应用,但这定义又纯粹是从序理论的角度提出的,如今已出现在很多的领域.另一方面,自Zadeh创立模糊数学以来,数学家和计算机科学家从不同的角度引入多种形式的模糊序.其中Zhang和Fan为了研究L-Fuzzy domain,提出了基于frames的L-Fuzzy定向集,基于这种定向集,提出了L-Fuzzy domain然而,这种L-Fuzzy定向集稍显复杂.为此,Lai和Zhang,Yao提出了另外一种比较简洁、易理解的模糊方向集,然后定义模糊domain本文研究对象是后一种模糊domain,主要从以下几个方面进行讨论:模糊局部基的研究.模糊局部基是用拓扑方法来研究模糊domain经过二十多年的发展,虽然已经构建了比较完整的量化domain理论体系,但对模糊domain本身刻画并不多.引入模糊局部基,就是为了研究模糊domain的局部性质,由局部性质刻画整体性质.证明了模糊dcpo是模糊domain当且仅当它每一点都有模糊局部基.由于插入性质的重要性,很多学者对它进行了研究,但一般只涉及必要性.本文中,我们用不同于前面的方法证明了模糊domain的插入性,还给出了它过度到模糊domain的几个充分条件.模糊基的研究.模糊基作为可代替模糊domain计算的对象,在并发式语义当中,有广泛应用.我们可以用模糊基刻画domain,得到模糊dcpo是模糊domain当且仅当它有模糊基,且模糊domain有足够多的模糊基元.不同于经典之情形,若存在模糊基,则一定有模糊下集形式的模糊基.通过模糊基,给出了模糊代数domain另外一种形式的定义,讨论了模糊domain和模糊代数domain之间的关系.另外,我们还研究了模糊domain的一些模糊映射性质,然后借助于模糊Galois联络,找到了模糊基的一些应用例子.模糊Z-连续偏序集的研究.模糊Z-连续偏序集是作为模糊domain的推广而被引入的.经典domain理论作为函数式程序语言指称语义学的数学基础,一个重要研究方向就是把它进行拓广.为此,IBM实验室的理论计算机学家引入了Z-子集系统概念.而量化domain作为并发式语义模型方面的尝试,引入更为一般的代数结构显得尤为重要了.为此,我们引入了模糊Z-子集系统,提出模糊Z-连续偏序集概念,作为模糊domain的推广.并用模糊Galois联络,给出了模糊Z-连续偏序集一个比较细致的等价刻画;讨论了模糊Z-完备闭包系统与闭包算子之间关系;提出了模糊Z-代数偏序集的概念,并研究了它与模糊Z-连续偏序集之间的关系;基于Z-紧元,给出了基于模糊Z-代数偏序集上的扩张定理.模糊完全分配格的表示.Belohlavek在模糊逻辑中,研究形式概念格和序的关系时,首先提出模糊完备格的定义.Xie和Zhang对模糊完备格及模糊偏序集上的Dedekind-MacNeille完备化进行了系统的研究.基于Ω-范畴,Lai和Zhang给出了完全分配的Ω-格定义.Yao和Shi在研究模糊domain时,顺便提出了模糊完全分配格的概念.本文中,我们讨论了后者定义的模糊完全分配格表示.提出了模糊Cut集概念,证明了所有的模糊Cut集所构成的集合不仅是模糊完备格,它还是模糊完全分配格.此外,提出了逼近元的概念,借助于模糊完备格上的插入性质,得到了模糊完全分配格的等价刻画.此博士论文是用latex2ε软件打印.
其他文献
目的临床观察平肝健脾化痰方对高血压病患者动脉血压的影响,并通过对血管内皮功能的检测探讨其可能的降压机制。方法将60例1-2级高血压病患者按数字表法随机分为两组,中药组(A)
在构成语言三大要素中(语法、语音和词汇),词汇是最重要的,它是进行任何交流的基础。中学的词汇教学日益受到教师的重视。在我国,词汇的教学始终未能摆脱高投入低回报的困境
图像分割是将图像划分成多个具有相似特征的区域,并提出感兴趣目标的技术与过程,图像分割是图像理解和图像识别的前提,也可以把它看作为图像理解与识别的初级阶段。图像分割的大
根据对蜡梅科植物的系统发育和分布规律的研究 ,结合古地理、古气候资料 ,讨论了蜡梅科的起源、演化和现代分布格局形成的规律。认为 :中国秦岭以南、横断山脉以东为蜡梅科植
讨论了两种典型的三维井眼轨道设计问题 .建立了设计的一般数学模型 ,利用空间矢量分析理论得到了约束变量间的解析表达式和井眼轨道计算式 .这种新方法避免了求解多维非线性
目的探讨轻型脑卒中患者斑块个数相关危险因素。方法收集39例轻型脑卒中患者为研究对象,记录详细临床特点,检测各项血液指标,并完善3.0T高分辨MRI头颅成像-颅内外脑血管一站
为了获得良好的传动质量, 需要对螺旋锥齿轮的齿形进行合理设计以控制其接触特性. 通过构建螺旋锥 齿轮完全共轭齿面及对共轭差曲面进行齿形设计, 在共轭齿面求解中引人预置
本文首先介绍了汉语补语、汉语结果补语与印尼语补语的概念。然后,使用单项对比分析来探讨带结果补语的汉语句子在印尼语中的表述形式。从述语与补语的角度可分为两大类:第一,二
地理信息系统(GIS)以其强大的空间数据处理分析和地图可视化功能受到了各管理部门、使用单位的青睐,目前正广泛应用于土地利用、国土整治、城市规划、交通指挥、水利水电、测
随着世界经济的发展,道德在维护社会稳定和发展方面的作用越来越重要。这使得各国在对人才素质要求上,除了要求具备一定的专业素质以外,还要求具备较高的道德素质。一个国家的整