【摘 要】
：
赋值代数是从软约束、关系数据库及信任函数等多个理论体系中抽象出来的一种应用于对非确定性信息进行局部计算的代数框架.最近的研究表明,赋值代数的很多重要的实例,包括约束系统,可能性位势,概率位势等都可以由一些特殊的半环诱导而得.本文主要围绕半环诱导的赋值代数中的优解问题、赋值代数的结构及相关结构之间的联系展开研究.在优解问题的研究中,给出了映射保投影问题的优解的条件.这为寻找合适的转移函数提供了依据.
论文部分内容阅读
赋值代数是从软约束、关系数据库及信任函数等多个理论体系中抽象出来的一种应用于对非确定性信息进行局部计算的代数框架.最近的研究表明,赋值代数的很多重要的实例,包括约束系统,可能性位势,概率位势等都可以由一些特殊的半环诱导而得.本文主要围绕半环诱导的赋值代数中的优解问题、赋值代数的结构及相关结构之间的联系展开研究.在优解问题的研究中,给出了映射保投影问题的优解的条件.这为寻找合适的转移函数提供了依据.通过在赋值代数结构方面的讨论,得到了各种赋值代数之间、半环诱导的赋值代数与半环之间在结构上面的较完整的相互关系.通过带标记紧信息代数的举例,首次将软集引入到了赋值代数的研究对象之中.文章的主要工作包括以下几个方面：（1）半环诱导的赋值代数上的投影问题：赋值代数上的投影问题关注的是赋值集在局部区域上所得的相应信息.文中首先定义了投影问题之间的两个序关系：解序和问题序.分别探讨了序之间以及保序映射之间的关系.对于两个半环间的转移满射f,证明得到它保投影问题的解序的充分必要条件是它为一个半环同态.利用构造性的方法得到了映射保投影问题的优解的充分条件.研究了映射保投影问题的优解和它保解序之间的关系.证得如果一个变量集系统至少含有四个变量且其中有一个变量的框架含有多于两个元素,则满射f保投影问题的优解及半环的单位元和零元的充要条件为它保投影问题的解序且关于半环上的序是反保序的.（2）全序半环诱导的赋值的解组合和解扩展：对于全序半环诱导的赋值,证得它的解组合之集在转移映射为保加法运算的单射时不发生改变.给出了投影问题的最佳接近值的表示.得到了在弱条件下成立的解扩展定理.（3）赋值代数的同态：研究了半环诱导的赋值代数和半环在代数结构上的联系.证得了半环同构是赋值代数同构的充分条件.半环中的乘法半群的同构是赋值代数同构的必要条件.引入了具有不同域集格的赋值代数间的广义同态的概念.证明了赋值代数的广义同态基本定理.（4）两类连续信息代数的性质与联系：分别给出了无标记信息代数和带标记信息代数的连续性和强连续性的概念,并研究了它们相互之间的关系.证得无标记信息代数和带标记信息代数关于连续性是相互对应的.定义了无标记信息代数间的连续函数的概念.证得无标记强连续信息代数的连续函数空间仍可构成一个强连续信息代数.（5）紧信息代数的获取途径及相关范畴的性质：分别改进和新定义了带标记的紧信息代数和带标记的强紧信息代数的概念.验证表明两类信息代数在紧性和强紧性之间可以建立完全对应的关系.给出了两种获取无标记的强紧信息代数的方法：首先,若半环关于其上的反序是代数格,则该半环诱导的无标记信息代数是强紧信息代数；接着给出了从一般的无标记信息代数实现紧化得到一个紧信息代数的具体过程.证明了强紧信息代数和强连续信息代数分别与连续映射构成的范畴均是笛卡儿闭的.（6）带标记紧信息代数的例子：在软集间引入了软信息序的概念.证明了同一个初始集上的软集族关于软信息序是一个完全分配格.同时,该软集族与标记运算、扩展交运算及投影运算构成一个带标记的信息代数.证得在同一个初始集上,属性集为有限集的软集族构成了一个带标记的强紧信息代数.
其他文献
目的:研究氧化应激/脂质过氧化与非酒精性脂肪性肝炎（NASH）的关系,评价复方中药降脂益肝冲剂对非酒精性脂肪性肝炎动物模型大鼠的防治效果。方法:6—8周龄雄性Wistar大鼠48只,随机分为对照组Ⅰ、对照组Ⅱ、模型组Ⅰ、模型组Ⅱ、中药干预组Ⅰ和中药干预组Ⅱ。除对照组饲以普通饮食外,其余各组均给予高脂饮食（普通饲料基础上加入13%猪油,2%胆固醇）,中药干预组Ⅰ、中药干预组Ⅱ分别在饲喂高脂饮食8周、
目的:实验动物是现代生命科学研究的重要组成部分,是生物医学乃至整个生命科学的基础和重要支撑条件,对于促进生命科学领域的研究、新药研制和相关产品开发,都非常重要。实验动物科学研究的发展和应用程度已成为衡量一个国家或地区科学技术水平的重要标志之一。因此了解全省实验动物发展水平和速度,因势利导,建立一个合理、可行的实验动物发展规划对山西省经济发展和科技进步具有非常重要的意义。方法:于2005年底对山西省
目的:研究甲状腺激素（TH）对发育关键期大鼠大脑皮层、海马两区域突触体素（syn）和神经元烟碱受体α4 亚单位（nAchRα4）表达的作用及影响,进一步探讨甲状腺激素对上述部位中枢神经系统突触发育的调控机制。方法:本次实验分为四组:（1）甲减组:孕鼠自E5 起给予0.02%甲巯咪唑（MM）饮水,出生仔鼠即为先天甲减鼠;（2）T4-替代组: 孕鼠同样自E5 起给予0.02%甲巯咪唑（MM）饮水,仔鼠
秦岭是我国种子植物分布的特有中心,也是我国具有国际意义的生物多样性关键地区。佛坪和长青自然保护区都是秦岭南坡中段的具有丰富生物多样性的代表性地区,也是国内大熊猫种群密度最高的地区,两个保护区内植物群落类型多样,垂直带谱分明,有着众多的古老孑遗植物和珍稀濒危保护植物。其中佛坪自然保护区在建立以前并没有进行过森林采伐,基本属无人为干扰的区域；而长青自然保护区白1967年开始即进行了大面积的采伐,海拔2
两栖动物的变态过程是研究器官重构的理想模式体系。嗅化学感受器是脊椎动物胚胎发生和系统演化中最早出现的特殊感受器之一。此外,嗅器化学感觉器对于寻找食物、同种识别,繁殖,迁徙,逃避敌害等方面,均有重要的作用。在变态前,蝌蚪骨骼系统的基本构架是原始的软骨性骨骼。其中,软骨性颅骨就是典型的软骨性骨骼。变态后,软骨性颅骨则被硬骨颅骨所替代,同时躯干骨和四肢骨也出现。两栖动物这种由水栖到陆栖的变态过程,可反映
为了研究虾青素对睾丸生殖细胞瘤细胞株NCCIT和NT2细胞凋亡、自噬的影响及可能的作用机制,用梯度浓度的虾青素对NCCIT和NT2细胞进行处理后,采用MTT实验、台盼蓝拒染法和细胞克隆实验检测各组细胞的增殖速率;采用Annexin V-FITC/PI双染法流式细胞术检测细胞凋亡率;采用Hoechst33258荧光染色法观察各组细胞的形态变化;采用Western-blot法检测细胞凋亡相关蛋白质（B
本文从量子信息与量子计算和算子论与算子代数的关系入手,运用算子论和算子代数的方法,研究了对偶量子计算机中容许广义量子门及其实现的条件以及限制性容许广义量子门的若干性质,给出了完全正映射的一些相关结论和仿射映射所对应的矩阵表示,研究了三量子比特的Toffoli门的两种分解,在引入广义受控非门的基础上讨论了广义交换门及它们之间的关系.主要内容包括：第一章介绍了对偶量子计算机的一些基本概念,讨论了对偶模
量子力学是一套构造物理学理论的规则,而量子逻辑是1936年G. Birkhoff和J. von. Neumann提出的概念,目的是为量子力学提供数学基础,量子逻辑研从代数结构上就是正交模格（完备的复可分的无限维希尔伯特空间中的闭子空间按照包含关系形成的格就是一个正交模格）.上世纪60年代随着量子逻辑研究的发展,出现了许多新的模型,如正交代数、弱正交代数等.在二十世纪90年代,斯洛伐克和意大利的学派
艺术领域课程是幼儿园教育中的重要知识内容，其包含美术、音乐、舞蹈、钢琴、手工等多种知识内容，是提升儿童审美意识与审美能力的重要途径。儿童绘本具有趣味性强、内容简单、画面夸张等特点，将其融入艺术领域课程中，能够构建全新的教学课堂，更好地激活儿童的学习兴趣，对其能力的提升有着重要的作用。因此，教师要充分意识到这两者融合的趣味性，选择合适的策略与方法，促进幼儿能力的提升，构建全新的幼儿园艺术领域课
拟黑多刺蚁（Polyrhachis vicina Roger）是一种重要的经济昆虫,在分类学上隶属于节肢动物门、昆虫纲、膜翅目、胡蜂总科、蚁科、多刺蚁属。其个体发育过程中经历胚胎期、幼虫期、蛹期、成虫期等各个阶段,且是一种社会性昆虫,群体内存在严格的品级分化。拟黑多刺蚁资源较易获得,实验室养殖较为方便,因此是一种独特的进行个体发育及分化研究的实验材料。本研究以拟黑多刺蚁为实验材料,通过RT-PCR