Workshop on Verification and Validation in Computational Science

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

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.