【摘 要】
:
Domain理论从上世纪70年代以来,一直受到计算机科学及数学领域的关注.Domain理论研究的对象是满足一定条件的偏序集与它们之间的映射,研究的一个内容是将连续格的理论推广到
论文部分内容阅读
Domain理论从上世纪70年代以来,一直受到计算机科学及数学领域的关注.Domain理论研究的对象是满足一定条件的偏序集与它们之间的映射,研究的一个内容是将连续格的理论推广到更为一般的格序结构.本文主要研究工作如下:1.基于连续Domain理论,深入研究了局部连续Domain的相关概念及其理论.首先引入了局部邻域的定义,并在此基础上给出了局部连续Domain的内部刻画;然后借助局部定向集,给出局部连续Domain基、权的定义以及其若干等价刻画;同时探讨局部Scott Domain与拓扑空间(?)的权之间的关系.2.主要研究了局部连续Domain的特征与浓度.首先,在局部基和稠密子集的基础上,定义了局部连续Domain的特征与浓度;其次,探讨了局部连续Domain及其带上Scott拓扑或局部Lawson拓扑时的拓扑空间的特征、浓度之间的关系.3.基于局部半连续格,利用局部半素理想定义了局部半素基,并给出了局部半连续格的局部半素基和左伴随的一些性质.4.给出局部相容半连续格的概念,并借助局部相容半素极小集来阐述映射的局部相容半连续性、保?lc关系及保局部相容半素极小集之间的联系.
其他文献
知识图谱是一种相对通用的语义知识的形式化表示框架,具有丰富的语义表达和开放互联能力。针对电网领域的数据模型,提出了一种基于知识图谱的模型诊断方式,通过将数据模型视
景圣中学处于永川区南部五间镇新建场圣水湖畔,有悠久的"圣贤文化"传统,有"景先贤、启后进"博学精神,有丰富灿烂的"人文建设",有硕果累累的"先贤"人格魅力。景圣中学始终以走
方法:通过一例于2014年7月到2015年3月连续住院5次的年龄85岁女性患者,分别于心内科3次、呼吸科2次进行治疗,对患者的药物清单进行审核。目的:探讨实施药物整合对于提高用药
南方某桥梁拟采用水性改性环氧砂浆对纵向预应力管道进行补压浆,为了确保高温条件下水性改性环氧砂浆的锚固能力,本文制备了高温型水性改性环氧砂浆;分别考察了自制水性改性
微生物燃料电池(Microbial Fuel Cell,简称MFC)是一个微生物催化有机化学能直接转化为电能的生物反应器。MFC在工作过程中不仅能够净化污水,而且还能收获电能,在一定程度上降
随着气候变化的影响不断加剧,氮沉降增加带来的生态学效应正逐渐成为学者们的研究热点,而目前关于氮沉降速率较低的黄土区研究较少,且处于氮素限制的黄土区天然草地生态系统
针对目前预拌混凝土企业经营管理遇到了前所未有的新局面。笔者就企业如何破解纷繁丛生的经管局面,克服企业经管的不利因素,及新常态下对预拌混凝土企业的老板和老总提出的新
本文主要研究了非线性分数阶Schr(?)dinger方程(组)解的存在性和稳定性.首先,得到了广义非线性分数阶Schr(?)dinger方程组周期边值问题整体解的存在唯一性.其次,证明了一类具
本学位论文的主要内容是研究相容半连续Dcpo并探讨它的相关性质,文章定义了相容半连续格并给出它的一些性质,紧接着对相容半连续Dcpo作更深层次地探讨,论文主要内容如下:第一
智能化是一种现代先进技术,它不仅为人们的现代生产生活提供各种便利,而且也已被广泛地应用到现代社会的交通环境中去提供相应的服务和指导,同时起着缓解各种交通状况的作用.