机构名称:
¥ 1.0
摘要 - 断言是一个谓词,在程序执行过程中应进行正确评估。在本文中,我们介绍了量子主张方案的开发,并展示了它们如何用于减轻硬件错误和软件调试。与经典计划中的断言相比,由于无限制的定理和巨大的破坏性测量,量子估算是具有挑战性的。我们讨论了如何规避这些挑战,以使量子状态的某些特性在程序执行过程中可以无损地验证。此外,我们表明,除了检测程序错误外,动态断言电路还可以通过选择后的主张结果来减轻噪声效应。我们的案例研究表明在各种量子算法中使用量子主张。索引术语 - Quantum计算,缓解错误,调试,断言