科学计算程序的验证和确认VV研究.pdfVIP

第四届全国计算爆炸力学会议论文集 * 科学计算程序的验证和确认（VV ） 王瑞利 袁国兴 林忠 北京应用物理与计算数学研究所，北京 100088 摘 要：在长期从事大型科学计算程序设计和应用程序研制的基础上，结合调研科学计算程序的验 证与确认文献，讨论和提出了科学计算程序的验证与确认（VV ）的一个模型。包括物理建模与数 值模拟，验证与确认的方法和过程。如离散误差与解误差，程序验证与解验证，确认实验与确认计 算，确认与预测的关系。 关键词：科学计算、程序、验证与确认（VV ） Verification and Validation in Scientific Computing Code Wang Ruili Yuan Guoxing Lin Zhong Institute of Applied Physics and Computational Mathematics, Box 8009, Beijing, China,100088 Abstract: Based on our work in developing application codes and scientific computing, and an extensive review of the literature in Verification Validation VV , this report presents verification and validation （ ） in scientific computing code, discusses methods and procedures for physical modeling, numerical simulation and fundamental issues in VV, such as discretization versus solution errors, code verification versus solution verification, validation experiments versus simulation in validation, and the relationship between validation and prediction. Key word: scientific computing, code, Verification Validation VV . （ ） 0 前 言 2005 年美国总统信息技术咨询委员会给总统的报告《计算科学：确保美国竞争力》[1]中指出： “计算科学是利用先进的计算能力去理解和解决复杂问题，它已成为科学领导地位、经济竞争力和 国家安全的关键。”高置信度的全过程的数值模拟成为努力争取的最终目标。 科学计算（Scientific Computing）或计算科学（Computational Science ）乃是科技整合下的一种 科学方法。它是一门新兴的边缘科学，是物理学、数学、计算机科学三者相结合的产物。概括起来， 科学计算是以计算机程序及计算机技术为工具和手段，利用数学所提供的各种方法，借助计算机高 速计算的能力，来解决现代科学、工程、经济或人文上的复杂科学问题的一门应用科学。也就是说 结合实际问题的物理现象，根据物理的定律或假设，导出反映此现象的数学模型或公式；通过数学 理论或分析，确定能数值求解此模型的计算方法；应用程序设计，研制能够可靠模拟的应用软件； 再经由计算机计算和分析之后，模拟、估计与预测此实际物理现象的整个过程，称为科学计算。 科学计算程序的验证和确认（Verification Validation ，简称VV ）是数值模拟的一个重要组成 * 国家自然科学基金资助项目）和计算物理重点实验室基金资助项目. 1964