量子程序相关论文
基于量子力学的量子计算机可能成为继经典计算机以后的一类强有力的新型计算机，量子程序设计语言则直接关系到量子计算机的使用，国外......
近年来,作为数学,物理学,计算机科学等的交叉学科的量子信息引起了诸多学者的广泛关注.Hilbert空间序列效应代数ε(H)这一重要的序......
基于文献[18]提出的量子程序验证方法,讨论了单量子比特系统上比特翻转、去极化、幅值阻尼、相位阻尼等信道刻画的量子程序的验证,......
程序验证是保证程序正确性的关键技术.由于经典世界和量子世界的本质不同,经典程序验证的技术和工具不能直接应用到量子系统.而量......
量子计算拥有传统计算机无法比拟的超强计算能力,是最重要的后摩尔技术之一。随着集成电路技术按照摩尔定律不断发展,单个芯片上集......
