2. 验证与确认(V&V)基础

在材料仿真中,最容易混淆的不是求解器怎么用,而是“我到底在证明什么”。验证(Verification)回答的是“方程解对了吗”,确认(Validation)回答的是“方程选对了吗”。前者是数学与数值问题,后者是物理与工程问题。把这两件事混为一谈,就会出现“网格收敛了所以模型可信”这类逻辑跳跃。本节围绕 V&V、UQ、校准与预测能力四个核心术语展开辨析,并梳理 ASME V&V 10/20 与 NASA 标准给出的规范框架。

一、四个术语的边界

验证(Verification)关注计算是否忠实于所建立的数学模型,分为代码验证与解验证。代码验证检查软件实现是否与离散方程一致,常用制造解方法(MMS)和网格收敛指数(GCI);解验证则估计离散误差,回答“网格足够细了吗”。验证过程不需要实验数据,它的参照物是数学解本身。

确认(Validation)关注数学模型是否真实刻画了物理现实,参照物是实验或现场观测数据。确认要回答的是:在给定应用场景与精度要求下,模型能否复现关键物理量。确认的难点在于同时量化数值误差、输入参数不确定性与实验测量不确定性,否则无法判断模型与实验的偏差究竟来自哪里。

不确定性量化(UQ)是贯穿 V&V 的方法论,负责把输入参数、边界条件、材料属性、几何与数值离散中的不确定性传播到输出量,给出置信区间而非单一数值。UQ 不是 V&V 的替代,而是让验证与确认的结论具备统计意义的基础设施。

校准(Calibration)是利用实验数据反向调整模型参数,使模型输出逼近观测值。校准与确认的关键区别在于数据使用:用于校准的数据不能再用于确认,否则会高估模型预测能力。规范要求校准与确认使用相互独立的实验数据集。

预测能力(Predictive Capability)是 V&V 与 UQ 的最终产出,指模型在未参与校准与确认的新工况下,以可量化的置信水平给出预测。预测能力不是“模型跑通了”,而是“在指定应用域内,预测结果带有可信的不确定度区间”。

V&V、UQ、校准与预测能力的关系框架 验证 Verification 问题:方程解对了吗? 参照:数学解 / 离散方程 手段:MMS、GCI、网格收敛 不需要实验数据 确认 Validation 问题:方程选对了吗? 参照:实验 / 现场观测 手段:对比曲线、误差带 需独立实验数据集 不确定性量化 UQ 输入:材料、边界、几何 传播:蒙特卡洛 / 谱方法 输出:置信区间、概率分布 贯穿验证与确认全过程 校准 Calibration 用实验数据反调模型参数 校准数据 ≠ 确认数据 参数更新 预测能力 Predictive Capability 新工况下带置信区间的预测 = 验证 + 确认 + UQ + 独立数据 ASME V&V 10 固体力学计算模型 验证与确认标准 ASME V&V 20 计算流体力学 与传热 V&V 标准

二、ASME V&V 10 与 V&V 20 的定位差异

ASME V&V 10 面向固体力学计算模型,其核心结构是“验证—确认—不确定性量化—预测”四段式。它强调先做代码验证与解验证,再进入确认阶段;确认时要求明确应用域、精度目标与验收准则。V&V 10 特别重视“层级验证”思想:从单元测试、子模型到全模型逐级验证,避免一次性把误差归因于整个模型。

ASME V&V 20 面向计算流体力学与传热,结构上与 V&V 10 同源,但对湍流模型、边界层网格、迭代收敛与统计稳态的判定给出了更具体的操作要求。例如,V&V 20 要求报告网格收敛指数时同时给出观测阶与渐近比,并要求确认过程区分“模型形式误差”与“参数误差”。

两者共同的原则是:验证与确认必须分离,校准数据与确认数据必须独立,不确定性必须显式量化,验收准则必须在计算前定义。这些原则比具体公式更重要,因为它们决定了结论是否可辩护。

三、NASA 标准与预测能力评估

NASA 的 CFD 验证与确认标准(如 NASA-STD-7009 及配套指南)把 V&V 与 UQ 整合为“预测能力评估”流程。其典型做法是:先定义应用域与关注量(QoI),再分别评估数值误差、输入不确定性、模型形式误差与实验不确定性,最后合成总不确定度,判断模型是否满足决策所需的置信水平。

NASA 框架的一个关键贡献是把“模型形式误差”单独列出。模型形式误差来自物理假设本身,例如本构模型是否忽略损伤演化、湍流模型是否适用于分离流。它不能通过网格加密消除,只能通过多模型对比、实验数据检验或专家判断来估计。忽略模型形式误差,是工程仿真中预测能力被高估的最常见原因。

四、一个可操作的术语对照示例

假设对某金属材料拉伸过程建立弹塑性有限元模型,关注量为颈缩前的载荷—位移曲线。可以按以下方式区分四类活动:

  • 代码验证:用制造解方法构造一个已知解析解的位移场,检查单元刚度矩阵与装配过程是否正确,误差应随网格加密按理论阶收敛。
  • 解验证:对同一拉伸模型做 3 套网格(如 0.5 mm、0.25 mm、0.125 mm),计算 GCI,确认载荷峰值对网格的敏感度低于 2%。
  • 校准:用 3 组低应变速率实验数据反调硬化参数,得到参数后验分布。
  • 确认:用另一组未参与校准的高应变速率实验数据,比较载荷—位移曲线的误差带是否落在 UQ 给出的 95% 置信区间内。

如果确认失败,不能直接回头调参数,否则就退化为校准。正确做法是检查模型形式误差:是否缺少应变速率强化项、是否忽略温度效应、边界条件是否与实验夹具一致。只有定位到模型结构问题,才可能真正提升预测能力。

判断准则:验证看收敛阶与 GCI,确认看误差带与置信区间,校准看参数后验分布,预测能力看新工况下的覆盖率。四者使用的数据、参照物与结论形式都不同,不能互相替代。

五、常见误区与规范要求

第一个误区是“网格无关即验证完成”。网格无关只说明离散误差可控,不说明代码实现正确,也不说明物理模型正确。第二个误区是“实验与仿真曲线重合即确认通过”。曲线重合可能来自参数校准,若使用同一批数据,确认结论无效。第三个误区是“给出单一预测值”。没有不确定度区间的预测,无法支撑工程决策。

规范框架给出的共同要求可以归纳为:明确应用域与关注量;分离验证与确认;校准与确认数据独立;显式量化数值误差、参数不确定性与模型形式误差;在计算前定义验收准则;记录所有假设与数据来源。这些要求不依赖具体软件,也不依赖具体材料体系,是材料仿真可信度的通用底线。

把 V&V、UQ、校准与预测能力放在同一张关系图中理解,可以避免“用校准冒充确认、用验证冒充预测”的常见错误。下一阶段的工作,是在具体材料体系与加载工况下,把上述框架落实为可执行的验证矩阵与确认实验设计。