检索结果-维普期刊中文期刊服务平台

相容连续Domain的序同态扩张被引量：10: 1; 作者李娇徐晓泉《江西师范大学学报（自然科学版）》 CAS 北大核心 2011年第4期373-374,378,共3页; 对相容Domain引入了相容定向极小集的概念,证明了相容Domain D是相容连续Domain当且仅当D中的每个元在D中存在相容定向极小集,并给出了相容连续Domain的序同态扩张定理.; 关键词相容连续domain 相容定向极小集序同态扩张; 在线阅读下载PDF 职称材料

相容半连续dcpo: 2; 作者赵京卢涛《天津师范大学学报（自然科学版）》 CAS 2017年第2期22-24,共3页; 作为半连续dcpo的推广,引入相容半连续dcpo的概念,并研究了相容半连续dcpo的性质.证明了相容半连续dcpo一定是半连续dcpo.最后研究了相容dcpo的内蕴拓扑:相容半Scott拓扑.; 关键词相容半素集相容半连续格相容半连续dcpo 相容半Scott拓扑; 在线阅读下载PDF 职称材料

相容双有限domain及相关范畴性质被引量：3: 3; 作者张滦云王戈平《南京师大学报（自然科学版）》 CAS CSCD 北大核心 2005年第1期36-41,共6页; 　将建立在dcpo上的双有限domain等概念推广到相容定向完备偏序集上,定义了相容定向完备偏序集上的逼近单位、有限分离、相容双有限domain等概念,给出了相容双有限domain的等价命题.并从范畴学的角度考察证明了以相容双有限domain为对象... 展开更多; 关键词相容代数domain 相容双有限domain 笛卡儿闭范畴; 在线阅读下载PDF 职称材料

L-连续偏序集的M性质与有限分离性: 4; 作者王习娟卢涛贺伟《数学年刊（A辑）》 CSCD 北大核心 2009年第2期169-176,共8页; 讨论了L-连续偏序集的M性质与有限分离性质之间的关系,主要结果:(1)若P为L-连续偏序集,则P是有限上集生成,而且满足M性质当且仅当它的定向完备化为FS-domain(有限分离的domain);(2)若P为相容L-domain,则P是有限上集生成,而且满足M性质... 展开更多; 关键词 L-连续偏序集 M性质 FS—domain 相容domain; 在线阅读下载PDF 职称材料

题名相容连续Domain的序同态扩张被引量：10: 1; 作者李娇徐晓泉; 机构江西师范大学数学与信息科学学院; 出处《江西师范大学学报（自然科学版）》 CAS 北大核心 2011年第4期373-374,378,共3页; 基金国家自然科学基金(10861007) 江西省自然科学基金(2007GZS0179 +2 种基金 2009GZS0012) 江西省研究生创新专项资金(YC09A054)资助项目; 文摘对相容Domain引入了相容定向极小集的概念,证明了相容Domain D是相容连续Domain当且仅当D中的每个元在D中存在相容定向极小集,并给出了相容连续Domain的序同态扩张定理.; 关键词相容连续domain 相容定向极小集序同态扩张; Keywords consistentlycontinuous domains consistently direct minimal set homomorphism extension; 分类号 O153.1 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名相容半连续dcpo: 2; 作者赵京卢涛; 机构淮北师范大学数学科学学院; 出处《天津师范大学学报（自然科学版）》 CAS 2017年第2期22-24,共3页; 基金国家自然科学基金资助项目(11171156) 安徽省高校自然科学研究重点资助项目(KJ2015A064); 文摘作为半连续dcpo的推广,引入相容半连续dcpo的概念,并研究了相容半连续dcpo的性质.证明了相容半连续dcpo一定是半连续dcpo.最后研究了相容dcpo的内蕴拓扑:相容半Scott拓扑.; 关键词相容半素集相容半连续格相容半连续dcpo 相容半Scott拓扑; Keywords consistently semiprime consistently semicontinuous lattice consistently semicontinuous dcpo consistently semi-Scott topology; 分类号 O189 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名相容双有限domain及相关范畴性质被引量：3: 3; 作者张滦云王戈平; 机构淮海工学院数理科学系徐州师范大学数学系; 出处《南京师大学报（自然科学版）》 CAS CSCD 北大核心 2005年第1期36-41,共6页; 基金国家自然科学基金资助项目(10371079); 文摘　将建立在dcpo上的双有限domain等概念推广到相容定向完备偏序集上,定义了相容定向完备偏序集上的逼近单位、有限分离、相容双有限domain等概念,给出了相容双有限domain的等价命题.并从范畴学的角度考察证明了以相容双有限domain为对象,Scott连续映射为态射的范畴CBF是笛卡儿闭范畴.还讨论了相容定向完备偏序集及相容代数domain上的几个性质.; 关键词相容代数domain 相容双有限domain 笛卡儿闭范畴; Keywords consistently algebraic domain, consistently bifinite domains, Cartesian closed category; 分类号 O153.1 [理学—基础数学] O189.1 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名L-连续偏序集的M性质与有限分离性: 4; 作者王习娟卢涛贺伟; 机构南京师范大学数学与计算机科学学院连云港师范高等专科学校江南大学理学院; 出处《数学年刊（A辑）》 CSCD 北大核心 2009年第2期169-176,共8页; 基金国家自然科学基金(No.10731050)资助的项目.; 文摘讨论了L-连续偏序集的M性质与有限分离性质之间的关系,主要结果:(1)若P为L-连续偏序集,则P是有限上集生成,而且满足M性质当且仅当它的定向完备化为FS-domain(有限分离的domain);(2)若P为相容L-domain,则P是有限上集生成,而且满足M性质当且仅当它为相容FS-domain.; 关键词 L-连续偏序集 M性质 FS—domain 相容domain; Keywords Continuous L-poset, Property M, FS-domain, Consistent domain; 分类号 O153.1 [理学—基础数学]; 在线阅读下载PDF 职称材料