数值模拟是高性能计算的重要应用领域,科学计算应用软件是开展数值模拟研究的支撑工具,而置信度是科学计算应用软件的根本。置信度涉及物理建模、计算方法、基础算法、编程实现、舍入误差、高性能计算机环境等多个方面,其理论验证和实验确认涉及物理、数学和计算机多个学科,具有相当大的难度。当前,高速增长的高性能计算能力给予置信度新的挑战。本项目以数十万亿次乃至百万亿的典型科学计算为背景,围绕影响置信度的基础算法、编程实现和舍入误差三个方面,探索基于数值模拟支撑软件框架的应用软件可信构造方法,研究长时间数值积分中舍入误差的演化规律和控制方法,研究误差可控计算的基础数值并行算法,研制可信的基础数值构件,提出一套行之有效的可信应用软件的研制方法并付诸实施。本项目的预期研究成果将为高性能科学计算应用软件的置信度提供很好的支撑,具有重要的理论和实际应用价值。
英文主题词High performance scientific computing,Numerical application softwares, software construction methods, Reliable Numerical algorithms.