线上期刊服务咨询,发表咨询:400-808-1701 订阅咨询:400-808-1721

几种确定型量子程序的可达和终止验证

雷红轩 傅丽 计算机工程与科学 2015年第10期

摘要:讨论了单量子比特空间中,比特翻转、相位翻转、去极化、幅值阻尼和相位阻尼等量子信道作为特殊的非确定型量子程序—确定型量子程序,从计算基态运行时程序的可达集合和它们终止及发散的情况.研究表明:这些量子信道从计算基态运行时,有的量子程序的终止和发散与刻画量子信道的参数有紧密的联系,而有的量子程序的终止和发散与刻画量子信道的参数没有联系.

关键词:非确定型量子程序确定型量子程序可达集合终止

单位:内江师范学院数学与信息科学学院 四川内江641112 四川省高等学校数值仿真重点实验室 四川内江641112 青海民族大学数学与统计学院 青海西宁810007

注:因版权方要求,不能公开全文,如需全文,请咨询杂志社

计算机工程与科学

北大期刊

¥624.00

关注 46人评论|5人关注