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

龙图腾网恭喜中国人民解放军国防科技大学申请的专利面向浮点编译优化结果差异性的输入生成方法、系统及介质获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN116185414B 。

龙图腾网通过国家知识产权局官网在2025-06-24发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202211096328.9，技术领域涉及：G06F8/41；该发明授权面向浮点编译优化结果差异性的输入生成方法、系统及介质是由于恒彪;易昕;陈振邦;沈洁;姜浩;唐滔;彭林;黄春设计研发完成，并于2022-09-08向国家知识产权局提交的专利申请。

本面向浮点编译优化结果差异性的输入生成方法、系统及介质在说明书摘要公布了：本发明公开了一种面向浮点编译优化结果差异性的输入生成方法、系统及介质，本发明包括构造可输出不同编译优化选项下执行的结果差异性的驱动程序；将浮点程序的输入域划分子空间，随机采样筛选有价值的样本；使用驱动程序执行有价值的样本所产生的结果差异性作为其适应值，采用马尔科夫链蒙特卡洛采样进一步搜索得到触发不同编译优化选项下结果差异性更大的样本。本发明能够快速产生输入使得浮点程序在不同编译优化选项下的输出结果差异尽可能大，所产生的输入既可以评估浮点程序在进行编译优化时是否满足程序的结果精度约束，也可以根据输入的执行信息进一步优化程序中的浮点计算方法，避免程序在进行编译激进优化时引入浮点精度丢失。

本发明授权面向浮点编译优化结果差异性的输入生成方法、系统及介质在权利要求书中公布了：1.一种面向浮点编译优化结果差异性的输入生成方法，其特征在于，包括： S101，根据给定的浮点程序FP，作为对比的编译优化选项flag1和flag2通过程序编译、链接构造驱动程序FP0，所述驱动程序FP0用于分别调用浮点程序FP在编译优化选项flag1和flag2下所编译生成的可执行版本FP1和FP2，并将可执行版本FP1和FP2针对同一输入进行计算的结果差异性作为输出； S102，将浮点程序FP的输入域C划分为指定数量的子空间，在每一个子空间内随机采样指定数量k个样本，并保存每个子区间中那些使得驱动程序FP0输出不为0或者在调用执行可执行版本FP1和FP2时所执行的浮点指令序列存在差异的样本作为待精化输入集合； S103，基于待精化输入集合，将一个输入在不同编译优化选项flag1和flag2下的结果差异性作为其适应值，采用马尔科夫链蒙特卡洛采样，进一步搜索得到触发结果更大差异性的样本并作为结果输出。

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