中央高校基本科研业务费专项资金(GK201302054)
- 作品数：3 被引量：7H指数：1
- 相关作者：李永明林运国雷红轩席政军更多>>
- 相关机构：陕西师范大学福建农林大学内江师范学院更多>>
- 发文基金：中央高校基本科研业务费专项资金国家自然科学基金国家教育部博士点基金更多>>
- 相关领域：自动化与计算机技术理学机械工程更多>>
- 开放量子行走:概率分布与中心极限定理
- 2016年
- 作为量子算法研究的一个基本工具,量子行走已经成为一个重要研究课题.在开放量子环境下,同质量子行走已经得到充分研究,包括其概率分布和中心极限定理.然而,对于高维格上且在异质环境下的开放量子行走的演化方程、概率分布和中心极限定理还未得到研究.在此基础上,该文提出高维格上异质开放量子行走以及它的演化方程,重点研究高维格上具有不同类型的量子运算的开放量子行走的概率分布和中心极限定理.首先给出高维格上量子系统的演化表达式,它不但适合于同质开放量子行走,也适合于异质开放量子行走.与已有的演化表达式相比,该结果更具有一般性.其次,利用傅里叶变换和逆变换给出开放量子行走的概率分布的计算公式,研究其对同质开放量子行走和异质开放量子行走的适用性.通过例子说明一维格上、二维格上异质开放量子行走的概率分布计算.最后,运用鞍差分序列中心极限定理,给出并证明高维格上异质开放量子行走的中心极限定理,说明一维格上同质开放量子行走的中心极限定理是它的一种特殊情况,并通过二维格上异质开放量子行走的实例给出求解极限分布的具体过程.
- 林运国李永明
- 关键词：开放量子系统概率分布中心极限定理量子计算
- 测量诱发的关联分布
- 2013年
- 量子测量诱发量子系统的扰动使得它与辅助系统以及测量装置之间的关联发生了变化.本文使用熵交换与量子失协,在间接测量模型中,讨论测量诱发的关联分布,并得到全关联和量子关联的平衡关系.最后讨论局部操作导致量子失协的变化与测量诱发的关联分布之间的关系.
- 席政军李永明
- 关键词：量子测量量子关联
- 量子马尔可夫链安全性模型检测被引量：7
- 2014年
- 本文定义了量子线性时间属性,包括量子安全性,量子不变性,讨论了它们的关系和性质.结合测量一次、测量多次的单向量子有穷自动机,构建了两类乘积量子马尔可夫链,提出了基于自动机技术的量子正则安全性检测方法.通过验证乘积量子马尔可夫链的可达终状态来判断量子正则安全性的可满足性,并给出了可满足性的概率计算公式.作为应用,分析了广义量子loop程序,将程序终止归结为验证量子正则安全性的可满足性.
- 林运国雷红轩李永明
- 关键词：安全性
