【摘 要】
:
Domain理论是理论计算机科学中程序设计语言的指称语义学的数学基础.序和拓扑的相互结合,相互作用是这一理论的基本特征.正是这一特征使Domain理论成为理论计算机科学和数学研究者共同关注的领域,也使这一理论具有广泛的应用空间.自2000年以来,模糊集理论被应用到Domain理论中,形成了模糊Domain理论.目前,该理论已有较为丰富的理论成果和应用背景,并与范畴论,模糊拓扑,形式概念分析,粗糙集
论文部分内容阅读
Domain理论是理论计算机科学中程序设计语言的指称语义学的数学基础.序和拓扑的相互结合,相互作用是这一理论的基本特征.正是这一特征使Domain理论成为理论计算机科学和数学研究者共同关注的领域,也使这一理论具有广泛的应用空间.自2000年以来,模糊集理论被应用到Domain理论中,形成了模糊Domain理论.目前,该理论已有较为丰富的理论成果和应用背景,并与范畴论,模糊拓扑,形式概念分析,粗糙集理论和理论计算机科学等众多学科发生了密切的联系,同时在许多方面都有待于更深入的研究.本文主要研究了模糊Domain中的模糊ZL-代数偏序集,模糊ZL-紧完备偏序集和模糊Cut-stable映射以及模糊多元形式概念分析中的相关问题.本文的具体内容安排如下:第一章,预备知识.为了便于后继章节的研究和讨论,本章简要介绍了一些格论、模糊Domain和范畴论方面的基本概念和相关结论.第二章,模糊ZL-代数偏序集的进一步研究.本章介绍了模糊ZL-连续(代数)偏序集的概念,讨论了它们的一些性质.给出了模糊ZL-闭包系统的概念,证明了模糊ZL-代数偏序集的紧元上的模糊ZL-理想之集是模糊闭包系统.若ZL是并完备的,则它是模糊ZL-闭包系统.我们还研究了模糊ZL-映射,模糊ZL-余映射的性质,证明了每一个模糊ZL-连续偏序集都可以通过一个模糊ZL-映射嵌入到一个模糊ZL-代数偏序集中.第三章,模糊ZL-紧完备偏序集及其范畴性质.本章引入了模糊ZL-紧完备偏序集,模糊ZL-闭支撑的概念,并讨论了它们的一些性质,主要研究了模糊ZL-紧完备偏序集的扩张性.在此基础上给出了模糊ZL-扩张基的定义,研究了它的性质.此外,我们还讨论了模糊偏序集范畴,模糊ZL-紧完备偏序集范畴,模糊ZL-紧偏序集范畴,模糊ZL-完备偏序集范畴这四种范畴之间的关系.第四章,模糊Cut-stable映射.本章给出了模糊下(上)Cut-连续映射,模糊下(上)Cut-stable映射,模糊residuated(residual)映射和模糊保Cut映射的概念,讨论了它们之间的关系.得到了模糊Cut-stable映射的扩张性质,证明了以模糊完备格为对象,以模糊完备格同态为态射的范畴是以模糊偏序集为对象,以模糊Cut-stable映射为态射的范畴的满的反射子范畴.应用模糊Cut-stable映射的扩张性质,我们得到了以模糊连续格为对象,以模糊完备格同态为态射的范畴是以模糊预连续偏序集为对象,以模糊Cut-stable映射为态射的范畴的满的反射子范畴.第五章,模糊弱Cut-stable映射.本章在第四章的基础上给出了模糊弱下(上)Cut-连续映射,模糊弱下(上)Cut-stable映射和模糊弱保Cut映射的概念,讨论了这些映射之间的关系.研究了模糊偏序集上的模糊弱Cut-stable映射的扩张性质.证明了以模糊完备格为对象,以模糊弱完备格同态为态射的范畴是以模糊偏序集为对象,以模糊弱Cut-stable映射为态射的范畴的满的反射子范畴.同时,还得到了模糊弱Cut-stable映射的扩张映射是同构映射的一个等价条件.第六章,模糊多元概念分析.本章研究了模糊多元形式概念分析中的一些问题.文中首先给出了模糊三序集,模糊完备三格的概念,证明了模糊三元形式概念之集是模糊完备三格.其次,得到了模糊三元概念分析的基本定理,即,每一个模糊完备三格是某一个模糊三元形势背景的模糊三元概念格.最后,讨论了模糊n元形式概念分析的一些性质,进而证明了模糊n元形式概念分析的基本定理,即,每一个模糊完备n格是某一个模糊n元形势背景的模糊n元概念格。
其他文献
量子互文(Quantum contextuality)是比量子非局域性(Quantum Non-locality)更广泛的一种关联性质,是量子计算与量子信息处理的重要资源,因而成为量子信息学中一个非常热门的研究课题.经验模型(Empirical model)的互文性是量子互文性的数学框架.本文利用算子论、算子代数与矩阵论等理论与方法,系统研究了经验模型的互文鲁棒性、广义互文鲁棒性、互文成本、互文量
本文主要研究了 C*-动力系统表示的膨胀,以及Rokhlin作用下C*-动力系统的交叉积,并初步研究了迹Rokhlin性质和有限Rokhlin维数.全文分为以下五章:第一章介绍了本文的研究背景和选题意义,以及本文所要用到的C*-代数,C*-动力系统和拓扑群等方面的概念、定理和已有研究成果.第二章研究了交换群作用下C*-动力系统的表示的膨胀和多重C*-动力系统的表示的膨胀.证明了交换群作用下每一个C
本文主要研究了算子代数上的局部Jordan映射和局部Lie映射,包括:Jordan可导映射,Jordan高阶可导映射,Jordan同构,局部Lie导子,Lie双导子.全文共分为五章.第一章主要介绍了本文选题的意义及背景,回顾了国内外学者在此之前的研究进展和取得的一些重要成果,同时介绍了本文所涉及的一些概念和结论.第二章首先研究了三角代数上的Jordan可导映射,得到了满足一定条件的三角代数上Jor
黄脸油葫芦Teleogryllus emma Ohmachi&Matsuura属昆虫纲Isecta,直翅目Orthoptera,蟋蟀科Gryllidae,油葫芦属Teleogryllus。近年来,因黄脸油葫芦能入药、可食用,亦可观赏等特殊的经济价值,而得到广泛养殖。由于气候条件改变和生物防治技术缺乏,野生蟋蟀得到大量繁殖,导致农田蟋蟀发生危害的趋势明显上升。因此,了解蟋蟀蜕皮与生殖的调控机制,从而
计算理论作为理论计算机科学的基础内容之一,由自动机、形式语言、计算复杂性等方面构成.非确定性在计算理论的不同领域有着不同的重要意义,例如:在形式化语言中,非确定型自动机可对某些语言类进行刻画;在复杂性理论中,非确定性是研究NP-类问题的基础.自动机理论中,虽然非确定型自动机和确定型自动机有着相同的表达能力,但前者比后者有更简单的结构.从逻辑层面看,非确定型自动机的状态转移过程只涉及存在量词.交替自
不同于传统优化方法,神经网络具有并行处理、分布式存贮等特点.因此自Hopfield和Tank于20世纪80年代首次将神经网络应用于解线性规划问题以来,应用神经网络求解优化问题受到了广泛关注,并取得了一些重要成果.然而,许多模型仍存在状态变量多、复杂性高等不足.本文基于l1-范数问题发展现状,对该问题的神经网络模型进行研究.此外,由于l1-范数问题可以归结为极小极大问题进行求解,因此本文也研究了极小
本文对模糊测度和模糊积分理论进行了推广,建立了基于复模糊集值测度的复模糊集值函数的积分.首先给出了复模糊集值测度及其性质以及复模糊集值测度空间上的可测函数及其性质.其次研究了基于复模糊集值测度的复模糊集值函数的积分理论,最后以复模糊集值函数的积分作为融合算子,给出了常用的几种复模糊集值积分分类器融合的方法,验证了这种融合方法的可行性、有效性及优越性.具体内容如下:第一章主要介绍了经典测度、模糊测度
模糊推理是模糊控制的理论基础,鲁棒性是评判模糊推理的重要标准.在讨论鲁棒性时,扰动参数的选取极为关键.我们常用的扰动参数大多是建立在[0,1]单位区间上通常度量的基础之上.然而模糊推理的结果很大程度上取决于它的内蕴结构,蕴涵算子和模糊连接词.逻辑等价算子由蕴涵算子生成,因此用逻辑等价算子构造的扰动参数讨论鲁棒性,与逻辑推理会更为和谐.本文的第一个研究目的在于借助逻辑等价算子构造一系列的扰动参数,进
算子理论是泛函分析重要的研究领域之一,它对于微分方程,调和分析及理论物理等学科都有着深刻应用.其中谱结构,谱保持问题以及正交投影对一直是众多学者研究的热点问题.对于谱结构,Weyl型定理能很好的反映算子谱的分布特点,因此对Weyl型定理及其变形推广的研究是许多学者一直关注的问题.同时,谱结构和部分谱子集作为代数的同构不变量研究也引起了学者们的广泛关注,即谱保持问题.另一方面,基于Halmos正交投
自然科学的发展很大程度上依赖于物理、化学、生命科学等方面的进展情况,这些具体问题的数学化对它们的进一步研究是很重要的.许多数学模型可以归为反应扩散模型.近几十年来,反应扩散模型的研究已取得了很大进展.随着研究的不断深入,反应扩散模型被广泛用来探讨大量的带有扩散的动力系统。本文利用非线性分析和非线性偏微分方程理论研究了两类反应扩散模型的动力学行为.研究的主要内容包括模型平衡态正解的先验估计、不存在性