-
公开(公告)号：CN118333181B
公开(公告)日：2024-09-13
申请号：CN202410418927.0
申请日：2024-04-09
Applicant: 浙江大学
Abstract: 本发明公开了一种利用量子程序中的同构性以促进自信验证的方法和系统，包括：断言语句：定义追踪点并通过追踪点标记量子程序在不同时间的量子比特状态，定义假设‑保证断言来指定单量子比特状态的范围及多量子定量子比特状态之间的关系；程序分析：依据量子演化同构性构建输入量子比特状态与追踪点的量子比特状态之间真实关系的近似函数；断言验证：将量子程序中的假设‑保证断言与构建的逼近函数打包成约束最大化问题来进行全局搜索和求解以验证量子程序的正确性，以解决现有断言方法在验证量子程序的整体正确性方面表现出较低的置信度的问题。
-
公开(公告)号：CN118333181A
公开(公告)日：2024-07-12
申请号：CN202410418927.0
申请日：2024-04-09
Applicant: 浙江大学
Abstract: 本发明公开了一种利用量子程序中的同构性以促进自信验证的方法和系统，包括：断言语句：定义追踪点并通过追踪点标记量子程序在不同时间的量子比特状态，定义假设‑保证断言来指定单量子比特状态的范围及多量子定量子比特状态之间的关系；程序分析：依据量子演化同构性构建输入量子比特状态与追踪点的量子比特状态之间真实关系的近似函数；断言验证：将量子程序中的假设‑保证断言与构建的逼近函数打包成约束最大化问题来进行全局搜索和求解以验证量子程序的正确性，以解决现有断言方法在验证量子程序的整体正确性方面表现出较低的置信度的问题。
-
Search Results
2
records
(took 0.012 seconds)
