量子程序相关论文
近年来,作为数学,物理学,计算机科学等的交叉学科的量子信息引起了诸多学者的广泛关注.Hilbert空间序列效应代数ε(H)这一重要的序......
基于文献[18]提出的量子程序验证方法,讨论了单量子比特系统上比特翻转、去极化、幅值阻尼、相位阻尼等信道刻画的量子程序的验证,......
程序验证是保证程序正确性的关键技术.由于经典世界和量子世界的本质不同,经典程序验证的技术和工具不能直接应用到量子系统.而量......
量子程序是对量子计算进行设计、实现、推理与验证的核心概念。随着量子计算的物理技术不断实现以及相关商业化应用前景逐步明朗，量......
