Inversao Sismica Apresentacao

FWI acústica no domı́nio do tempo: testes dos
métodos gradientes em modelo 2D
Kristian Torres
Universidade Federal do Rio de Janeiro

Inversão sı́smica – COC 787
20 de dezembro de 2017
Kristian Torres Otimização 1 / 89

Sumário
1 Derivada de Frechet
Derivada numérica
Fonte virtual
2 Reverse Time Migration

Modelo de 3 camadas
Modelo homogêneo perturbado
3 FWI
Máxima Descida
Gradientes Conjugados

Derivada de Frechet

Derivada de Frechet: Derivada numérica
• Modelo homogêneo (400x300 pts)

x(m)
0 1000 2000 3000
0
500
1650
1000
Vp(m/s)
z(m)
1500
2000
1500
2500

Derivada numérica
• Modelo perturbado – ∆Vp = 150 m/s x = 2000, z = 1500

x(m)
0 1000 2000 3000
0
500
1650
1000
Vp(m/s)
z(m)
1500
2000
1500
2500

Derivada numérica
• Sismograma do modelo homogêneo

x (m)
0 1000 2000 3000
0
0.5
0.010
1.0
0.005
0
tempo (s)
Amp
1.5
-0.005
-0.010
2.0
-0.015
2.5

Derivada numérica
• Sismograma do modelo perturbado

x (m)
0 1000 2000 3000
0
0.5
0.010
1.0
0.005
0
tempo (s)
Amp
1.5
-0.005
-0.010
2.0
-0.015
2.5

Derivada numérica
• Sismograma do modelo perturbado perc=94

x (m)
0 1000 2000 3000
0
0.5
2.5
1.0
2.0
1.5
tempo (s)
Amp
1.5
1.0
0.5
2.0
0
x10 -4
2.5

Derivada numérica
• Sismograma do modelo perturbado Difração ≈ 2 segundos

x (m)
0 1000 2000 3000
0
0.5
2.5
1.0
2.0
1.5
tempo (s)
Amp
1.5
1.0
0.5
2.0
0
x10 -4
2.5

Derivada numérica
∂p
• ∂v (ri , t) = homogêneo−perturbado
l ∆Vp
x (m)
0 1000 2000 3000
0
0.5
1.2
1.0
1.0
0.8
0.6
0.4
tempo (s)
0.2
Amp
1.5
0
-0.2
-0.4
-0.6
2.0
-0.8
-1.0
x10 -7
2.5

Derivada de Frechet: Fonte virtual
• Registrar campo de onda incidente p na perturbação vl

Derivada de Frechet: Fonte virtual
• Registrar campo de onda incidente p na perturbação vl

registro em x= 2000 m
0
0
0.5
1.0
tempo (s)
1.5
2.0
2.5

Fonte virtual
2
• Injetar fonte virtual fvl = − 23 ∂∂t2p δ(r − rl ) Segunda derivada
vl
registro em x= 2000 m
0
0
0.5
1.0
tempo (s)
1.5
2.0
2.5

Fonte virtual
• Derivada de Frechet registrada em ri

x (m)
0 1000 2000 3000
0
0.5
4
1.0
3
2
tempo (s)
Amp
1.5
0
-1
-2
2.0 -3
-4
x10 -8
2.5

Comparação
• Derivada numérica
x (m)
0 1000 2000 3000
0
0.5
1.2
1.0
1.0
0.8
0.6
0.4
tempo (s)
0.2
Amp
1.5
0
-0.2
-0.4
-0.6
2.0
-0.8
-1.0
x10 -7
2.5

Comparação
• Fonte virtual
x (m)
0 1000 2000 3000
0
0.5
4
1.0
3
2
tempo (s)
Amp
1.5
0
-1
-2
2.0 -3
-4
x10 -8
2.5

Resultado
• Fazer correlação entre o resultado obtido e os residuos no

∂fob
lag0 → ∂vl
• Obtemos uma componente do gradiente ∇fob

Reverse Time Migration

RTM
• Modelo de 3 camadas paralelas e homogêneas

RTM
• Modelo de 3 camadas paralelas e homogêneas

x (m)
0 1000 2000 3000
0
500
2500
1000
Vp (m/s)
z (m)
1500 2000
2000
1500
2500

RTM
• Modelo de 3 camadas – Sismograma observado

x (m)
0 1000 2000 3000
0
0.5
0.010
1.0
0.005
0
tempo (s)
Amp
1.5
-0.005
-0.010
2.0
-0.015
2.5

RTM
• Depropagação do sismograma injetado como fonte

RTM

RTM

RTM

RTM

RTM

RTM

RTM

RTM
• Resultado para 1 tiro em x = 2000 m

x (m)
0 1000 2000 3000
0
500
1
1000
0
-1
z (m)
Amp
1500 -2
-3
-4
2000
-5
2500

RTM
• Resultado para 1 tiro em x = 2000 m perc=99.9

x (m)
0 1000 2000 3000
0
500
0.6
1000
0.4
0.2
z (m)
Amp
1500
0
-0.2
2000 -0.4
2500

RTM
• Resultado para 19 tiros

x (m)
0 1000 2000 3000
0
500
15
10
1000
5
-5
z (m)
Amp
1500
-10
-15
-20
2000
-25
2500

RTM
• Modelo perturbado – Resultado para 19 tiros

x(m)
0 1000 2000 3000
0
500
1650
1000
Vp(m/s)
z(m)
1500
2000
1500
2500

RTM
• Modelo perturbado – Resultado para 19 tiros

x (m)
0 1000 2000 3000
0
500
1000 0.06
0.04
z (m)
0.02
Amp
1500
-0.02
2000
-0.04
2500

Full Waveform Inversion

FWI
• Modelo Marmousi acústico

x (m)
0 1000 2000 3000
0
200
5500
400
4500
600
Vp (m/s)
z (m)
3500
800 2500
1500
1000
1200
Bacia de Cuanza (Angola)

Benchmark: grande variação lateral de velocidade, grande
complexidade estrutural
Testes
O modelo Simulação
• Marmousi (383x131 pts)

Testes
• +50 pts de bordas
absorventes em todas as
direções

Testes
direções
• Sem presença de múltiplas

Testes
direções
• Número de variáveis = 50,173
(não inverter no modelo
esticado)

Testes
• Marmousi (383x131 pts) • Diferenças finitas (4E2T)
direções
esticado)

Testes
• +50 pts de bordas • Fonte Ricker de até
absorventes em todas as fc = 30Hz
direções
esticado)

Testes
direções • Número de fontes = 95
esticado)

Testes
• Sem presença de múltiplas • Número de receptores = 383
esticado)

Testes
• Número de variáveis = 50,173 • Intervalo amostragem = 1 ms
esticado)

Testes
• Tempo de registro = 3 s
esticado)

Testes
esticado)
• Esquema multiescala
[6Hz,30Hz]

Testes
esticado)
[6Hz,30Hz]
• Intervalo de freq. de 3Hz

Testes
esticado)
[6Hz,30Hz]
• Intervalo de freq. de 3Hz
• Estratégias de otimização: Máxima Descida e Gradientes

Conjugados (Polak - Ribiere) – 20 iterações de otimização, line
search com 1a condição de Wolfe
Testes
• Modelo m0 (”chute inicial”para ambos métodos)

Testes

• Obtido através da suavização do modelo verdadeiro via mı́nimos
quadrados amortecidos (comando smooth2 do SU) → 10 pts nas
duas direções

Testes
x (m)
0 1000 2000 3000
0
200
5500
400
4500
600
Vp (m/s)
z (m)
3500
800 2500
1500
1000
1200

Resultados

Resultados: Máxima descida
• Bandwidth 0-6 Hz
x (m)
0 1000 2000 3000
0
200
5500
400
4500
600
Vp (m/s)
z (m)
3500
800 2500
1500
1000
1200

x (m)
0 1000 2000 3000
0
200
5500
400
4500
600
Vp (m/s)
z (m)
3500
800 2500
1500
1000
1200

x (m)
0 1000 2000 3000
0
200
5500
400
4500
600
Vp (m/s)
z (m)
3500
800 2500
1500
1000
1200

x (m)
0 1000 2000 3000
0
200
5500
400
4500
600
Vp (m/s)
z (m)
3500
800 2500
1500
1000
1200

x (m)
0 1000 2000 3000
0
200
5500
400
4500
600
Vp (m/s)
z (m)
3500
800 2500
1500
1000
1200

x (m)
0 1000 2000 3000
0
200
5500
400
4500
600
Vp (m/s)
z (m)
3500
800 2500
1500
1000
1200

x (m)
0 1000 2000 3000
0
200
5500
400
4500
600
Vp (m/s)
z (m)
3500
800 2500
1500
1000
1200

x (m)
0 1000 2000 3000
0
200
5500
400
4500
600
Vp (m/s)
z (m)
3500
800 2500
1500
1000
1200

x (m)
0 1000 2000 3000
0
200
5500
400
4500
600
Vp (m/s)
z (m)
3500
800 2500
1500
1000
1200

• Chute inicial
x (m)
0 1000 2000 3000
0
200
5500
400
4500
600
Vp (m/s)
z (m)
3500
800 2500
1500
1000
1200

• Modelo final
x (m)
0 1000 2000 3000
0
200
5500
400
4500
600
Vp (m/s)
z (m)
3500
800 2500
1500
1000
1200

• Modelo verdadeiro
x (m)
0 1000 2000 3000
0
200
5500
400
4500
600
Vp (m/s)
z (m)
3500
800 2500
1500
1000
1200

• Gradiente para Bandwidth 0-6 Hz (última iteração)

x (m)
0 1000 2000 3000
0
200
400 2
600 -2
z (m)
Amp
-4
800 -6
-8
1000
x10 -5
1200


x (m)
0 1000 2000 3000
0
200
400 0.5
600
z (m)
-0.5
Amp
-1.0
800
-1.5
1000
x10 -5
1200

• Evolução da fob com relação ao número de iterações:

• Zoom a partir de 9 Hz:

• Variação do número de iterações necessárias da busca em linha

para bandas de 0-6 Hz e 0-30 Hz

Resultados: Gradientes Conjugados
x (m)
0 1000 2000 3000
0
200
5500
400
4500
600
Vp (m/s)
z (m)
3500
800 2500
1500
1000
1200

x (m)
0 1000 2000 3000
0
200
5500
400
4500
600
Vp (m/s)
z (m)
3500
800 2500
1500
1000
1200

x (m)
0 1000 2000 3000
0
200
5500
400
4500
600
Vp (m/s)
z (m)
3500
800 2500
1500
1000
1200

x (m)
0 1000 2000 3000
0
200
5500
400
4500
600
Vp (m/s)
z (m)
3500
800 2500
1500
1000
1200

x (m)
0 1000 2000 3000
0
200
5500
400
4500
600
Vp (m/s)
z (m)
3500
800 2500
1500
1000
1200

x (m)
0 1000 2000 3000
0
200
5500
400
4500
600
Vp (m/s)
z (m)
3500
800 2500
1500
1000
1200

x (m)
0 1000 2000 3000
0
200
5500
400
4500
600
Vp (m/s)
z (m)
3500
800 2500
1500
1000
1200

x (m)
0 1000 2000 3000
0
200
5500
400
4500
600
Vp (m/s)
z (m)
3500
800 2500
1500
1000
1200

x (m)
0 1000 2000 3000
0
200
5500
400
4500
600
Vp (m/s)
z (m)
3500
800 2500
1500
1000
1200

• Chute inicial
x (m)
0 1000 2000 3000
0
200
5500
400
4500
600
Vp (m/s)
z (m)
3500
800 2500
1500
1000
1200

• Modelo final
x (m)
0 1000 2000 3000
0
200
5500
400
4500
600
Vp (m/s)
z (m)
3500
800 2500
1500
1000
1200

• Modelo verdadeiro
x (m)
0 1000 2000 3000
0
200
5500
400
4500
600
Vp (m/s)
z (m)
3500
800 2500
1500
1000
1200


x (m)
0 1000 2000 3000
0
200
6
400
5
3
600
z (m)
Amp
2
800 0
-1
-2
1000
x10 -5
1200


x (m)
0 1000 2000 3000
0
200
0.5
400
0
-0.5
-1.0
600
z (m)
-1.5
Amp
-2.0
-2.5
800
-3.0
-3.5
-4.0
1000
x10 -5
1200

• Gradiente para Bandwidth 0-30 Hz (mesma escala)

x (m)
0 1000 2000 3000
0
200
6
400
5
3
600
z (m)
Amp
2
800 0
-1
-2
1000
x10 -5
1200

• Gradiente para Bandwidth 0-30 Hz (mesma escala)

x (m)
0 1000 2000 3000
0
200
6
400
5
3
600
z (m)
Amp
2
800 0
-1
-2
1000
x10 -5
1200

• Evolução da fob com relação ao número de iterações:

• Zoom a partir de 9 Hz:

• Variação do número de iterações necessárias da busca em linha

para bandas de 0-6 Hz e 0-30 Hz

Resultados: Tempo de execução
• Intel Core i7-2600 CPU, 3.40GHz × 8 núcleos

• 64-bits
• 8 Gib de memória RAM
• Marmousi 383x131 pts
• 95 tiros, h = 10, NPT=3000, dt = 0.001
Máxima descida Gradientes conjugados

• Tempo ≈ 25 hrs e 30 min • Tempo ≈ 23 hrs e 45 min

Estratégias de otimização: Máxima descida I
Algoritmo 1 Máxima descida com backtracking line search
1: for freqi ,freqf do . (loop de frequências)

2: ”carrega”dobs
3: for 1,N◦ de iterações do . (loop de otimização)
4: fob =0, gradiente=0
5: for 1, N◦ de fontes do . (loop de tiros 1)
6: gerar dcal sobre m1
7: calcula residuos (dobs − dcal,m1 )
8: calcula fob,m1
9: calcula gradiente (método adjunto)
10: end for . (fim do loop de tiros 1)
11: calculo do passo α
12: atualiza modelo m2 = m1 + α ∗ gradiente
13: for 1, N◦ de fontes do . (loop de tiros 2)
14: gerar dcal sobre m2
15: calcula residuo (dobs − dcal,m2 )

Estratégias de otimização: Máxima descida II
16: calcula fob,m2
17: end for . (fim do loop de tiros 2)
18: if fob,m2 ≥ fob,m1 + c1 ∗ alf a ∗ gradienteT ∗ gradiente then
19: Backtracking α = α2
20: volta para atualização do modelo
21: end if atualiza modelo de fundo m1 = m2
22: end for . (fim do loop de otimização)
23: end for . (fim do loop de frequência)

Inversao Sismica Apresentacao

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Inversao Sismica Apresentacao

Uploaded by

Copyright:

Available Formats

FWI acústica no domı́nio do tempo: testes dos

métodos gradientes em modelo 2D

Universidade Federal do Rio de Janeiro

Kristian Torres Otimização 1 / 89

2 Reverse Time Migration

Kristian Torres Otimização 2 / 89

Kristian Torres Otimização 3 / 89

• Modelo homogêneo (400x300 pts)

Kristian Torres Otimização 4 / 89

• Modelo perturbado – ∆Vp = 150 m/s x = 2000, z = 1500

Kristian Torres Otimização 4 / 89

• Sismograma do modelo homogêneo

Kristian Torres Otimização 5 / 89

• Sismograma do modelo perturbado

Kristian Torres Otimização 6 / 89

• Sismograma do modelo perturbado perc=94

Kristian Torres Otimização 7 / 89

• Sismograma do modelo perturbado Difração ≈ 2 segundos

Kristian Torres Otimização 8 / 89

Kristian Torres Otimização 9 / 89

• Registrar campo de onda incidente p na perturbação vl

Kristian Torres Otimização 10 / 89

• Registrar campo de onda incidente p na perturbação vl

Kristian Torres Otimização 11 / 89

Kristian Torres Otimização 11 / 89

• Derivada de Frechet registrada em ri

Kristian Torres Otimização 12 / 89

Kristian Torres Otimização 12 / 89

Kristian Torres Otimização 12 / 89

• Fazer correlação entre o resultado obtido e os residuos no

Kristian Torres Otimização 13 / 89

Kristian Torres Otimização 14 / 89

• Modelo de 3 camadas paralelas e homogêneas

Kristian Torres Otimização 15 / 89

• Modelo de 3 camadas paralelas e homogêneas

Kristian Torres Otimização 16 / 89

• Modelo de 3 camadas – Sismograma observado

Kristian Torres Otimização 17 / 89

• Depropagação do sismograma injetado como fonte

Kristian Torres Otimização 18 / 89

• Depropagação do sismograma injetado como fonte

Kristian Torres Otimização 19 / 89

• Depropagação do sismograma injetado como fonte

Kristian Torres Otimização 20 / 89

• Depropagação do sismograma injetado como fonte

Kristian Torres Otimização 21 / 89

• Depropagação do sismograma injetado como fonte

Kristian Torres Otimização 22 / 89

• Depropagação do sismograma injetado como fonte

Kristian Torres Otimização 23 / 89

• Depropagação do sismograma injetado como fonte

Kristian Torres Otimização 24 / 89

• Depropagação do sismograma injetado como fonte

Kristian Torres Otimização 25 / 89

• Resultado para 1 tiro em x = 2000 m

Kristian Torres Otimização 26 / 89

• Resultado para 1 tiro em x = 2000 m perc=99.9

Kristian Torres Otimização 27 / 89

• Resultado para 19 tiros

Kristian Torres Otimização 28 / 89

• Modelo perturbado – Resultado para 19 tiros

Kristian Torres Otimização 29 / 89

• Modelo perturbado – Resultado para 19 tiros