公开(公告)号：CN119918507A

公开(公告)日：2025-05-02

申请号：CN202510390267.4

申请日：2025-03-31

Applicant: 中国科学院软件研究所

Inventor： 高世豪 ,  刘洋 ,  张洪滨 ,  邢明杰 ,  武延军 ,  赵琛

IPC: G06F40/151 ,  G06F40/16

Abstract: 本发明涉及编译器优化技术领域，提供一种基于多级中间表示与知识库的Pass流水线自动生成方法，通过从待转化文件的当前方言集合中选择得到待转换方言，并从知识库中搜索待转换方言适用的目标Pass；在目标Pass对所述待转换方言进行转化成功的情况下，将转化后的当前方言集合作为更新方言集合；重复从更新方言集合中选择得到待转换方言，并从知识库中搜索得到待转换方言适用的目标Pass，直至完成待转化文件向目标方言集合的转化，将各轮次得到的目标Pass作为Pass流水线，实现了准确、可靠、性能更优且通用性强的自动化Pass流水线生成。

公开(公告)号：CN115186635A

公开(公告)日：2022-10-14

申请号：CN202210818650.1

申请日：2022-07-12

Applicant: 中国科学院软件研究所

Inventor： 张洪滨 ,  林泓宇 ,  韩柳彤 ,  邢明杰 ,  武延军 ,  赵琛

IPC: G06F40/166 ,  G06F40/253 ,  G06F40/14

Abstract: 本发明公开了一个基于思维导图的PDDL问题计算方法及系统。所述方法包括：基于要编辑的PDDL问题，得到domain.pddl文件，并根据所述domain.pddl文件，确定编辑所述domain.pddl文件对应的PDDL问题所需要的组件信息；利用所述组件信息，对所述PDDL问题进行思维导图编辑；解析所述思维导图，得到problem.pddl信息；根据所述problem.pddl信息与所述PDDL问题对应的domain，生成problem.pddl文件；基于所述domain.pddl文件与所述problem.pddl文件，得到所述PDDL问题的解。本发明能够为用户利用PDDL求解规划问题提供便利。