科学计算中的验证：从原始到实用再到边界扩展

摘要

Joseph M. Powers 在 ASME V&V 2020 研讨会上的演讲，探讨了科学计算中验证（Verification）的概念谱系。演讲提出验证并非单一活动，而是从“原始”（Pristine，理想化问题）到“实用”（Practical，实际工程问题）再到“边界扩展”（Perimeter-Extending，探索新领域）的连续谱系。该框架帮助理解验证方法如何在不同复杂度和应用场景下演变和适用。

核心论点

• 验证是一个过程：验证不是一次性检查，而是贯穿整个科学计算生命周期的持续活动。
• 验证的谱系：从理想化问题的严格验证，到实际工程问题的实用验证，再到探索新领域的边界扩展验证。
• 严格性与范围的平衡：验证的严格性需要根据应用场景进行调整，边界扩展阶段尤其需要在严谨性和创新性之间取得平衡。

关键概念

• 验证 (Verification)：确认数学模型被正确求解（“解对了方程”）。
• 确认 (Validation)：确认数学模型代表了现实世界（“解对了问题”）。
• 机理模型 (Mechanistic Model)：基于物理、化学等基本原理构建的数学模型，是验证的主要对象。

演讲者

Joseph M. Powers，圣母大学航空航天与机械工程系教授。

相关页面

• [[验证]]
• [[确认]]
• [[科学计算]]
• [[机理模型]]
• [[v-and-v]]