|
|||||
|
|
| 几种量子程序终止的有效验证 | |
| 引用本文： | 雷红轩 席政军 李永明. 几种量子程序终止的有效验证[J]. 计算机科学, 2012, 39(11): 75-78 |
| 作者姓名： | 雷红轩 席政军 李永明 |
| 作者单位： | (陕西师范大学计算机科学学院 西安 710062） (内江师范学院数学与信息科学学院 内江 641112) |
| 摘 要： | 基于文献巨18口提出的量子程序验证方法，讨论了单量子比特系统上比特翻转、去极化、幅值阻尼、相位阻尼等信道刻画的量子程序的验证，通过选取不同的可观测算子对程序终止的情况进行了详细的讨论。研究表明，由这些量子信道所描述的量子程序的终止情况不仅依赖于输入态的选取，还依赖于可观测算子的选取。 |
| 关 键 词： | 子程序，超算子，终止概率，程序验证 |
Valid Verification of Termination for Some Quantum Programs |
|
| Abstract: | |
| Keywords: | Quantum programs Super-op}rator hermination probability Program verification |
| 点击此处可从《计算机科学》浏览原始摘要信息 | |
| 点击此处可从《计算机科学》下载全文 | |