论文部分内容阅读
作为半连续dcpo的推广,引入相容半连续dcpo的概念,并研究了相容半连续dcpo的性质.证明了相容半连续dcpo一定是半连续dcpo.最后研究了相容dcpo的内蕴拓扑：相容半Scott拓扑.
相容半连续dcpo
【摘 要】
：
作为半连续dcpo的推广,引入相容半连续dcpo的概念,并研究了相容半连续dcpo的性质.证明了相容半连续dcpo一定是半连续dcpo.最后研究了相容dcpo的内蕴拓扑：相容半Scott拓扑.
【机 构】
：
淮北师范大学数学科学学院
【出 处】
：
天津师范大学学报：自然科学版
【发表日期】
：
2017年2期
【基金项目】
：
基金项目：国家自然科学基金资助项目（11171156）,安徽省高校自然科学研究重点资助项目（KJ2015A064）
其他文献
【正】 湖北省秭旧县劳动局为做好城镇退役士兵自谋职业的配套服务,开展城镇退役士兵自谋职业劳动保障代理专顶服务,受到安置工作机构和退役士兵的欢迎。秭归县劳动局运用自
为"保城市出租车停靠站布局的合理性,改善站点利用率低的现状,提出一种基于GPS轨迹数据的出租车停靠站双目标选址决策方法.在数据背景下,对出租车出行需求量及候选点位置进行
【正】 各省、自治区、直辖市监察厅(局)、财政厅(局)、劳动(劳动和社会保障)厅(局)、民政厅(局): 社会保障资金的管理和使用,直接影响到改革发展和社会稳定,党中央、国务院
为明确水地强筋冬小麦高产、优质、高效的灌溉技术,试验设3个灌水时期8个灌溉处理[越冬期灌1水(W 1),拔节期灌1水(W 2),孕穗期灌1水(W 3),越冬期和拔节期灌2水(W 12),越冬期
为解决高温冻土未冻水含量高、压缩性强对冻土路基造成的不良影响.以采自青藏高原粉质黏土为研究对象,从高温冻土的结构性出发,在负温环境下配置15%掺量的普通硅酸盐水泥、高
为了研制高效且环境友好的槐绿虎天牛成虫诱剂,以生长于西鄂尔多斯高原国家级自然保护区的牛心朴子为来源植物,选取该种植物的5种挥发物,即丙二醇甲醚醋酸酯、糠醛、苯甲醛、
党的十九届五中全会明确提出,“以推动高质量发展为主题”,令人关注。习近平总书记强调:“高质量发展就是体现新发展理念的发展,是经济发展从‘有没有’转向‘好不好’。”“
甘育4号是甘肃农业职业技术学院与甘肃省农民教育培训监督管理中心合作于2003年以陇春19号为母本、Pan555为父本配制杂交组合,通过系谱法选育而成的高产、稳产、广适春小麦新
金沙江干热河谷区光热资源十分丰富,降雨量偏少,昼夜温差大,适宜优质葡萄种植。近年来,葡萄种植面积不断扩大,为提高葡萄品质,该文从土壤培肥、架式设计、幼树定干与修剪、果
印尼-巴新中-古生代叠合盆地群具有巨大的油气勘探潜力，目前已在部分地区取得了重大突破。将叠合盆地群作为统一的整体，进行了盆地结构构造解析、油气地质条件对比以及已发现油