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

龙图腾网获悉无锡先进技术研究院申请的专利一种基于中间表示的循环优化模型的参数提取方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN115774556B 。

龙图腾网通过国家知识产权局官网在2025-07-11发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202211434014.5，技术领域涉及：G06F8/41；该发明授权一种基于中间表示的循环优化模型的参数提取方法是由锁强;王俊;岳晨阳;严大卫;陈茜;郭燕设计研发完成，并于2022-11-16向国家知识产权局提交的专利申请。

本一种基于中间表示的循环优化模型的参数提取方法在说明书摘要公布了：本发明公开了一种基于中间表示的循环优化模型的参数提取方法，包括如下步骤：遍历初始AST，初步筛选出AST循环模块，基于matcher类模板从AST循环模块中再次筛选出满足matcher类模板的AST模块，将二次筛选后的AST模块转换成Stmt类，判断Stmt类是否值得优化，将值得优化的Stmt类转换成PolyhedralBase类。利用该参数提取方法，可以从程序中更加准确更加完整地筛选提取满足优化条件的循环块，同时剔出了部分无效优化的情况，从而减少了程序的整体优化时间。

本发明授权一种基于中间表示的循环优化模型的参数提取方法在权利要求书中公布了：1.一种基于中间表示的循环优化模型的参数提取方法，其特征在于，包括如下步骤： 遍历初始AST，初步筛选出AST循环模块，步骤包括：基于matcher类，定义初步满足优化条件的AST循环模块的通用模板及匹配函数； 基于前述定义的通用模板及匹配函数，通过detect模块初步筛选出AST循环模块； 所述matcher类包括三个子类：ForMatcher、WhileMatcher和DoMatcher，所述每个子类包括至少一个满足优化条件的通用模板以及与之对应的匹配函数，所述通用模板包括AST块自身的结构信息、上下文结构信息以及对应的约束条件； 所述detect模块包括类和函数detectLoop和ASTmatcher； 所述detectLoop，利用clangtool工具遍历AST，初步筛选出所有的AST循环模块； 所述ASTmatcher，遍历detectLoop函数筛选出来的AST循环模块，根据AST循环表示方法的不同启动相应的matcher类进行匹配，进行二次筛选； 基于matcher类模板从AST循环模块中再次筛选出满足matcher类模板的AST模块； 将二次筛选后的AST模块转换成Stmt类； 判断Stmt类是否值得优化，将值得优化的Stmt类转换成PolyhedralBase类，具体包括： 定义包含一系列Polyhedral模型规则的pollyhedral_rule.inc文件； 定义包含Stmt类是否值得优化的各种限制的restrictions.inc文件； 基于restrictions.inc文件先筛选一部分不值得优化的Stmt类，再引用pollyhedral_rule.inc文件内的模型规则，通过映射关系将剩下的Stmt类转换成PolyhedralBase类； 所述PolyhedralBase类包括domain、schedule和memoryaccess； 所述domain，表示循环归纳变量的一组值； 所述schedule，表示一种关系，作用在domain上，会产生语句操作的执行时间； 所述memoryaccess，用于表示内存访问。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人无锡先进技术研究院，其通讯地址为：214122 江苏省无锡市滨湖区绣溪路50号2号楼；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。