买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

龙图腾网获悉上海科技大学申请的专利伊辛感知计算机布尔代数系统构建方法及伊辛机编程接口获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN117742678B 。

龙图腾网通过国家知识产权局官网在2025-08-22发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202311669059.5，技术领域涉及：G06F8/30；该发明授权伊辛感知计算机布尔代数系统构建方法及伊辛机编程接口是由罗剑文;哈亚军设计研发完成，并于2023-12-06向国家知识产权局提交的专利申请。

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

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

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人上海科技大学，其通讯地址为：201210 上海市浦东新区华夏中路393号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。