浙江大学卢丽强获国家专利权
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
龙图腾网获悉浙江大学申请的专利一种基于同伦方法的量子程序自动化修复方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN119807078B 。
龙图腾网通过国家知识产权局官网在2025-07-11发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202510294538.6，技术领域涉及：G06F11/3668；该发明授权一种基于同伦方法的量子程序自动化修复方法是由卢丽强;余加;尹建伟;谭思危;向德彬设计研发完成，并于2025-03-13向国家知识产权局提交的专利申请。
本一种基于同伦方法的量子程序自动化修复方法在说明书摘要公布了：本发明公开了一种基于同伦方法的量子程序自动化修复方法，属于量子程序修复技术领域，包括：断言构建：为有缺陷的量子程序构建断言，通过断言定义量子程序基于输入到输出的预期行为；测试用例生成：对于编码到量子比特状态和门参数中的输入空间，利用量子态和量子门的正交分解在输入空间中采样测试用例；在经典计算机上进行错误定位：在经典计算机上构建补丁，将补丁的搜索转化为一个MAX‑SMT问题以定位多位置补丁，将补丁中的通用量子门集合替换为Clifford门集合来近似量子程序；在量子计算机上进行错误修复：基于测试用例，利用量子门的可微性来修复错误。该方法在较低时间内实现量子程序的自动化修复，且能够提高修复成功率。
本发明授权一种基于同伦方法的量子程序自动化修复方法在权利要求书中公布了：1.一种基于同伦方法的量子程序自动化修复方法，其特征在于，包括以下步骤： 断言构建：为有缺陷的量子程序构建断言，通过断言定义量子程序基于输入到输出的预期行为； 测试用例生成：对于编码到量子比特状态和门参数中的输入空间，利用量子态和量子门的正交分解在输入空间中采样测试用例； 在经典计算机上进行错误定位：在经典计算机上构建补丁，并将补丁的搜索转化为一个MAX-SMT问题以定位多位置补丁，且将补丁中的通用量子门集合替换为Clifford门集合来近似量子程序； 在量子计算机上进行错误修复：基于测试用例，利用量子门的可微性来修复错误，修复过程通过最小化从断言导出的目标函数来实现，门参数的梯度在模拟器或量子计算机上计算，如果修复后满足断言条件，将输出修复后的量子程序；如果断言未满足，将返回错误定位阶段，逐步逼近正确的量子程序。
如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人浙江大学，其通讯地址为：310058 浙江省杭州市西湖区余杭塘路866号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号