并半连续格及映射性质的相关问题研究

来源 :淮北师范大学 | 被引量 : 0次 | 上传用户:zgrong
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着计算机应用的不断发展,人们对连续格的研究越来越深入,推广到了半连续格,并得到许多好的结果.本文在半连续格基础上,从对偶角度出发引出并半连续格并研究其相关性质,接着讨论并半连续格之间的映射性质等,从而将并半连续格作为半连续格中的一个重要补充,推广了连续格的性质.其中引入了并半Scott开集簇来刻画并半连续格的问题;同时引入在Galois联络基础上,研究了映射间的伴随性质和并半连续格同态等,得到了一些新的结果.另外在对dcpo的研究中结合拓扑学中的局部有限给出了局部有限dcpo结构和性质等.从而扩充了,连续格与广义Domain的相关理论.本文结构安排分三部分:  第一部分主要介绍了并半连续格的相关定义、定理,得到了并半连续格的等价刻画,同时引出并半Scott开集簇来刻画并半连续格的性质.  第二部分在并半连续格的基础上,主要讨论了并半连续格的映射性质并给出若干等价刻画,利用Galois联络给出并半连续格的刻画等性质,得到并半连续格的子代数仍是并半连续格等.  第三部分我们简单探讨了一类局部有限dcpo结构和性质,主要对局部dcpo及其定向完备化和自由dcpo做了更进一步的研究.
其他文献
微分方程的数值方法已经广泛的应用于长期的天气预报、海洋工程、地下天然气的开发、造船业等各类工程问题。现有的有限差分法、边界元法、有限体积法、无网格法等是求解微分
本文考虑多值逻辑结构的介入,首先提出多值置信滤子的概念,作为闭包、内部算子及其相关推理多值置信化的工具,基于多值置信滤子,发现了置信闭包算子与置信内部算子;然后讨论了置信
随着社会的发展,越来越多的车辆,给交通带来了便利,同时也给交通部门带来了新的挑战.经过长期的研究,国内外提出了很多车牌识别的方法.本文将对其中三种重要的算法进行研究,利用模板匹配算法得到训练集和测试集,再利用支持向量机和卷积神经网络来识别车牌字符.模板匹配算法通过计算待检测字符和字符模板之间的相似度来得到识别结果.本文的车牌字符检测均为对单个字符进行检测.因此先对原始车辆图像做相应的图像预处理得到
学位
曲面M是三维Minkowski空间中具有类空腰线和类时母线的类时直纹面。当M具有常分布参数时,我们使用了一阶微分方程明确的表示出M的表达式。之后,计算了具有此性质的M的测地曲率,
随着我国利率市场化和国债市场的不断发展,作为金融产品设计、保值与风险管理基础的利率期限结构,他在金融工程领域中的地位日益突出.而能够影响经济的货币政策在金融领域有着非
本文首先介绍了组合学中整数分拆这一数学分支我们着重研究的两个课题即:分拆恒等式和分拆同余式。在预备知识中我们介绍了研究整数分拆常用的两种工具即:便于代数变化的生成函
从事于金融时间序列预测的研究工作者发现,金融时间序列数据往往存在异方差的现象。为了刻画预测误差的条件方差中可能存在的某种相关性,恩格尔(Engle,1982)提出了自回归条件异
对流扩散现象一直以来都是流体力学领域广泛关注的焦点问题。然而,由于各种实际物理条件的限制,对流扩散问题往往会出现对流占优的现象,经典的求解方法在求解该问题时会出现严重