Inversion and Sparse Regularization Overview
Inversion and Sparse Regularization Overview
April 2014
Outline
• Examples
– Deconvolution
– AVO
• Discussions
1
Geophysics & Sensing
MODEL DATA
Equations of
Math Physics
MODEL DATA
2
Geophysics & Sensing
Density Gravity
Equations of
Math Physics
MODEL DATA
3
Geophysics & Sensing
Equations of
Math Physics
MODEL DATA
Inverse Theory
Inverse Theory
Forward Problem
MODEL DATA
Inverse Problem
Remarks:
§ Model:
Properties are continuously distributed on a 3-D volume
§ Data:
Observations are sparsely distributed on the surface of the Earth
4
Inverse Theory
Forward Problem
MODEL DATA
Inverse Problem
F(m) = d
m = m(x, y,z) d = [d1,d2 ,d3 ....,dN ]T
A Well-Posed Problem
J. Hadamard (1923)
Otherwise: ill-posed
5
Ill-posed problems
• Insufficient data
• Noise
• Inadequate sampling, aperture
• Inadequate band-width
• Poor illumination
• Math-Phys equations (averaging property of forward kernels)
€
Inversion - unsmoothing
ρ1 ρ1 €
Sharp change in density
6
• Forward problem produce data that often looks like a “smooth” version of material
properties
• Smoothing is a stable process
• The process of undoing smoothing is unstable (Inversion is about controlling
unstability)
Examples:
• Tomography
– Medical
– Seismic
• Inverse Scattering in Physics
• Inverse Heat Conduction Problems
• Deconvolution
– Geophysics
– Astronomy
– image processing
• Design of semi-conductors
• Non-destructive & non-invasive testing
• Wireless communication
• Data Analysis
– Density Kernel Estimators
– Interpolation/Data Reconstruction
– Harmonic Analysis
– Machine Learning
7
Regularization Methods to Solve Inverse Problems
– Positivity
– Compact support
– Smoothness
– Sparseness
– Common sense [talk to geologists and engineers]
8
Lab experiment
v1 v2
€ L1 € L2
L1 L2
+ ≈t
v1 v 2
0 t
€ €
L1m1 + L2 m2 ≈ d
m
(L1 L2 ) 1 ≈ d or Lm ≈ d
m2
Model Space
m2
L1 m1 + L2 m2 ≈ d
€
€
m1
9
Model Space
m2
L1 m1 + L2 m2 ≈ d
€
€
m1
Solution is anywhere close to the line
Part 3 Intro to inversion 19
Smallest Solution
m2 m1 m2
Mimimize R = m12 + m22
subject to L1m1 + L2 m2 ≈ d
€
€
€
m1
10
Smallest Solution
m2 m1 m2
2 2
Mimimize R = m + m
1 2
subject to L1m1 + L2 m2 ≈ d
€
€
€
m1
Smallest Solution
m2 m1 m2
Mimimize R = m12 + m22
subject to L1m1 + L2 m2 ≈ d
€ These solutions were avoided :
m1
→ ∞
€ m2
→ −∞
€ and
m1
→ −∞
m2
→ ∞
m1
Smallest Solution = Minimum Norm Solution
11
Smallest Perturbation
m2 m1 m2
2 2
Mimimize R = (m 1− mi1 ) + (m 2− mi2 )
subject to L1m1 + L2 m2 ≈ d
€
€ (mi1,mi2 )
€
m1
Smallest Perturbation
m2 m1 m2
Mimimize R = (m 1− mi1 ) 2 + (m 2− mi2 ) 2
subject to L1m1 + L2 m2 ≈ d
€
€ (mi1,mi2 )
€
m1
12
Flattest Solution
m2 m1 m2
2
Mimimize R = (m2 − m1 )
subject to L1m1 + L2 m2 ≈ d
€
€
€
m1
Flattest Solution
m2 m1 m2
2
Mimimize R = (m2 − m1 )
subject to L1m1 + L2 m2 ≈ d
€
€
€
m1
13
Sparse Solution*
m2 m1 m2
Mimimize R =| m1 | + | m2 |
subject to L1m1 + L2 m2 ≈ d
€
€
€
m1
Sparse Solution*
m2 m1 m2
Mimimize R =| m1 | + | m2 |
subject to L1m1 + L2 m2 ≈ d
€
€
€
m1
* Parsimonious or minimum entropy solution
14
Problems in exploration seismology
where regularization methods are
important
• Data Reconstruction
• Focusing with Radon Transforms
• Deconvolution
• Probing a reflector with seismic waves (AVO)
• Imaging (regularized LS imaging/Migration)
Deconvolution
- debluring
- equalization
15
Seismic Deconvolution
Time
Depth
3
4
r W d0 d
d(t) = ∫ w(τ - t)r(τ )dτ + n(t)
d = d0 + n
= Wr + n
€ € € €
Part 3 Intro to inversion 31
d = Wr + n
Ill-posed ?
This term can be extremely
D(ω ) = D0 (ω ) + N(ω ) large when the source
amplitude spectrum is
= W (ω )R(ω ) + N(ω ) small
€
Part 3 Intro to inversion 32
16
Seismic Deconvolution
The very Naïve Solution (Just try to fit the data…)
d =W r+n
J =||Wr − d ||22
∇J = W T W r − W ' d = 0
rˆ = (W T W ) −1W T d
Seismic Deconvolution
d =W r+n
Low Resolution Solution:
J =||Wr − d ||22
r = (W T W ) −1W T d
c I ≈ W TW
r˜ ≈ c −1W T d
Some sort of “backprojection”
Matching filter (Good to suppress noise)
17
Example
Time
r W d0 d r˜
Seismic Deconvolution
Quadratic Regularization (add a quadratic penalty term)
d =W r+n Quadratic
penalty term
J =||Wr − d ||22 + µ || Lr ||22
Misfit ∇J = W T W r − W T d + µLT L r = 0
r = (W T W + µLT L) −1W T d
L=I⇒
18
Example
Time
r W d0 d r˜ rq
Right phase, pulse has been compressed, ringing due to minimum norm requirement
Quadratic Regularization
Quadratic Regularization (general case)
Interpretation
Model Norm: Measure of
“bad” features
19
Quadratic Regularization
J =||Wr − d ||22 + µ || Lr ||22
€4
µ = 10
2 Low resolution / underfitting
||Wr − d || 2
∗
€ ∗
Unstable / overfitting
€ ∗
∗ µ = 10−6
€ ∗
€ || Lr ||22
Trade-off curve / L-curve €
€ Morozov's Discrepancy Principle for Tikhonov regularization
€
Part 3 Intro to inversion
€
39
Quadratic Regularization
Quadratic Regularization
Typical regularizers
J =||Wr − d ||22 + µ || Lr ||22
€
L = D1 First order quadratic regularization (flattest model)
D1, D2 Are high pass operators (First and Second order Derivatives)
20
"1 0 0 0 0 0 %
Quadratic Regularization $
$0 1 0 0 0 0
'
'
$0 0 1 0 0 0 '
L = I =$ '
Quadratic Regularization $0 0 0 1 0 0 '
$0 0 0 0 1 0 '
$ '
#0 0 0 0 0 1 &
"1 −1 0 0 0 0 0 %
$ '
$0 1 −1 0 0 0 0 '
$0 0 1 −1 0 0 0 '
L = D1 = $ '
$0 0 0 1 −1 0 0 '
$0 0 0 0 1 −1 0 '
$ '
#0 0 0 0 0 1 −1&
"1 −2 1 0 0 0 0%
$ '
$ 0 1 −2 1 0 0 0'
$0 0 1 −2 1 0 0'
L = D2 = $ '
$0 0 0 1 −2 1 0'
$0 0 0 0 1 −2 1 '
$ '
#0 0 0 0 0 1 −2&
Seismic Deconvolution:
Trying to increase resolution/focusing via mathematical
tricks….
21
High-resolution via non-quadratic regularization
(GOAL: Suppress ringing & Increase BW)
2
R(r)= ∑ | ri | L2 norm Quadratic Norm
i
ri2
R(r) = ∑ ln(1+ ) Cauchy norm Non Quadratic Norm
i σ c2
2
R(r)= ∑ | ri | L2 norm Quadratic Norm
i
ri2
R(r) = ∑ ln(1+ ) Cauchy norm Non Quadratic Norm
i σ c2
22
Seismic Deconvolution: Non-quadratic norms and
sparse deconvolution
q Non-quadratic norms can be used to retrieve sparse models - solution with high frequency
content
q Connected to the retrieval of non-Gaussian models/signals
q Sparse models are associated to broad-band solutions
D. W. Oldenburg et al, 1982, Recovery of the acoustic impedance from reflection
seismograms, Geophysics, vol. 48, No. 10, pp. 1318-1337
q New interest on these methods because of the importance for reconstruction & sparse
coding algorithms:
q Data reconstruction and spectral analysis from short records
Sacchi, M.D., Ulrych, T.J, and Walker, C., 1998, Interpolation and extrapolation using
a high resolution discrete Fourier transform: IEEE Trans. on Signal Processing, 46,
No. 1, 31-38.
ri2
S(r) = ∑ ln(1+ )
i σ2 Non-Linear system of
equations - can be solved
with IRLS
∇J = W 'W r − W ' d + µ Q(r) r = 0
Iterative Reweighted least
squares
r = (W 'W + µQ(r))−1W ' d
23
Example - High Res. Result with Cauchy regularization
Time
r W d0 d r˜r˜ rq rnq
r˜ : Matched filtering (cross-correlation of wavelet with trace)
rq : Quadratic regularization (l2 norm on reflectivity)
rnq : Non-quadratic regularization (Cauchy norm on the reflectivity)
47
€ €Part 3 Intro€to inversion€ €€ € €
€
€
€
Cauchy Norm Deconvolution
Assignment:
Derive Q for the Cauchy norm, ell-1 norm, and ell1-ell2 norm and the ell2 norm
24
Cauchy Norm Deconvolution
ri2
S(r) = ∑ ln(1+ )
i σ2
∇J = W T W r − W T d + µ Q(r) r = 0
# µQ(r1 ) &
% (
% µQ(r1 ) (
µQ(r) = % ! (
% (
% µ Q(rM −1 ) (
% (
$ µQ(rM )'
r = (W T W + µQ(r)) −1W T d
1
Qii = Q(ri ) = , we now have an adaptive damping
σ 2 (1+ ri2 /σ c 2 )
25
Cauchy Norm Deconvolution
€
Part 3 Intro to inversion 51
I used IRLS…
IRLS
ISTA
FISTA = Fast Iterative Soft Threshold Algorithm
Bregmann Iterations
Proximity Methods
ADMM
26
Cauchy Norm Deconvolution
• LSQR 1
Qiter ii =
Iterative solvers can compute an σ 2 (1+ (riiter ) 2 /σ 2 )
approximation to the solution of the linear
system r iter+1 = (W 'W + µQiter )−1W ' d
• HR Radon uses the above trick
End
€
Part 3 Intro to inversion 53
R(r)= ∑ | ri |
i
2
R(r)= ∑ | ri |
i
ri2
R(r) = ∑ ln(1+ )
i σ2
R(r) = ∑ F(ri )
i
27
R(r) = ∑ F(ri )
i
dF(x)
: Influence Function
dx
28
Cauchy Norm Deconvolution:
Algorithm [IRLS]
True reflectivity Trace
r = zeros(N,1);!
sc=0.01; !
mu =0.01!
iter_max = 10;!
!
R = W'*W;!
iter_max;!
!
for k=1:iter_max;!
Estimated reflectivity
!
Q = diag(1./(sc^2+r.^2));!
Matrix = R + mu*Q;!
r = inv(Matrix) * W'*s;!
!
end
29
Cauchy Norm Deconvolution:
Algorithm for real data … (HFRestoration or Cauchy
Norm Inversion)
Other methods exits - they all attempt to retrieve a sparse reflectivity sequence:
Atomic Decompostion/Matching Pursuit / Basic Pursuit (like an L1)
Chopra, S., J. Castagna, and O. Portniaguine, 2006, Seismic Resolution and Thin-Bed Reflectivity
Inversion: Recorder, 31, 19-25. ([Link])
Portniaguine, O., and J. P. Castagna, 2004, Inverse spectral decomposition: 74th Annual
International Meeting, SEG, Expanded Abstracts, 1786-1789.
30
3D Seismic Volume (Venezuela)
≈ 20 km
t = 2z /v
t ∝z
t = 3s
Time
31
Amplitude spectrum
Can you trust the new bandwidth? I am not saying this is the true answer but a possible
answer if you believe in the sparse reflectivity assumption.
Ik +1 − Ik
rk = Reflectivity as a function of P-impedance
Ik +1 + Ik
k
1 Log Approximation (Logarithm impedance and
ξ k = log(Ik /I0 ) ≈∑ rj
2 j= 0
reflectivity are related by a linear operator)
€
Part 3 Intro to inversion 64
32
Cauchy Norm Deconvolution:
with impedance constraints
True reflectivity Trace
β =0
Constraints are
not honored
β = 0.25
Constraints are
€ honored
33
Cauchy Norm Deconvolution:
with impedance constraints - Algorithm [IRLS + soft
bounds]
beta=0.25!
iter_max=10!
R = W'*W+beta*C'*C;!
r = zeros(N,1);!
!
for k=1:iter_max;!
Q = diag(1./(sc^2+r.^2));!
Matrix = R + mu*Q;!
r = inv(Matrix) * (W'*s+beta*C'*psi)!
sc = 0.01*max(abs(r));!
end;!
!
Estimation of rock
properties & HCI
34
AVO as a Multi-channel Seismic Deconvolution
Problem
Offset (h)
w(t) d(t,α , x)
α α
€ € Vp1,Vs1, ρ1
€ € Vp2 ,Vs2 , ρ 2
€
x
€
d(t,α , x) = ∫ r(τ ,α, x) w(τ − t)dτ
€
r(t,α , x) = f (Vp1,Vs1, ρ1,Vp2 ,Vs2 , ρ 2 ) = A(t, x) + B(t, x) × F(α )
Shuey’s approximation
A
d ≈ Lm, m=
B
35
Real data example - comparison of quadratic vs non-
quadratic regularization
• To stress: The two solutions that I will show fit the data at the same level
Offset Gather
Wavelets
Offset
36
A(t,x) B(t,x)
A(t,x) B(t,x)
Nonquadratic regularization solution
• More details: Dey, A.K., M.D. Sacchi, and A. Gisolf, 2006, High-resolution reservoir rock properties via joint prestack seismic amplitude inversion:
76th Ann. Internat. Mtg.: SEG, Expanded Abstracts, 2156-2160.
37
Data fitting for first gather
First Gather / Fit
Input
Prediction
Residuals
Input
Prediction
Residuals
38
Remarks and some new directions
• Tools for reflectivity inversion, impedance inversion, AVO etc etc are quite similar
• For extensions to 2D-3D one should add constraints for lateral continuity
– Juefu Wang et al, 2007, High Res Deconvolution with sparsity and lateral
continuity constraints ([Link]
[Link])
WCSB
39
Large Scale Problems
Inverse problems -
Angle dependent reflectivity and
LS migration
Wang J., Kuehl H. and Sacchi M.D., 2005, High-resolution wave-equation AVA
imaging: Algorithm and tests with a data set from the Western Canadian Sedimentary
Basin: Geophysics, 70, 891-899
Sacchi M.D., Wang J., and Kuehl H., 2006, Regularized migration/inversion: new
generation of imaging algorithms, CSEG Recorder, Volume 31, Special Edition, 54-59.
Wang J. and Sacchi M.D., 2007, High-resolution wave equation AVP imaging with
sparseness constraints, Geophysics, 72 (1), S11-S18.
40
Imaging - Large scale problems
m
h x
α €
m(α, x,z)
€ €
m: midpoint
h: offset
Wang, Kuehl and Sacchi, Geophysics 2005
Part 3 Intro to inversion 81
Lm≈d
sin(α )
m = m(x,z, p), p=
v (x,z)
d = d(g,s,t)
41
Migration/Inversion Hierarchy..
mmig = LT d Migration
€
minv = L−1d Inversion
Regularized Imaging
Remarks:
€
• We don’t have L, we only have a code that knows how to apply L to m and,
another, that knows how to apply LT to d
• L and L’ are built to pass the dot product test
• Importance of sampling Matrix W for reducing footprints
Kuehl H. and Sacchi M.D., 2003, Least-squares wave-equation migration
for AVP/AVA inversion: Geophysics, 68, 262-273
42
Regularized Imaging
m Function L d
Dot Product Test d Function LT m’
(only for programmers..)
1) m1, d1 = L m1
2) d2, m2 = LT d2
3) if d1T d2 = m1T m2 ,
m = m(x,z, p)
F : Smoothness in x, y, p ,
Sparseness in z
43
Regularized Imaging with Conjugate Gradients
+ Preconditioning
m =Pν , P ≈ R −1
k : CG Iteration
44
Examples:
• Regularized Imaging to attenuate the influence of missing data
• Increase resolution of seismic images
5300
Depth (km)
4800 1
4300
m/s
3800
3300
Test AVA Target
2800
2300 2 Horizontal distance (km)
1800 3 4 5 6 7 8
1300 0
3
1.0
1
Depth (km)
kg/m^3
0.8
0.6
2
0.4
x10 4
45
CMP position [m] Ray parameter [mu s/m]
7000 7500 8000 0 200 400 600 800
0 0
Migration
(Complete data)
0.5 0.5
1.0 1.0
Depth [km]
Depth [km]
1.5 1.5
2.0 2.0
2.5 2.5
Least Squares
Migration with
Smoothing
regularization along 0.5 0.5
ray parameter p
(Complete data)
1.0 1.0
De pth [ km]
De pth [k m]
1.5 1.5
2.0 2.0
2.5 2.5
46
Ray parameter [mu s/m] Ray parameter [mu s/m]
0 200 400 600 800 0 200 400 600 800
0.5 0.5
0.7 0.7
D ept h [km]
Dept h [k m]
0.9 0.9
1.1 1.1
0.2 0.2
Reflection coefficient
0.18 0.18
Reflection coefficient
0.16 0.16
0.14 0.14
0.12 0.12
0.1 0.1
0.08 0.08
0.06 0.06
0.04 Migration 0.04 LSM
0.02 0.02
00 10 20 30 40 50 00 10 20 30 40 50
Angle of incidence (deg) Angle of incidence (deg)
Complete Incomplete
0.5 CMP 0.5 CMP (30 %)
1.0 1.0
Ti m e [sec ]
Ti m e [ sec ]
1.5 1.5
2.0 2.0
2.5 2.5
47
Ray parameter [mu s/m] Ray parameter [mu s/m]
0 200 400 600 800 0 200 400 600 800
0.5 0.5
0.7 0.7
D ept h [km]
Dept h [k m]
0.9 0.9
1.1 1.1
0.2 0.2
0.18
Reflection coefficient
0.18
Reflection coefficient
0.16 0.16
0.14 0.14
0.12 0.12
0.1 0.1
0.08 0.08
0.06 0.06
0.04 0.04
0.02
Migration 0.02 LSM
00 10 20 30 40 50 00 10 20 30 40 50
Angle of incidence (deg) Angle of incidence (deg)
Field 3D
ERSKINE data
Dataexample
/ WCSB /Alberta
dx=50.29m
dy=33.5m
48
CIG at x-line #10, in-line #71
Migration CG 4 CG 11 PCG 4
Comparison of LSM solution with regularization in the ray parameter direction. CG is the solution using
conjugate gradients, PCG is the solution with Pre-conditioned CG.
Migration
RLSM (11)
PLSM (4)
49
Wang J., Kuehl H. and Sacchi M.D., 2005, High-
resolution wave-equation AVA imaging: Algorithm and
tests with a data set from the Western Canadian
Sedimentary Basin: Geophysics, 70, 891-899.
Synthetic trace
50
CIG (synthetic vs. inverted) AVA (synthetic vs. inverted)
Red: synthetic
Blue: inverted
A: synthetic, B: inverted
m = Pz
Preconditioning implementation
2
J'(m) =|| W(LPz − d) ||2 + µ R(Sz)
Part 3 Intro
€to inversion 102
51
Marmousi data / Common image gathers
52
Imaging & High Resolution Imaging
Resolution
Addendum
53
A bit about Bayes
Thomas Bayes was born in London in 1702 into a religious atmosphere. His, father, the
Rev. Joshua Bayes, was one of the first six Nonconformist ministers to be ordained in
England. Like his father, Thomas was ordained a Nonconformist minister and assisted
his father until the late 1720s when he become a Presbyterian minister.
Bayes theory appeared posthumously in “Essay Towards Solving a Problem in the
Doctrine of Chances” published in the Philosophical Transactions of the Royal Society of
London in 1764. Thomas Bayes died in England in 1761.
From: A Bayes tour of Inversion: A tutorial. Ulrych, Sacchi and Woodbury, Geophysics, 2001, 66-1, p.55-64.
• Bayes rule
• MAP solution
• Cost functions induced by a Posterior
• Examples
54
Goal of this section
Bayes theorem
p(A) p(B | A)
p(A | B) =
p(B)
p(A) : Prior
p(B | A) : Probability of B given A
p(A | B) : Posterior
55
Relation to Inverse problems
p(A) p(B | A)
• Apply Bayes rule p(A | B) =
p(B)
€
p(A) = p(m) Prior
p(B | A) = p(d | m) Likelihood
p(A | B) = p(m | d) Posterior
p(m) p(d | m)
p(m | d) =
p(d)
p(m) p(d | m)
p(m | d) =
p(d)
56
Example: Gaussian Noise and “Gaussian Model”
1
p(d | m) ∝ exp[− (d − Lm)T Cd −1 (d − Lm)]
2
1 −1
p(m) ∝ exp[− (m − m0 )T Cm (m − m0 )]
2
m0 = 0, Cm = σ m2 I, Cd = σ d2 I
1 1
p(m | d) ∝ exp[−( 2
mT m + 2 (d − Lm)T (d − Lm))]
2σ m 2σ d
€ 3 Intro to inversion
Part 113
Maximze
1 1
p(m | d) ∝ exp[− mT m − 2 (d − Lm)T (d − Lm)] = exp[−J]
2σ m2 2σ d
Minimize
1 1
J= mT m + 2 (d − Lm)T (d − Lm)
2σ m2 2σ d
or
σ d2 T
Cost = m m + (d − Lm)T (d − Lm)
σ m2
= µmT m + (d − Lm)T (d − Lm)
€
Part 3 Intro to inversion 114
57
Statistical Interpretation of the trade-off parameter
σ d2
µ= 2
σm
Noise then µ
Noise then µ
€
€
Part 3 Intro to inversion 115
Minimize
σ d2 T
Cost = 2 m m + (d − Lm)T (d − Lm)
σm
= µmT m + (d − Lm)T (d − Lm)
⇒
m = (LT L + µI)−1 LT d
€
Part 3 Intro to inversion 116
58
Remarks
• Today I’ve used the idea of regularization methods to construct a cost function
• Now I will derive the cost function for quadratic and non-quadratic regularization and
quadratic misfit using Bayes theorem:
• Probability of data given model is the probability of the noise and we assume
Gaussian noise. The assuption will lead to a Quadratic Misfit
More on Bayes
Assume that the parameters to estimate (model) are non-Gaussian (say the follow a
Laplace or a Cauchy distribution)
p(x) ∝ exp[− λ | x |p ]
€
1
p(x) ∝ Cauchy
x2
1+ 2
σ
59
Tails
Maximize
1 1
p(m | d) ∝ ∏ × exp[− 2 (d − Lm)T (d − Lm))]
i 1+ mi2 /σm2 2σd
Minimize
Cost = µ∑ ln(1+ mi2 /σm2 ) + (d − Lm)T (d − Lm)
i
Cauchy “norm”
€
60
For instance, let’s use the Laplace prior
Maximize
1
p(m | d) ∝ ∏ exp(− λ | x i |) × exp[− (d − Lm)T (d − Lm))]
i 2σ d2
Minimize
Cost = µ∑ | mi | + (d − Lm)T (d − Lm)
i
= µ | m |1 + | d − Lm |22
Ell-1 norm
€
61
Mixing Parameter p=0.8 (very sparse)
Cauchy inversion
Data
True Impulse
Response
Predicted
Data
Estimate Impulse
Response
Cauchy inversion
Data
True Impulse
Response
Estimate Impulse
Response
62
Kurtosis
K=3
Remark
• Key feature for proper recovery of the impulse response with sparse inversion..
• Sparsity (of course)….. But something else is needed
63
Remark
• Key feature for proper recovery of the impulse response with sparse inversion..
• Sparsity (of course)….. But something else is needed
64
Source functions used in the simulation
• BW is not only important for de-phasing (e.g. maximum Kurtosis de-phasing) but also
for the inversion of the reflectivity
• Nothing new: more BW means that more information about the reflectivity is preserved
in the seismic trace.
– In the absence of sufficient BW, the prior will dominate the solution and dictate
how the solution looks like. The geologist/interpreter (with access to borehole-
derived reflectivity) will feel deeply discontented with the simplicity of your model.
65