验证 (Verification)

验证（Verification）是科学计算中的核心过程，旨在确认数学模型被正确求解，即“解对了方程”（solving the equations right）。它与确认（Validation）共同构成 V&V 框架。

验证的谱系

根据 Joseph M. Powers 的框架，验证可分为三个层次：

1. 原始验证 (Pristine)：针对理想化、简化问题的严格验证。通常使用已知解析解或高度精确的数值解作为基准。
2. 实用验证 (Practical)：针对实际工程问题的验证。由于问题复杂，需要采用更灵活的验证策略，如网格收敛性分析、代码比较等。
3. 边界扩展验证 (Perimeter-Extending)：针对新领域、新问题的验证。在缺乏已知解的情况下，需要创新验证方法，同时保持严谨性。

与确认的区别

• 验证：关注计算过程是否正确（解对了方程）。
• 确认：关注模型是否代表现实（解对了问题）。

应用领域

• 航空航天工程
• 机械工程
• 气候模拟
• 工业软件

相关页面

• [[确认]]
• [[科学计算]]
• [[机理模型]]
• [[v-and-v]]
• [[joseph-m-powers]]