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

龙图腾网获悉中国人民解放军国防科技大学申请的专利通过排序分析检测数值程序中高浮点误差的方法及系统获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN115858239B 。

龙图腾网通过国家知识产权局官网在2025-08-01发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202211537672.7，技术领域涉及：G06F11/14；该发明授权通过排序分析检测数值程序中高浮点误差的方法及系统是由易昕;于恒彪;王争;陈立前;苏醒;姜浩;唐滔;彭林;黄春设计研发完成，并于2022-12-02向国家知识产权局提交的专利申请。

本通过排序分析检测数值程序中高浮点误差的方法及系统在说明书摘要公布了：本发明公开了一种通过排序分析检测数值程序中高浮点误差的方法及系统，本发明方法包括将待测的数值程序对应的输入域进行区间划分；针对每个区间随机选择多个点计算适应性函数的值并选择值最大的前k个区间；针对前k个区间，基于适应性函数的指导下使用蒙特卡洛采样算法进行搜索k个输入，基于适应性函数计算对应的浮点误差并选取值最大的j个浮点误差，在适应性函数的指导下调用Nelder‑Mead算法进行局部搜索最终结果。本发明基于提出的搜索指导函数对每个被划分的区间进行全面、有效的筛选从而得到最有可能触发高浮点误差的几个区间，在确保高浮点误差检测正确性的基础上极大的提升了性能，能够快速减少搜索空间以加速搜索过程。

本发明授权通过排序分析检测数值程序中高浮点误差的方法及系统在权利要求书中公布了：1.一种通过排序分析检测数值程序中高浮点误差的方法，其特征在于，包括： S101，将待测的数值程序fpx对应的输入域Iinit按照2的指数幂进行区间划分； S102，针对划分后的每个区间ij随机选择m个点计算第一适应性函数fit1的值，根据n个区间的第一适应性函数fit1的值进行排序并选择值最大的前k个区间； S103，针对前k个区间，在第二适应性函数fit2x的指导下使用蒙特卡洛采样算法进行搜索得到k个可能触发高浮点误差的输入；然后基于第三适应性函数fit3x计算得到k个可能触发高浮点误差的输入对应的浮点误差，选取值最大的j个浮点误差； S104，针对选取的值最大的j个浮点误差，在第三适应性函数fit3x的指导下调用Nelder-Mead算法进行局部搜索得到j个浮点误差位ErrBits，从j个浮点误差位ErrBits中选取值最大的一个浮点误差位ErrBits作为待测数值程序fpx的最大浮点误差maxerr，输出最大浮点误差maxerr及其相应的点xmax； 步骤S103中第三适应性函数fit3x的函数表达式为： fit3x=ErrBits{fx,fpx} 上式中，fx表示基准数学函数，fpx表示待测的数值程序，ErrBits{fx,fpx}表示先计算fx和fpx两个点之间的浮点数数量、再对该浮点数数量取log2对数，用于反映出fx和fpx两点之间浮点误差大小。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人中国人民解放军国防科技大学，其通讯地址为：410073 湖南省长沙市开福区砚瓦池正街47号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。