期刊文献+
共找到27篇文章
< 1 2 >
每页显示 20 50 100
Entropy of Quantum Dynamical Systems and Sufficient Families in Orthomodular Lattices with Bayessian State
1
作者 Mona Khare Shraddha Roy 《Communications in Theoretical Physics》 SCIE CAS CSCD 2008年第9期551-556,共6页
The purpose of the present paper is to study the entropy hs(Ф) of a quantum dynamical systems Ф = ( L, s, Ф), where s is a bayessian state on an orthomodular lattice L. Having introduced the notion of entropy h... The purpose of the present paper is to study the entropy hs(Ф) of a quantum dynamical systems Ф = ( L, s, Ф), where s is a bayessian state on an orthomodular lattice L. Having introduced the notion of entropy hs( Ф, A) of partition A of a Boolean algebra B with respect to a state s and a state preserving homomorphism Ф, we prove a few results on that, define the entropy of a dynamical system hs(Ф), and show its invariance. The concept of sufficient families is also given and we establish that hs (Ф) comes out to be equal to the supremum of hs (Ф,A), where A varies over any sufficient family. The present theory has then been extended to the quantum dynamical system ( L, s, Ф), which as an effect of the theory of commutators and Bell inequalities can equivalently be replaced by the dynamical system (B, s0, Ф), where B is a Boolean algebra and so is a state on B. 展开更多
关键词 orthomodular lattices quantum logic valuation ISOMORPHISM PARTITIONS ENTROPY quantum dynamical systems sufficient families
下载PDF
基于量子逻辑的下推自动机与上下文无关文法 被引量:8
2
作者 韩召伟 李永明 《软件学报》 EI CSCD 北大核心 2010年第9期2107-2117,共11页
给出基于量子逻辑的下推自动机(l-VPDA)的概念,提出广义的子集构造方法,进而证明了一般的l-VPDA与状态转移为分明函数且具有量子终态的l-VPDA的等价性.利用此等价性,给出了量子上下文无关语言的代数刻画与层次刻画,并籍此证明了量子上... 给出基于量子逻辑的下推自动机(l-VPDA)的概念,提出广义的子集构造方法,进而证明了一般的l-VPDA与状态转移为分明函数且具有量子终态的l-VPDA的等价性.利用此等价性,给出了量子上下文无关语言的代数刻画与层次刻画,并籍此证明了量子上下文无关语言关于正则运算的封闭性.最后,说明了量子下推自动机和量子上下文无关文法(l-VCFG)的等价性. 展开更多
关键词 量子逻辑 正交模格 量子下推自动机 量子上下文无关语言 量子上下文无关文法
下载PDF
正交模约束的稳健波束形成算法 被引量:3
3
作者 谢斌斌 甘露 李立萍 《电子与信息学报》 EI CSCD 北大核心 2011年第9期2045-2049,共5页
Capon波束形成算法在导向矢量存在误差或是在较少快拍数或高信噪比情况下,都会使波束产生严重的畸变。为了提高波束的稳健性,该文提出了一种正交模约束的稳健波束形成算法(OCCB),并通过二次求导得到阵列权值的具体数学表达式。该算法在C... Capon波束形成算法在导向矢量存在误差或是在较少快拍数或高信噪比情况下,都会使波束产生严重的畸变。为了提高波束的稳健性,该文提出了一种正交模约束的稳健波束形成算法(OCCB),并通过二次求导得到阵列权值的具体数学表达式。该算法在Capon算法的基础上,增加对阵列权值和噪声子空间的正交模约束,实现了在不影响信号和干扰特征值的同时,完成对噪声特征值的加载,减小噪声特征值的扩散程度。分析了部分对角加载对期望信号、干扰和噪声的影响。该算法在导向矢量存在误差、采样快拍数较少和高信噪比情况下,都可使波束具有更低的旁瓣和更加准确的主瓣指向,同时对干扰能进行较好的抑制,仿真结果证实了方法的有效性。 展开更多
关键词 信号处理 波束形成 正交模约束 部分对角加载 噪声子空间
下载PDF
正交模格F_(mo2)(n)上的代数结构 被引量:2
4
作者 陈引兰 吕映洁 施恩伟 《云南师范大学学报(自然科学版)》 2005年第6期9-12,30,共5页
文章讨论由n个元素生成的自由正交模格Fmo2(n)上的代数结构,得到一些较好的结果。
关键词 正交模格 次BL代数 关联算子 T算子 换位子
下载PDF
量子上下文无关文法的代数性质 被引量:1
5
作者 宋小震 韩召伟 李永明 《计算机工程与应用》 CSCD 北大核心 2011年第4期42-46,71,共6页
提出了量子上下文无关文法(l-VCFG)的概念,并研究了其具有的代数性质;证明了量子上下文无关文法(l-VCFG)和Chomsky范式文法(l-VCNF)以及Greibach范式文法(l-VGNF)的相互等价性;详细研究了量子上下文无关语言的代数刻画以及对于正则运算... 提出了量子上下文无关文法(l-VCFG)的概念,并研究了其具有的代数性质;证明了量子上下文无关文法(l-VCFG)和Chomsky范式文法(l-VCNF)以及Greibach范式文法(l-VGNF)的相互等价性;详细研究了量子上下文无关语言的代数刻画以及对于正则运算的封闭性。 展开更多
关键词 量子逻辑 正交模格 量子上下文无关文法 量子上下文无关语言
下载PDF
次直积不可约模正交格的自同构群 被引量:1
6
作者 陈引兰 郑绿洲 余雪 《华中师范大学学报(自然科学版)》 CAS CSCD 2007年第2期179-182,共4页
研究了次直积不可约有限模正交格MOk的自同构群的构造,先讨论自同构群Aut(MOk)的元素的类型,|MOk|与|Aut(MOk)|的关系,用不完全归纳法得到自同构群Aut(MOk)的生成元集,再引用块置换对自同构群Aut(MOk)的生成集定理给出了详细证明.从而... 研究了次直积不可约有限模正交格MOk的自同构群的构造,先讨论自同构群Aut(MOk)的元素的类型,|MOk|与|Aut(MOk)|的关系,用不完全归纳法得到自同构群Aut(MOk)的生成元集,再引用块置换对自同构群Aut(MOk)的生成集定理给出了详细证明.从而完全解决了自同构群Aut(MOk)的结构问题. 展开更多
关键词 模正交格 正交模格 自同构群 块置换
下载PDF
正交模格上的换位子的特征性质 被引量:1
7
作者 陈引兰 吕映洁 施恩伟 《云南师范大学学报(自然科学版)》 2006年第2期31-34,共4页
文章讨论了正交模格上的换位子及关联算子之间的联系。
关键词 正交模格 换位子 相容性 关联算子
下载PDF
基于量子逻辑的下推自动机的代数刻画 被引量:1
8
作者 韩召伟 李永明 《计算机工程与科学》 CSCD 2008年第11期72-74,共3页
首先,本文提出量子下推自动机(简记为L-VPDA)的概念,从代数角度出发详细研究了此类自动机的性质,同时建立此类自动机的代数刻画,即利用量子状态构造证明了任意L-VPDA与状态转移为经典函数且具有量子终状态的L-VPDA间的相互等价性;其次... 首先,本文提出量子下推自动机(简记为L-VPDA)的概念,从代数角度出发详细研究了此类自动机的性质,同时建立此类自动机的代数刻画,即利用量子状态构造证明了任意L-VPDA与状态转移为经典函数且具有量子终状态的L-VPDA间的相互等价性;其次详细研究了量子上下文无关语言的代数刻画以及对于正则运算的封闭性。 展开更多
关键词 量子逻辑 正交模格 量子下推自动机 量子上下文无关语言 代数刻画
下载PDF
量子Müller自动机与单体二阶量子逻辑 被引量:1
9
作者 韩召伟 李永明 《软件学报》 EI CSCD 北大核心 2014年第1期27-36,共10页
给出量子Müller自动机(简称LVMA)的概念,通过引入量子有限步可识别语言和量子状态构造方法,证明了在量子逻辑意义下4类量子Müller自动机彼此相互等价.利用该等价性,建立了量子无穷正则语言的代数刻画和层次刻画,籍此研究了量... 给出量子Müller自动机(简称LVMA)的概念,通过引入量子有限步可识别语言和量子状态构造方法,证明了在量子逻辑意义下4类量子Müller自动机彼此相互等价.利用该等价性,建立了量子无穷正则语言的代数刻画和层次刻画,籍此研究了量子无穷正则语言关于无穷正则运算的封闭性.同时,给出了量子Müller自动机所识别语言的单体二阶逻辑描述,深化和推广了量子逻辑意义下的Büchi基本定理. 展开更多
关键词 量子逻辑 正交模格 量子Müller自动机 量子无穷正则语言 单体二阶量子逻辑 Büchi定理
下载PDF
自由正交模格F_(MO_k)(n)的自同构群 被引量:2
10
作者 陈引兰 《数学杂志》 CSCD 北大核心 2007年第5期593-598,共6页
文章先利用自同构映射保有限并的性质研究了一般正交模格的次直积的自同构群与自同构群的次直积的关系,再用块置换的方法研究了MOk的自同构群的生成元集,由此得到自由正交模格FMOk(n)的自同构群的直积分解式,从而完全解决了FMOk(n)的自... 文章先利用自同构映射保有限并的性质研究了一般正交模格的次直积的自同构群与自同构群的次直积的关系,再用块置换的方法研究了MOk的自同构群的生成元集,由此得到自由正交模格FMOk(n)的自同构群的直积分解式,从而完全解决了FMOk(n)的自同构群的结构问题. 展开更多
关键词 正交模格 自由正交模格 自同构群
下载PDF
基于量子逻辑的确定型正则文法
11
作者 王拥兵 张丽霞 雷红轩 《计算机工程与科学》 CSCD 北大核心 2013年第9期45-50,共6页
基于量子逻辑的文法理论是量子计算模型的一个重要研究方向。给出了基于量子逻辑的确定型正则文法的概念,证明了基于量子逻辑的确定型正则文法与基于量子逻辑的确定型自动机的等价性。利用此等价性,给出了量子确定正则语言的代数刻画和... 基于量子逻辑的文法理论是量子计算模型的一个重要研究方向。给出了基于量子逻辑的确定型正则文法的概念,证明了基于量子逻辑的确定型正则文法与基于量子逻辑的确定型自动机的等价性。利用此等价性,给出了量子确定正则语言的代数刻画和层次刻画,并得到量子确定正则语言关于正则运算的封闭性。 展开更多
关键词 量子逻辑 正交模格 量子确定型正则文法 量子确定正则语言
下载PDF
正交模格诱导的子空间与子模格
12
作者 马锐 陈引兰 《昆明理工大学学报(理工版)》 CAS 2006年第6期118-121,共4页
引入了标准正交模格及正交模格的理想完备性的概念,证明了一类正交模格的滤子之集在某种拓扑之下构成一个Boolean空间.另外,从元素的成分出发,证明了正交模格中一元素的成分之集构成一个子模格.
关键词 正交模格 理想 超滤子 成分
下载PDF
正交模格的直积的自同构群
13
作者 陈引兰 施恩伟 《云南师范大学学报(自然科学版)》 2007年第1期10-13,共4页
文章给出了正交模格簇的直积的自同构群与自同构群的直积的同构关系。并分有限簇和可数无限簇两种情况给以证明。
关键词 正交模格 自同构群 直积
下载PDF
有限生成自由代数F_(V(L_K))(n)的自同构群(英文)
14
作者 陈引兰 《数学杂志》 CSCD 北大核心 2012年第4期589-592,共4页
本文研究了自同构群AutLk和AutFV(LK)(n)的结构问题.利用了正交模格及其自同构群的直积分解方法,获得了正交模格Lk和自由代数FV(LK)(n)的自同构群的直积分解式.
关键词 正交模格 直积 自同构群 有限生成自由代数
下载PDF
一些量子结构的构造和Fuzzy有效空间
15
作者 尚云 李永明 《模糊系统与数学》 CSCD 2004年第z1期157-160,共4页
给出了Fuzzy有效空间的概念.利用偏序集上的特殊模糊子集构造了effect algebras,σ-effect algebras,orthoalgebras,orthomodular posets和σ-orthomodular posets.借助Fuzzy有效空间,得到了带有强序决定态系统的lattice effect algebra... 给出了Fuzzy有效空间的概念.利用偏序集上的特殊模糊子集构造了effect algebras,σ-effect algebras,orthoalgebras,orthomodular posets和σ-orthomodular posets.借助Fuzzy有效空间,得到了带有强序决定态系统的lattice effect algebras的一个表现定理. 展开更多
关键词 EFFECT ALGEBRAS orthoalgebras orthomodular POSETS 序决定态系统 Fuzzy有效空间
下载PDF
块有限生成的正交模格的自同构群
16
作者 陈引兰 《湖北民族学院学报(自然科学版)》 CAS 2009年第1期7-12,共6页
介绍了一般格的直积的自同构群与自同构群的直积的关系,对块有限自同构群的结构进行了探讨.对于几个重要不可约块有限正交模格的自同构群,主要由自同构的性质得到其生成元集;对于非不可约块有限正交模格,由其直积分解式,结合自同构群的... 介绍了一般格的直积的自同构群与自同构群的直积的关系,对块有限自同构群的结构进行了探讨.对于几个重要不可约块有限正交模格的自同构群,主要由自同构的性质得到其生成元集;对于非不可约块有限正交模格,由其直积分解式,结合自同构群的直积,给出了其自同构群的构造. 展开更多
关键词 正交模格 自同构群 直积
下载PDF
S半环与DM格
17
作者 施恩伟 《云南师范大学学报(自然科学版)》 2000年第1期1-8,共8页
本文在DM 格上建立了一个与著名的stone 定理相平行的定理,并首次提出了S半环概念,讨论了S半环的某些性质。
关键词 DM格 S半环 正交模格 Stone定理
下载PDF
正交模格的Stone对偶性
18
作者 陈引兰 施恩伟 《湖北师范学院学报(自然科学版)》 2006年第2期5-8,共4页
讨论了正交模格与布尔空间之间的对偶性,给出了它们的Stone对偶命题。
关键词 正交模格 理想 极大理想 超滤子
下载PDF
自由正交模格F_(MO_2)(n)的自同构群
19
作者 陈引兰 杨萌 《黄石理工学院学报》 2007年第1期26-28,48,共4页
先讨论一般正交模格簇的次直积的自同构群与自同构群的次直积的关系,再通过自同构映射的性质给出了正交模格MO2的自同构群,利用M.Haviar,C.B.Wegener等人研究的成果:自由正交模格FMO2(n)的分解形式FMO2(n)■FB(n)×(MO2)ф(n),得到... 先讨论一般正交模格簇的次直积的自同构群与自同构群的次直积的关系,再通过自同构映射的性质给出了正交模格MO2的自同构群,利用M.Haviar,C.B.Wegener等人研究的成果:自由正交模格FMO2(n)的分解形式FMO2(n)■FB(n)×(MO2)ф(n),得到了自由正交模格FMO2(n)的自同构群的分解式:AutFMO2(n)■AutFB(n)×(Aut(MO2))ф(n),从而解决了自由正交模格FMO2(n)的自同构群的结构问题. 展开更多
关键词 正交模格 自由正交模格 自同构群
下载PDF
量子逻辑的发展及其理论基础
20
作者 王帮海 《现代计算机》 2009年第8期11-13,共3页
量子信息与量子计算的出现是信息科学发展的必然选择。介绍量子逻辑的发展历史、研究现状以及建立在Hilbert封闭子空间基础上的正交模格相关的理论基础和几个open问题。在此基础上,介绍量子计算的巨大计算能力的源泉,展望量子逻辑的可... 量子信息与量子计算的出现是信息科学发展的必然选择。介绍量子逻辑的发展历史、研究现状以及建立在Hilbert封闭子空间基础上的正交模格相关的理论基础和几个open问题。在此基础上,介绍量子计算的巨大计算能力的源泉,展望量子逻辑的可能研究方向。 展开更多
关键词 量子逻辑 HILBERT空间 正交模格
下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部