Workshop on Validation and Verification in Engineering and Disease Control

在许多工程和科学领域中，验证和验证（Validation and Verification, V&amp；V）是可靠解决大型复杂问题的重要组成部分。它们讨论了所选数学模型的可靠性，以及根据现有实验数据和不确定性对感兴趣的物理和医学现象进行预测的数值处理。这些预测是重要的工程、科学、公共卫生等决策的基础。虽然在过去几年中很少举行关于这一一般性主题的讲习班，但拟议的讲习班将集中讨论工程（海军飞机的尾钩）和医学（诸如流感等空间疾病的传播和控制）方面的具体问题。将展示建模、验证、验证和预测的整个过程及其理论基础。研讨会将汇集工程师、实验学家、数学家、统计学家和公共卫生监测专家，共同讨论V& &；V的基本问题与具体问题和一般问题的关系，特别是大规模计算科学问题。良好的V&amp；V程序对于极端尺度计算模拟至关重要。

Validation and Verification (V&V) are essential parts for reliable solution of large complex problems in many fields of engineering and science. They address the reliability of the selected mathematical models and their numerical treatment for prediction of physical and medical phenomena of interest in the view of the available experimental data and uncertainties. Such predictions are the basis for important engineering, scientific, public health, etc. decisions. Although few workshops on this general topic have taken place in last few years the proposed workshop will concentrate on specific problems in engineering (tail hook of the Navy airplane) and medicine (spread & control of spatial diseases such as influenza). It will show the entire process of the modeling, validation, verification and prediction and its theoretical basis. The workshop will bring together engineers, experimentalists, mathematicians, statisticians and public health surveillance experts to discuss together the fundamental problem of V&V in the relation to the specific problems and in general, especially for the large scale computational science problem. Good procedures for V&V are crucial for extreme scale computational simulation.