【摘 要】
:
近三十年来,数学与计算机科学的交叉,尤其是拓扑方法、格序结构、范畴结构等在计算机科学中的应用引起了人们的广泛关注.二十世纪70年代初,Scott、Plotkin、Lawson等人创建了
论文部分内容阅读
近三十年来,数学与计算机科学的交叉,尤其是拓扑方法、格序结构、范畴结构等在计算机科学中的应用引起了人们的广泛关注.二十世纪70年代初,Scott、Plotkin、Lawson等人创建了Domain理论,其结构理论成为计算机程序的指称语义学研究的一个关键点.
无论从数学的角度还是从计算机程序指称语义学的角度而言,Domain理论研究的一个重要方面是尽可能地将连续格(domain)理论推广到更为一般的偏序结构上去.上世纪八、九十年代,Gierz、Lawson、Keimel等人分别引入并研究了超连续格、广义连续格、Z-连续偏序集和FS-格,它们属连续格(domain)最为成功的推广之列.1983年,作为连续domain和广义连续格的公共推广,Gierz、Lawson和Stralka等人引入了一类重要的domain-拟连续domain,其基本思路是将”点”与”点”之间的waybelow关系推广至”集”与”集”之情形.1997年,基于素理想系统,赵东升引入了半连续格的概念.
本文的主要工作之一就是试图将连续格和半连续格理论推广至一般子集系统Z.因此,引入了广义理想子系统Z、Z.半连续格及强Z-连续格的概念,讨论了它们的基本性质和Z-半连续格的函数空间的结构,给出了强Z-连续格到方体的嵌入,证明了当子系统Z满足一定条件时,Z-半连续格范畴SCLz是笛卡儿闭的.
本论文的另一主要工作是研究了局部强紧空间关于基的性质MF(τ)及完全正则性.对局部强紧空间P上两个拓扑τ,δ,分别赋予序:≤τ=≤opδ=≤,证明了(1)当(P,τ)满足一定条件时,任两个τ紧上集的交是τ紧当且仅当P关于某一(任一)基具有性质MFτ.(2)当(P.τ),(P,δ)均为局部强紧时,(P,τVδ)为完全正则的,特别有(P,τVω(P))为完全正则的.
其他文献
2,4-二氨基苯磺酸作为一种染料中间体,在当前诸多行业都有应用,且作用日益突出。由于传统的合成工艺存在诸多弊端,研究新工艺就成了重点工作。在此介绍了一种新合成工艺,并对其实
经典粗糙集理论是定义在等价关系的基础上,只能处理名义型数据,对数值型数据必须离散化后才可以处理.由于实际应用中的数据往往是数值的,而且测量时本身带有误差,这给直接应
和谐是当今时代的主旋律,残健和谐也是和谐社会的重要组成部分,视障学校作为培养视障生唯一的场所,是引领残健同行发展与文明的重要基地,是构建和谐社会的基础.近年来智能手
本文主要研究了Euler方程组的Riemann问题的解中的波与波的连接分析和几何性质,研究了波线的单调性、凹凸性等性质。并在考虑气体燃烧后,分析Euler方程组Riemann的问题的波与波的连接状态以及几何性质。本文主要安排如下。第一章主要介绍了相关的守恒律方程组的Riemann问题的研究历史和发展现状以及本文的研究内容。第二章主要介绍了守恒系统方程组的Riemann问题等与本文相关的知识。第三章
本文研究了标准联盟矩阵下,多个参与者的subtraction博弈及其随机模型。主要内容包括:第一章绪论。主要介绍2人和多人参与的公平组合博弈的历史及发展,阐述了基本概念与研究现状
2017年9月26日,记者受邀参加辽宁清晨科技生物有限公司组织的“双节钜惠”主题事业说明会,近百人参加与分享自己的心得体会,会上既介绍了公司的产品,又有老患者向新来的家人
本硕士论文主要讨论Loop-Viraroso代数的Whittaker模。给出了这类代数的Whittaker模定义,并得出了一些基本的性质。
本文共分为三章:第一章介绍Whittaker模的发展概况和
本文主要研究了Bochner-Riesz极大交换子在几类空间上的有界性.本文共分四章.
在第一章中,我们介绍了Bochner-Riesz极大交换子的研究背景和主要结果,以及在做Bochner-Ri
各省、自治区建设厅纪检组监察室,直辖市建委及有关部门纪检组监察室、建设纪工委,计划单列市建委(建设局) 纪检组监察室,新疆生产建设兵团建设局,部机关各单位, 部直属各单
《燕歌行》作为高适代表作之一,在后世兴起了学习风潮.诗中对当时将军奉命出战却因谎报军情致使战事失败,造成战士生还无望这一事件进行了揭露与批判.但长久以来,后人对诗中