【摘 要】
：
该文主要从两方面讨论连续Domain理论中的几个问题.一方面在经典Domain理论中,对连续Domain本身的性质进行了深入研究,得到连续Domain的许多类似连续格的性质,给出了连续Doma
论文部分内容阅读
该文主要从两方面讨论连续Domain理论中的几个问题.一方面在经典Domain理论中,对连续Domain本身的性质进行了深入研究,得到连续Domain的许多类似连续格的性质,给出了连续Domain的等式刻划,连续Domain与Waybelow辅助序的关系,以及连续Domain的极大点空间的若干拓扑性质.这些结果对于丰富连续Domain的内容,体现连续Domain的内蕴特征具有重要作用.另一方面,从广义的角度研究连续Domain,引入相通连续Domain,Z-连通集系统的概念,从范畴方面得到许多良好的结果,拓宽了Z-集系统的研究领域,为研究连续Domain提供了一些新的途径.
其他文献
该文考虑一类临床试验中的解释变量即依从性（Compliance）有随机量测误差的情形.我们提出一种新的模型允许其中的依从性变量带有量测误差,并把治疗（Treatment）的效应和依从的效应
有效的课堂教学过程应该是师生互动、共同发展的过程.然而,在新课程实施多年之后的今天,我们依然发现部分老师仍旧“穿新鞋、走老路”,在平时教学中坚持传统的教学方法.教师
本文首先分析了班主任管理之中常见的问题:管理意识比较弱化;班主任结构混乱;班主任管理制度不足够完善,分析增强中职班主任管理工作的对策:转变班主任管理理念;完善班主任管
本文主要研究对象是全纯凸流形上赋有奇异度量的全纯线丛.在恰当的曲率条件下，我们得到一些带乘子理想层(multiplier ideal sheaves)的上同调群的性质，包括消没定理，有限性定理
该文利用算子约化理论的思想,引入了一类特殊的向量丛-s-Bundle的概念,并进而定义了它的BIR(HIR)分解.刻划了s-Bundle的一些特殊性质.对特殊的s-Bundle,给出了其BIR分解在相
本文是“机动车牌照自动识别系统”课题研究的一部分。“机动车牌照自动识别系统”(VLPRS-Vehicle License Plate Recognition System)是北京市公安交通管理局主持开发的重大
三维射影几何的线几何模型有许多良好的性质，例如三维射影变换的李代数sl(4)同构于Cl(3，3)的2-向量代数;线几何与三维刚体运动的经典螺旋理论密切相关。同时该模型也有许多缺陷
该文的研究目标是从时间序列集中挖掘偏离程度高的序列集-Top-k例外集.首先,针对现有例外模式定义存在的不足,该文提出了一种新的例外模式度量方法.例外模式具有全局性和局部
该文的主要内容如下：第一部分,利用势为n的均匀概率空间的无穷乘积,在一类n值命题逻辑系统中定义了公式的α-真度及真度概念;在五种三值命题逻辑系统I及Lukasiewicz n值（4≤n≤
本文主要围绕有限CW-复形的分类和不可分解空间压挤乘积的同伦分解这两个同伦论中的基本课题，对Akn-复形，即(n-1)-连通，胞腔维数≤n+k（n≥k+1）的有限CW-复形进行了一些研究. 一