几种确定型量子程序的可达和终止验证OA北大核心CSCDCSTPCD
Reachability and termination verification of some deterministic quantum programs
讨论了单量子比特空间中,比特翻转、相位翻转、去极化、幅值阻尼和相位阻尼等量子信道作为特殊的非确定型量子程序—确定型量子程序,从计算基态运行时程序的可达集合和它们终止及发散的情况.研究表明:这些量子信道从计算基态运行时,有的量子程序的终止和发散与刻画量子信道的参数有紧密的联系,而有的量子程序的终止和发散与刻画量子信道的参数没有联系.
雷红轩;傅丽
内江师范学院数学与信息科学学院,四川内江641112四川省高等学校数值仿真重点实验室,四川内江641112
信息技术与安全科学
非确定型量子程序确定型量子程序可达集合终止
nondeterministic quantum programsdeterministic quantum programreachable settermination
《计算机工程与科学》 2015 (10)
1811-1816,6
四川省教育厅重点科研资助项目(14ZA0242)青海省自然科学基金资助项目(2013-Z-920)内江师范学院专业核心课程资助项目(hk07010201)教育部数学与应用数学专业综合改革资助项目(ZG0464)四川省数学与应用数学专业综合改革资助项目(01249)
评论