关于DCPO的ΣF-core紧性及sober stable空间的某些问题

来源 :辽宁师范大学 | 被引量 : 0次 | 上传用户:sym1989
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
该文共分两部分.第一部分集中讨论了关于ΣF-core紧的交半格及frame的刻划问题,同时对Σ-core紧的空间式frame的刻划问题进行了初步的探讨;第二部分讨论了stable空间的stable开集scpo的Scott开滤子与其stable紧饱和子集的对应关系,得到完整的结果.
其他文献
本文利用微分方程定性理论的有关知识对几类平面多项式系统的极限环分支、中心条件、等时中心条件和临界周期分支问题进行研究.全文共分为七章.  第一章,介绍了平面多项式
该文利用仿射环面变换讨论了求稀疏仿射多项式方程组全部解的问题.构造性地给出了环面变换在环面点的原象的点的个数及其结构与变换矩阵A之间的关系;详细讨论了环面簇在坐标
关系数据库不直接支持复杂的数据类型的结果,必导致在非传统的应用,特别是工程应用中采用面向对象数据库来弥补这一不足.面向对象数据库和关系数据库将在不同的应用领域支持
该文主要研究非线性最小二乘问题及广义非线性最小二乘问题的数值求解方法及理论特性.第二章在对问题特殊结构及研究现状进行分析基础上,借助于广义逆矩阵理论,构造出一类分
希尔伯特-黄变换(Hilbert-Huang Transform,HHT)是美籍华裔科学家N.E.Huang于1998年正式提出的一种新型时频分析方法,它可以有效地分析各种非平稳、非线性信号的时频特征,其
该文在前人工作的基础上对序列密码中的一些重要进行了研究,所取得的主要研究成果综述如下:(1)首次提出了模糊线性复杂度的概念,对随机向量的模糊线性复杂度的均值进行了估计
非线性最优化是20世纪50年代发展起来的,研究的是非线性决策问题的最佳选择的特性,构造寻求最优解的计算方法。随着电子计算机的发展和应用,非线性最优化理论和方法取得了长
问卷简化问题早已引起人们的注意,但都是由设计者根据实际问题主观分析确定,往往缺乏客观依据.该文试图根据根据部分调查结果,较客观地对原始问题进行筛选.这在统计学上相当
该文包括四部分.第一章简要介绍了单叶函数论的发展历史.第二章研究了不取任何一对w和-w值的解析函数族.得到了这个函数族支撑点和极值点的一些几何性质.第三章借助于变分法,