“肖安祥”申请（专利权）人搜索_中国专利权人_发明人_技术持有人_科研专家_钻瓜专利网

钻瓜专利网为您找到相关结果2个，建议您升级VIP下载更多相关专利

[发明专利]一种经验库制导的浮点程序优化加速方法-CN202110438904.2有效
发明人：汤恩义;肖安祥;陈鑫;王林章;李宣东 -专利权人：南京大学
申请日： 2021-04-22 - 公布日： 2023-10-17 - 主分类号： G06F7/483 文献下载
摘要：本发明提出了一种经验库制导的浮点程序优化加速方法。该方法基于浮点成因相似性原理，即若两个浮点数值程序的计算过程相似，它们误差累积的原因也往往是类似的，因而可以使用类似的程序转换规则对其重写，从而降低程序的累积误差。基于此，加速策略将浮点数值程序的符号结构特征以及优化其累积误差所用到的程序转换规则提取出来，作为优化经验保存于经验库中。待优化其他程序时，首先在经验库中匹配待优化程序的符号结构特征，寻找相似程序的优化经验，并利用这些经验来指导并加速优化过程。优化经验中保存的程序转换规则会被优先用于重写待优化程序，避免了对整个规则库进行遍历。这个过程减少了优化所需的时间开销，提高了浮点优化的可用性。
一种经验制导浮点程序优化加速方法

[发明专利]一种数值程序的全局优化方法-CN201810001948.7有效
发明人：王协;肖安祥;汤恩义;王林章;马骏;李宣东 -专利权人：南京大学
申请日： 2018-01-02 - 公布日： 2020-03-17 - 主分类号： G06F8/41 文献下载
摘要：本发明提出了一种数值程序的全局优化方法，利用符号执行技术从源程序中抽取用于表述路径约束条件以及数值计算过程的代数表示。并分析每个代数表示，通过运用不同地代数变换规则将其转换成数值计算误差更小的代数形式。最终把每个代数表示转成相应的代码片段，并将它们组合生成目标程序。本发明具有以下优势：所有过程均为自动化过程，无需人为干预；程序编写者可以更专注于业务逻辑，而无需关心与数值分析相关的细节操作。这样既提高了开发效率，又使代码逻辑直观易懂，易于维护。
一种数值程序全局优化方法