计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2012年
11期
75-78
,共4页
量子程序%超算子%终止概率%程序验证
量子程序%超算子%終止概率%程序驗證
양자정서%초산자%종지개솔%정서험증
基于文献[18]提出的量子程序验证方法,讨论了单量子比特系统上比特翻转、去极化、幅值阻尼、相位阻尼等信道刻画的量子程序的验证,通过选取不同的可观测算子对程序终止的情况进行了详细的讨论.研究表明,由这些量子信道所描述的量子程序的终止情况不仅依赖于输入态的选取,还依赖于可观测算子的选取.
基于文獻[18]提齣的量子程序驗證方法,討論瞭單量子比特繫統上比特翻轉、去極化、幅值阻尼、相位阻尼等信道刻畫的量子程序的驗證,通過選取不同的可觀測算子對程序終止的情況進行瞭詳細的討論.研究錶明,由這些量子信道所描述的量子程序的終止情況不僅依賴于輸入態的選取,還依賴于可觀測算子的選取.
기우문헌[18]제출적양자정서험증방법,토론료단양자비특계통상비특번전、거겁화、폭치조니、상위조니등신도각화적양자정서적험증,통과선취불동적가관측산자대정서종지적정황진행료상세적토론.연구표명,유저사양자신도소묘술적양자정서적종지정황불부의뢰우수입태적선취,환의뢰우가관측산자적선취.