【摘 要】
:
产生于上世纪60年代末70年代初的Domain理论是由D.Scott建立,该理论与拓扑、代数、范畴等学科有着密切联系.1965年,L.A.Zadeh提出了“Fuzzy Sets”(模糊集)的概念,标志着模糊
论文部分内容阅读
产生于上世纪60年代末70年代初的Domain理论是由D.Scott建立,该理论与拓扑、代数、范畴等学科有着密切联系.1965年,L.A.Zadeh提出了“Fuzzy Sets”(模糊集)的概念,标志着模糊数学的诞生.自2000年以来,模糊集理论被应用到量化Domain理论的研究中,形成了模糊Domain理论.经典情形下,拓扑空间中的开集与闭集通过取补运算有很好的对应关系,然而在模糊情形下,由于值格通常不是布尔代数,因此模糊拓扑空间中的开集与闭集没有那么好的对应关系.最近张德学教授利用闭集间的模糊序,建立了基于不可约闭集的模糊Sober性理论.本文继续发展这一思想,一方面将有界Sober性与K-有界Sober性推广至Q-余拓扑空间中,另一方面利用Scott Q-余拓扑空间发展了模糊偏序集的C-连续性.本文具体分为以下三个部分:第一章:预备知识.本章主要介绍模糊序和范畴论方面的基本概念和结论.第二章:有界Sober与K-有界Sober Q-余拓扑空间.本章首先给出了 Q-余拓扑空间,有界Sober及K-有界Sober Q-余拓扑空间的概念.其次,证明了有界Sober Q-余拓扑空间范畴是满层的Q-余拓扑空间范畴的反射满子范畴以及当交换整Quantale Q是线性序时,拓扑空间X是有界Sober的当且仅当对应的Q-余拓扑空间ωQ(X)是有界Sober的,其中ωQ是模糊拓扑中的Lowen函子.最后,研究了K-有界Sober Q-余拓扑空间的相关性质并在Q-余拓扑空间情形中给出了 Hausdorff,T1,Sober性,有界Sober性和K-有界Sober性之间的关系.第三章:C-连续模糊偏序集.本章首先介绍了 Scott 余拓扑空间的概念并应用I-闭模糊集定义了一种模糊辅助关系.其次引入了 C-预代数模糊偏序集的定义并证明了 Scott Q-余拓扑是C-预代数的.最后在既约完备模糊偏序集范畴和C-预代数模糊完备偏序集范畴之间构造了一个伴随.
其他文献
本文将习近平关于社会主义意识形态新理念提出的理论基础和时代背景作为研究起点。首先,对马克思主义经典作家关于社会主义意识形态建设基本思想进行历史梳理,有助于准确把握
超空化技术能够减少水下航行体受到的流体阻力,从而大幅提高水下航行体的航行速度,但超空化技术也使得超空泡水下航行体比普通水下航行体更加难以控制。现有的超空泡航行体的控制理论研究中,为了简化设计或降低设计难度,经常将执行机构自身的饱和特性从航行体运动模型中剔除。结合前人已经发表的实验数据,本文对造成超空泡航行体失稳的空化器和尾翼等执行机构的饱和特性进行了分析,针对分析结论,使用线性自抗扰控制(LADR
Hh基因最早作为“体节极性”基因在果蝇体内被发现,可以编码高度保守的糖蛋白。Hedgehog信号通路是脊椎动物胚胎发育的主要信号通路之一,可以调节细胞定向分化和组织形态的发
黑色素瘤是一种恶性程度极高的皮肤癌,好发于多痣,具有家族遗传史,免疫功能低下的西方白种人群中。导致该病发作的因素主要包括UV辐射和家族遗传。患病早期主要通过手术移除
阿卡波糖是一种治疗Ⅱ糖尿病的口服降糖药,近年来随着糖尿病高发日益引起人们的关注。游动放线菌发酵生成阿卡波糖的同时会产生一系列结构类似物,例如杂质组分A,欧洲药典对组
随着互联网信息技术和现代移动终端的飞速发展与日渐普及,新媒体也乘着新技术革命的浪潮日益成长,传统媒体的发展正面临着诸多严峻考验,稳定的信息传播的媒体格局受到前所未有的挑战和冲击,过去在传统媒体中形成的、以采编人员为主导的格局面临越来越多的人才流失现象。媒体核心竞争力是内容,影响内容质量的是采编部门。目前,在媒体融合时期,报社面临巨大变革,纸媒从业人员——尤其是采编人员离职现象日益成为业界常态。业界
航空煤油推进剂存储于充氮带压的密闭箱中,存储周期18个月,这期间煤油推进剂会存在泄漏事故。航空煤油属于极其易燃、易爆的多组分液体燃料,当油料挥发的蒸汽在空气中达到一
目前,索网天线广泛应用于航天领域,然而由于地面环境和太空环境存在着重力场差异,且考虑到索网结构大尺度、大柔度、高度非线性的特点,在地面验证中如何对其进行重力卸载成为
改革开放四十多年,我国在制造业、服务业等诸多领域都取得了举世瞩目的成绩;但是,伴随经济高速增长的同时,也出现了劳动效率降低、成本居高不下、产品品质提升困难、产能瓶颈迟迟难以解决等一系列问题,也给企业提升核心竞争力,实现长期健康的可持续发展埋下了隐患,急需进行产业升级、经济转型调整,制造业迫切需要利用信息技术进行技术创新、经营模式革新,实现“两化融合”的深入应用。在制造业转型升级过程中,以信息化驱动
在以Mg-4Y-1Ca为基体合金的基础上,采用半连续铸造的方式得到含Zn量不同的四种实验合金,分别为Mg-4Y-1Ca、Mg-4Y-1Ca-1Zn、Mg-4Y-1Ca-3Zn、Mg-4Y-1Ca-5Zn。随后对铸态合金进行适当的热处理以及热挤压后,通过金相观察、SEM、XRD、EDS、拉伸或压缩等手段对铸态,挤压态以及热处理后的合金进行微观组织、力学性能的研究。得出结论如下:(1)四种合金的铸态组