【摘 要】
:
赋值代数是一种与局部计算密切相关、用于描述信息处理方式的代数结构模型.赋值代数的实例涵盖了关系数据库、约束系统、信任函数、贝叶斯网、命题逻辑等多个领域.而在这些诸多实例中,由半环诱导的赋值代数扮演着重要的角色.本文主要对全序半环、约束半环诱导的赋值代数的解、解的结构及其算法等问题进行了研究;并且讨论了信息代数与信息系统之间的关系,得到信息系统与信息代数在相互诱导时连续性与紧性的较为完整的相互对应关
论文部分内容阅读
赋值代数是一种与局部计算密切相关、用于描述信息处理方式的代数结构模型.赋值代数的实例涵盖了关系数据库、约束系统、信任函数、贝叶斯网、命题逻辑等多个领域.而在这些诸多实例中,由半环诱导的赋值代数扮演着重要的角色.本文主要对全序半环、约束半环诱导的赋值代数的解、解的结构及其算法等问题进行了研究;并且讨论了信息代数与信息系统之间的关系,得到信息系统与信息代数在相互诱导时连续性与紧性的较为完整的相互对应关系.最后将信息代数理论与软集理论相结合,得到用信息代数模型解决软集的决策问题.文章的主要工作包括以下几个部分:(1)全序半环诱导的赋值代数的轮廓解.首先对全序半环诱导的赋值代数中的轮廓解与扩展解的性质及其解之间的关系进行了进一步研究,借助这些性质可使得求解一个复杂的赋值的轮廓解分解为求解若干简单赋值的轮廓解;然后给出了另一种思想求解轮廓解,即借助转移映射,这样可将一个复杂问题转移到一个新的较为简单的系统之中去解决.但如何保证转移的过程中赋值的轮廓解被保持而不会丢失呢?本节最后给出若转移映射f是一个半环同态,则f保轮廓解.(2)约束半环诱导的赋值代数的轮廓解.本部分在前面内容的基础上将全序半环诱导的赋值代数的轮廓解的概念推广到约束半环诱导的赋值代数之中.首先从偏序关系的角度将全序半环诱导的赋值代数的轮廓解的概念推广到约束半环诱导的赋值代数中,并给出约束半环诱导的赋值代数的轮廓解与扩展解的一些性质及其解之间的关系,这些结论的成立可使得一些赋值的轮廓解的求解简化;其次,对约束半环诱导的赋值代数中赋值的轮廓解的求法,同样可借助上一章转移映射的方法,但我们发现,要使得转移的过程中赋值的轮廓解不丢失,转移映射f仅是一个半环同态还是不够的,还必须满足反保序的的条件,即若f(φ)<f(ψ),则ψ<ψ.最后通过借助记忆约束半环赋值给出约束半环诱导的赋值代数的轮廓解的一个算法,得到结论Cφ=Models(φF↓(?)(◇)).(3)信息系统与信息代数.研究了信息代数与信息系统之间的关系.给出了连续信息系统的概念以及与紧信息系统的关系;其次得到一个信息系统可以诱导一个信息代数而不需要任何附加条件,并且一个连续信息系统可以诱导一个连续信息代数,个紧信息系统可以诱导一个紧信息代数;反之一个(连续、紧)信息代数可以诱导一个(连续、紧)信息系统.这些结论的成立使得信息系统与信息代数之间关于连续性与紧性完全相互对应起来.(4)信息代数模型与软集理论.将信息代数理论与软集理论结合起来.首先在软集理论中引入两种新的运算,对其性质进行了研究;其次在软集中通过将含信息”相同”的软集的全体看成是一个软集类,从而提出商软集的概念,在商软集中引入联合运算与聚焦运算,构造了一个信息代数模型.并且若参数集有限,则该模型还是一个连续信息代数的例子.最后给出信息代数模型用于解决软集的决策问题的算法,结合实例予以说明该算法的可行性与有效性,并与软集中的已有决策方法做了比较,表明该算法在解决软集决策问题的优越性.
其他文献
算子理论是泛函分析重要的研究领域之一,它对于微分方程,调和分析及理论物理等学科都有着深刻应用.其中谱结构,谱保持问题以及正交投影对一直是众多学者研究的热点问题.对于谱结构,Weyl型定理能很好的反映算子谱的分布特点,因此对Weyl型定理及其变形推广的研究是许多学者一直关注的问题.同时,谱结构和部分谱子集作为代数的同构不变量研究也引起了学者们的广泛关注,即谱保持问题.另一方面,基于Halmos正交投
自然科学的发展很大程度上依赖于物理、化学、生命科学等方面的进展情况,这些具体问题的数学化对它们的进一步研究是很重要的.许多数学模型可以归为反应扩散模型.近几十年来,反应扩散模型的研究已取得了很大进展.随着研究的不断深入,反应扩散模型被广泛用来探讨大量的带有扩散的动力系统。本文利用非线性分析和非线性偏微分方程理论研究了两类反应扩散模型的动力学行为.研究的主要内容包括模型平衡态正解的先验估计、不存在性
Domain理论是理论计算机科学中程序设计语言的指称语义学的数学基础.序和拓扑的相互结合,相互作用是这一理论的基本特征.正是这一特征使Domain理论成为理论计算机科学和数学研究者共同关注的领域,也使这一理论具有广泛的应用空间.自2000年以来,模糊集理论被应用到Domain理论中,形成了模糊Domain理论.目前,该理论已有较为丰富的理论成果和应用背景,并与范畴论,模糊拓扑,形式概念分析,粗糙集
本文主要讨论了三类数字集与整数扩张矩阵生成的自仿测度的谱与非谱性质.首先,利用Strichartz的一个谱对准则讨论自仿测度的谱性质,在谱的情形下,找出了它的一些谱.其次,利用自仿测度的Fourier变换零点的分布特点讨论了它的非谱性质,并指出了此时相互正交的指数函数的个数.本文的内容安排如下:第二章讨论共线数字集生成的自仿测度的谱性质.根据自仿测度的Fourier变换零点的分布特点,来讨论整数扩
健康的社会交往和稳定的社会联系能力的减弱是许多精神疾病如抑郁症,成瘾,精神分裂症和自闭症等普遍的症状之一。理解正常社会联系发育、形成的神经生物机制和遗传机制对理解上述这些精神疾病非常重要,也可为药理干预和治疗这些疾病提供可能的靶标。社会联系在生命活动中普遍存在,它可以影响社会、心理、生理和行为机能。关于社会联系的发育形成机制目前还不清楚,但是社会联系涉及一系列复杂的过程,包括通过感觉发现同伴、识别
近年来,复杂网络引起了科学家的广泛关注,已经成为包括数学、力学、物理学、计算机、生命科学、管理科学、系统科学、社会学、金融和经济学等许多科学领域的研究热点。复杂网络上的动力学或物理状态的演化是一个重要研究领域,而复杂网络上自旋系统的相变行为研究是一个具有重要意义的方向。如果给复杂网络的节点赋予某种自旋状态,给连边赋予某种耦合或相互作用就可以建立复杂网络上的自旋系统,这类自旋模型可以用于刻画诸如复杂
本文主要研究解析数论和Diophantine方程中占有重要地位的经典问题,特别是著名的Gauss和的均值估计,D.H.Lehmer问题,椭圆曲线整数点问题,指数Diophantine方程组以及其它各类Diophantine方程的可解性等特殊情形.即利用解析方法研究了一个特殊的Gauss和的均值估计,并讨论了两类椭圆曲线的整数点问题,一类指数Diophantine方程组以及三类Diophantine
产生于上世纪80年代的Quantale理论是理论计算机科学的数学基础之一,与拓扑、代数、逻辑等学科有着密切的联系.作为Quantale理论的一个相关结构,m-半格把V-半格的结构和半群的乘法运算结合起来,从而剩余格、]Erame.Qua-ntale和格序半群等都是特殊的m-半格.m-半格在Quantale理论的研究中有着重要的作用,因为每一个凝聚式Quantale都同构于某个含最大元的m-半格的V
模糊图是经典图的模糊化,也可以视为一种广义的赋权图.本博士论文主要研究了模糊软图和区间值模糊图的运算性质以及图格的有关图论方面的性质.具体内容如下:第一章,介绍了模糊图、区间数、模糊软集以及格论中的一些概念.第二章,定义了模糊图的割点、割边及块的概念并讨论了它们的相关性质,包括点和边分别成为模糊图的割点和割边的充要条件、阶至少为3的模糊图成为块的充要条件、模糊圈成为块的充要条件、模糊图中两顶点间距
量子绝热定理是量子理论中的一个定律,它揭示了具有含时哈密尔顿算符的量子系统的演化规律,同时也提供了求解薛定谔方程的近似解的一种重要方法.近年来,量子绝热定理的自洽性受到了许多学者的关注.量子态的纠缠或可分性反映了量子态的本质特性,量子纠缠被认为是量子信息处理的重要资源.本文利用算子理论和矩阵分析理论,系统研究了量子绝热演化理论与可分态的动力学性质,给出了经典的绝热定理和绝热逼近误差,提出了广义量子