量子逻辑相关论文
普特南曾提出"逻辑是经验的"这一惊世骇俗的论题。他主张,正如广义相对论揭示出非欧几何才是真正描述现实世界的几何学一样,量子......
树自动机在计算理论中发挥着关键性作用,一方面它是现代计算机科学的重要基础,另一方面它还是计算理论的重要数学模型之一.加权树......
最近,量子计算与量子计算机引起了人们的极大兴趣.一个光子的偏振或一个自旋为1/2的粒子(两态系统),对应于布尔态0和1,可构造量子......
采用 n 对两粒子非最大纠缠态作为量子通道,使用纠缠交换的方法实现了 n 粒子任意纠缠态的概率隐形传送.在传输过程中,发送者Alice......
本文主要讨论了由l-值自动机(或称为基于量子逻辑的自动机)构造的格的一些性质，研究了初始格l与由l-值自动机构造的格之间的关系，并......
微观过程存在于微观世界，微观世界的客体是统称为量子的微观粒子，描述微观粒子运动规律的学科被称为量子力学，量子力学是量子理论的一......
量子力学和相对论是二十世纪两项最伟大的科学成就.它们的创立和发展不仅导致了一系列重大技术发明,而且使得人们对客观世界的运动......
量子力学和相对论是二十世纪最伟大的两项科学成就。一百多年来这两大科学成就给人类社会带来了革命性的变革，极大地推动了人类社会......
量子力学是二十世纪物理学最重要的成果之一，是近代物理的主旋律，并且导致了物理学在观念和思想上的彻底变革，使物理学得到了全面的改......
本文主要研究了基于量子态的量子自动机和基于量子逻辑的l-值自动机的乘积及相关的性质。论文分为四个章节,包括以下内容：我们给出......
主要结果是:1)讨论了正交模格值自动机的几个基本运算(连接、Kleene闭包、同态和补);2)由于讨论连接、同态运算和以往研究正交模格......
提出了量子上下文无关文法（l-VCFG）的概念,并研究了其具有的代数性质;证明了量子上下文无关文法（l-VCFG）和Chomsky范式文法（l-VCNF）以及G......
2012年8月10—13日，量子信息与量子逻辑国际学术研讨会在浙江大学成功召开。著名量子理论专家、清华大学龙桂鲁教授担任大会主席。......
研究了有效代数与弱MV-有效代数的一些基本性质，给出弱MV-有效代数的一个等价定义，通过若干例子说明了相关代数结构之间的关系，并得到......
如果视＂一元算符＂为＂二元函数为真的反真值函数式＂,那么可以从原子命题递归地得到16个一元算符;如果视＂蕴涵为真＂等价于一种＂推理有效＂,那......
首先，本文提出量子下推自动机（简记为L-VPDA）的概念，从代数角度出发详细研究了此类自动机的性质，同时建立此类自动机的代数刻画，即利用量......
给出了理想拓扑下矩阵一致收敛的几个新结果,并得到了效应代数上理想拓扑意义下的一种新型Antosik-Swartz矩阵定理.......
在差分集中引入了特殊态射，证明了由特殊态射定义的等价类所作成的商还是差分集．...
摘要：基于量子逻辑的文法理论是量子计算模型的一个重要研究方向。给出了基于量子逻辑的确定型正则文法的概念，证明了基于量子逻辑的......
引入了量子Müller自动机和量子无穷正则语言的概念.注意到量子Müller自动机识别的量子无穷正则语言的像集总是有限的,借......
在经典的世界中使用的是布尔逻辑系统,在一个量子的世界中使用的是量子逻辑系统,它们的代数结构分别是布尔格和正交模格,本文详细......
研究了上定向的具有Riesz分解性质的广义效应代数的结构.引入了广义效应代数中素理想的定义,证明了上定向的具有Riesz分解性质的广......
与经典逻辑相比,量子逻辑是一种全新的逻辑构造。其独特之处主要体现在:一是数学基础的新颖性。量子逻辑是一种新的、非布尔型的非......
狭义的“量子逻辑”一般是指从量子力学的数学结构出发,与经典命题逻辑的布尔代数结构相对比而得出的非经典的逻辑结构和逻辑系统......
量子计算是量子力学与计算机科学深度结合的产物,它在阐明计算的本质以及分析量子力学的基本问题两个方面都具有深刻的理论意义。......
量子计算的思想源于物理与计算之间的联系.由于可逆性是量子物理的一个重要特征,所以该问题可追溯到Bennett于1973年证明了任意的T......
已有的量子逻辑存在只适合于刻画封闭量子系统以及无法形式化量子测量算子等问题。为了描述开放量子系统,本文基于量子测量给出一......
经典逻辑又被称为二值逻辑，因为只有真和假（并非真）两个真值。但是经典逻辑似乎无法很好解释必然和偶然问题、语义悖论和量子逻辑等问......
为将量子可逆逻辑电路的可逆、高复杂度等属性应用于加密技术领域,基于量子逻辑线路设计相关加密算法,并通过电子电路实现.在分析......
时间频率是迄今为止人类所能测量到的最为准确的物理量,Cs原子喷泉钟的系统相对不确定度已经进入小数10-16量级,而基于光频段禁戒......
提出量子Bchi自动机(简记为LVBA)的概念,利用量子状态构造方法证明了一般LVBA与状态转移为经典函数的LVSBA间的相互等价性,籍此......
量子计算和量子逻辑分别是量子理论发展的两个方向,但是量子计算语境下的"量子计算逻辑"与量子逻辑语境下的"量子逻辑"这两个概念......
给出量子Müller自动机(简称LVMA)的概念,通过引入量子有限步可识别语言和量子状态构造方法,证明了在量子逻辑意义下4类量子Mülle......
为了刻画开放量子系统的量子属性,扩展现有的量子马尔可夫链是有必要的.通过构建Exogenous量子算子逻辑,定义了Exogenous量子马尔......
一般认为,标准量子力学需要使用一套它自己的逻辑系统,即量子逻辑。量子逻辑采用与一般逻辑系统不同的语义规则,因此和古典逻辑无......
量子信息与量子计算的出现是信息科学发展的必然选择。介绍量子逻辑的发展历史、研究现状以及建立在Hilbert封闭子空间基础上的正......
给出基于量子逻辑的下推自动机(l-VPDA)的概念,提出广义的子集构造方法,进而证明了一般的l-VPDA与状态转移为分明函数且具有量子终......
研究了基于量子逻辑的自动机理论(简称l-值自动机理论)的拓扑性质.给出了successor算子和source算子的另一种定义,讨论了successor......
初步建立了基于量子逻辑的自动机和文法理论的基本框架.引入了量子文法(称为l值文法),特别是证明了任意l值正规文法生成的语言(称......
