%0 Journal Article
%T Valid Verification of Termination for Some Quantum Programs<br>几种量子程序终止的有效验证
%A 雷红轩
%A 席政军
%A 李永明
%J 计算机科学
%D 2012
%I 
%X 基于文献巨18口提出的量子程序验证方法，讨论了单量子比特系统上比特翻转、去极化、幅值阻尼、相位阻尼等 信道刻画的量子程序的验证，通过选取不同的可观测算子对程序终止的情况进行了详细的讨论。研究表明，由这些量 子信道所描述的量子程序的终止情况不仅依赖于输入态的选取，还依赖于可观测算子的选取。
%K Quantum programs
%K Super-op}rator
%K hermination probability
%K Program verification<br>子程序，超算子，终止概率，程序验证
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=CBB24D9260C712BB587EF805BF65A7B8&yid=99E9153A83D4CB11&vid=7C3A4C1EE6A45749&iid=708DD6B15D2464E8&sid=80A07035DF96B0C4&eid=46CB27789995047D&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0