SCOTT拓扑相关论文
序结构、拓扑结构和代数结构并称数学中的三大母结构,三大结构的相互交叉与融合极大地推动了数学本身的发展.Stone对偶理论是20世......
Domain理论是理论计算机科学与数学的交叉学科.量化Domain的核心思想是刻画信息之间的逼近程度,Fuzzy Domain是量化Domain的一个研......
随着理论计算机科学的快速发展和数学基础学科的不断完善,一个新的研究领域Domain理论孕育而生且得到了蓬勃有效的发展.目前仍处于......
Domain理论是D.Scott在60年代末提出来的,它是函数式程序语言的指称语义模型.序结构和拓扑结构是Domain理论中两个重要的数学结构,......
该文共分两部分.第一部分集中讨论了关于ΣF-core紧的交半格及frame的刻划问题,同时对Σ-core紧的空间式frame的刻划问题进行了初......
在计算机科学中,我们使用拓扑来描述信息的逼近状态,Domain上的Scott拓扑是最基本的拓扑.一个自然的问题是:对任意一族dcpo{L:i∈I......
随着计算机科学的飞速发展，有关计算机科学的数学基础研究越来越受到人们的重视，已成为数学与计算机科学研究者共同感兴趣的领域. ......
本文研究对象是带有偏序逼近族的偏序集(参见文献[1])(简称R-偏序集).我们的目的在于探索R-偏序集这一数学结构能否为语义域的研究......
函数空间是Domain理论中的基本结构，讨论在函数空间上Isbell拓扑和Scott拓扑何时一致问题是研究函数空间拓扑结构的重要方面。刘应......
随着计算机科学的飞速发展，有关计算机科学的数学基础研究越来越受到人们的关注和重视，已成为数学和计算机科学研究者共同感兴趣的领......
本学位论文讨论了QFS-domain对某些子结构和收缩核的遗传性，证明了QFS-domain对Scott闭集和某一类特殊的开子空间是可遗传的；构造了......
本文主要探讨了函数空间的连续性及拟连续性问题,定义了拟连续函数空间和P-拟连续函数空间,进而讨论了拟连续函数空间的连续性,并......
本研究基于将拟连续偏序集分别推广至广义可数逼近偏序集与拟连续偏序集的思想，借助于正规完备化算子引入可数S2-拟连续偏序集的概......
本文利用引入的KS性质,刻划了那些其Scott拓扑可由开滤子生成的分配备格.该结果也是对［1］中一公开问题的一种解答.本文的刻划定理对......
对拟连续domain引入了关于基的性质MF,证明了对拟连续domain P,任两个Scott紧上集的交是Scott紧当且仅当P关于某一(任一)基具有性......
考察了FS-domain对某些子结构和收缩核的遗传性.证明了FS-domain对闭子空间和一类特殊的开子空间均是可遗传的,还证明了FS-domain......
研究了直觉模糊集的真值域L*上的"way-below"关系,利用L*上的"way-below"关系,构造了[0,1]-拓扑范畴[0,1]-Top与Coker意义下的直觉......
主要讨论Domain函数空间上的Isebell拓扑和Scott拓扑何时相同的问题,对这一问题,刘应明和梁基华已给出了部分的回答,作者改进了这......
作者讨论了偏序集乘积的下拓扑、Scott拓扑及Lawson拓扑与它们各自对应的拓扑集积之间的关系，给出了乘积的下拓扑空间等于下拓扑乘......
对任意一族具有小元的dcpo {Li}i∈I,证明了若每个σ(Li)是连续格,则∏Li上的Scott拓扑恰是诸Scott拓扑σ(Li)的积拓扑,得到了关于......
作者讨论在函数空间上Isbell拓扑和Scott拓扑何时一致的问题,给出了以下主要定理:设L 是带有性质m的含最小元的连续domain,则函数......
作者考查了两类重要拓扑即Hausdorff拓扑、Scott拓扑的对偶及它们各自何时可以看作对偶拓扑，并由此对Mislove和Lawson提出的一个公......
本文以拟极小集概念为基础,论述了连续偏序集的刻划问题,对于连续偏序集之间的余态射作了详细的分析。对J.D.Lawson和R.E.Hoffmann......
引入了Scott相容连续映射与商相容Domain等概念,研究了Scott相容连续映射保局部基与保waybelow序及保局部基与保紧元之间的关系,证......
【摘要】T1空间X的Wallman紧化W(X)是在X的所有闭集族上的极大滤子族上构造拓扑而获得的.所有闭集族上的滤子族作为dcpo而具有Scot......
借助于Dcpo上的Scott拓扑,引进Scott吸收Dcpo的概念,并证明了函数空间上Scott拓扑与Isbell拓扑一致的必要条件是该函数空间的值域D......
本文从函数空间的Isbell拓扑以及ω-连续性两方面给出了紧连续L-domain的刻画定理.其主要结果是:连续L-domain是Lawson紧的当且仅......
Ｄｏｍａｉｎ理论作为计算机程序设计语言研究的数学基础，序和拓扑的相互结合在这一领域中起着基本而重要的作用，本文力图从Ｄｏｍａｉｎ理论产生的背景，它在几......
利用循环群的特殊代数结构，引入了Scott子群拓扑圹σp（G），讨论了循环群偏序集上3种不同拓扑之间的关系，即循环群拓扑O（G）、Scott拓扑和Sco......
...
给出了连续Domain基的一些等价刻划。引入了连续Domain权的概念，并且讨论了它与连续Domain带上Scott拓扑构成的拓扑空间权的关系。......
研究了直觉模糊集的真值域L＊上的＂way-below＂关系,利用L＊上的＂way-below＂关系,构造了[0,1]-拓扑范畴[0,1]-Top与oker意义下的直觉模糊......
在局部dcpo上引入了S-极限的概念,并利用S-极限来刻划Scott拓扑和连续的局部dcpo.其主要结果:证明了U是Scott开集当且仅当U∈O(S);......
引入局部条件并半格(简记为L-cusl)及其理想完备化等概念. 证明了: 任一代数Ldomain的紧元集是L-cusl; 任一代数L-domain是其紧元......
引入了相容LDomain概念,给出了相容LDomain的多种内部的和外部的刻画;利用Scott拓扑定义了相容LDomain的定向完备化,证明了相容LDo......
对拓扑空间的sober分离性细致分析后引入类似于sober性的另外两种分离性：仿sober和超sober分离性;讨论了诸分离性的相关性质和相互......
引入相容连续Domain的权与稠密子集的概念，在此基础上定义相容连续Domain的特征与浓度。给出局部基的刻画，并讨论相容连续Domain的特......
在定向完备偏序集（即Dcpo）上引入局部拟基和稠密子集族的概念，在此基础上定义了拟连续Domain的特征和浓度．利用局部拟基给出拟连续Doma......
引入了连续Domain的局部基和稠密子集的概念,在此基础上定义了连续Domain的特征及浓度. 给出了局部基的刻画,并讨论了连续Domain的......
引入了拟C-连续偏序集的概念，利用拟C-连续性证明了dcpo L是拟连续的当且仅当L上的Scott闭集格是拟连续格．证明了满足性质M的dcpo上......
研究偏序集上的测度拓扑以及与其它内蕴拓扑间的关系,利用测度拓扑刻画了偏序集的连续性.构造了反例说明存在完全分配格,其上的测......
本文给出了从一个集合构造、R-偏序集的方法，并用迁移系统和部分模拟的例子对这一方法的实现作了进一步的说明，同时还给出．R-偏序集上......
设（A，）是偏序集，ω是自然数集，若对任意n∈ω，n是A上的偏序， n＋1包含于 n,∩∈ω n= ，则称（A， ）是带有偏序逼近族.R={ n│n∈ω}的偏序集，简称为......
借助相容连续偏序集的定义,研究相容连续偏序集上映射与伴随之间的关系,探讨相容定向完备偏序集上连续映射空间的若干性质.此外给......
本文证明了：对ｃｏｒｅ ｃｏｍｐａｃｔ空间Ｘ和具有最小元的有界完备连续ＤＣＰＯＬ，「Ｘ→Ｌ」ｈ ｒ Ｉｓｂｅｌｌ拓扑与Ｓｃｏｔｔ拓扑重合，并且构造两个反例说明：若Ｌ不具有最小元，或Ｌ具有最小元但不满......
本文给出了格值映射上（下）半连续性的一组代数刻划，证明了Hausdorff良紧空间的子集是良紧集当且仅当它是底空间上的上半连续映射，进而......
本文研究了L-fuzzy domain上的广义Scott拓扑，利用[1]中引入的L-fuzzy domain．获得了其上的广义Scott拓扑，它是Domain上Scott拓扑的推......
