切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
学位论文
关于DCPO的ΣF-core紧性及sober stable空间的某些问题
关于DCPO的ΣF-core紧性及sober stable空间的某些问题
来源 :辽宁师范大学 | 被引量 : 0次 | 上传用户:sym1989
【摘 要】
:
该文共分两部分.第一部分集中讨论了关于ΣF-core紧的交半格及frame的刻划问题,同时对Σ-core紧的空间式frame的刻划问题进行了初步的探讨;第二部分讨论了stable空间的stable
【作 者】
:
宋玉靖
【机 构】
:
辽宁师范大学
【出 处】
:
辽宁师范大学
【发表日期】
:
1998年期
【关键词】
:
sober stable空间
Scott拓扑
ΣF-core紧性
Scott开滤子
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
该文共分两部分.第一部分集中讨论了关于ΣF-core紧的交半格及frame的刻划问题,同时对Σ-core紧的空间式frame的刻划问题进行了初步的探讨;第二部分讨论了stable空间的stable开集scpo的Scott开滤子与其stable紧饱和子集的对应关系,得到完整的结果.
其他文献
几类微分自治系统的中心与局部临界周期分支的研究
本文利用微分方程定性理论的有关知识对几类平面多项式系统的极限环分支、中心条件、等时中心条件和临界周期分支问题进行研究.全文共分为七章. 第一章,介绍了平面多项式
学位
奇点量
微分自治系统
局部临界周期分支
Li′enard系统
环面变换与稀疏多项式方程组求解
该文利用仿射环面变换讨论了求稀疏仿射多项式方程组全部解的问题.构造性地给出了环面变换在环面点的原象的点的个数及其结构与变换矩阵A之间的关系;详细讨论了环面簇在坐标
学位
环面理想
环面簇
环面变换
稀疏仿射多项式系统
Grobner-基
半群代数
消元理想
一种基于关系--对象的数据库模型设计研究
关系数据库不直接支持复杂的数据类型的结果,必导致在非传统的应用,特别是工程应用中采用面向对象数据库来弥补这一不足.面向对象数据库和关系数据库将在不同的应用领域支持
学位
面向对象
数据库
关系数据库
建立模型
非线性最小二乘问题数值方法
该文主要研究非线性最小二乘问题及广义非线性最小二乘问题的数值求解方法及理论特性.第二章在对问题特殊结构及研究现状进行分析基础上,借助于广义逆矩阵理论,构造出一类分
学位
非线性
最小二乘法
拟牛顿法
分裂拟牛顿法
自对偶
最优修正
QR分解
无记忆
信赖域
希尔伯特-黄变换的研究及其在语音信号处理中的应用
希尔伯特-黄变换(Hilbert-Huang Transform,HHT)是美籍华裔科学家N.E.Huang于1998年正式提出的一种新型时频分析方法,它可以有效地分析各种非平稳、非线性信号的时频特征,其
学位
希尔伯特-黄变换
本征模态函数
瞬时频率
语音信号处理
序列密码中的有关问题
该文在前人工作的基础上对序列密码中的一些重要进行了研究,所取得的主要研究成果综述如下:(1)首次提出了模糊线性复杂度的概念,对随机向量的模糊线性复杂度的均值进行了估计
学位
序列密码
密钥序列
密码学
模糊线性复杂度
模糊非线性复杂度
相关免疫函数
弹性函数
非线性规划的信赖域算法
非线性最优化是20世纪50年代发展起来的,研究的是非线性决策问题的最佳选择的特性,构造寻求最优解的计算方法。随着电子计算机的发展和应用,非线性最优化理论和方法取得了长
学位
非线性规划
信赖域算法
全局收敛性
无约束优化
半线性拟双曲线积分微分方程初边值问题的有限元方法及其误差估计
学位
半线性
微分方程
初边值问题
有限元方法
误差估计
抽样调查问卷简化方法研究
问卷简化问题早已引起人们的注意,但都是由设计者根据实际问题主观分析确定,往往缺乏客观依据.该文试图根据根据部分调查结果,较客观地对原始问题进行筛选.这在统计学上相当
学位
问卷简化
变量选择
统计分析
计算方法
几类单叶函数族的性质
该文包括四部分.第一章简要介绍了单叶函数论的发展历史.第二章研究了不取任何一对w和-w值的解析函数族.得到了这个函数族支撑点和极值点的一些几何性质.第三章借助于变分法,
学位
单叶函数
支撑点
极值点
旋转定理
与本文相关的学术论文