搜索筛选:
搜索耗时0.8070秒,为你在为你在102,285,761篇论文里面共找到 4 篇相符的论文内容
发布年度:
[学位论文] 作者：雷红轩,,
来源： 年份：2013
量子计算研究主要有物理学家和计算机科学家两支力量,前者关注的是量子计算的物理实现,后者关注的是量子程序设计语言的理论和实现.而程序验证是保证程序正确性的关键技术.如...
[期刊论文] 作者：王拥兵,张丽霞,雷红轩,
来源：计算机工程与科学 年份：2013
摘要：基于量子逻辑的文法理论是量子计算模型的一个重要研究方向。给出了基于量子逻辑的确定型正则文法的概念，证明了基于量子逻辑的确定型aY-．~4文法与基于量子逻辑的确定型自......
[期刊论文] 作者：雷红轩,席政军,李永明,
来源：软件学报 年份：2013
首先给出了量子最弱自由前置条件（weakest liberal precondition,简称wlp）wlp （A,B,C）-可交换的定义,研究了wlp （A,B,C）-可交换的充分必要条件;其次,得到了wlp 不是良好的谓词转换,...
[期刊论文] 作者：雷红轩,席政军,李永明,
来源：电子学报 年份：2013
本文首先就广义量子loop程序（简记为GQLoop）的主体由比特翻转、去极化、幅值阻尼、相位阻尼等信道描述时，对它的终止（几乎终止）问题进行了研究．其次，讨论了两类GQkoop程序相互嵌套时......
相关搜索：
