几种量子程序终止的有效验证

• 作者: 席政军 李永明 雷红轩
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 量子程序 超算子 终止概率 程序验证
• 年，卷（期）: 2012,（11）
• 所属期刊栏目: 计算机网络与信息安全
• 页码范围: 75-78
• 分类号: TP301.6
• 字数: 4923字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2012.11.017

摘要

基于文献[18]提出的量子程序验证方法,讨论了单量子比特系统上比特翻转、去极化、幅值阻尼、相位阻尼等信道刻画的量子程序的验证,通过选取不同的可观测算子对程序终止的情况进行了详细的讨论.研究表明,由这些量子信道所描述的量子程序的终止情况不仅依赖于输入态的选取,还依赖于可观测算子的选取.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李永明	陕西师范大学计算机科学学院	165	505	12.0	16.0
2	雷红轩	陕西师范大学计算机科学学院	22	103	7.0	9.0
6	席政军	陕西师范大学计算机科学学院	15	18	2.0	3.0