拟连续Domain相关论文
自Domain理论产生以来,大量关于Domain理论的新概念及应用相继被给出.作为连续Domain和广义连续格的推广,G.Gierz, J.D.Lawson和A.......
随着理论计算机科学的快速发展和数学基础学科的不断完善,一个新的研究领域Domain理论孕育而生且得到了蓬勃有效的发展.目前仍处于......
Fuzzy格间的序同态概念，一方面保持Fuzzy点的高度不变，同时又保留了把分子映成分子的性质.后来王国俊教授舍弃了Fuzzy格上逆序对合对......
对拟连续domain引入了关于基的性质MF,证明了对拟连续domain P,任两个Scott紧上集的交是Scott紧当且仅当P关于某一(任一)基具有性......
概率幂domain是domain理论中一类非常重要的幂domain．1989年，Jones和P10t—kin证明了连续domain的概率幂domain连续．本文证明了若D是......
对拟连续DomainD证明了：（1）双拓扑空间（D，σ（D），（D））为两两完全正则空间；（2）若D有可数基，则（max（D），σ（D）｜max（D））为正则空间当且仅当它为Polish空间；（3）拓扑空......
定义了拟定向极小集，并证明了拟连续Domain的每个元都有拟定向极小集，在拟连续Domain中，给出了保拟定向极小集映射的几个等价刻画，并且......
本文证明了（1）在合适的态射下,拟连续domain范畴与广义完全分配范畴等价;（2）对有界完备的拟连续domain P,（P,σ（P））为极大极限空间.......
基于Snyth幂Domain的构造,本文证明了连续半格范畴CSL(分别地,有界完备连续Domain范畴CBD)是拟连续Domain范畴QCONT(分别地,Cohere......
讨论了拟连续Domain的遗传性、不变性及映射空间.证明了拟连续Domain及拟代数Domain对开子空间和闭子空间都是可遗传的,拟连续Doma......
在定向完备偏序集（即Dcpo）上引入局部拟基和稠密子集族的概念，在此基础上定义了拟连续Domain的特征和浓度．利用局部拟基给出拟连续Doma......
基于拟连续Domain的等价定义及其构造,研究了拟代数Domain的一系列性质,并且给出了它的等价刻画,由此得到拟代数Domain一定是拟连......
在定向完备偏序集（即dcpo）上引入了拟基的概念，给出了拟基的若干刻画并在此基础上定义了拟连续Domain的权。探讨了拟连续Domain的权与......
证明了：（1）具有性质M的dcpo为拟连续domain当且仅当其上的下拓扑开集格在集合包含序下为连续格；（2）对于dcpo L，L为拟连续domain当且仅当∑......
