反演原理及公式介绍
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
第一章反演理论
第一节基本概念
一.反演和正演
1.反演
反演是一个很广的概念,根据地震波场、地球自由振荡、交变电磁场、重力场以及热学等地球物理观测数据去推测地球内部的结构形态及物质成分,来定量计算各种有关的物理参数,这些都可以归结为反演问题。
在地震勘探中,反演的一个重要应用就是由地震记录得到波阻抗。
有反演,还有正演。
要正确理解反演问题,还要知道正演的概念。
2.正演
正演和反演相反,它是对一个假设的地质模型,给定某些参数(如速度、层数、厚度)用理论关系式(数学模型)推导出某种可测量的量(如地震波)。
在地震勘探中,正演的一个重要应用就是制作合成地震记录。
3.例子
考虑地球内部的温度分布,假定地球内部的温度随深度线性增加,其关系式可表示成:T(z)=a+bz
正演:给定a和b,求不同深度z的对应温度T(z)
反演:已经在不同点z测得T(z),求a和b。
二.反演问题描述和公式表达的几个重要问题
1.应用哪种参数化方式——离散的还是连续的?
2.地球物理数据的性质是什么?观测中的误差是什么?
3.问题能不能作为数学问题提出,如果能够,它是不是适定的?
4.对问题有无物理约束?
5.能获得什么类型的解,达到什么精度?要求得到近似解、解的范围、还是精确解?
6.问题是线性的还是非线性的?
7.问题是欠定的、超定的、还是适定的?
8.什么是问题的最好解法?
9.解的置信界限是什么?能否用其它方法来评价?
第二节反演的数学基础
一.解超定线性反问题
1.简单线性回归
可利用最小平方法确定参数a、b使误差的平方和最小。
⎪⎪⎩
⎪⎪⎨⎧∑-∑∑∑-∑=-=∑∑-=22)()(x x n y x xy
n b x b y n x b y a (1-2-1) 拟合公式为:
bx a y
+=ˆ (1-2-2) 该方法的公式原来只适用于解超定问题,但同样适用于欠定问题,当我们有多个参数时,称为多元回归,在地球物理领域广泛采用这种方法。
此过程用矩阵形式表示,则称为广义最小平方法矩阵方演。
2.非约束最小平方法反演——广义矩阵方法
由前面讨论可知,参数估计的最小平方方法用矩阵公式表示,所得到的算法等价于一个或多个模型参数的一个或多个数据集反演,步骤为:
问题定义→矩阵公式→最小平方解
线性问题采用广义矩阵形式
d=Gm (1-2-3)
对于精确的数据模型,参数m 为
m=G -1d (1-2-4)
但是由于试验误差,实际数据将不能精确拟合获得,故采用最小平方法求解。
解的矩阵表示式为
d G G G m
T T 1][ˆ-= (1-2-5) 上式具体计算时可用奇异值分解方法 G=U ∧V
T 最后,得
m
ˆ=(G T G )-1G T d=V ∧-1U T d (1-2-6) 二. 约束线性最小平方反演
为了得到最合适的解,通常可在方程d=Gm 中加先验信息,进行约束反演。
约束方程为
Dm=h (1-2-7)
D 一般为只有对角线有值的矩阵,我们希望朝着j h 偏置j m 使得ϕ最小。
ϕ=(d-Gm ()T d-Gm )+β2(Dm-h ()T
Dm-h ) (1-2-8)
如果D 是单位矩阵,可以得到约束解 c m ˆ=(G T G+β2I )1-(G T
d+β2h ) (1-2-9) 式中,β称为Lagrange 乘子。
三.解非线性反演问题
1.思路
在实际工作中许多问题都是非线性的,而非线性问题求解通常比较复杂,这样就产生这样一个问题,给定一些非线性问题,而它们又不服从简单的线性变换,那么能否用通用的方法使我们可以用一些线性反演的方法来估算未知模型参数,并最终求得问题的解决呢?答案是肯定的。
2.初始模型和线性化
对于非线性问题
d i =f i (m 1,m 2,…m p )=f i (m ), i=1,2,…n (1-2-10)
设m 0为初始模型,则其响应为
)(00m f d
= (1-2-11) 现假定f (m )在m 0附近是线性的,从而关于m 0的模型响应的微小摄动可以用Taylor 级
数展开为
或简记为
实际情况要考虑噪声
d=f (m )+e (1-2-12)
令y=d-f (m 0),m x m f A j ij δ=∂∂=,/,则有
e=d-)(m f =y-Ax (1-2-13)
e=y-Ax
这样,非线性问题转化成线性问题,我们可以用线性的方法求出问题的解。
四、无约束非线性反演
1.问题的公式化
目标函数:
q=e T e=(d-f(m))T (d-f(m)) (1-2-14)
利用前述结果,上式改写为
q=e T e=(y-Ax)T (y-Ax) (1-2-15)
2.问题的解法:Gauss-Newton 法
对参数摄动的最小平方解
y A A A x T T 1)(-= (1-2-16)
将摄动(x=δm )应用于起始模型m 0,迭代公式如下:
y A A A m m
T T k k 11)(-++= (1-2-17) 其中m k 为Jacobian 矩阵A 的赋值。
3.Gauss-Newton 法的局限性
当A T A 病态(本征值很小或近于0)时,计算的解会大到令人难以置信。
因此在实践当中,必须对m k 做x 的微小校正。
4.最速下降(梯度)法
初始模型仅在目标函数q 的负梯度方向予以校正,即 ⎭
⎬⎫⎩⎨⎧∂∂-=m q k x (1-2-18) 其中k 是合适的常数,进一步推导可得
y A k m f d kA m f d A k x T T T ]2[))((2))}((2{=-=---= (1-2-19)
以上方程中以[A T A]-1取代常数因子2k ,将变为方程1-2-16所定义的Gauss-Newton 法,
k 值决定校正步长。
但以上方程并不含有任何逆矩阵,因此较Gauss-Newton 法具备更好的起始收敛特征。
最速下降法当采用最小平方解法时,其收敛速率将下降,因此不宜在实际反演中应用。
5.对非稳定性和非收敛性的补救办法
当A T
A 是病态时,为防止无界解的增大,Levenberg (1944)提出了一种阻尼最小平方的方法,该方法可在Taylor 近似的逐次应用过程中,阻滞参数摄动的绝对值。
Levenberg 建议应在A T A 的主对角线上加一个随意选取的正的权因子,并且要显示出当权因子相等时,q 2的剩余和的方向导数为最小。
这种想法以后为Maequardt (1963,1970)用来开发了一种非常有用的非线性算法。
该技术称为岭回归(Ridge Regression )或Marquardt-Levenberg 方法,
是地球物理领域最常见的一种反演算法。
就其本质来讲,实际上是Gauss-Newton 法和最速下降法之间的内插,一种成功地结合二者有用特性的混合技术。
五、约束反演:岭回归或Marquardt-Levenberg 法
1.目标函数
)(20
21L x x e e q q T T -β+=β+=ϕ (1-2-20) 目的:误差和摄动量均取极小。
其中摄动量是新增的约束条件,从本质上讲,岭回归法实际上是约束非线性最小平方法。
β是Lagrange 乘子,可认为是阻尼因子。
如果β赋值近于0,则其解近似于Gauss-Newton 解。
2.问题的求解
求解方法与非约束最小平方法相同,最终的解为:
y A I A A x T T r 1][-β+= (1-2-21)
而后可将解x r 用于迭代过程
y A I A A m m T T k k 11][-+β++= (1-2-22)
其中A 是k+1次迭代对m k 求的值
][13210r k r k r k r k r k x x x x x m m ++++++=--- (1-2-23)
岭回归法实际上是最速下降法和Gauss-Newton 法二者相结合的混合技术。
当初始模型与问题的解相差甚远时,最速下降法起主要作用;而当接近于最终解时,最小平方法起主要作用。
六.非线性偏置估计
对一组既不完整又不准确的数据进行解释时,通常比较明智的做法是寻找一个和先验数据相一致的模型,这些先验数据可以是先前的地球物理研究数据,地质数据、测井数据,这些附加的先验信息可以帮助我们从不准确的实际数据得出的所有的解中求出最可信的一个,附有先验信息的反演问题可在一个统一的偏置估计框架内进行讨论。
此方法强调实际过程的简单有效,为清楚起见,在此种方法中将初始模型和先验信息加以区别。
1.理论基础
偏置估计的理论很简单,其基本原理类似于约束线性最小平方反演方法。
特别的是除起始(或初始)模型m 0外引入了先验信息h 。
同时,用对角线加权矩阵W=σ-1
I 来比例数据方程,使求解过程稳定。
2.应用先验信息的非线性反演
为设有p 个参数,h 为先验数据,Dm=h 形式的约束方程可表示为
⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣
⎡=p p h h h m m m Dm 2121111 (1-2-24) 为使相邻物理参数之间的差异降至最小平滑度,需采取Twoney —Tikhonoy 平滑度措施。
⎥⎥⎥⎥⎦
⎤⎢⎢⎢⎢⎣⎡=⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡---=p p h h h m m m Dm 2121111111 (1-2-25) 我们的目的是要使m 偏向于h ,不妨将问题简单陈述为:给定一组有限的不准确的观测数据,在所有等效解中求其真解(考虑数据和模型误差)并使之与观测数据相吻合,且满足模型参数的可靠估计。
从数学意义来讲,上述问题就等效于对预测误差e T e 和最终解与特定约束的偏差极小
(1-2-26)
如果f(m)是连续的并且可微,则可用Taylor 定理将其相对于初始模型m 0 展开,从而给
出方程(1-2-26)的线性近似
]}
)([])({[)()(00h x m D h x m D WAx Wy WAx Wy L T T T -+ββ-++--=
(1-2-27) 令B=βT β,展开上式,并将偏微分置0,最后得偏置解为
}]{)[(])
[(01m h B Wy WA B WA WA x T T -++=- (1-2-28) 迭代公式
}]{)[(])[(11k T T k k m h B Wy WA B WA WA m m -+++=-+ (1-2-29)
如果先验信息有疑义(或不可信),那就需要将约束置为,即h=[0,0…,0]T ,而且所
有β的元素均置为相等的常数(0<β<1),这样所有的参数都具有相等的权重。
在这种情况下,β可以方便地由一单值未定乘子β所取代。
这样就有参数校正解
])[(])[(0212m Wy WA I WA x T T s β-β+=- (1-2-30)
其迭代公式
])[(])[(2121k T T k k m Wy WA I WA m m β-β++=-+ (1-2-31)
因为D=1,这里β2I 用以控制求解的步长,而β2m k 有助于减小其向零矢量h 的位置,我
们可以将这种方法称为平滑度约束反演或最小偏置算法。
3.与标准方法的关系
在偏置估计中,如果β→0,那么上述所有迭代估计公式均会简化为改进了的加权经典最小平方化式
Wy WA WA WA m m T T k k )(])[(11-++= (1-2-32)
偏置估计方法的稳定性和有效性主要取决于β和D 。
方程(1-2-30)与通常的阻尼最小平方或岭回归优化公式
Wy WA I WA WA x T T )(])[(1-β+= (1-2-33)
的不同之处在于一β2m 0项,唯一目的是要对参数增量的变化范围置一边界。
我们可将约束反演问题定义为求反Lagrange 函数的极值问题:
)()())(())((00m m m m m Wf Wd m Wf Wd L T T --β+--= (1-2-34)
要搜寻的是最佳拟合数据的起始模型的有界摄动。
在方程(1-2-29)中以量E 取代W T W ,我们有: }]}
{[]{[11k T T k k m h B Ey A B EA A m m -+++=-+ (1-2-35) 如果B 可以统计地解释为先验参数协方差矩阵的逆,则上述方程即等效于Jackson 和Matsu’ura 的Bayes 估计方法,并类似于Tarantola 和V alette 的非线性算法。
因此,应用简单代数,我们事实上已经导出一种与基于具有先验数据的概率统计处理的数学上比较严谨的非线性反演法相类似的方法,但是应该注意到,Tarantola 和V alette 的里程碑方法中的反演理论和先验信息的使用均与我们的方法不尽相同。
我们的主要兴趣在于迫使最终解尽可能与那些先验参数估计相一致,因此方程(1-2-35)右端最后一项不为0,因为在实际情况下,已知的先验参数估计很少。
在Tarantola 和V alette 算法中,h 即是实际起始模型m 0。
在这种情况下,正如Pous 等人指出的那样,方程(1-2-35)的最后一项在第一次迭代中应为0。
我们将h 和
m 0分开,这点和Jackson 和Matsu’ura 的作法大致相当。
但在Jackson 和Matsu’ura 的算法中,方程(1-2-35)括号中的量乘了一个适当选择的因子b(0<b<1)。
如此说来,我们的简单方法或许更为通用。
第三节 地震勘探中的反演方法
一. 地震反演的分类
地震反演通常分成叠前和叠后反演两大类:叠前反演应用较少,较成熟的是A VO 反演;叠后反演的大量应用是波阻抗反演,这是当前地震资料处理的重要结果。
从反演方法上可将地震反演划分为基于波动理论的波动方程反演和基于Robinson 褶积模型反演两大类,在实际工作中主要是基于Robinson 模型的反演。
我们通常所说的地震资料波阻抗反演指的是基于Robinson 褶积模型的叠后地震资料反演,目前常见的有递推反演(Recursive inversion ),稀疏脉冲反演(Sparse-spike inversion)和基于模型的反演(Model-based inversion),后面两种反演方法通常称为宽带反演。
递推反演包括道积分、GLOG 、VLOG 、SEISLOG 、块状反演、带限反演和PIVT 等;稀疏脉冲反演包括多种实现方法,如1L 模方法、最小熵方法、最大似然方法等;基于模型的反演也包括广义线性反演(GLI )(Cooke ,1983)、地震岩性模拟(SLIM )(Gelfand ,1984)、鲁棒的速度反演方法(ROVIM )(Fabre ,1989)、宽带约束反演(BCI )(Martinez ,1988)、PARM 和Jason 等。
二. 递推反演方法
1. 波阻抗递推公式
对于两层介质,反射系数为:
21,ρρ分别为上下界面的密度,V 1、V 2为上下界面的速度。
当地下为多层水平介质时,任意第i 个界面的反射系数为:
i i i i i i i i i i i i i Z Z Z Z V V V V R +-=ρ+ρρ-ρ=++++++111111 (1-3-1)
对应的波阻抗为:
)11(1i
i i i R R Z Z -+=+ (1-3-2) 递推公式:
n n N n n R R Z Z -+∏==+11001 (1-3-3)
如果用经过特殊处理的地震剖面记录道Xn 代替反射系数Rn ,则上式可写成 n n N n n x x Z Z -+∏==+11001 (1-3-4)
这就是递推反演的基本公式。
2.低频补偿
地震反射系数剖面的频带是有限的,它缺失的是高频成分和低频成分,对波阻抗反演而言,缺失高频成分只影响分辨率,而缺失低频成分就失去了速度的直流分量及速度斜坡的信息。
这种波阻抗剖面通常称为相对波阻抗剖面或剩余波阻抗剖面,剩余波阻抗剖面只能反映波阻抗的相对变化而不能反映波阻抗的真实情况,因此必须在剩余波阻抗剖面上,再加上合理的低频成分,进行低频补偿。
(1) 利用声波测井资料补偿低频
这是最常用的方法。
(2) 利用叠加速度补偿低频
但叠加速度补偿因为实际三维速度场精度有限,会出现低频缺口,造成声测井曲线的值偏高和偏低的振荡。
(3) 利用地质模型补偿低频
这种方法比较费时。
低频缺口在波阻抗反演中是常见的,有时也是比较严重的问题。
所幸其横向上速度相对变化通常是正确的,仍然能确定目的层段上有意义的岩性变化。
3. 一个简单应用——道积分
图1-1 道积分剖面
该方法不做低频补偿,得到的是相对波阻抗。
用连续时间函数表示(1-3-4)式
⎰=t
t dt t r t Z t Z 0])(2exp[)()(0 (1-3-5) 如果经反褶积处理后的地震道x (t )的脉冲宽度足够小,认为x (t )与反射函数r (t )成比例
r (t )∝x (t )
则可近似求出任一时刻t 的近似波阻抗
⎰=t
t dt t x K t Z t Z 0])(exp[)()(0 (1-3-6) K 为比例系数。
具体实现步骤为:
① 将地震记录振幅标定到反射系数数量级
② 计算积分道
③ 将积分结果转换为波阻抗
④对转换结果作带通滤波得地层相对波阻抗
图1-1给出了具体的应用例子,处理资料为TJH 三维工区一剖面。
三. 稀疏脉冲反演方法
这种方法假设地下反射系数序列是由一系列大的反射系数叠加在服从高斯分布的小反射系数背景上构成的,主要有:L1范数反褶积、最小熵方法、最大似然方法等。
L1范数反褶积最早由Barrodale 于1973年提出,后经Taylor1979年及Oldenburg1983年的研究,改进成为一种独特的反褶积方法,它的特点是对子波的各种相位特性都有较好的适应性。
常规脉冲反褶积及预测反褶积都要假定子波是最小相位的,并且反射系数是白噪。
在这两个条件下,反褶积的求解运算工作只有在最小二乘的意义下(与期输出波形均方根误差最小),才能得到一组Toeplitz 方程组,才能用莱文森递推法快速求解反褶积因子。
误差的最小平方就被称为其范数为2。
而L1范数是不做平方的判断,而用误差的绝对值之和作为标准,故称其范数为L1范数。
1985年王承曙等又提出L p 范数反褶积,即其判断的范数可以不是2,也不是1,而是一个任意的正整数p 。
由于采用了L1范数,带来的好处是对子波的相位特性放宽了限制,但是在计算中没有脉冲反褶积那样简单了。
它一般是从线性规划的理论出发,求解一组超定方程组的最优解。
在求解过程中必须反复迭代,或者化为一组非线性方程组,用非线性规划方法迭代求解。
最小熵方法由,它以方差模为判断准则,信号的规则性达到最大,熵为最小。
Wiggins 的方差模的定义如下:
[]2
24
max ∑∑=i i
ari x x V (1-3-7)
式中i x 是地震道数据在某个时窗内的第i 个数值。
当波形很突出时,4i x 达到很大振幅值,于是max ari V 达到极大值,此时认为效果达到最佳。
此方法对子波的相位特性不做约束,而且在一定程度上可以把混合相位子波向零相位靠拢。
但该方法假设反射系数是稀疏的,只有当有少数大的脉冲存在时效果才很好,所以在具有亮点强波的剖面上,往往得到较好的反演效果。
稀疏脉冲反演方法的输出为矩形波阻抗曲线形式,地层边界清晰,对厚层碳酸盐岩地区较为合适。
然而其致命的弱点是要求反射系数是稀疏的,而实际上大多数地震道的反射系数是稠密的。
四. 基于模型的反演
1. 流程框图
模型为基础的方法,或简称模型法,首先构造一个地质模型,并将其与地震资料进行比较,然后利用比较的结果,迭代地更新模型,直至其与地震资料资料吻合为止。
其示意图如图1-2。
图1-2 基于模型的反演示意图
这种方法避免了直接对地震资料进行反演,可以有较高的分辨率。
然而,随之而来的是多解性,很可能一个与地震资料吻合得很好的模型却是错的。
尽管如此,由于有地震测井和地质资料的约束,常常可以把多解性降低到最低限度,在储层横向预测和油藏描述中起重要作用。
基于模型的反演包括广义线性反演(GLI)(Cooke,1983)、地震岩性模拟(SLIM)(Gelfand,1984)、鲁棒的速度反演方法(ROVIM)(Fabre,1989)、宽带约束反演(BCI)(Martinez,1988)、PARM和Jason等,代表着当前反演的主流和发展趋势。
2.应用实例
以Strata软件为例。
在软件中有三种反演方法:带限(Band Limited)反演,Block反演以及稀疏脉冲(Sparse Spike)反演。
此处应用了带限反演方法,它是一种传统的递推反演计算。
这种方法把地震道看成是经过零相位子波滤波后一系列的反射系数。
由于地震数据中速度的低頻成份已滤去,而经过该处理后会恢复,因此要加上一个低頻限制,将反射系数序列转化为声阻抗。
此过程是忽略子波影响的,所以声阻抗值很平滑。
总之,这种方法是比较简单的,只需要较短的计算时间,但由于不考虑子波影响,薄层很难分辨。
图1-3显示的就是过井g247测线剖面作的地震反演。
图1-3 一种基于模型的反演——带限反演。