搜索到44篇“ 拟连续DOMAIN“的相关文章
- 序列拟连续domain的广义有界理想
- 2024年
- domain理论是计算机程序语言的理论基础,为计算机函数式程序提供了数学模型。拟连续domain是domain理论的重要推广。本文以链为主要研究对象,对一般的拟连续domain进行了推广,定义了序列拟连续domain、序列拟基及其广义有界理想,并证明了序列拟基可以嵌入到其广义有界理想中。同时,本文指出广义有界理想的集合是序列拟连续domain。这为理论计算机提供了更为简单的程序式语义和数学模型,有助于对domain理论的进一步研究。
- 王武
- 关键词：DOMAIN
- 拟连续Domain的SM^(*)性质
- 2023年
- 研究了拟连续Domain中比M^(*)性质更强的SM^(*)性质,并得到了一些有意义的结论.主要结果有:给出了拟连续Domain具有M^(*)性质的等价刻画;给出了拟连续Domain的SM^(*)性质的定义,并说明了M^(*)性质与SM^(*)性质的关系;给出了QL-Domain具有SM^(*)性质的等价条件;给出了两类具有性质SM^(*)的特殊的拟连续Domain.
- 王武谭彬张舜
- 关键词：拟连续DOMAIN
- 拟连续domain函数空间和KF-连续空间的研究
- 随着理论计算机科学的快速发展和数学基础学科的不断完善,一个新的研究领域Domain理论孕育而生且得到了蓬勃有效的发展.目前仍处于最为活跃的时期.自上个世纪七十年代发展至今,已经有了非常丰富的研究成果,并与范畴论,逻辑学,...
- 刘德贤
- 关键词：函数空间拟连续DOMAINSCOTT拓扑
- 文献传递
- 拟连续domain的网式刻画被引量：5
- 2014年
- 本文在定向完备偏序集上引入网的广义S收敛的概念,并给出了拟连续domain的如下网式刻画:定向完备偏序集是拟连续的当且仅当广义S收敛关于Scott拓扑是拓扑的.该结果推广了Domain理论中关于连续domain的类似刻画.
- 陈秋燕寇辉
- 关键词：拟连续
- 性质M_F与拟连续Domain中的Scott上紧集被引量：2
- 2012年
- 对拟连续domain引入了关于基的性质MF,证明了对拟连续domain P,任两个Scott紧上集的交是Scott紧当且仅当P关于某一(任一)基具有性质MF.
- 张文锋徐晓泉
- 关键词：拟连续DOMAINSCOTT拓扑
- 关于拟连续domain以及函数空间的注记
- 用伴随的方式给出了拟连续domain以及其Scott闭集格(又叫广义完全分配格)的等价刻画。此外，本文证明了拟连续格关于函数空间是不封闭的，从而不能构成cartesian闭范畴。
- 赵浩然寇辉
- 关键词：拟连续函数空间
- 文献传递
- 关于拟连续domain以及函数空间的注记被引量：3
- 2012年
- 用伴随的方式给出了拟连续domain以及其Scott闭集格(又叫广义完全分配格)的等价刻画。此外,本文证明了拟连续格关于函数空间是不封闭的,从而不能构成cartesian闭范畴。
- 赵浩然寇辉
- 关键词：拟连续函数空间
- 拟连续Domain的遗传性、不变性及映射空间被引量：2
- 2010年
- 讨论了拟连续Domain的遗传性、不变性及映射空间.证明了拟连续Domain及拟代数Domain对开子空间和闭子空间都是可遗传的,拟连续Domain及拟代数Domain在保持集与集之间的way below-preserving序的拟Scott连续映射下保持不变.对于有界完备拟连续DomainX和L,当L是全序时,由Scott连续映射构成的映射空间[X→L]是有界完备拟连续Domain.
- 赵娜娜赵彬
- 关键词：拟连续DOMAIN映射空间
- 拟连续Domain的若干性质与连续局部Dcpo上的序同态
- 自Domain理论产生以来,大量关于Domain理论的新概念及应用相继被给出.作为连续Domain和广义连续格的推广,G.Gierz, J.D.Lawson和A.Stralka等人于1983年引入了拟连续Domain的概...
- 张月玲
- 关键词：拟连续DOMAIN序同态
- 文献传递
- 拟连续Domain的特征与浓度被引量：4
- 2010年
- 在定向完备偏序集(即Dcpo)上引入局部拟基和稠密子集族的概念,在此基础上定义了拟连续Domain的特征和浓度.利用局部拟基给出拟连续Domain新的等价刻画,并探讨了拟连续Domain的特征、浓度与该拟连续Domain上赋予Scott拓扑或Lawson拓扑时的拓扑空间的特征、浓度之间的关系.证明了拟连续Domain的特征(浓度)等于其上赋予Scott拓扑时的拓扑空间的特征(浓度),且小于等于其上赋予Lawson拓扑时的拓扑空间的特征(浓度).
- 张月玲汪开云
- 关键词：拟连续DOMAINSCOTT拓扑LAWSON拓扑
相关作者
- 杨金波
- 作品数：28被引量：75H指数：6
- 供职机构：江西师范大学数学与信息科学学院
- 研究主题：超连续格 注记 拓扑 拟连续DOMAIN 代数格
- 寇辉
- 作品数：31被引量：87H指数：7
- 供职机构：四川大学数学学院
- 研究主题：DOMAIN 拟连续DOMAIN 函数空间 连续DOMAIN 连续性
- 徐晓泉
- 作品数：92被引量：198H指数：10
- 供职机构：江西师范大学
- 研究主题：Z 完全分配格 SCOTT拓扑 拓扑 偏序集
- 罗懋康
- 作品数：98被引量：195H指数：8
- 供职机构：四川大学数学学院
- 研究主题：分数阶 随机共振 定向输运 拓扑 布朗马达
- 赵浩然
- 作品数：2被引量：6H指数：2
- 供职机构：四川大学数学学院
- 研究主题：注记 拟连续DOMAIN DOMAIN 函数空间 连续DOMAIN
