【摘 要】
：
Domain理论是由Dana Scott于20世纪60年代末提出来的,旨在为函数式程序语言提供指称语义到如今,Domain已经同其他数学领域建立起紧密的联系,如:粗糙集理论.Domain理论与粗糙
论文部分内容阅读
Domain理论是由Dana Scott于20世纪60年代末提出来的,旨在为函数式程序语言提供指称语义到如今,Domain已经同其他数学领域建立起紧密的联系,如:粗糙集理论.Domain理论与粗糙集理论之间的联系主要体现在两个方面,一方面是Domain理论通过形式概念分析运用在粗糙集中,另一方面是用粗糙集的方法来研究Domain理论.本文在已有的成果上继续用粗糙集的方法研究Domain理论,主要内容包含以下方面:第一章,介绍了Domain的发展历史,从两个方面简述了Domain理论的产生以及研究Domain意义.随后,初步介绍了粗糙集的发展以及Domain理论与粗糙集之间的联系的概况.在此基础上,提出了本文的核心内容和思想并且给出了一些本文需要用到的预备知识.第二章,我们展开了对θ-连续偏序集和θ-拓扑的研究,我们用辅助关系定义的上下逼近算子讨论了 θ-拓扑与其他拓扑之间的关系,探讨了上下逼近与θ-闭包和θ-内部之间的关系,给出了θ-连续偏序集的一种新的等价刻画.第三章,我们用弱way below关系定义了新的上下逼近算子,并用新定义的上下逼近算子给出了wb-拓扑和wwb-拓扑开集的等价刻画,讨论了这两个拓扑与其他拓扑之间的关系,最后给出了弱Domain的等价刻画.
其他文献
中国传统发酵香肠地域分布广泛,产品种类繁多,是中国传统发酵肉制品的典型代表之一。随着工业化的发展,相对于西方工业化产品来说的传统发酵香肠虽有其风味丰富的优势,但在产品质量稳定性、制作周期和食用安全等方面遇到了越来越多的挑战,对中国传统发酵香肠的推广产生了负面的影响。为了解决传统发酵香肠现存的问题,在最大程度上模仿手工制作香肠的微生物发酵环境从而保留传统发酵香肠丰富的风味,在自然发酵过程中的细菌群落
水稻是世界上最重要的粮食作物之一,其生长发育及繁殖与光合作用息息相关,其中光合作用的效率是作物产量的重要影响因素。植物进行光合作用的主要场所为叶绿体,其发育发生变化不仅会引起植株叶色的改变,还会影响植物的光合效率。目前提高水稻作物产量仍主要育种目标,因此提高光合效率对水稻增产具有重要意义。本实验室在前期研究中,发现叶绿体发育相关基因OsDCL(LOC_Os08g21 700)存在于水稻第8号染色体
温州市L区国有经营性房产数量庞大、价值可观,而当前政府对于这部分房产保值增值的方式就是租赁。围绕这部分国有经营性房产租赁管理过程中存在的问题,进行研究,探索出解决办法,既有利于国有经营性房产保值增值,也能给其他县市区提供借鉴参考。本文采用文献法、访谈调查法、统计分析法等方法进行研究。首先阐释国有资产、国有经营性资产、国有经营性房产、租赁等相关概念,以及委托代理理论、合同管理理论等,梳理和归纳国内外
目的:研究冬虫夏草提取液（CSE）对60Coγ电离辐照小鼠脾脏与睾丸组织损伤的保护作用,并初步探讨其分子机制,为一种潜在的新型辐照治疗药物提供有力的理论支持。第一部分CSE对电
近年来随着光伏产业和半导体产业的快速发展,全球对太阳能级硅的需求高速增长,而太阳能级硅棒被切割成硅晶片时将会产生大量的切割废料,废料组分主要为硅、碳化硅、切割液和金属废屑,对切割废料分离提纯后的微细硅粉进行回收具有很高的经济效益,同时,如何实现其高值利用也是一个亟待解决的问题。氮化硅及其复合材料具有强度高、耐高温、耐磨损、耐腐蚀、比重小等一系列优异的性能,广泛用于航空航天、电子、冶金等领域,被认为
聚氨酯-壳聚糖(PU-CS)复合材料的研究在生物医药领域是热点研究方向。针对目前聚氨酯-壳聚糖海绵研究中,CS分子量的选择、提高PU-CS的海绵抗菌性以及PU-CS嵌段海绵的制备问题,本文采用“两步法”(预聚反应与发泡扩链反应)制备了三种PU-CS复合海绵,即不同分子量CS作扩链剂的PU-CS海绵、壳聚糖季铵盐(HTCS)作为扩链剂的PU-HTCS海绵以及CS作软段的PEG-CS30K-PU嵌段海
新疆调和茶是保健茶类的一种,已有1600多年的历史传承,2014年被列入新疆自治区级非物质文化遗产。本试验以印度豆蔻、红花、玫瑰花、丁香、薄荷、小茴香、甘草、干姜、姜黄、
灯盏花素（breviscapine）,是从菊科植物灯盏细辛（Erigeron breviscapu）当中提取的黄酮类的有效成分,结构式鉴定是黄酮-7-葡萄糖醛酸甙,又名野黄芩苷[1,2]。灯盏乙素苷元（Scutellare
萤石是重要的非金属矿物,是工业生产不可或缺的原材料。传统的脂肪酸类萤石浮选药剂耐低温性不足,导致萤石浮选回收率低,造成资源浪费,因此萤石浮选耐低温高效捕收剂的研究和开发需求日益迫切。石油磺酸钠已广泛应用于矿物泡沫浮选,针对目前不同结构和组分的石油磺酸钠捕收性能差异巨大的问题,试验以萤石纯矿物及实际矿物为研究对象,探究了不同石油磺酸钠体系下萤石的浮选行为,并结合矿物晶体量子化学计算、红外光谱分析、z
目前钢轨紧固件拆卸多由人工完成,效率低下,工作强度大。因此,开发一套钢轨紧固件自动化拆卸系统,非常具有现实意义。本文将双目视觉应用于紧固件自动化拆卸系统,解决该拆卸