正交模格

作品数：31被引量：27H指数：2
导出分析报告
相关领域：理学自动化与计算机技术更多>>
相关作者：陈引兰韩召伟施恩伟李永明吕映洁更多>>
相关机构：云南师范大学湖北师范学院陕西师范大学中山大学更多>>
相关期刊：《兰州大学学报（社会科学版）》《楚雄师范学院学报》《计算机工程与应用》《苏州市职业大学学报》更多>>
相关基金：国家自然科学基金云南省教育厅科学研究基金重点项目国家教育部博士点基金广东省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 主题=量子逻辑x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
普特南量子逻辑思想的演变
《自然辩证法研究》2022年第3期101-107,共7页王伟长 
普特南曾提出“逻辑是经验的”这一惊世骇俗的论题。他主张,正如广义相对论揭示出非欧几何才是真正描述现实世界的几何学一样,量子力学也意味着量子逻辑才是隐藏在经典逻辑背后的“真逻辑”。然而鲜为人知的是,普特南口中的“量子逻辑...
关键词：量子逻辑 量子力学 正交模格 偏布尔代数 逻辑多元主义 
量子Müller自动机与单体二阶量子逻辑被引量：1
《软件学报》2014年第1期27-36,共10页韩召伟 李永明 
国家自然科学基金(11271237,11226266);陕西师范大学科研启动基金(999553)
给出量子Müller自动机(简称LVMA)的概念,通过引入量子有限步可识别语言和量子状态构造方法,证明了在量子逻辑意义下4类量子Müller自动机彼此相互等价.利用该等价性,建立了量子无穷正则语言的代数刻画和层次刻画,籍此研究了量子无穷正...
关键词：量子逻辑 正交模格 量子Müller自动机 量子无穷正则语言 单体二阶量子逻辑 Büchi定理 
基于量子逻辑的确定型正则文法
《计算机工程与科学》2013年第9期45-50,共6页王拥兵 张丽霞 雷红轩 
安徽省优秀青年人才基金项目(2011SQRL097);安庆师范学院青年科研基金项目(KJ201214)
基于量子逻辑的文法理论是量子计算模型的一个重要研究方向。给出了基于量子逻辑的确定型正则文法的概念,证明了基于量子逻辑的确定型正则文法与基于量子逻辑的确定型自动机的等价性。利用此等价性,给出了量子确定正则语言的代数刻画和...
关键词：量子逻辑 正交模格 量子确定型正则文法 量子确定正则语言 
量子上下文无关文法的代数性质被引量：1
《计算机工程与应用》2011年第4期42-46,71,共6页宋小震 韩召伟 李永明 
国家自然科学基金(No.60873119);陕西师范大学青年科技项目(No.200701008)~~
提出了量子上下文无关文法(l-VCFG)的概念,并研究了其具有的代数性质;证明了量子上下文无关文法(l-VCFG)和Chomsky范式文法(l-VCNF)以及Greibach范式文法(l-VGNF)的相互等价性;详细研究了量子上下文无关语言的代数刻画以及对于正则运算...
关键词：量子逻辑 正交模格 量子上下文无关文法 量子上下文无关语言 
基于量子逻辑的下推自动机与上下文无关文法被引量：8
《软件学报》2010年第9期2107-2117,共11页韩召伟 李永明 
国家自然科学基金No.10571112;陕西师范大学青年科技项目No.200701008~~
给出基于量子逻辑的下推自动机(l-VPDA)的概念,提出广义的子集构造方法,进而证明了一般的l-VPDA与状态转移为分明函数且具有量子终态的l-VPDA的等价性.利用此等价性,给出了量子上下文无关语言的代数刻画与层次刻画,并籍此证明了量子上...
关键词：量子逻辑 正交模格 量子下推自动机 量子上下文无关语言 量子上下文无关文法 
量子逻辑的发展及其理论基础
《现代计算机》2009年第8期11-13,共3页王帮海 
量子信息与量子计算的出现是信息科学发展的必然选择。介绍量子逻辑的发展历史、研究现状以及建立在Hilbert封闭子空间基础上的正交模格相关的理论基础和几个open问题。在此基础上,介绍量子计算的巨大计算能力的源泉,展望量子逻辑的可...
关键词：量子逻辑 HILBERT空间 正交模格 
基于量子逻辑的下推自动机的代数刻画被引量：1
《计算机工程与科学》2008年第11期72-74,共3页韩召伟 李永明 
国家自然科学基金资助项目(10571112);陕西师范大学青年科技项目(200701008)
首先,本文提出量子下推自动机(简记为L-VPDA)的概念,从代数角度出发详细研究了此类自动机的性质,同时建立此类自动机的代数刻画,即利用量子状态构造证明了任意L-VPDA与状态转移为经典函数且具有量子终状态的L-VPDA间的相互等价性;其次...
关键词：量子逻辑 正交模格 量子下推自动机 量子上下文无关语言 代数刻画 
基于量子逻辑的自动机理论的一些注记被引量：6
《中国科学（E辑）》2007年第6期723-737,共15页邱道文 
国家自然科学基金(批准号:90303024;60573006);教育部高等学校博士学科点专项科研基金(批准号:20050558015);广东省自然科学基金(批准号:020146;031541)
主要结果是:1)讨论了正交模格值自动机的几个基本运算(连接、Kleene闭包、同态和补);2)由于讨论连接、同态运算和以往研究正交模格值自动机的一些基本问题时都基于蕴涵算子满足一个条件,所以详细讨论了该条件,并证明了正交模格中相对合...
关键词：量子计算 量子逻辑 正交模格 自动机 
量子逻辑述评被引量：1
《兰州大学学报（社会科学版）》2005年第1期68-71,共4页于海飞 
量子力学已经在众多的领域中有着十分有效的应用,但对它的解释、它的概念基础及哲学涵义等问题,从它产生之日至今,却一直还是理论物理学家及科学哲学家中争论不休的问题。笔者在对量子逻辑的起源和量子逻辑与经典逻辑的关系进行介绍的...
关键词：量子逻辑 经典逻辑 布尔格 正交模格 
量子逻辑系统及其不相容性的解决
《苏州市职业大学学报》2004年第4期74-76,共3页曾浩 
在经典的世界中使用的是布尔逻辑系统,在一个量子的世界中使用的是量子逻辑系统,它们的代数结构分别是布尔格和正交模格,本文详细讨论了这两种代数结构,说明了量子逻辑中的不相容性问题和两种解决的方法,并进行了比较分析。
关键词：布尔逻辑 正交模格 量子逻辑 不相容性 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部