摘要 - 浮点精度调整(FPPT)搜索TAR-获取可降低精确度的计算程序的程序,从而交易绩效准确性。fppt通过搜索程序变体的混合精确设计空间来最大程度地受到某些正确性crite-crite-ria的约束。鉴于它们的计算强度和复杂性,天气和气候模型呈现出主要的FPPT目标。然而,过去在该领域的FPPT尝试受到域专家(乏味)和低精度仿真(掩盖速度)的手动努力的限制。自动化和性能引导的技术自然是感兴趣的,但尚未在此规模上探索。由定制的福特转换工具促进,本文介绍了第一个案例研究:基于在三个现实世界中的天气和气候模型中将FPPT应用于计算热点的各种结果(MPAS-A,ADCIRC和MOM6)(MOM6),我们确定和讨论了众多的范围,以获取最佳的范围,以获取最佳的范围。 这。
主要关键词