【摘 要】
：
摘要模糊偏序集是经典偏序集的一种推广,属于量化Domain范畴.在经典偏序集中,序关系表达的仅仅是元素之间的一些定性信息,没有实际计算所需要的定量信息,而模糊偏序集的引入恰好弥补了这一不足.因此,近十年来量化Domain（模糊Domain）理论受到了诸多学者的关注并得到了迅速的发展.本文一方面将模糊偏序集理论运用到余Quantale理论中,进行余Quantale理论的模糊化研究.另一方面将C-连续
论文部分内容阅读
摘要模糊偏序集是经典偏序集的一种推广,属于量化Domain范畴.在经典偏序集中,序关系表达的仅仅是元素之间的一些定性信息,没有实际计算所需要的定量信息,而模糊偏序集的引入恰好弥补了这一不足.因此,近十年来量化Domain（模糊Domain）理论受到了诸多学者的关注并得到了迅速的发展.本文一方面将模糊偏序集理论运用到余Quantale理论中,进行余Quantale理论的模糊化研究.另一方面将C-连续格概念推广到模糊C-连续格,并对其性质进行研究.本文的主要内容安排如下： 第一章预备知识.本章给出了本文将要用到的余Quantale理论、范畴理论和模糊偏序集理论中的基本概念和结论. 第二章余Quantale上的余核映射与核映射.本章首先分别研究了余Quantale核映射与余Quantale余核映射的相关性质.其次讨论了Dual余Quantale, Girard余Quantale,预Dual余Quantale与预Girard余Quantale的关系,并分别给出了它们的一些性质及其等价刻画.最后证明了任意余Quantale都可以嵌入到预Girard余Quantale,并且证明了Girard余Quantale上的余核映射与理想核是一一对应关系. 第三章模糊余Quantale.本章首先通过模糊Galois伴随引入模糊余Quantale的概念,并给出模糊余Quantale的相关例子,并讨论了模糊余Quantale上的核映射与余核映射,将余Quantale理论中关于余Quantale商和子余Quantale的一些经典结论推广到模糊的情形.其次引入了模糊预Dual余Quantale与模糊Girard余Quantale的概念,证明了模糊Girard余Quantale上的L-余核映射和L-理想核是一一对应的.最后讨论了模糊余Quantale范畴的乘积、极限和逆极限,并给出了它们的具体结构. 第四章模糊C-连续格.本章首先给出模糊完备格上非空模糊Scott闭集的定义,进而给出模糊beneath关系的定义及其性质.在此基础上定义了模糊C-连续格和模糊C-代数格,证明了模糊完备格是模糊C-连续格当且仅当（（?）,（?））是模糊完备格与其上的非空模糊Scott闭集之集之间的一个模糊Galois伴随.
其他文献
随着经济快速发展,人民生活水平大幅提高,货运市场结构发生巨大变化,铁路部门为扭转货运业务的亏损局面,依托日趋完善的高速铁路网进行高铁货运业务的试行,高铁快运业务目前已覆盖全国所有高铁车站,为铁路增加创收。2020年底货运动车组正式下线,有利于发挥快速、安全、准时的优势,弥补高铁货运运能不足的短板,扩大市场份额,优化铁路货物运输市场结构。本文的研究以高铁货运列车开行方案为切入点,主要完成以下工作:（
燃料组件板弹簧是压水堆燃料组件的重要组成部件,主要提供适当的压紧力以保证燃料组件的安全、可靠运行,并弥补堆腔内各部件的轴向生长差异以保证燃料组件的结构完整性。本文利用遗传（GA）算法的全局寻优能力对误差反向传播（BP）神经网络进行改进,建立了基于GA-BP神经网络的板弹簧优化设计方法。以板弹簧宽度、宽度比、厚度、厚度比和高度作为优化设计变量,刚度性能更优作为目标函数,强度和压紧力等性能参数以及工艺
运动规划（Motion Planning）是多自由度机械臂实现抓取动作或操纵作业的关键内容,也是机器人领域的研究热点。基于采样的运动规划算法由于受到最近邻搜索速度、采样扩展策略和碰撞检测算法性能的影响,存在规划效率低和规划时间长的问题,本文针对上述问题分别对最近邻搜索过程、采样扩展策略和碰撞检测算法进行改进,并将长短时记忆机制、高斯混合模型（Gaussian Mixture Model,GMM）与
随着我国的社会矛盾的转化,人民对美好生活的向往也体现在了对更好生活环境的追求。为满足人们对绿色生活的升级化追求,我国提出了“公园城市”等城市发展新理念。公园城市的建设需要对公园体系进行全面升级优化,公园体系的优化不仅应该体现在公园数量的增加,而更应该注重居民到达公园的便捷性、使用公园的公平性与高效性。公园可达性能够较好的表达人们到达公园的方便程度,公园服务压力能够体现公园的需求度,而使用热度能够动
随着新课程改革深入,越来越多研究者开始关注乡土地理课程资源。有在当代教育中,形象案例的使用越来越被推广,随着核心素养中地理实践力的提出和强调使得教师们也越来越关注活动课程,从以前的注重知识灌输到现在的强调能力培养,探究式学习也备受关注,成为各个教师及专家的研究对象。而乡土地理课程资源的运用可以说是可以囊括了以上各个点,既有着形象而丰富的案例,又注重地理实践力的培养,还可以提供活动课的学习空间,还可
停车供需间矛盾的日益凸显,阻碍了城市交通与经济的发展。由于路内停车收费价格尤其是长时停车收费价格高于路外停车场,能够发挥“短停快走”的特性,可作为城市路外公共停车场的补充。但城市中心区经常出现路内停车位占用率过高而路外停车场占用率较低的现象,这与路内、路外停车场的设置初衷相悖。在此背景下,寻求有效的路内停车优化策略,以协调路内外停车需求布局并对现有停车资源进行充分利用,对于缓解城市停车难及交通拥堵
研究目的:由于足球运动对抗性强、争夺激烈的运动特点,女性足球运动员在比赛及训练过程中易发生膝关节损伤,包括髌骨损伤、韧带损伤、肌腱损伤、半月板损伤、肌肉拉伤等,常使得膝关节稳定性降低。肌力训练是维持关节稳定的基础,另一方面,有学者提出增强膝关节肌肉力量可间接增强本体感觉功能。鉴于股四头肌、腘绳肌及本体感觉在膝运动中起到的重要作用,当前针对女性足球运动员伤后膝关节不稳的康复训练主要是股四头肌、腘绳肌
本文结合Pisot数的有关性质,利用Riemann-Lebesgue引理,首次估计了R2中带四个元素数字集,以及R3中带有八个元素数字集的自仿测度的Fourier变换序列的下界,从而得到相应测度的奇异性. 通过对权的分类讨论,利用Riemann-Lebesgue引理,研究了一维中数字集带有三个元素时,由权决定的自仿测度是奇异的几个结论. 利用不变子格和三角多项式是利普西斯函数等性质,给
2006年,王国俊教授建立了计量逻辑学理论,这种理论一经提出便受到广泛的关注.因为它从语义上对逻辑概念进行了程度化,并将数值计算融入到数理逻辑中来建立起符号化语言与数值计算的桥梁.这使得数理逻辑具有某种灵活性,极大地扩大了其实际的应用范围.吴洪博教授在此基础上提出了广义真度的概念,研究了其主要性质. 基于以上理论知识背景,本文的结构和详细内容安排如下： 第1章预备知识.本章给出了文章中
图论的研究始于200多年前.关于图论的第一篇论文是1736年Euler发表的,他用图的方法解决了哥尼斯堡七桥问题.二十世纪三十年代以来,图论在科学界异军突起,活跃非凡.图论中有很多著名的问题,如哈密顿问题,四色问题,中国邮递员问题等,并且应用图论来解决化学,生物学,信息和计算机科学等学科问题已显示出极大的优越性.同时,图论在工程技术领域及社会科学中也有着广泛的应用.它作为离散数学的一个重要分支,受