拟连续DOMAIN

作品数：17被引量：67H指数：5
导出分析报告
相关领域：理学更多>>
相关作者：徐晓泉杨金波寇辉罗懋康赵浩然更多>>
相关机构：四川大学陕西师范大学江西师范大学扬州大学更多>>
相关期刊：《景德镇学院学报》《南昌大学学报（理科版）》《江西科技师范大学学报》《模糊系统与数学》更多>>
相关基金：国家自然科学基金江西省自然科学基金国家教育部博士点基金高等学校全国优秀博士学位论文作者专项资金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
序列拟连续domain的广义有界理想
《景德镇学院学报》2024年第6期1-4,共4页王武 
天津市教委科研计划项目(2023KJ281)。
domain理论是计算机程序语言的理论基础,为计算机函数式程序提供了数学模型。拟连续domain是domain理论的重要推广。本文以链为主要研究对象,对一般的拟连续domain进行了推广,定义了序列拟连续domain、序列拟基及其广义有界理想,并证明...
关键词：链 序列拟连续 DOMAIN 嵌入 
局部强紧空间的若干性质
《江西科技师范大学学报》2023年第6期85-87,108,共4页邓梦其 蔡琳 李美琪 张文锋 
江西省自然科学基金资助项目(20232BAB201007)。
本文主要讨论了局部强紧空间的一些性质,特别是当一局部强紧空间具有Rudin性质时,给出了其上任意两个紧上集的交仍是紧的一个等价刻画,推广了拟连续domain上的相关结果。
关键词：局部强紧空间 紧上集 Rudin性质 拟连续DOMAIN 
拟连续Domain的SM^(*)性质
《西南师范大学学报（自然科学版）》2023年第6期25-30,共6页王武 谭彬 张舜 
国家青年自然科学基金项目(11401435);天津市教委科研计划项目(2018KJ147);2021年高等学校大学数学教学研究与发展中心教学改革项目(CMC20210115)。
研究了拟连续Domain中比M^(*)性质更强的SM^(*)性质,并得到了一些有意义的结论.主要结果有:给出了拟连续Domain具有M^(*)性质的等价刻画;给出了拟连续Domain的SM^(*)性质的定义,并说明了M^(*)性质与SM^(*)性质的关系;给出了QL-Domain具...
关键词：拟连续DOMAIN M*性质 SM^(*)性质 qmub-完备 
拟连续domain的网式刻画被引量：5
《四川大学学报（自然科学版）》2014年第3期433-435,共3页陈秋燕 寇辉 
本文在定向完备偏序集上引入网的广义S收敛的概念,并给出了拟连续domain的如下网式刻画:定向完备偏序集是拟连续的当且仅当广义S收敛关于Scott拓扑是拓扑的.该结果推广了Domain理论中关于连续domain的类似刻画.
关键词：广义S收敛 拟连续 拓扑收敛 
关于拟连续domain以及函数空间的注记被引量：3
《模糊系统与数学》2012年第4期143-148,共6页赵浩然 寇辉 
国家自然科学基金资助项目(10871137);教育部新世纪优秀人才计划项目(070576)
用伴随的方式给出了拟连续domain以及其Scott闭集格(又叫广义完全分配格)的等价刻画。此外,本文证明了拟连续格关于函数空间是不封闭的,从而不能构成cartesian闭范畴。
关键词：拟连续 伴随 函数空间 
关于概率幂domain的一个注记被引量：3
《四川大学学报（自然科学版）》2012年第4期743-746,共4页赵浩然 寇辉 
国家自然科学基金(10871137)
概率幂domain是domain理论中一类非常重要的幂domain.1989年,Jones和Plotkin证明了连续domain的概率幂domain连续.本文证明了若D是拟连续domain或SL-domain,则D的概率幂domain连续当且仅当D连续.
关键词：概率幂domain 拟连续DOMAIN 交连续 连续DOMAIN 
性质M_F与拟连续Domain中的Scott上紧集被引量：2
《模糊系统与数学》2012年第1期137-140,共4页张文锋 徐晓泉 
国家自然科学基金资助项目(10861007;11161023);全国优秀博士学位论文作者专项资金资助项目(2007B14);江西省自然科学基金资助项目(2007GZS179;2009GZS0012);江西省研究生创新专项资金资助项目(YC09A054)
对拟连续domain引入了关于基的性质MF,证明了对拟连续domain P,任两个Scott紧上集的交是Scott紧当且仅当P关于某一(任一)基具有性质MF.
关键词：拟连续DOMAIN SCOTT拓扑 Scott紧子集 基 性质MF 
拟连续Domain的遗传性、不变性及映射空间被引量：2
《陕西师范大学学报（自然科学版）》2010年第6期18-22,共5页赵娜娜 赵彬 
国家自然科学基金资助项目(10871121)
讨论了拟连续Domain的遗传性、不变性及映射空间.证明了拟连续Domain及拟代数Domain对开子空间和闭子空间都是可遗传的,拟连续Domain及拟代数Domain在保持集与集之间的way below-preserving序的拟Scott连续映射下保持不变.对于有界完备...
关键词：拟连续DOMAIN 拟代数Domain Domain子空间 步映射 映射空间 
关于拟连续Domain的一个注记
《模糊系统与数学》2010年第3期82-85,共4页杨金波 龚雅玲 陈群 
国家自然科学基金资助项目(10331010;10861007);全国优秀博士学位论文作者专项资金资助项目(2007B14);江西省自然科学基金资助项目(2009GZS0012;2007GZS0179);江西省教育厅资助项目(GTT08162)
证明了:(1)具有性质M的dcpo为拟连续domain当且仅当其上的下拓扑开集格在集合包含序下为连续格;(2)对于dcpoL,L为拟连续domain当且仅当ΣL的Hoare空间为局部强紧空间。
关键词：拟连续DOMAIN 下拓扑 局部强紧空间 Hoare空间 
拟连续Domain的特征与浓度被引量：4
《陕西师范大学学报（自然科学版）》2010年第1期19-22,共4页张月玲 汪开云 
国家自然科学基金资助项目(10871121)
在定向完备偏序集(即Dcpo)上引入局部拟基和稠密子集族的概念,在此基础上定义了拟连续Domain的特征和浓度.利用局部拟基给出拟连续Domain新的等价刻画,并探讨了拟连续Domain的特征、浓度与该拟连续Domain上赋予Scott拓扑或Lawson拓扑时...
关键词：拟连续DOMAIN 局部拟基 浓度 SCOTT拓扑 LAWSON拓扑 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部