半连续dcpo

来源 :扬州大学 | 被引量 : 0次 | 上传用户:caozhongxiang520
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
连续格理论具有理论计算机科学和数学的双重背景,因而自它诞生以来一直受到人们的关注,其中一个重要方面是尽可能将连续格理论推广到更为一般的序结构上去.YRav在格上定义了半素理想并进行了刻画,赵东升利用半素理想在完备格上定义了新的二元关系和半连续格概念,将连续格的若干性质推广到了半连续格上.由于半连续格是在完备格中定义的,这使得对半连续性的研究具有一定的局限性.本文推广半连续格,引入半连续dcpo的概念,并对其进行详细的研究.首先给出了偏序集中素理想的等价刻画,然后将格上的半素理想推广到偏序集上的半素集概念,利用半素集定义了关系“仁”和半连续dcpp;将半连续格的诸多性质成功地推广到半连续dcpp上.证明了当L为完备格时,半素集一定是半素理想,且关系“(?)”的定义与赵东升的定义一致,因而说明了本文所定义的半素集和半连续dcpo是半素理想和半连续格概念的合理推广.还证明了任-Domain均为半连续dcpo并获得了半连续dcpo的几个等价条件.本文在dcpo中定义了半Scott拓扑和半Lawson拓扑,给出了半连续dcpo的一个充分条件.证明了上集U半Lawson开当且仅当U为半Scott开;下集U半Lawson闭当且仅当U为半Scott闭.定义了半连续映射并研究了其性质,证明了若保序映射f半连续,则f关于半Scott拓扑是连续映射.在dcpo中定义了半素理想,证明了素理想一定是半素理想,并定义了强半连续dcpo.证明了强半连续dcpo一定是半连续dcpo;半连续格一定是强半连续dcpo,还获得了强半连续dcpo的一些性质.
其他文献
我国煤矿多为井工开采,瓦斯灾害严重,特别是贵州省。目前,瓦斯抽采泵站仍以人工操作为主,效率低下,监管难度大,安全生产压力巨大。本文以贵州豫能轿子山煤矿为例,对该矿瓦斯
中晚唐教坊发展与盛唐相较,虽呈衰落迹象,但仍维系并活跃于民间、藩镇、神策军中。究其原因,与安史乱后中央皇权式微、地方藩帅权力日盛、宦官专权等政局密切相关。特别是仗
综述了离子液体在电化学有机合成中的应用,包括苯胺的聚合反应、吡咯的聚合反应、噻吩的聚合反应、环舍反应、氧化还原反应、硅氧烷的制备反应以及氟化脱硫反应等。这些反应具
利用盆栽试验,用不同浓度的外源NO处理低温胁迫下的玉米幼苗,研究外源NO对玉米幼苗抗低温胁迫的影响。结果表明:低温明显抑制了玉米幼苗的生长,与常温对照相比,玉米幼苗叶片相
音乐作为一门表演艺术,是通过声音传递给观众,动听的声音是表现音乐的基本要素,也是对演奏者的基本要求,它是想象的艺术,不是文字和语言所能表达出来的。每一位演奏者都能把
设备清理是饲料厂一个比较头疼的事情,尤其对于生产任务比较繁忙的厂来说。但如果忽略这个问题,饲料产品将不能保证长期的质量稳定性。对于大北农来说,许多产品都是高油含量
介绍了制备阴离子型高分子量聚合物胶乳的技术路线和合成工艺,评价了合成产品的性能。用AMPS作阴离子单体,通过与一至两种晨离子单体反乳液共聚反应,制得了固相含量高、分子量高、在
胃息肉的检出率逐年增高,其临床症状不明显且有一定癌变倾向。目的:了解胃镜下胃息肉的临床和病理特征。方法:对2010年1月~2013年1月新疆医科大学第一附属医院检出的111例胃
天津市滨海新区是继深圳、浦东之后我国又一个"综合配套改革试验区",塘沽区是滨海新区的核心区.全区下辖10街1镇,面积859平方公里,常住人口60万,现有8个社区卫生服务中心、48
林用履带机器人是森林作业的关键技术,由于森林环境复杂,机器人在行走的过程中左右履带极易打滑,难以控制其行走路径,利用Matlab/Slmulink软件,建立林用履带机器人的行走速度控制模