Extensão do critério de Barbieri em tomografia de tempos de trânsito não-linear.

• Ano de defesa: 2024
• Autor(a) principal: Vieira, Marcelo Querino e Silva do Prado
• Orientador(a): Bassrei, Amin
• Banca de defesa: Bassrei, Amin , Santos, Eduardo Telmo Fonseca , Costa, Jessé Carvalho , Porsani, Milton Jose , Lemaire, Thierry Jacques
• Tipo de documento: Tese
• Tipo de acesso: Acesso aberto
• Idioma: por
• Instituição de defesa: Universidade Federal da Bahia
• Programa de Pós-Graduação: Pós-Graduação em Geofísica (PGEOF)
• Departamento: Instituto de Geociências
• País: Brasil
• Palavras-chave em Português: Geofísica; Inversão sísmica; Tomografia; Regularização; Curva L; Barbieri
• Área do conhecimento CNPq: CNPQ::CIENCIAS EXATAS E DA TERRA::GEOCIENCIAS::GEOFISICA::GEOFISICA APLICADA
• Link de acesso: https://repositorio.ufba.br/handle/ri/41125

O presente trabalho propõe dois métodos para avaliar a qualidade da inversão tomográfica de tempos de trânsito com regularização por matrizes de derivada e também aprimorar o modelo de velocidades recuperado. Tais métodos são baseados no Critério de Barbieri, desenvolvido originalmente em tomografia médica. O primeiro, Critério de Barbieri (CB), considera uma modelagem por raios retos, enquanto o segundo, Critério de Barbieri Modificado (CBM), é governado pelo princípio de Fermat. Ambos fazem uso de filtragem por decomposição em valores singulares para suprimir autoimagens dominantes por assumir que o efeito dos erros do algoritmo de inversão assume um caráter espacial com distribuição aleatória. Nas simulações com dados sintéticos, os métodos aprimoraram a solução em termos do desvio RMS do modelo mesmo na presença de elevado ruído gaussiano adicionado ao dado. Em geral, o CBM requereu maior regularização do que a da inversão tradicional. Aplicados ao dado real do Campo de Dom João, Bacia do Recôncavo, ambos CB e CBM recuperaram modelos similares e de maior resolução do que o da inversão tomográfica convencional. Os resultados com dados reais foram validados por dados sísmicos de reflexão. Para a modelagem direta, foram testados algoritmo de traçado de raios baseado na solução analítica da equação do raio, e algoritmo de grafos, que é uma aplicação direta do princípio de Fermat. A modelagem por grafos se mostrou superior pela capacidade de sempre ligar fontes a receptores independente da complexidade do modelo de velocidades. Para o procedimento numérico da inversão, testamos a inversa generalizada e o gradiente conjugado, que apresentou menor custo computacional sem perda de qualidade. A regularização por matrizes de derivadas foi incorporada ao problema para estabilizar a solução. O fator de regularização foi escolhido pela curva L auxiliada pela curva seno-Theta, desenvolvida neste trabalho, e também pela validação cruzada generalizada.