【摘 要】
:
Domain理论为计算机程序设计语言的指称语义学奠定了数学基础.其中序与拓扑相互结合,相互作用是这一理论的基本特征.这一特征使得Domain理论成为理论计算机科学与格上拓扑学
论文部分内容阅读
Domain理论为计算机程序设计语言的指称语义学奠定了数学基础.其中序与拓扑相互结合,相互作用是这一理论的基本特征.这一特征使得Domain理论成为理论计算机科学与格上拓扑学研究者共同感兴趣的领域,并使Domain理论与许多数学学科产生了密切的联系.而对Domain的推广研究是Domain理论中的一个重要内容.迄今为止,较为成功的推广是拟连续Domain和Z-连续偏序集.作为Domain的另一推广,2007年Mashburn引入了Weakly way below关系、Exact偏序集和弱Domain的概念,并讨论了它们的一些基本性质.自从Wright, Wagner和Thatcher于1978年提出子集系统的概念以来,利用Z-子集系统来研究偏序集的序、拓扑等相关性质受到了人们的广泛关注,大量的新观点、新方法被引入.L iu Min和Zhao Bin利用子集系统,引入了一种新的连续性——FZ-连续性,从而建立了FZ-Domain等相关概念.本文在此基础上引入了W-代数偏序集,FZC-连续偏序集的概念,进一步研究了它们的一系列性质.本文主要内容安排如下:第一章预备知识.本章给出了相关的格论,Domain理论,拓扑及子集系统方面的概念和结论.第二章Exact Domain首先,讨论了Weakly way below关系和Exact偏序集在Scott连续映射下的不动点之集的一些性质.其次,引入了W-代数偏序集的概念,并讨论了它的映射性质.再次,研究了Exact Domain的开闭遗传性.最后,讨论了弱Domain局部基的相关性质.第三章FZC-连续偏序集.在Z-完备偏序集上,定义了FZ-Lawson拓扑,讨论了该拓扑的相关性质.其次,定义了双FZ-连续偏序集和-FZ-Scott拓扑,讨论了双FZ-Scott拓扑的性质.最后,引入了FZC-连续偏序集的概念,利用Galois伴随给出了FZC-连续偏序集一个等价刻画.
其他文献
本文主要研究具有齐次势能的三个自由度的哈密顿系统的多项式可积性。具有齐次势能的m自由度的哈密顿系统是由哈密顿函数确定的,其中势能函数V(q1,…,qm)是k次齐次多项式或一
在油气田开采过程中,结垢会堵塞地层及管道,造成严重的经济损失,采用阻垢剂来阻止结垢是油气田提高经济收益的重要措施。聚天冬氨酸(PASP)因为具有无毒性和良好的生物降解性,
生物钟是生物体内的计时机制,在生理、生化和行为等水平调节生物体的生命活动。生物钟的异常可以导致失眠、精神障碍甚至癌症等许多疾病。生物钟调节的分子机制主要是CLOCK:B
本文研究了RHIC(Relativistic Heavy Ion Collider)200NNs?Ge V Au+Au和LHC(Large Hadron Collider)2.76NNs?Te V Pb+Pb的光滑粒子流体动力学(Smoothed Particle hydrodynami
虽然现在的初中美术课程结构为不同发展方向的学生提供了选择,但是从当前初中美术课堂教学的现状来看,课程内容主要还是以鉴赏学习为主,能够按照课程方案开设多学习领域的学校很少。设计制作课程的实施需要一定的师资力量和学校教学条件的保障与支持,使得该学习领域的开设情况不容乐观。为了改善这种现状,在核心素养教育理念指导下,采取单元化研究型教学的形式,以及以纸为材的学习活动来引导美术教学。本文由五个部分组成。第
本文的主要内容涉及到拓扑动力系统领域中两大重要分支——旋转理论与拓扑共轭.文章应用了李群理论中极大环面的相关知识.结合已有的对n维环面Tn上旋转的旋转向量的定义方式.
算子代数理论自创立起便迅速发展,现已成为现代数学的一个重要领域,而von Neumann代数和三角代数又是这一领域中很重要的两类算子代数.本文在已有结论基础上主要研究了无非零
格论是随着经典逻辑的的代数化与泛代数的发展而引进的一个代数系统,法国数学家Charles Ehressman认为具有某种分配性的格(例如完备Heyting代数)本身即可作为一种广义的拓扑
图像的显著性目标检测是为了解决计算机视觉模拟人眼视觉的问题,即检测出人眼首先注意到的区域。显著性目标检测旨在突出图像中视觉上显著的目标区域,该算法被广泛应用于医疗,运动和人工智能等各个领域。本文系统研究了多种基于深度学习的显著性目标检测模型,使用全卷积神经网络(FCNs)进行显著性目标检测,相比于卷积神经网络(CNNs)具有更大的优势,然而现在大多数基于FCNs的算法都存在着显著性目标边缘信息丢失
本文考虑一类描述闭等温反应中振荡化学动力学行为的可逆LOtkao-Volterra模型的多项式首次积分.本文共分三章.第一章主要介绍Belousov-Zhabotinsky化学反应的研究背景及相关