validation

不确定度分析与误差传播

输入不确定度如何穿过 P(t) 的乘积形式传播:相对方差相加,最大的相对不确定度占主导,相关的输入增加协方差项,并附一个示意性的完整算例。

最后更新:

一个没有不确定度的预测不是科学陈述。一旦 Schubart Master Formula 为 P(t)P(t) 返回一个数,紧接着的问题是,鉴于它的输入——通量、截面、动量转移、声子速度、效率——各自都只知道到某个有限精度,这个数能被信任到什么程度。本章推导那些输入不确定度如何传播到输出,并得出一个因公式结构而异常清晰的结果:由于 PP 是各因子的乘积,这些因子的相对方差直接相加。这一个事实组织起整个分析,并一眼告诉我们哪个输入值得更仔细地测量。

乘积结构与对数微分

为传播之目的,把公式写成正因子的乘积,

P=∏ixi,P = \prod_i x_i ,

其中 xix_i 代表 Φ\Phi、σ\sigma、Δp\Delta p、vphv_{\text{ph}}、ηconv\eta_{\text{conv}} 以及任何携带不确定度的测度因子的有效值。通往传播律最干净的途径是在求微分之前取对数。因为乘积的对数是和,

ln⁡P=∑iln⁡xi,\ln P = \sum_i \ln x_i ,

微分可加地分离:

dln⁡P=∑idln⁡xi,that isdPP=∑idxixi.\mathrm{d}\ln P = \sum_i \mathrm{d}\ln x_i , \qquad\text{that is}\qquad \frac{\mathrm{d}P}{P} = \sum_i \frac{\mathrm{d}x_i}{x_i} .

这是精确的陈述:输出的分数变化是各输入分数变化之和——这是相乘形式的直接后果,也是随后一切的种子。

一阶传播:相对方差相加

为把微分变成方差,我们取 PP 关于均值 xˉi\bar x_i 的一阶泰勒展开。把 dxi\mathrm{d}x_i 解释为一个零均值、方差为 σxi2\sigma_{x_i}^2 的小随机偏差 δxi\delta x_i,并假设各因子统计独立,我们把关系式 δP/P=∑iδxi/xi\delta P/P = \sum_i \delta x_i/x_i 平方并取期望。在独立性下交叉项 ⟨δxi δxj⟩\langle \delta x_i\,\delta x_j\rangle 对 i≠ji\neq j 消失,只留下对角项:

(σPP)2=∑i(σxixi)2.\left(\frac{\sigma_P}{P}\right)^{2} = \sum_i \left(\frac{\sigma_{x_i}}{x_i}\right)^{2} .

这是本章的核心结果。输出的平方相对不确定度是各输入平方相对不确定度之和。等价地,相对不确定度以方和方式相加。它对任何独立因子的乘积都一阶成立,无论有多少个因子或它们携带什么单位——相对形式是无量纲的,因此通量(单位 W m−2 sr−1 J−1\mathrm{W\,m^{-2}\,sr^{-1}\,J^{-1}})和效率(无量纲)以完全相同的地位作贡献。

主导项行为

因为各贡献以方和方式相加,它们并不民主地相加:最大的相对不确定度主导该和。如果一个输入已知到 30%30\% 而其他各到 5%5\%,输出不确定度几乎完全由 30%30\% 这一项支配,因为 0.302=0.090.30^2 = 0.09 使 0.052=0.00250.05^2 = 0.0025 相形见绌。方和以二次方的方式压制小项,因此总量接近于那个单一的最差因子:

σPP≈max⁡iσxixiwhen one term dominates.\frac{\sigma_P}{P} \approx \max_i \frac{\sigma_{x_i}}{x_i} \quad\text{when one term dominates.}

实用后果是决定性的。花在收紧一个已经精确的因子上的努力几乎是浪费;回报来自更好地测量那个最不为人知的因子。在这个框架中,通常的嫌疑对象是破缺对称性的动量转移 Δp\Delta p,在sigma 分析中讨论,它通常是最难钉下的量,因此是设定输出精度的那一个。

相关的输入:协方差项

干净的方和律假设独立性。当两个输入相关时——因为它们共享一次共同测量、一次共同校准或一个真实的物理耦合——交叉项不再消失,传播律就获得协方差贡献:

(σPP)2=∑i(σxixi)2+2∑i<jcov(xi,xj)xi xj.\left(\frac{\sigma_P}{P}\right)^{2} = \sum_i \left(\frac{\sigma_{x_i}}{x_i}\right)^{2} + 2\sum_{i<j} \frac{\mathrm{cov}(x_i,x_j)}{x_i\,x_j} .

该修正的符号要紧。正相关的因子(二者一起向上漂移)把输出方差抬高到独立估计之上;负相关的因子部分抵消而降低它。因此忽略一个真实的正相关会产生一个虚假乐观的误差棒——这是不确定度报告中最常见的失败模式之一。此处相关的关联恰恰是在假设与局限中被标记为假设 A 崩溃的那些因子耦合:凡是乘积形式受到饱和或反馈威胁之处,协方差项就是那一威胁的定量指纹。

示意性完整算例

考虑一组纯粹示意性的相对不确定度,仅选来展示算术——它们都不是任何系统的测量值:

  • 通量 Φ\Phi:10%10\%,
  • 截面 σ\sigma:15%15\%,
  • 动量转移 Δp\Delta p:25%25\%,
  • 声子速度 vphv_{\text{ph}}:5%5\%,
  • 效率 ηconv\eta_{\text{conv}}:8%8\%。

假设独立性,输出相对方差是方和

(σPP)2=0.102+0.152+0.252+0.052+0.082=0.01+0.0225+0.0625+0.0025+0.0064=0.1039,\left(\frac{\sigma_P}{P}\right)^{2} = 0.10^2 + 0.15^2 + 0.25^2 + 0.05^2 + 0.08^2 = 0.01 + 0.0225 + 0.0625 + 0.0025 + 0.0064 = 0.1039 ,

于是

σPP=0.1039≈0.32,\frac{\sigma_P}{P} = \sqrt{0.1039} \approx 0.32 ,

约 32%32\%。注意 Δp\Delta p 一项(0.06250.0625)如何单独就提供了一多半的总量,而 5%5\% 的声子速度项(0.00250.0025)基本可忽略。这就是主导项行为的具体化:输出精度几乎完全由最不为人知的输入设定。如果截面和动量转移之间存在一个正相关,比如 cov(σ,Δp)/(σ Δp)=+0.02\mathrm{cov}(\sigma,\Delta p)/(\sigma\,\Delta p) = +0.02,那么额外项 2×0.02=0.042\times0.02 = 0.04 会把方差推到 0.1440.144,把输出不确定度推到 ≈38%\approx 38\%——一个来自适度相关的可观展宽。此处的数字是示意性的量级,不是主张。

与蒙特卡罗抽样的联系

上述一阶律是一个线性化近似,仅在小偏差和局部线性响应的极限下精确。因为 PP 是正因子的乘积,其输出分布通常是偏斜且长尾的而非高斯的,一个对称的 ±σP\pm\sigma_P 区间会低估上尾。捕捉完整分布的严格方式是从输入的联合分布中抽样,并对每次抽取求值公式——即蒙特卡罗验证中描述的前向蒙特卡罗传播。只要输入是从一个具有正确协方差结构的联合分布中抽取,那个过程就不作任何线性假设,并自动尊重相关。在小不确定度极限下,蒙特卡罗离散再现上述方和律,这就是为何二者是彼此的一致性检验:解析律给出直觉和主导项诊断,而抽样给出诚实的、可能不对称的输出分布。那个分布的宽度就是在整个框架中报告的模型一致性 sigma,它可以在游乐场中交互地探索。一个完全算出的数值实例在完整算例中贯穿始终,而把总方差在各因子间的分摊——该先测量哪一项——作为一份正式的误差预算在敏感性与误差预算中展开。

延伸阅读

  • J. R. Taylor, An Introduction to Error Analysis: The Study of Uncertainties in Physical Measurements, 2nd ed. (University Science Books, 1997) —— 关于乘积法则和相对不确定度方和相加的标准论述。
  • JCGM 100:2008, Evaluation of Measurement Data — Guide to the Expression of Uncertainty in Measurement (GUM) —— 不确定度传播律的权威陈述,包括协方差项。
  • JCGM 101:2008, Supplement 1 — Propagation of distributions using a Monte Carlo method —— 当线性化律不足时蒙特卡罗传播的参考。
↑