Workshop on Verification and Validation in Computational Science

该研讨会将汇集来自应用数学和广泛的计算科学学科的参与者，主要关注非线性偏微分方程（PDEs）的解，目的是与具有相似基本兴趣但不同应用领域的参与者分享他们的专业知识，技术和问题问题。来自不同学科的五位主讲人接受了邀请，他们的应用领域包括生物工程、自动驾驶汽车动力学、计算力学、空气动力学和物理学。将引出应用数学发挥强大作用的特定领域，包括多尺度和多物理场问题，具有非线性问题和不确定性量化实用度量的单网格误差估计器。应用数学家、研究生、博士后研究人员、年轻教师和代表性不足的群体将通过申请国家科学基金会的旅费资助来参与。这项工作的智力价值体现在它解决了一个从根本上具有挑战性的主题：如何以一种既尊重基础数学又尊重实验观察的方式，用计算工具捕捉复杂的多尺度现象。对于非线性多尺度问题，这些答案并不容易；然而，他们的理解对国家的重要领域至关重要，这些领域现在正在使用严格的预测工具。具体的例子包括洪水和风暴潮动力学、地下水污染物流动、人体血液循环对手术干预的反应、燃烧和消防安全、民用基础设施（如桥梁和道路）对刺激的反应，以及各种航空航天应用。该研讨会将汇集一些世界领先的专家在不同领域的物理，数学和计算科学。讲习班的广泛影响也很明显。由于决策者和领导者，以及整个社会，越来越依赖于计算方法来辅助决策过程，因此，这些方法的预测可以被非专家自信地使用，这符合所有人的利益。讲习班将提高各主要科学界对一些关键问题和核查和确认方法的认识。此外，讲习班将通过向代表性不足的群体成员提供国家科学基金会支持的旅行补助金，寻求广泛的科学界的参与。

The proposed workshop will bring together participants from applied mathematics and a wide range of computational science disciplines, mostly concerned with the solution of nonlinear partial differential equations (PDEs), for the purpose of sharing their expertise, techniques, and problematical issues with participants of similar basic interest but differing application areas. Five keynote speakers from diverse disciplines have accepted invitations to speak, with application fields of bioengineering, autonomous vehicle dynamics, computational mechanics, aerodynamics, and physics. Specific areas where applied mathematics plays a strong role will be elicited, including multiscale and multiphysics problems, single-grid error estimators with practical metrics for nonlinear problems and uncertainty quantification. Participation by applied mathematicians, graduate students, post-doctoral researchers, young faculty, and under-represented groups will be encouraged through the application of NSF funds towards travel grants. The intellectual merit of the work is embodied in its addressing a fundamentally challenging topic: how to capture complicated multiscale phenomena with computational tools in a fashion which respects both the underlying mathematics as well as experimental observation. For non-linear multiscale problems, these answers are not easy; however, their understanding is critical in areas of importance to the nation where rigorous predictive tools are now being used. Specific examples include flood and storm surge dynamics, groundwater contaminant flow, human blood circulation response to surgical interventions, combustion and fire safety, response of civilian infrastructure such as bridges and roads to stimuli, as well as a variety of aerospace applications. The workshop will bring together some of the world's leading experts in a diverse set of fields in the physical, mathematical, and computational sciences. The broader impacts of the Workshop are clear as well. Since decision-makers and leaders, and thus society at large, are relying more and more on computational methods to aid in decision-making process, it is in the interest of all that the predictions of these methods can be used with confidence by non-experts. The Workshop will raise awareness in a variety of key scientific communities of some of the critical issues and methods for verification and validation. Additionally, the Workshop will seek participation from a broad range of the scientific community by making available NSF-supported travel grants to members of under-represented groups.