Computational Methods for Verification and Validation with Applications in Mechanics

计算科学与工程是一门专注于物理现象和工程系统的计算机模拟的学科，多年来已经取得了很大的成熟，今天被广泛考虑用于设计和决策，无论是材料科学，航空航天应用，与天气有关的灾害监测，制造过程控制等。然而，人们也承认，由于对数学模型及其参数的了解不完善，对计算机预测的信心往往有限。事实上，由于模拟的多物理场和多尺度系统的复杂性，比以往任何时候都更有必要确保预测在数量上是可靠的。为了评估模拟结果的可信度，需要对计算模型进行广泛的验证和验证过程。代码和解验证是确定计算模型产生的数值结果是否具有足够的精度，以便与实验数据进行有意义的比较的过程。验证是确定数学模型预测与必须做出的决策相关的物理事件的准确性的过程。验证和确认的主题并不新鲜，但是目前可用的方法和方法仍然更多地属于一门艺术，特别是在验证的情况下，而不是科学方法。本研究计划旨在为预测建模开发新的理论、方法和算法，并将集中在以下目标上：1)针对特定的感兴趣量构建自适应和验证的降阶模型（低秩近似，适当的正交分解等），目标是获得替代模型，以便快速准确地统计表征感兴趣的输出量；2)在数据稀缺的情况下，利用机器学习方法增强数据集的信息含量，进行参数推理和模型验证（如神经网络、深度学习、模型选择、交叉验证、重采样方法等）；3)应用图形方法来评估验证场景和数据选择的相关性，以正确地执行模型。在项目中开发的方法将在几个工程兴趣的应用中进行测试。该项目的成果将是一组用于验证和确认计算模型的计算工具。这项工作的独创性将是开发专门用于计算感兴趣数量的降阶模型，并集成机器学习技术以提高验证过程的可靠性。该项目不仅在计算力学领域，而且在任何其他严重依赖于复杂物理现象的计算机模拟的工程应用领域都应该产生影响。

Computational Sciences and Engineering, the discipline which focuses on computer simulations of physical phenomena and engineering systems, has gained great maturity over the years to the point that it is today widely considered for design and decision-making, either for material sciences, aerospace applications, weather-related disaster monitoring, control of manufacturing processes, etc. Yet, it is also acknowledged that confidence in computer predictions is often limited because of the imperfect knowledge of the mathematical models and their parameters. In fact, due to the complexity of the multiphysics and multiscale systems being simulated, it is, more than ever, essential to ensure that predictions be quantitatively reliable. The computational models need to be extensively subjected to verification and validation processes in order to assess the credibility of the simulation results. Code and Solution Verification is the process of determining whether computational models produce numerical results with sufficient accuracy for meaningful comparisons with experimental data. Validation is the process of determining the accuracy by which mathematical models can predict physical events with respect to a decision that has to be made. The topics of verification and validation are not new, but approaches and methodologies currently available still pertain more to an art, especially in the case of validation, than to a scientific approach. The proposed research program aims at developing new theories, methodologies, and algorithms for predictive modeling, and will concentrate on the following objectives: 1) Construction of adaptive and verified reduced-order models (low rank approximations, proper orthogonal decomposition, etc.) with respect to specific quantities of interest, the goal being to obtain surrogate models for fast and accurate statistical characterization of output quantities of interest; 2) Use of machine learning methods to enhance the information content of datasets for parameter inference and model validation in the case of scarce data (e.g. neural networks, deep learning, model selection, cross-validation, resampling methods, etc.); 3) Application of graphical methods to assess the relevance in the choice of validation scenarios and data to properly exercise a model. The methodologies developed in the project will be tested on several applications of engineering interest. Outcomes of the project will be a collection of computational tools for verification and validation of computational models. The originality of the work will be the development of reduced-order models tailored to the calculation of quantities of interest and the integration of machine learning techniques to enhance the reliability of validation processes. The project should have an impact not only in the field of computational mechanics but also in any other engineering applications that heavily rely on computer simulations of complex physical phenomena.