公开(公告)号：CN108228187B

公开(公告)日：2020-03-17

申请号：CN201810001948.7

申请日：2018-01-02

Applicant: 南京大学

Inventor： 王协 ,  肖安祥 ,  汤恩义 ,  王林章 ,  马骏 ,  李宣东

IPC: G06F8/41

Abstract: 本发明提出了一种数值程序的全局优化方法，利用符号执行技术从源程序中抽取用于表述路径约束条件以及数值计算过程的代数表示。并分析每个代数表示，通过运用不同地代数变换规则将其转换成数值计算误差更小的代数形式。最终把每个代数表示转成相应的代码片段，并将它们组合生成目标程序。本发明具有以下优势：所有过程均为自动化过程，无需人为干预；程序编写者可以更专注于业务逻辑，而无需关心与数值分析相关的细节操作。这样既提高了开发效率，又使代码逻辑直观易懂，易于维护。

公开(公告)号：CN108228187A

公开(公告)日：2018-06-29

申请号：CN201810001948.7

申请日：2018-01-02

Applicant: 南京大学

Inventor： 王协 ,  肖安祥 ,  汤恩义 ,  王林章 ,  马骏 ,  李宣东

IPC: G06F8/41

Abstract: 本发明提出了一种数值程序的全局优化方法，利用符号执行技术从源程序中抽取用于表述路径约束条件以及数值计算过程的代数表示。并分析每个代数表示，通过运用不同地代数变换规则将其转换成数值计算误差更小的代数形式。最终把每个代数表示转成相应的代码片段，并将它们组合生成目标程序。本发明具有以下优势：所有过程均为自动化过程，无需人为干预；程序编写者可以更专注于业务逻辑，而无需关心与数值分析相关的细节操作。这样既提高了开发效率，又使代码逻辑直观易懂，易于维护。