Modelagem do mCSEM no domínio do tempo usando transformada discreta de Fourier

A modelagem do mCSEM é feita normalmente no domínio da frequência, desde sua formulação teórica até a análise dos resultados, devido às simplificações nas equações de Maxwell, possibilitadas quando trabalhamos em um regime de baixa frequência. No entanto, a abordagem através do domínio do tempo pode em princípio fornecer informação equivalente sobre a geofísica da subsuperfície aos dados no domínio da frequência. Neste trabalho, modelamos o mCSEM no domínio da frequência em modelos unidimensionais, e usamos a transformada discreta de Fourier para obter os dados no domínio do tempo. Simulamos ambientes geológicos marinhos com e sem uma camada resistiva, que representa um reservatório de hidrocarbonetos. Verificamos que os dados no domínio do tempo apresentam diferenças quando calculados para os modelos com e sem hidrocarbonetos em praticamente todas as configurações de modelo. Calculamos os resultados considerando variações na profundidade do mar, na posição dos receptores e na resistividade da camada de hidrocarbonetos. Observamos a influência da airwave, presente mesmo em profundidades oceânicas com mais de 1000m, e apesar de não ser possível uma simples separação dessa influência nos dados, o domínio do tempo nos permitiu fazer uma análise de seus efeitos sobre o levantamento. Como parte da preparação para a modelagem em ambientes 2D e 3D, fazemos também um estudo sobre o ganho de desempenho pelo uso do paralelismo computacional em nossa tarefa.

Estabilidade exponencial de um sistema termo elástico poroso: lei de Cattaneo versus lei de Fourier

No presente trabalho estudamos a existência e unicidade de solução bem como o decaimento exponencial do modelo abaixo. Nosso resultado mais importante versa sobre o decaimento exponencial do sistema termo-elástico-poroso: Cattaneo versus Fourier, dado por: ρu_tt = µu_xx + bφ_x − βθ_x em (0, π) × (0, ∞), Jθφ_tt = αφ_xx − bu_x − ξφ+mθ – γφ_t em (0, π) × (0, ∞), cθ_t = k∗q_x − βu_xt − mφ_t em (0, π) × (0, ∞), τq mφ_t= −βq − θ_x em (0, π) × (0, ∞), u = φ_x = θ = q = 0 sobre (0, π) × (0, ∞), (u(., 0), φ (., 0), θ (., 0), q(., 0)) = (u₀ (x), φ₀ (x), θ₀ (x), q₀ (x)) em (0, π), (ut(., 0), φt(., 0)) = (u1(x), φ1(x)) em (0, π), a existência e unicidade sera´ obtida usando o Teorema de Lumer-Phillips e para o decaimento exponencial usaremos uma técnica de semigrupo.