申请/专利权人：上海科技大学

申请日：2023-12-06

公开（公告）日：2024-03-22

公开（公告）号：CN117742678A

主分类号：G06F8/30

分类号：G06F8/30

优先权：

专利状态码：在审-实质审查的生效

法律状态：2024.04.09#实质审查的生效;2024.03.22#公开

摘要：本发明提出伊辛感知计算机布尔代数系统构建方法及伊辛机编程接口，涉及一种面向约束优化问题求解的伊辛感知计算机布尔代数量子电路综合系统，同时也涉及相应实施量子绝热计算的量子伊辛机与其他通用伊辛机的编程接口，属于约束优化与量子绝热计算领域。采用惩罚项描述的布尔约束原语表达系统作为基本表达对象，并通过伊辛感知的计算机代数系统进行自动的、高效的、可靠的重排与化简，结合伊辛机特点缩减优化问题实例规模、提高优化问题实例在伊辛机上的求解效率。

主权项：1.伊辛感知计算机布尔代数系统构建方法，其特征在于，包括以下步骤：步骤S1、在高级编程语言中构建领域特定的约束优化原语表达系统，提供面向电子设计自动化、金融、能源、通信四个领域的含参抽象约束优化原语；步骤S2、在高级编程语言中构建领域无关的约束优化原语表达系统，提供变量管理、等式约束、互异约束、不等式约束、独热约束、选择约束、极值约束、求和约束、线性约束等含参抽象约束优化原语；步骤S3、在高级编程语言中，面向电子设计自动化、金融、能源、通信四个领域，结合领域特定知识，构建从领域特定的约束优化原语表达系统表达的约束优化复合体到领域无关的约束优化原语表达系统表达的约束优化复合体的领域知识分解，将S1中各领域特定含参抽象约束优化原语展开为S2中各领域无关含参抽象约束优化原语的序列；步骤S4、在高级编程语言中构建惩罚项量子电路描述的布尔约束原语表达系统，提供非门约束、与门约束、或门约束、单反衍生门约束、异或门约束以及同或门约束；步骤S5、在高级编程语言中，构建从领域无关的约束优化原语表达系统表达的约束优化复合体到惩罚项量子电路描述的布尔约束原语表达系统表达的约束优化复合体的布尔展开，无结构地将S2中各领域无关的约束优化原语展开为S4中各惩罚项量子电路描述的布尔约束原语的无结构序列；步骤S6、在高级编程语言中，构建基于伊辛感知与计算机布尔代数的量子电路综合，提供常量传播、常量折叠、非门融合、链形规约、树形规约、计算强度约简、稀疏格式导出、稠密格式导出功能。

全文数据：

权利要求：

百度查询： 上海科技大学 伊辛感知计算机布尔代数系统构建方法及伊辛机编程接口

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。

阅读全文 双屏查看 官方信息 专利公告 收藏专利 下载PDF 下载WORD