连续Domain相关论文
本文给出了一个只需要连续domain本身性质的子domain的内蕴定义,并证明它与传统的用连续映射定义的子domain的等价性。同时讨论了......
Domain理论是计算机程序设计语言的指称语义学的数学基础.它的基本特征是序与拓扑相互结合、相互作用.正是这一特征使Domain理论成......
1969年,D.S.Scott提出了 Domain理论,旨在为计算机程序语言的指称语义提供数学基础.序、拓扑和逻辑的相互转换、相互作用是其基本......
Domain结构的表示是Domain理论的一个热点研究方向,其目的是用相对具体或简单的数学结构来表示相对抽象的domain结构.常用于表示do......
该文的主要目的是在完全分配格上(或Fuzzy格上)建立一种理想的新的一致结构与度量理论,并给出其在理论计算机科学中Domain领域的应......
Domain理论为计算机程序设计语言的指称语义学奠定了数学基础.其中序与拓扑相互结合、相互作用是这一理论的一个基本特征.正是这一......
自从20世纪70年代D.S.Scott首次提出Domain概念以来,Domain理论受到众多数学家和理论计算机科学家的关注.1983年,作为连续Domain和广......
讨论了度量空间上线性序的性质,给出了其构成连续domain的充要条件,回答了Keye Martin 于2000年提出的关于度量空间线性序的连续性......
概率幂domain是domain理论中一类非常重要的幂domain.1989年,Jones和P10t—kin证明了连续domain的概率幂domain连续.本文证明了若D是......
给出了连续Domain基的一些等价刻划。引入了连续Domain权的概念,并且讨论了它与连续Domain带上Scott拓扑构成的拓扑空间权的关系。......
证明了对任一有限集E,可以给C(E)(即E上的拟阵极小圈系的全体)、R(E)(即E上的拟阵秩函数的全体)和F(E)(即E上的拟阵闭集族的全体)上定义适当的序......
引入了连续Domain的局部基和稠密子集的概念,在此基础上定义了连续Domain的特征及浓度. 给出了局部基的刻画,并讨论了连续Domain的......
对于CONT的任意一个笛卡儿闭的满子范畴够,构造CONT的两个新的满子范畴R-L(以移对象的收缩为对象的范畴)和B-L(以L扩张序列的双极限为......
在偏序集上引入并考察了滤子极大理想的概念,证明了相应的存在性定理。引入并考察了伪极大元和伪既约元的概念,利用图表的形式对连......
引入Domain子空间的概念,得到Scott开集和闭集都是Domain的子空间。证明连续Domain或代数Domain对开子空间和闭子空间都是可遗传的......
在连续格理论的基础上继续探讨连续Domain的权与相应Scott拓扑空间的权之间的关系,并进一步讨论其与相应的Lawson拓扑空间的权之间......
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们......
目的给出准连续Domain与连续Domain的特征刻画.方法利用准连续Domain的每一点都有准定向极小集,连续Domain的每一点都有定向极小集......