【摘 要】
：
本文研究对象是带有偏序逼近族的偏序集(参见文献[1])(简称R-偏序集).我们的目的在于探索R-偏序集这一数学结构能否为语义域的研究提供一个较好的数学框架.本文在R-偏序集上
论文部分内容阅读
本文研究对象是带有偏序逼近族的偏序集(参见文献[1])(简称R-偏序集).我们的目的在于探索R-偏序集这一数学结构能否为语义域的研究提供一个较好的数学框架.本文在R-偏序集上定义了Scott拓扑,这为在R-偏序集上的逼近、函数的连续性等概念的提出奠定了基础,为探索R-偏序集作为语义域的数学特性提供了前提.文献[2]在带有等价关系的集合(简称sfe)上重建了基于度量空间的语义域研究的部分理论.R-偏序集是较sfe更具普适性的结构.本文仿照[2]中sfe上的结论及dcpo上Tarski不动点定理的证明,在穴.偏序集上建立了逼近映射的不动点定理和Tarski不动点定理；同时构造了一个新的范畴R-POSET,建立了范畴R-POSET与范畴CUMS之间的一个伴随,为从广义超度量空间角度研究欠.偏序集提供了思路.
其他文献
控制图被广泛地应用于监测生产制造出的产品的质量。如今控制图的应用范围，已经不仅仅是制造业，它还被广泛地应用于工程，环境科学，生物技术，医药行业以及自然科学中。控制图主要可
传统的具有Holling-III功能反应的Lotka-Volterra捕食者-食铒系统已经受到了学者们的极大关注，也进行了很好的研究，标准的Lotka-Volterra类型的模型是建立在捕食者的单位捕食率
设△是一个有限无圈的箭图。本文引入了由△所决定的偏周期预投射代数的概念，它是一个定义在周期为p的稳定平移箭图Z△/(7τ)上的代数，记为П。当周期p=1时，偏周期预投射代数就
本文对一种拟Grünwald插值算子进行了误差分析。文章主体分为三个部分： 第一章给出了以第二类Chebyshev多项式的零点为插值节点组的一种拟Grünwald插值算子列在加权L范数
该选题来源于国家自然科学基金项目(项目号:70471045):基于随机需求与不对称信息的供应链协调与量折扣研究。 由于科技的不断进步和市场竞争的日趋激烈,个体企业之间的竞