【摘 要】
：
量子力学是一套构造物理学理论的规则,而量子逻辑是1936年G. Birkhoff和J. von. Neumann提出的概念,目的是为量子力学提供数学基础,量子逻辑研从代数结构上就是正交模格（完备的复可分的无限维希尔伯特空间中的闭子空间按照包含关系形成的格就是一个正交模格）.上世纪60年代随着量子逻辑研究的发展,出现了许多新的模型,如正交代数、弱正交代数等.在二十世纪90年代,斯洛伐克和意大利的学派
论文部分内容阅读
量子力学是一套构造物理学理论的规则,而量子逻辑是1936年G. Birkhoff和J. von. Neumann提出的概念,目的是为量子力学提供数学基础,量子逻辑研从代数结构上就是正交模格（完备的复可分的无限维希尔伯特空间中的闭子空间按照包含关系形成的格就是一个正交模格）.上世纪60年代随着量子逻辑研究的发展,出现了许多新的模型,如正交代数、弱正交代数等.在二十世纪90年代,斯洛伐克和意大利的学派提出了差分偏序集的概念—等价于弱正交代数.后来,美国学派提出了效应代数的概念,这两个概念实际上也是等价的.1996年,Hajek提出了BL-代数的概念,用来作为基本逻辑（Basic Logic）的代数结构. MV代数,乘积代数和Godel代数都是特殊的BL代数.为了描述效应的序列或者连续度量,2001年Gudder等人提出了效应代数中序列乘积的概念,并以此为基础,系统研究了序列效应代数中序列乘积的性质.本文从代数的角度去研究量子逻辑,主要考虑伪效应代数、序列效应代数及伪BL-代数的代数结构.本文的工作有以下几个方面：（1）研究了完全的伪效应代数的结构.对于完全的效应代数,存在非常重要的范畴等价定理,即对于一个完全的伪效应代数E,存在同构意义下唯一的满足插入性质的定向阿贝尔偏序群G,使得E同构于群G的一个区间,并且存在完全效应代数范畴PεA和满足插入性质的定向阿贝尔偏序群范畴gI之间的范畴等价.通过引入完全的伪效应代数的概念,这个结果可以部分推广到完全的伪效应代数中去.证明了对每个完全的伪效应代数E,存在唯一的满足插入性质的定向偏序群G使得E同构于G的一个区间,并且存在从满足插入性质的定向偏序群范畴gI到完全的伪效应代数范畴ΡPεA之间的诚实的满的函子.（2）研究了伪的弱效应代数的理想、同余以及次直积表示.引入伪的弱效应代数的概念,并且给出了伪的弱差分偏序集的概念.在伪的弱效应代数上定义两个部分运算\和/,就成为了一个伪的弱差分偏序集,同样,在伪的弱差分偏序集上定义一个部分运算+,就成为了一个伪的弱效应代数.从而证明了伪的弱效应代数和伪的弱差分偏序集是等价的.通过引入伪的弱效应代数中的同余等概念证明了在特殊的同余条件下的商代数仍然是伪的弱效应代数.证明了满足RDP性质的伪BL-效应代数在特殊的同余关系下的商代数也是一个伪BL-效应代数并且具有次直积表示.（3）研究了序列效应代数的理想、同余以及Holland理论.引入了分配的序列效应代数的定义,介绍了分配的序列效应代数中的左理想、右理想、理想、素理想和同余等概念,并且证明了满足RDP性质并且以1为乘积单位的分配序列效应代数是具有RDP性质的反格分配序列效应代数的次直积.对于更特殊的交换的序列效应代数,我们考虑Holland理论在它上是否成立,结果表明交换的序列效应代数由素理想诱导的商代数仍然是交换的序列效应代数,并且每一个交换的序列效应代数能被表示为某个反格的自态射形成的序列效应代数.（4）研究了伪BL-代数和伪MV-代数的联系以及伪BL-代数的模糊滤子.研究了伪BL-代数和伪MV-代数的一些联系.引入了局部的伪BL-代数和对称的伪BL-代数的概念,证明了一个对称的伪BL-代数L是局部的,当且仅当对任意的x∈L,ord（x）<∞或ord（x*）<∞,以及给出了对称的伪BL-代数的一些性质.另外研究了局部的伪BL-代数和局部的伪MV-代数之间的联系.引入了伪BL-代数的模糊滤子,模糊正规滤子,模糊素滤子等概念,证明了一些滤子的等价条件,给出了由一个模糊集生成一个模糊滤子的方法.
其他文献
自然界中的许多生态现象都可以用数学模型来刻划.通过对数学模型的研究,我们可以对生态现象作出科学的解释和预测,从而为生态问题的解决提供合理的方案.早在十九世纪初,数学家们就利用常微分方程来描述生物种群的发展演变过程,这个时期所讨论的问题大都假定种群密度在空间分布均匀.如果密度分布不均匀,那么高密度位置的种群就会向低密度位置扩散,此时大量的生物数学模型可归纳为反应扩散方程.应用反应扩散方程来研究种群的
算子矩阵,算子数值域,算子谱理论以及交换子都是近年来算子理论中比较活跃的研究课题,对它们的研究涉及到诸如代数学、矩阵理论、非交换几何理论、非交换计算以及量子计算等多个学科分支.本文主要研究算子理论在量子信息和非交换计算中的若干应用.研究方法上着重使用了算子分块技巧和算子谱理论.研究内容涉及到上三角算子矩阵的值域,算子数值域,广义量子门与自伴算子下确界的谱表示,正压缩交换子的极大范数,斜投影五个方面
Quantale的概念是在1986年由数学家C.J.Mulvey提出的,其背景是给研究非交换C*-代数提供新的格式刻划,并给量子力学提供新的数学模型.由于Quantale是量子逻辑和Locale结构的推广,所以C.J.Mulvey把"Quantum"和"Locale"复合起来拼作"Quantale". D.Yetter在1990年找到了Girard提出的作为理论计算机科学逻辑支持系统的线性逻辑与Q
目的:研究氧化应激/脂质过氧化与非酒精性脂肪性肝炎（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门的两种分解,在引入广义受控非门的基础上讨论了广义交换门及它们之间的关系.主要内容包括：第一章介绍了对偶量子计算机的一些基本概念,讨论了对偶模