公开(公告)号：CN119250232A

公开(公告)日：2025-01-03

申请号：CN202411511877.7

申请日：2024-10-28

Applicant: 上海交通大学

Inventor： 陈海波 ,  许正霖 ,  王肇国 ,  丁浩然

IPC: G06N20/00

Abstract: 本发明提供了一种机器学习模型混合并行策略自动搜索的方法及系统，其中系统包括：算子间并行策略搜索模块：该模块首先查询算子间性能开销模型，然后根据当前阶段算子间的性能开销来进行策略搜索。其中，算子间性能开销模型计算相应的流水线阶段开销。算子内并行策略搜索模块：该模块采用缩点消边的动态规划算法进行数据并行与张量并行的策略搜索。它先查询算子内性能开销模型，再进行策略搜索。而算子内性能开销模型通过使用基于执行的方法进行计算开销预估，同时使用基于计算的方法进行通信开销预估。本发明的搜索算法相比已有工作的搜索算法，具有更低的理论时间复杂度，能够更快地得出搜索结果，并还能保证搜索得到的策略质量。

公开(公告)号：CN117331961A

公开(公告)日：2024-01-02

申请号：CN202311332030.8

申请日：2023-10-13

Applicant: 上海交通大学

Inventor： 王肇国 ,  许正霖 ,  丁浩然 ,  杨逸存 ,  魏卓然 ,  陈海波

IPC: G06F16/242 ,  G06F16/2458 ,  G06F16/2453

Abstract: 本发明提供一种基于线性整数代数进行SQL等价性自动化证明的方法及系统，包括：计划生成步骤：对输入的SQL查询语句进行解析生成原始逻辑计划；ORDER BY处理步骤：处理原始逻辑计划中的ORDER BY排序操作，生成新的不含ORDER BY排序操作的逻辑计划，交由后续步骤进行等价性验证；U‑expression生成步骤：对逻辑计划进行解析，生成对应的代数表达式U‑expression；正规化步骤：对U‑expression进行正规化化简，生成标准形式的U‑expression；LIA*转换步骤：根据标准形式的U‑expression，生成LIA*表达式；一阶逻辑表达式生成步骤：根据LIA*表达式，生成LIA表达式，借助SMT求解器进行SQL的等价性自动化验证。本发明完善了对聚合函数等SQL特性的建模，显著增强了SQL等价性自动化验证的能力。