%0 Journal Article
%T 几种量子程序终止的有效验证
%A 雷红轩 席政军 李永明？
%J 计算机科学
%D 2012
%X 基于文献巨18口提出的量子程序验证方法，讨论了单量子比特系统上比特翻转、去极化、幅值阻尼、相位阻尼等信道刻画的量子程序的验证，通过选取不同的可观测算子对程序终止的情况进行了详细的讨论。研究表明，由这些量子信道所描述的量子程序的终止情况不仅依赖于输入态的选取，还依赖于可观测算子的选取。
%K 子程序
%K 超算子
%K 终止概率
%K 程序验证
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=121117&flag=1