英语 ⇄ 中文 +

proof of analog results through a numerical equivalent routine
地球科学	用数字等效程序验证模拟结果
空间	通过数值等效程序验证模拟结果
计算	模拟结果的数字等效程序验证