Scott拓扑相关论文
序结构、拓扑结构和代数结构并称数学中的三大母结构,三大结构的相互交叉与融合极大地推动了数学本身的发展.Stone对偶理论是20世......
Domain理论是理论计算机科学与数学的交叉学科.量化Domain的核心思想是刻画信息之间的逼近程度,Fuzzy Domain是量化Domain的一个研......
随着理论计算机科学的快速发展和数学基础学科的不断完善,一个新的研究领域Domain理论孕育而生且得到了蓬勃有效的发展.目前仍处于......
Domain理论是D.Scott在60年代末提出来的,它是函数式程序语言的指称语义模型.序结构和拓扑结构是Domain理论中两个重要的数学结构,......
在计算机科学中,我们使用拓扑来描述信息的逼近状态,Domain上的Scott拓扑是最基本的拓扑.一个自然的问题是:对任意一族dcpo{L:i∈I......
随着计算机科学的飞速发展，有关计算机科学的数学基础研究越来越受到人们的重视，已成为数学与计算机科学研究者共同感兴趣的领域. ......
本文研究对象是带有偏序逼近族的偏序集(参见文献[1])(简称R-偏序集).我们的目的在于探索R-偏序集这一数学结构能否为语义域的研究......
提出了R-偏序集的概念，本文通过有趣的例子说明了偏序族中的偏序在逼近某个偏序时未必保持cpo (complete partialorder)，代数cpo或连......
函数空间是Domain理论中的基本结构，讨论在函数空间上Isbell拓扑和Scott拓扑何时一致问题是研究函数空间拓扑结构的重要方面。刘应......
随着计算机科学的飞速发展，有关计算机科学的数学基础研究越来越受到人们的关注和重视，已成为数学和计算机科学研究者共同感兴趣的领......
本学位论文讨论了QFS-domain对某些子结构和收缩核的遗传性，证明了QFS-domain对Scott闭集和某一类特殊的开子空间是可遗传的；构造了......
本文主要探讨了函数空间的连续性及拟连续性问题,定义了拟连续函数空间和P-拟连续函数空间,进而讨论了拟连续函数空间的连续性,并......
本研究基于将拟连续偏序集分别推广至广义可数逼近偏序集与拟连续偏序集的思想，借助于正规完备化算子引入可数S2-拟连续偏序集的概......
本文利用引入的KS性质,刻划了那些其Scott拓扑可由开滤子生成的分配备格.该结果也是对［1］中一公开问题的一种解答.本文的刻划定理对......
考察了FS-domain对某些子结构和收缩核的遗传性.证明了FS-domain对闭子空间和一类特殊的开子空间均是可遗传的,还证明了FS-domain......
研究了直觉模糊集的真值域L*上的"way-below"关系,利用L*上的"way-below"关系,构造了[0,1]-拓扑范畴[0,1]-Top与Coker意义下的直觉......
