1.前言 数值求解海洋与大气方程组可以看做是初边值问题。即给定初始条件和边界条件，方程封闭，即可求解。因此，如果想要得到精准的结果，需要保证满足两点，其一是控制方程能很好的描述海洋大气的物理运动机制，其二是需要初边值条件精确。从前面讲过的有限差分方程离散的形式可以看到，如果初始条件和实际情况有误差，这个误差会随着时间迭代一步步的积累下去。这样是我们看天气预报，能发现短期预报通常都很准，而长时间预报经常不准。不仅仅是初始条件的误差，整个模式系统不能收敛的误差都会随着时间迭代逐渐累积下去，使得结果变得渐渐无法接受。1 { y |! J; j" m8 a' t
资料同化技术，可以一定程度上解决这一问题。资料同化，就是利用观测资料来修正模式结果，使得模式结果不偏离观测的结果。比如，针对上述问题，如果时间迭代每进行一定步数，就用以掌握的观测资料去修正结果的偏差，就能很好的解决上述问题。不仅是对模式结果的修正，在实际预报中，如何给出准确合理的初始条件（初始场）也是一个需要解决的问题。资料同化技术对模式预报的结果有显著影响，是业务化预报中不可缺少的一环。
2 Y) W( T" l4 t% r' V: D 如今，在业务化预报中数据同化技术发展成熟，基本是以3DVar（三维变分同化）、4DVar（四维变分同化）和集合卡尔曼滤波为主。要想理解3DVar和4DVar，就需要理解贝叶斯理论和极大似然估计，以及一些基本的变分学理论。若想理解集合卡尔曼滤波，就需要懂得最小方差估计等理论的思想。这些方法需要有充分的数学基础，才能更好的理解。因此，本文计划从同化的传统方法讲起，分几篇文章，试图用相对易懂的语言来讲解这些数据同化技术。在最后，从全局的角度分析一下这些方法的相同与不同。
4 l- Z1 b8 K" C 如果想深入了解气象资料同化，推荐《资料同化理论和应用（上册）》这本书，关于该书的详细信息见文末参考资料。本文部分内容参考该书，因此沿用了该书的符号表示。8 `/ I, S* M$ B9 g$ D6 ?
2.最小方差估计 最小方差估计是本文接下来要讲到的逐步订正法和最优插值法的理论基础。之所以在这些方法的视角下，资料同化是统计问题，是因为我们不知道真值是什么，只能通过观测值和模式结果值去估计真值，从而把模式计算的结果趋向于真值方向修正。$ n; O2 _/ i7 z: h, J) u p
假设一个真值 ，不妨视为某时刻某个地区的温度值，而对这个地区的温度有 个观测资料， 。首先需要假设这 个观测资料的平均误差是0，误差之间不相关。
; V0 Z& n) W' _1 a& V' v; C; l+ t2 x: ]# L4 [' _4 f3 V
即可得到线性估计的形式如下。即使用这 个观测资料线性组合出一个分析值 。; ~4 s* ?/ {: X6 Q
* g/ ]- ^1 M5 P4 W
8 ]/ _; I2 J$ D3 Q8 J
4 S7 c$ U% n& p2 R
因为要满足无偏条件，因此系数的和为1。
8 B1 G8 c8 C" q0 R! E# F; v
2 P6 Z7 e7 k; H, J7 M* o# f
( t3 L+ h) F! p4 ~9 u 紧接着就可得出分析值的误差方差和观测值的误差方差的关系。
' C4 C d3 o" j2 `, m) ~4 P4 ?& G! x) n# w: Z
% _( a* _ G% E D8 M$ v x
这样我们就得到了一个有约束的优化问题，形式如下。在满足无偏的条件下，使得分析值的误差方差尽可能小，这样分析结果就变得更可能精准。
. C$ O3 H8 e! W* e3 D/ J0 \
0 B2 h' a: [6 L7 w1 v0 ^% d8 ~4 _: W; O# _
在高数中，面对求条件极值的问题，学过一种方法叫拉格朗日乘数法。把上述优化问题即可从有约束优化问题转化成无约束优化问题，求该拉格朗日函数的极小值即可。
' t3 n1 F1 ~6 h, ?2 D; x* l6 Q! L+ ^ e! y" s8 h6 B
! i" h3 M2 C) |% O
求极小值的方法就是使得其对各个量的偏导数同时为0。
7 d! _% K6 U7 c+ ~+ f1 y8 ]& G! w
( I6 { b* Y e, U p4 Q7 B# k. P/ w( U. V' M! h/ ^
这样就求出了各个观测值的权重值，即5 G7 E% ~ ^) J( `1 M
5 }3 s" ?0 C! L: O6 A
# {% F2 K7 Z( Y. B) [ 如果想分析结果的优劣，可以推导出分析值的误差如下。
& r$ D1 {6 m' ], I& L2 @& N, ~0 _* H1 \$ C( [& t
! R0 I$ G3 V1 F4 L* f* ? 从上式可以看出，每增加一个观测点，就算其很不精确（即方差很大），分析值的误差方差也是朝着变小的方向发展，而且误差方差很大的观测值会被给予很小的权重。, U/ w8 e+ T8 T. Y h) O, L/ I
然而，理想很好，但现实却总是和理想有偏差。因为无法知道真值，进而无法计算背景场的误差方差，从而无法精确得到加权系数。因此，针对不同类型的问题，产生了经验权重函数。& d. M' i" W) s6 T( Q
3.逐步订正法 把上述思想应用到具体问题，就可以得到如下模型。
2 Q/ j2 O1 U/ T+ K5 S) H
$ T$ {+ P: v# s' K4 ~" b- Y7 d* e' f& Z9 a# _
该形式是由最小方差估计推导而来，其中 为分析场， 为背景场。不妨把背景场理解为待同化的场，比如用模式计算的某一步的结果，用这一步的结果结合 观测场去得到一个更准确的分析场 ，以此来修正计算结果。可以看出，该方法的思想是，使用背景场和周围的k个观测点的值与背景场之差加权求和得来。
# \2 [! ?/ d" R) S! u' z5 h% S- u. G
/ b' k+ z# f( A) X2 \! R+ V- {4 e 上面是从场的角度说明该同化方法的思路，为了更便于理解，从场中某一个点来描述该方法的思路。为了同化某一点的值，首先需要定义一个影响半径 ，意思是要使用在这个半径范围内的观测点来进行同化，比如要同化东方明珠处的气温值，影响半径可以设置为上海这么大，这样就只需要借助上海几个气象站的观测值进行同化即可，而太远的观测点的观测值则意义不大，而且即使使用了权重也会很小。将影响半径 内的总观测点数计为k。两种经验权重函数如下所示，这些权重都是随着观测站的距离变远而减小的。' L4 Y! |" _& y3 F9 q
- W$ r A7 \) Y; x q
y( P0 t" x: r7 v
/ Q' `; _* }3 f, n3 a 综上，该方法的计算公式如下所示。
6 P: T: ^# h8 ^ q3 J, {9 f
{' @4 [1 }# a7 ]' c- c4 j
$ r: b6 N. Z6 K; O! B) g 总结一下，该方法为单点分析方案，即在同化不同点的过程是独立的，只与自己周围的k个点做计算。而且是背景场和观测值的增量做加权平均。" H2 t) l$ ?+ n" ^0 ?3 e' y
4.最优插值法 该方法的同化模型和上述逐步订正法的形式一致，只是在计算权重时不再使用经验函数。写成矩阵形式则如下所示。还是延续上文所使用的变量记法， & j. q9 ^; {2 x' z( ?) d
* r5 u$ N& g; Q* K, W$ \
+ ]& C9 y. t+ {" |) i% S4 Q
3 {" G, K" e- n; P% q2 }5 Q. J 背景场协方差矩阵如下
, r7 @% I) p0 c% O* }5 t; j 观测场协方差矩阵如下
4 \: Y9 G* ?- n; w/ m# G5 ? 第i个背景场协方差的向量如下( Q& v- u$ g& @6 E+ M" \% y
使用最小方差估计的方法可推导得到如下所示的权重函数表达式，若对推导过程感兴趣可查阅文末参考资料。
* m, Q1 `8 w3 H
8 @( t; k% |/ ^1 L+ \
8 V5 b" N% g; w* W1 J 因不知道所谓的真值，因此无法准确快速的求解协方差矩阵。因此，最优插值法的主要难点在于协方差矩阵的估计。估计协方差矩阵因特定问题而异，本文只对其基本思想简单概述，想了解更多信息可查阅相关资料。9 v3 _% Z9 V, ?6 u" L
集合卡尔曼滤波和变分同化方法所涉及的内容较多，之后会单独更新几篇文章来对其进行介绍。; j4 q( ^/ c" j, `, M; R4 h' x
版权声明 本文创作的初衷是用于帮助数值模式的学习者。欢迎转载，转载请私信并注明作者和出处，请勿用于任何商业用途。
+ E6 B5 E/ C5 f; G& ~' {参考资料资料同化理论和应用（上册）. 邹晓蕾著. 气象出版社, 2009.
5 q+ `* I8 Y: f, C( V+ |4 _大气模式、资料同化和可预报性. Kalnay E, 蒲朝霞译. 气象出版社, 2005.7 h) ?' H5 t* |& x; D& g2 N
) c# A g# v9 i* @, {" {' R- | |
2 x/ j. E0 p4 x7 s8 P& a1 Y
) \2 Z0 f+ Q6 a4 E: N( S