检索结果-维普期刊中文期刊服务平台

次直积不可约模正交格的自同构群被引量：1: 1; 作者陈引兰郑绿洲余雪《华中师范大学学报（自然科学版）》 CAS CSCD 2007年第2期179-182,共4页; 研究了次直积不可约有限模正交格MOk的自同构群的构造,先讨论自同构群Aut(MOk)的元素的类型,|MOk|与|Aut(MOk)|的关系,用不完全归纳法得到自同构群Aut(MOk)的生成元集,再引用块置换对自同构群Aut(MOk)的生成集定理给出了详细证明.从而... 展开更多; 关键词模正交格正交模格自同构群块置换; 在线阅读下载PDF 职称材料

基于量子逻辑的确定型正则文法: 2; 作者王拥兵张丽霞雷红轩《计算机工程与科学》 CSCD 北大核心 2013年第9期45-50,共6页; 基于量子逻辑的文法理论是量子计算模型的一个重要研究方向。给出了基于量子逻辑的确定型正则文法的概念,证明了基于量子逻辑的确定型正则文法与基于量子逻辑的确定型自动机的等价性。利用此等价性,给出了量子确定正则语言的代数刻画和... 展开更多; 关键词量子逻辑正交模格量子确定型正则文法量子确定正则语言; 在线阅读下载PDF 职称材料

基于量子逻辑的下推自动机与上下文无关文法被引量：8: 3; 作者韩召伟李永明《软件学报》 EI CSCD 北大核心 2010年第9期2107-2117,共11页; 给出基于量子逻辑的下推自动机(l-VPDA)的概念,提出广义的子集构造方法,进而证明了一般的l-VPDA与状态转移为分明函数且具有量子终态的l-VPDA的等价性.利用此等价性,给出了量子上下文无关语言的代数刻画与层次刻画,并籍此证明了量子上... 展开更多; 关键词量子逻辑正交模格量子下推自动机量子上下文无关语言量子上下文无关文法; 在线阅读下载PDF 职称材料

量子上下文无关文法的代数性质被引量：1: 4; 作者宋小震韩召伟李永明《计算机工程与应用》 CSCD 北大核心 2011年第4期42-46,71,共6页; 提出了量子上下文无关文法(l-VCFG)的概念,并研究了其具有的代数性质;证明了量子上下文无关文法(l-VCFG)和Chomsky范式文法(l-VCNF)以及Greibach范式文法(l-VGNF)的相互等价性;详细研究了量子上下文无关语言的代数刻画以及对于正则运算... 展开更多; 关键词量子逻辑正交模格量子上下文无关文法量子上下文无关语言; 在线阅读下载PDF 职称材料

量子Müller自动机与单体二阶量子逻辑被引量：1: 5; 作者韩召伟李永明《软件学报》 EI CSCD 北大核心 2014年第1期27-36,共10页; 给出量子Müller自动机(简称LVMA)的概念,通过引入量子有限步可识别语言和量子状态构造方法,证明了在量子逻辑意义下4类量子Müller自动机彼此相互等价.利用该等价性,建立了量子无穷正则语言的代数刻画和层次刻画,籍此研究了量... 展开更多; 关键词量子逻辑正交模格量子Müller自动机量子无穷正则语言单体二阶量子逻辑 Büchi定理; 在线阅读下载PDF 职称材料

基于量子逻辑的下推自动机的代数刻画被引量：1: 6; 作者韩召伟李永明《计算机工程与科学》 CSCD 2008年第11期72-74,共3页; 首先,本文提出量子下推自动机(简记为L-VPDA)的概念,从代数角度出发详细研究了此类自动机的性质,同时建立此类自动机的代数刻画,即利用量子状态构造证明了任意L-VPDA与状态转移为经典函数且具有量子终状态的L-VPDA间的相互等价性;其次... 展开更多; 关键词量子逻辑正交模格量子下推自动机量子上下文无关语言代数刻画; 在线阅读下载PDF 职称材料

量子逻辑述评被引量：1: 7; 作者于海飞《兰州大学学报（社会科学版）》 CSSCI 北大核心 2005年第1期68-71,共4页; 量子力学已经在众多的领域中有着十分有效的应用,但对它的解释、它的概念基础及哲学涵义等问题,从它产生之日至今,却一直还是理论物理学家及科学哲学家中争论不休的问题。笔者在对量子逻辑的起源和量子逻辑与经典逻辑的关系进行介绍的... 展开更多; 关键词量子逻辑经典逻辑布尔格正交模格; 在线阅读下载PDF 职称材料

题名次直积不可约模正交格的自同构群被引量：1: 1; 作者陈引兰郑绿洲余雪; 机构湖北师范学院数学系中南民族大学计算机科学学院; 出处《华中师范大学学报（自然科学版）》 CAS CSCD 2007年第2期179-182,共4页; 基金湖北省教育厅重大项目(Z200622002) 云南省教育厅科学研究基金重点项目(06Z142A) 湖北师范学院科研项目(2006D12).; 文摘研究了次直积不可约有限模正交格MOk的自同构群的构造,先讨论自同构群Aut(MOk)的元素的类型,|MOk|与|Aut(MOk)|的关系,用不完全归纳法得到自同构群Aut(MOk)的生成元集,再引用块置换对自同构群Aut(MOk)的生成集定理给出了详细证明.从而完全解决了自同构群Aut(MOk)的结构问题.; 关键词模正交格正交模格自同构群块置换; Keywords modular ortholattice orthomodular lattices automorphism groups block permutation; 分类号 O152 [理学—基础数学] O153 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名基于量子逻辑的确定型正则文法: 2; 作者王拥兵张丽霞雷红轩; 机构安庆师范学院数学与计算科学学院内江师范学院数学与信息科学学院; 出处《计算机工程与科学》 CSCD 北大核心 2013年第9期45-50,共6页; 基金安徽省优秀青年人才基金项目(2011SQRL097) 安庆师范学院青年科研基金项目(KJ201214); 文摘基于量子逻辑的文法理论是量子计算模型的一个重要研究方向。给出了基于量子逻辑的确定型正则文法的概念,证明了基于量子逻辑的确定型正则文法与基于量子逻辑的确定型自动机的等价性。利用此等价性,给出了量子确定正则语言的代数刻画和层次刻画,并得到量子确定正则语言关于正则运算的封闭性。; 关键词量子逻辑正交模格量子确定型正则文法量子确定正则语言; Keywords Key words： quantum logic orthomodular lattice orthomodular lattice-valued deterministic regulargrammas orthomodular lattice-valued deterministic regular languages; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于量子逻辑的下推自动机与上下文无关文法被引量：8: 3; 作者韩召伟李永明; 机构陕西师范大学计算机科学学院陕西师范大学数学与信息科学学院; 出处《软件学报》 EI CSCD 北大核心 2010年第9期2107-2117,共11页; 基金国家自然科学基金No.10571112 陕西师范大学青年科技项目No.200701008~~; 文摘给出基于量子逻辑的下推自动机(l-VPDA)的概念,提出广义的子集构造方法,进而证明了一般的l-VPDA与状态转移为分明函数且具有量子终态的l-VPDA的等价性.利用此等价性,给出了量子上下文无关语言的代数刻画与层次刻画,并籍此证明了量子上下文无关语言关于正则运算的封闭性.最后,说明了量子下推自动机和量子上下文无关文法(l-VCFG)的等价性.; 关键词量子逻辑正交模格量子下推自动机量子上下文无关语言量子上下文无关文法; Keywords quantum logic orthomodular lattice orthomodular lattice-valued pushdown automata orthomodular lattice-valued context-free language orthomodular lattice-valued context-free grammar; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名量子上下文无关文法的代数性质被引量：1: 4; 作者宋小震韩召伟李永明; 机构陕西师范大学数学与信息科学学院榆林学院数学系陕西师范大学计算机科学学院; 出处《计算机工程与应用》 CSCD 北大核心 2011年第4期42-46,71,共6页; 基金国家自然科学基金(No.60873119) 陕西师范大学青年科技项目(No.200701008)~~; 文摘提出了量子上下文无关文法(l-VCFG)的概念,并研究了其具有的代数性质;证明了量子上下文无关文法(l-VCFG)和Chomsky范式文法(l-VCNF)以及Greibach范式文法(l-VGNF)的相互等价性;详细研究了量子上下文无关语言的代数刻画以及对于正则运算的封闭性。; 关键词量子逻辑正交模格量子上下文无关文法量子上下文无关语言; Keywords quantum logic orthomodular lattice orthomodular lattice-valued context-free grammar orthomodular lattice-valued context-free language; 分类号 TP301.1 [自动化与计算机技术—计算机系统结构] O153.1 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名量子Müller自动机与单体二阶量子逻辑被引量：1: 5; 作者韩召伟李永明; 机构陕西师范大学数学与信思科学学院陕西师范大学计算机科学学院; 出处《软件学报》 EI CSCD 北大核心 2014年第1期27-36,共10页; 基金国家自然科学基金(11271237,11226266) 陕西师范大学科研启动基金(999553); 文摘给出量子Müller自动机(简称LVMA)的概念,通过引入量子有限步可识别语言和量子状态构造方法,证明了在量子逻辑意义下4类量子Müller自动机彼此相互等价.利用该等价性,建立了量子无穷正则语言的代数刻画和层次刻画,籍此研究了量子无穷正则语言关于无穷正则运算的封闭性.同时,给出了量子Müller自动机所识别语言的单体二阶逻辑描述,深化和推广了量子逻辑意义下的Büchi基本定理.; 关键词量子逻辑正交模格量子Müller自动机量子无穷正则语言单体二阶量子逻辑 Büchi定理; Keywords quantum logic orthomodular lattice quantum Müller automaton quantum infinite regular language monadic second-orderquantum logic Btichi theorem; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于量子逻辑的下推自动机的代数刻画被引量：1: 6; 作者韩召伟李永明; 机构陕西师范大学数学与信息科学学院陕西师范大学计算机科学学院; 出处《计算机工程与科学》 CSCD 2008年第11期72-74,共3页; 基金国家自然科学基金资助项目(10571112) 陕西师范大学青年科技项目(200701008); 文摘首先,本文提出量子下推自动机(简记为L-VPDA)的概念,从代数角度出发详细研究了此类自动机的性质,同时建立此类自动机的代数刻画,即利用量子状态构造证明了任意L-VPDA与状态转移为经典函数且具有量子终状态的L-VPDA间的相互等价性;其次详细研究了量子上下文无关语言的代数刻画以及对于正则运算的封闭性。; 关键词量子逻辑正交模格量子下推自动机量子上下文无关语言代数刻画; Keywords quantum logic orthomodular lattice orthomodular lattice-valued pushdown automaton orthomodular latticevalued context-free language algebraie charaeterization; 分类号 TP301.1 [自动化与计算机技术—计算机系统结构] O153.1 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名量子逻辑述评被引量：1: 7; 作者于海飞; 机构中国人民大学哲学系; 出处《兰州大学学报（社会科学版）》 CSSCI 北大核心 2005年第1期68-71,共4页; 文摘量子力学已经在众多的领域中有着十分有效的应用,但对它的解释、它的概念基础及哲学涵义等问题,从它产生之日至今,却一直还是理论物理学家及科学哲学家中争论不休的问题。笔者在对量子逻辑的起源和量子逻辑与经典逻辑的关系进行介绍的基础上,提出对量子逻辑研究方向的展望。; 关键词量子逻辑经典逻辑布尔格正交模格; Keywords quantum logic classical logic Boolean latti; 分类号 B81-06 [哲学宗教—逻辑学]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	次直积不可约模正交格的自同构群	陈引兰郑绿洲余雪	《华中师范大学学报（自然科学版）》 CAS CSCD	2007	1	在线阅读下载PDF 职称材料
2	基于量子逻辑的确定型正则文法	王拥兵张丽霞雷红轩	《计算机工程与科学》 CSCD 北大核心	2013	0	在线阅读下载PDF 职称材料
3	基于量子逻辑的下推自动机与上下文无关文法	韩召伟李永明	《软件学报》 EI CSCD 北大核心	2010	8	在线阅读下载PDF 职称材料
4	量子上下文无关文法的代数性质	宋小震韩召伟李永明	《计算机工程与应用》 CSCD 北大核心	2011	1	在线阅读下载PDF 职称材料
5	量子Müller自动机与单体二阶量子逻辑	韩召伟李永明	《软件学报》 EI CSCD 北大核心	2014	1	在线阅读下载PDF 职称材料
6	基于量子逻辑的下推自动机的代数刻画	韩召伟李永明	《计算机工程与科学》 CSCD	2008	1	在线阅读下载PDF 职称材料
7	量子逻辑述评	于海飞	《兰州大学学报（社会科学版）》 CSSCI 北大核心	2005	1	在线阅读下载PDF 职称材料