科学计算程序的验证和确认  

Verification and Validation in Scientific Computing Code

作　　者：王瑞利[1] 林忠[1] 袁国兴[1] 

机构地区：[1]北京应用物理与计算数学研究所,北京100088

出　　处：《北京理工大学学报》2010年第3期353-356,360,共5页Transactions of Beijing Institute of Technology

基　　金：国家自然科学基金资助项目(90718029);计算物理重点实验室基金项目(9140C6902010903)

摘　　要：针对科学计算中工程应用程序的研制和预测能力的评估,基于应用程序研制的过程与软件开发的生命周期,提出了一种科学计算程序验证与确认(V&V)模型.论述了物理建模、数值模拟与科学计算程序验证与确认的关系,以及科学计算程序验证与确认的方法,为科学计算程序验证与确认提供一种置信度评估方法.Aiming at the developing of application codes and the assessment of prediction capability in scientific computing, a type of model for verification and validation in scientific computing code is proposed and designed based on the procedures of application codes designing and the cycle of software developing in this paper. The relations of physical modeling and numerical simulation to verification ＆ validation in scientific computing code are explored. It is also proposed the methods and procedures for verification and validation in scientific computing code. The motivation of this model is to afford an assessment method for verification validation in scientific computing code.

关 键 词：科学计算 程序设计 验证与确认(V&V) 

分 类 号：O241[理学—计算数学]