龙图腾网&IPTOP
- 微信扫码登录
- 账号密码登录
- 短信登录/注册
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
申请/专利权人：三菱电机株式会社
摘要：本公开涉及一种用于将输入计算机程序转换为具有目标全局精度的输出计算机程序的计算机实现的方法，该方法包括：‑接收输入计算机程序中所包括的各个数学函数的目标内部精度；‑分析输入计算机程序以确定描述数学函数调用之间的依赖关系的依赖关系图，其中，针对各个处理的数学函数，通过以下步骤来根据依赖关系图处理数学函数：‑使用值范围确定工具以基于针对所处理的数学函数根据依赖关系图所依赖的数学函数获得的各个合成数学函数来生成所处理的数学函数的值范围；‑使用合成工具来生成具有目标内部精度的合成数学函数，其中，通过用对与各个数学函数对应的合成数学函数的调用替换各个数学函数调用来生成输出计算机程序。
主权项：1.一种用于将输入计算机程序转换为实现目标全局精度的输出计算机程序的计算机实现的方法，所述输入计算机程序包括应用于浮点变量的数学函数，并且所述目标全局精度对应于由于数学函数近似和或浮点舍入误差而引起的全局误差的界，所述方法包括以下步骤：-接收所述输入计算机程序中所包括的各个数学函数的目标内部精度，其中，所述目标内部精度对应于实现所述目标全局精度所需的所述数学函数的内部误差的相应界，-分析所述输入计算机程序以确定描述数学函数调用之间的依赖关系的依赖关系图，其中，所述方法还包括根据所述依赖关系图来处理所述数学函数的步骤，其中，所述处理的步骤包括对于各个处理的数学函数：-使用值范围确定工具以基于针对所述处理的数学函数根据所述依赖关系图所依赖的数学函数获得的各个合成数学函数来生成所述处理的数学函数的各个变量的值范围，-使用合成工具以基于所述处理的数学函数的各个变量的所述值范围来生成具有所述处理的数学函数的所述目标内部精度的合成数学函数，其中，所述方法还包括通过在所述输入计算机程序中用对与各个数学函数对应的合成数学函数的调用替换各个数学函数调用来生成所述输出计算机程序。
全文数据：
权利要求：
百度查询： 三菱电机株式会社 用于将输入计算机程序转换为输出计算机程序的方法和系统
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
主营中国专利交易买卖与专利转让许可,高校科技成果推广与科技成果转化,知识产权运营管理与平台开发,科技人才专家库与科技猎头等科技服务
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号