-
公开(公告)号：CN118679450A
公开(公告)日：2024-09-20
申请号：CN202380017287.6
申请日：2023-01-30
Applicant: 三菱电机株式会社
IPC: G06F7/499
Abstract: 本公开涉及一种用于将输入计算机程序转换为具有目标全局精度的输出计算机程序的计算机实现的方法，该方法包括：‑接收输入计算机程序中所包括的各个数学函数的目标内部精度；‑分析输入计算机程序以确定描述数学函数调用之间的依赖关系的依赖关系图，其中，针对各个处理的数学函数，通过以下步骤来根据依赖关系图处理数学函数：‑使用值范围确定工具以基于针对所处理的数学函数根据依赖关系图所依赖的数学函数获得的各个合成数学函数来生成所处理的数学函数的值范围；‑使用合成工具来生成具有目标内部精度的合成数学函数，其中，通过用对与各个数学函数对应的合成数学函数的调用替换各个数学函数调用来生成输出计算机程序。
Search Results
1
records
(took 0.015 seconds)
筛选
AND
AND
过滤
NOT
NOT
Scan to Join
