Acessibilidade / Reportar erro

Utilização de Modelos Autoregressivos na Quantificação de Incertezas em Problemas de Transporte Linea Trabalho apresentado no XXXV Congresso Nacional de Matemática Aplicada e Computacional.

RESUMO

O fenômeno físico do processo de escoamentos de traçadores em um meio poroso heterogêneo é modelado por um sistema de equações diferenciais parciais, sujeitas a certas condições de contorno e inicial. As variações significativas das propriedades do meio poroso (porosidade e permeabilidade) são responsáveis pela introdução das incertezas contidas no modelo matemático. Com intuito de reduzir asincertezas dos modelos geológicos, deferentes metodologias tem sido desenvolvidas e testadas em diversos problemas de escoamentos de fluidos em meios porosos heterogêneo. O objetivo deste trabalho é o estudo da quantificação de incertezas em problemas de escoamentos de traçadores em meios porosos heterogêneos empregando uma abordagem Bayesiana para a seleção dos campos de permeabilidades, baseada em um conjunto de medições da concentração do traçador em pontos específicos do meio poroso. O método da Soma Sucessiva de Campos Gaussianos Independentes (SSCGI) é utilizado na parametrização das incertezas contidas nos meios porosos heterogêneos. Na resolução do problema inverso, emprega-se o método de Monte Carlo via Cadeias de Markov (MCMC) a dois estágios que utiliza o algoritmo de Metropolis-Hastings baseado em passeios aleatórios do tipo autoregressivo. Através deste procedimento, gera-se uma cadeia Markov que converge para a distribuição estacionária, que neste caso é a distribuição a posterioride interesse. Resultados numéricos são apresentados para um conjunto de realizações dos campos de permeabilidades.

Palavras-chave:
Campos estocásticos Gaussianos; escoamento em meios porosos; método MCMC a dois estágios; traçador

ABSTRACT

The goal of this work is to study the uncertainty quantification in inverseproblems of miscible flows in heterogeneous porous media in Bayesian framework and propose a permeability update based on observed measurements of spatially sparse tracer concentration at certain times. The Successive Sum of Independent Gaussian Fields method is used to parametrization of the uncertainty in heterogeneous porous media. A two-stageMarkov chain Monte Carlo (MCMC) method is used to solving the inverse problem. For the construction of Markov chains is used the Metropolis-Hastings algorithm based on a random walk sampling process employs an auto-regressive instrumental distribution. The main idea of MCMC is to generate a Markov chain with an equilibrium distribution equal to the posterior distribution of interest. Numerical results are presented for a set sampled realizations of the permeability fields.

Keywords:
Gaussian stochastic field; porous media flow; two-stage MCMC method; tracer

1 INTRODUÇÃO

O estudo dos escoamentos multifásicos em meios porosos heterogêneos representa uma ferramenta útil em diversas áreas importantes para o desenvolvimento científico e tecnológico, dentre as quais pode-se destacar a indústria do petróleo e a contaminação ambiental. As técnicas que empregam a injeção de traçadores vêm se mostrando viáveis no estudo de problemas relacionados à simulação numérica de escoamentos miscíveis de fluidos incompressíveis em reservatórios de petróleo, bem como no transporte de contaminantes em reservatórios subterrâneos. O tempo de chegada e a concentração do traçador nos poços de produção ou aquíferos são informações importantes para se identificar barreiras ao escoamento, caminhos preferenciais do escoamento, falhas geológicas, propriedades do meio poroso, comunicação entre reservatórios, condutividade hidráulica, dispersividade, dentre outros, que são difíceis de se obter através de técnicas geofísicas convencionais33 [] G.R. Barth, T.H. Illangasekare, M.C. Hill & H. Rajaram. A New Tracer-density Criterion for Heterogeneous Porous Media. Water Resources Research, 37(1) (2001), 21-31.), (1515 [] P. Engesgaard, K.H. Jensen, J. Molson, E.O. Frind & H. Olsen. Large-scale Dispersion in a Sandy Aquifer: Simulation of Subsurface Transport of Envionmental Tritium. Water Resources Research, 32(11) (1996), 3253-3266.. Exemplos de simulações numéricas e de aplicações desta técnica podem ser encontradas nos trabalhos de11 [] J. Aquino, A.S. Francisco, F. Pereira & H.P. Amaral Souto. Numerical simulation of transient water infiltration in heterogeneous soils combining central schemes and mixed finite elements. Communications in Numerical Methods in Eng., 23 (2007), 491-505.), (22 [] J. Aquino, A.S. Francisco, F. Pereira & H.P. Amaral Souto. A hybrid method for the simulation of radionuclide contaminant plumes in heterogeneous unsaturated formations. Progress in Nuclear Energy, 53 (2011), 1159-1166.), (44 [] M.R. Borges, F. Pereira, F. Furtado & H.P. Amaral Souto. Scaling analysis for the tracer flow problem in self-similar permeability fields. SIAM Multiscale Modeling and Simulation, 7(3) (2008), 1130-1147.), (1717 [] K.H. Jensen, K. Bitsch & P.L. Bjerd. Large-scale dispersion experiments in a sandy aquifer in Denmark: Observed tracer movements and numerical analyses. Water Resources Research, 29(3) (1993), 673-696.), (1818 [] A.F. Loula, J.N.C. Guerreiro, F.L.B. Ribeiro & L. Landau. Tracer Injection Simulations by Finite Element Methods. Society of Petroleum Engineers, 4(1) (1996), 150-156.), (1919 [] A.F. Loula, E.L.M. Garcia & A.L.G.A. Coutinho. Miscible Displacement Simulation by Finite Element Method in Distributed Memory Machines. Computer Methods in Applied Mechanics and Engineering, 174 (1999), 339-354.), (2222 [] T. Ptak, M. Piepenbrink & E. Martac. Tracer tests for the investigation of heterogeneous porous media and stochastic modelling of flow and transport - a review of some recent developments. Journal of Hydrology, 294 (2004), 122-163..

Matematicamente, o escoamento do traçador é modelado por um sistema de equações diferenciais parciais sujeito a certas condições de contorno e inicial. Este sistema de equações diferencias é constituído de um sub-sistema elíptico, que determina a pressão e a velocidade da mistura, e de uma equação de transporte, que determina em cada instante de tempo o valor da concentração do fluido injetado (traçador). A obtenção de soluções numéricas deste sistema de equações diferencias parciais não é uma tarefa fácil visto que elas são fortemente influenciadas pelas propriedades do meio poroso, tais como a porosidade e a permeabilidade, cuja caracterização precisa via a construção numérica de campos de porosidades e permeabilidades ainda é um problema complexo. Estas propriedades são responsáveis pela introdução das incertezas contidas no modelo matemático, que ocorrem em múltiplas escalas, e que reduzem de forma significativa a confiabilidade das previsões obtidas mediante a resolução destas equações. Desta forma, uma grande importância vem sendo dada à aplicação de diferentes tipos de metodologias capazes de quantificar e reduzir as incertezas dos modelos geológicos e, consequentemente, obter previsões acuradas para, por exemplo, a produção de óleo em reservatórios de petróleo e o monitoramento do transporte de contaminantes em formações subterrâneas1010 [] C. Douglas, Y. Efendiev, R. Ewing, V. Ginting & R. Lazarov. Dynamic Data Drive Simulations in Stochastic Environments. Computing, 77 (2006), 321-333.), (1313 [] Y. Efendiev, T. Hou & W. Lou. Proconditioning Markov Chain Monte Carlo Simulations Using Coarse-Scale Models. SIAM J. Sci. Comput, 2(2) (2006), 776-803.), (1414 [] Y. Efendiev, A. Millick & A. Datta-Gupta. Bayesian Uncertainty Quantification for Flows in Heterogeneus Porous Media Using Reversible Jump Markov Chain Monte Carlo Methods. Advances in Water Resources, 33(3) (2010), 241-256.), (2121 [] G. Victor, P. Felipe, P. Michael & W. Shaochang. Application of the two-stage Markov chain Monte Carlo method for characterization of fractured reservoirs using a surrogate flow model. Computational Geosciences, 15(4) (2011), 691-707..

A metodologia Bayesiana1616 [] D. Gamerman & H.F. Lopes. "Markov Chain Monte Carlo: Stochastic Simulation for Bayesian Inference". Texts in Statistical Science, Second Edition, Chapman & Hall/CRC (2006). pode ser utilizada na quantificação de incertezas em problemas envolvendo escoamentos de fluidos em meios porosos heterogêneo1010 [] C. Douglas, Y. Efendiev, R. Ewing, V. Ginting & R. Lazarov. Dynamic Data Drive Simulations in Stochastic Environments. Computing, 77 (2006), 321-333.), (1313 [] Y. Efendiev, T. Hou & W. Lou. Proconditioning Markov Chain Monte Carlo Simulations Using Coarse-Scale Models. SIAM J. Sci. Comput, 2(2) (2006), 776-803.), (1414 [] Y. Efendiev, A. Millick & A. Datta-Gupta. Bayesian Uncertainty Quantification for Flows in Heterogeneus Porous Media Using Reversible Jump Markov Chain Monte Carlo Methods. Advances in Water Resources, 33(3) (2010), 241-256.), (2121 [] G. Victor, P. Felipe, P. Michael & W. Shaochang. Application of the two-stage Markov chain Monte Carlo method for characterization of fractured reservoirs using a surrogate flow model. Computational Geosciences, 15(4) (2011), 691-707.. Nessa abordagem, utiliza-se o Teorema de Bayes para atualizar as informações do parâmetro de interesse (permeabilidade ou porosidade) do modelo geológico. O Teorema de Bayes é uma ferramenta que sintetiza duas fontes de informações a distribuição a priori e a distribuição amostral dos dados (expressa formalmente pela função de verosimilhança), obtendo-se a distribuição a posteriori do parâmetro de interesse1414 [] Y. Efendiev, A. Millick & A. Datta-Gupta. Bayesian Uncertainty Quantification for Flows in Heterogeneus Porous Media Using Reversible Jump Markov Chain Monte Carlo Methods. Advances in Water Resources, 33(3) (2010), 241-256.), (1616 [] D. Gamerman & H.F. Lopes. "Markov Chain Monte Carlo: Stochastic Simulation for Bayesian Inference". Texts in Statistical Science, Second Edition, Chapman & Hall/CRC (2006).. Geralmente, as informações atualizadas do parâmetro de interesse descritas pela distribuição a posteriori podem ser resumidas em termos que envolvem a avaliação de esperanças condicionais. Devido à complexidade de muitos dos modelos probabilísticos, o cálculo das esperanças condicionais não podem ser resolvidas analiticamente. Desta forma, recorre-se a procedimentos numéricos acurados e apropriados para a resolução do problema em questão, visando a melhorar a ordem de aproximação das variáveis de interesse.

Os procedimentos numéricos baseados em simulações estocásticas têm sido bastante utilizados para explorar a complexa distribuição a posteriori, dentre os quais pode-se destacar o método MCMC a dois estágios, abreviatura do inglês Markov Chain Monte Carlo (Monte Carlo viaCadeias de Markov)1212 [] Y. Efendiev, A. Datta-Gupta, V. Ginting, X. Ma & B. Mallick. An Efficient Two-Stage Markov Chain Monte Carlo Method for Dynamic Data Integration. Water Resources Research, 41(12) (2005).), (1313 [] Y. Efendiev, T. Hou & W. Lou. Proconditioning Markov Chain Monte Carlo Simulations Using Coarse-Scale Models. SIAM J. Sci. Comput, 2(2) (2006), 776-803.. Este método faz o uso de algoritmos específicos para gerar cadeias de Markov ergódicas cuja distribuição estacionária é a distribuição de probabilidades a posteriori do parâmetro de interesse. Neste trabalho, utiliza-se o algoritmo de Metropolis-Hastings baseado em passeio aleatório random walk do tipo autoregressivo1616 [] D. Gamerman & H.F. Lopes. "Markov Chain Monte Carlo: Stochastic Simulation for Bayesian Inference". Texts in Statistical Science, Second Edition, Chapman & Hall/CRC (2006).. Este algoritmo baseia-se na técnica de Aceitação-Rejeição, onde amostras são geradas a partir de uma distribuição instrumental a aceitas ou rejeitadas com uma certa probabilidade. O método MCMC a dois estágios têm sido bastante apropriado para a exploração da complexa distribuição a posteriori do problemade escoamentos de fluidos em meios porosos heterogêneos1212 [] Y. Efendiev, A. Datta-Gupta, V. Ginting, X. Ma & B. Mallick. An Efficient Two-Stage Markov Chain Monte Carlo Method for Dynamic Data Integration. Water Resources Research, 41(12) (2005).), (1313 [] Y. Efendiev, T. Hou & W. Lou. Proconditioning Markov Chain Monte Carlo Simulations Using Coarse-Scale Models. SIAM J. Sci. Comput, 2(2) (2006), 776-803.), (1414 [] Y. Efendiev, A. Millick & A. Datta-Gupta. Bayesian Uncertainty Quantification for Flows in Heterogeneus Porous Media Using Reversible Jump Markov Chain Monte Carlo Methods. Advances in Water Resources, 33(3) (2010), 241-256..

O objetivo deste trabalho é o estudo da quantificação de incertezas em problemas inversos envolvendo o transporte de um traçador em meios porosos heterogêneos, empregando uma abordagem Bayesiana para a atualização dos campos de permeabilidades.

2 OS MODELOS DE ESCOAMENTO DO TRAÇADOR

Nesta seção, apresenta-se os sistemas de equações diferenciais parciais usados na modelagem, nas escalas de laboratório (escala fina) e de campo (escala grossa), do escoamento de traçadores em meios porosos heterogêneos. Nestes modelos, supõe-se que a porosidade é igual a uma constante, o meio porosos é indeformável e está saturado por um fluido. Além disso, os efeitos da gravidade e da compressibilidade foram negligenciados. O transporte é puramente advectivo e ausente de fontes ou sorvedouros. Uma certa quantidade de um traçador é injetada no fluido que escoa no interior do meio poroso. A concentração total do traçador é baixa o suficiente de modo que o fluido marcado e o residente tenham, em termos práticos, as mesmas propriedades físicas.

2.1 O modelo para a malha fina

O modelo matemático na escala fina usado para descrever o processo de escoamento de traçadores em um meio poroso Ω ⊆ ℝ2, sobre um intervalo de tempo I = [0, T] ⊂ ℝ, 0≤tT, é constituído por uma equação de transporte linear da concentração do fluido marcado

(2.1)

e o campo de velocidades que é determinado pela lei de Darcy juntamente com a hipótese de incompressibilidade do fluido

(2.2)

onde a variável x=(x,y) é o vetor posição, k(x)=k é um campo escalar de permeabilidades, com distribuição log-normal, a ser especificado, u=u(x,t) é a velocidade do fluido ou velocidade de Darcy e p=p(x,t) é a pressão do fluido através do meio poroso. O coeficiente μ representa a viscosidade da mistura e c=c(x,t) a concentração do fluido marcado.

As Equações (2.1) e (2.2) são definidas em um domínio quadrangular Ω = [0, Lx ] × [0, Ly ], com contorno regular ∂Ω e, um intervalo de tempo 0≤tT, com condições de contornodadas por

(2.3)

e condição inicial do tipo Riemann

(2.4)

onde n é o vetor normal unitário exterior a ∂Ω, Lx e Ly representam, respectivamente, as dimensões física do meio poroso nas direções x e y, conforme a Figura 1 A taxa de injeção do traçador é dada por q, c(x,0)=1 representa a concentração do fluido injetado (traçador) e c(x,0)=0 é a concentração do traçador no fluido residente.

Figura 1
Domínio Ω.

2.2 O modelo para a malha grossa

O método MCMC a dois estágios utiliza um modelo matemático na escala de campo (malha grossa) a fim de reduzir o esforço computacional e aumentar a taxa de aceitação das amostras propostas dos campos de permeabilidades1313 [] Y. Efendiev, T. Hou & W. Lou. Proconditioning Markov Chain Monte Carlo Simulations Using Coarse-Scale Models. SIAM J. Sci. Comput, 2(2) (2006), 776-803.), (1414 [] Y. Efendiev, A. Millick & A. Datta-Gupta. Bayesian Uncertainty Quantification for Flows in Heterogeneus Porous Media Using Reversible Jump Markov Chain Monte Carlo Methods. Advances in Water Resources, 33(3) (2010), 241-256.. Desta forma, uma técnica de upscaling do campo de permeabilidades se torna necessária de modo a obter-se valores de permeabilidades efetivas em cada elemento da malha grossa e as equações efetiva, apropriadas para a simulação numérica na escala de campo do problema do escoamento do traçador no interior do meio poroso1313 [] Y. Efendiev, T. Hou & W. Lou. Proconditioning Markov Chain Monte Carlo Simulations Using Coarse-Scale Models. SIAM J. Sci. Comput, 2(2) (2006), 776-803.), (1414 [] Y. Efendiev, A. Millick & A. Datta-Gupta. Bayesian Uncertainty Quantification for Flows in Heterogeneus Porous Media Using Reversible Jump Markov Chain Monte Carlo Methods. Advances in Water Resources, 33(3) (2010), 241-256.. A Figura 2 representa esquematicamente as malhas nas escalas fina e grossa.

Figura 2
Representação esquemática das malhas nas escalas fina (linhas tracejadas) e grossa (linhas contínuas).

Para calcular-se as permeabilidades efetivas na malha grossa, resolve-se para cada elemento Ωα da malha grossa o seguinte problema local:

(2.5)

onde gi (x) são funções definidas no contorno do elemento da malha grossa Ωα. Para que a solução deste problema seja obtida, é necessário estabelecer as seguintes condições de contorno:

(2.6)

onde ei é o vetor da base canônica. Assim, o tensor efetivo de permeabilidades é dado por:

onde ζi (x) é a solução da Equação (2.5) para as condições de contorno (2.6) e (a, b) representa o produto interno entre os vetores a e b.

Uma vez determinado o tensor efetivo de permeabilidades, o modelo matemático na malhagrossa é constituído por

(2.7)

(2.8)

onde Equações (2.7) e (2.8) estão sujeitas às condições de contorno e inicial análogas às definidas em (2.3) e (2.4)., , indicam, respectivamente, a concentração do traçador, a velocidade e a pressão do fluido na malha grossa. As ,

3 MODELAGEM ESTOCÁSTICA DA GEOLOGIA

Para a parametrização das incertezas contidas nos meios porosos heterogêneos, emprega-secampos de permeabilidades escalares k(x) com distribuição log-normal da forma:

onde k0 é uma constante, φ é o fator que controla o grau de heterogeneidade do meio poroso e Y(x) é um campo aleatório Gaussiano caracterizado por sua média 〈Y(x)〉=0 e sua função de covariância dada por uma lei de potência(55 [] M.R. Borges , F. Pereira & H.P. Amaral Souto. Efficient generation of multi-scale random fields: A hierarchical approach. International Journal for Numerical Methods in Biomedical Engineering, 26 (2010), 176-189.)

onde 〈 〉 indica a média do conjunto e β é o coeficiente de Hurst.

Gera-se os campos aleatórios Y(x) utilizando o método das Soma Sucessiva de Campos Gaussianos Independentes (SSCGI)(55 [] M.R. Borges , F. Pereira & H.P. Amaral Souto. Efficient generation of multi-scale random fields: A hierarchical approach. International Journal for Numerical Methods in Biomedical Engineering, 26 (2010), 176-189.). Este eficiente procedimento gera, numericamente, campos aleatórios Gaussianos correlacionados, baseando-se na superposição hierárquica de malhas uniformes independentes, isto é,

onde bn × bn, com n=0,1,2,..., é o tamanho de cada elemento, m = 1, 2,..., bn é o número de malhas em cada nível n e, n (x) são as variáveis aleatórias Gaussianas independentes. Este procedimento numérico têm sido aplicado com êxito na simulação de escoamentos de fluidos em meios porosos22 [] J. Aquino, A.S. Francisco, F. Pereira & H.P. Amaral Souto. A hybrid method for the simulation of radionuclide contaminant plumes in heterogeneous unsaturated formations. Progress in Nuclear Energy, 53 (2011), 1159-1166.), (44 [] M.R. Borges, F. Pereira, F. Furtado & H.P. Amaral Souto. Scaling analysis for the tracer flow problem in self-similar permeability fields. SIAM Multiscale Modeling and Simulation, 7(3) (2008), 1130-1147.), (55 [] M.R. Borges , F. Pereira & H.P. Amaral Souto. Efficient generation of multi-scale random fields: A hierarchical approach. International Journal for Numerical Methods in Biomedical Engineering, 26 (2010), 176-189.. e ξ

4 RESOLUÇÃO NUMÉRICA DO SISTEMA DE EQUAÇÕES DIFERENCIAIS PARCIAIS

Na resolução do problema de pressão-velocidade (2.2), para as malhas fina e grossa, as equações diferenciais parciais são discretizadas pelo método dos elementos finitos mistos, que são adequados para o cálculo acurado dos fluxos nos campos de permeabilidades heterogêneos11 [] J. Aquino, A.S. Francisco, F. Pereira & H.P. Amaral Souto. Numerical simulation of transient water infiltration in heterogeneous soils combining central schemes and mixed finite elements. Communications in Numerical Methods in Eng., 23 (2007), 491-505.. O sistema algébrico linear associado ao campo de pressões foi resolvido por um método iterativo do tipo Gradiente Conjugado com Pré-condicionador88 [] M.C.C. Cunha. "Métodos numéricos". Editora da UNICAMP, Campinas (2000).), (77 [] M.C.C. Cunha. Métodos numéricos. Journal of Computational and Graphical Statistics, 14(4) (2005), 795-810..

Na resolução da equação de advecção que governa o transporte do traçador (2.1) emprega-se o método lagrangeano localmente conservativo Forward Integral Tracking (FIT)22 [] J. Aquino, A.S. Francisco, F. Pereira & H.P. Amaral Souto. A hybrid method for the simulation of radionuclide contaminant plumes in heterogeneous unsaturated formations. Progress in Nuclear Energy, 53 (2011), 1159-1166.. Este método prescinde da solução de problemas de Riemann e utiliza a ideia dos tubos integrais introduzida em1111 [] J. Douglas Jr, F. Pereira & L.M. Yeh. A Locally Conservative Eulerian-Lagrangian Numerical Method its Aplication to nonlinear transport in Porous Media. Computational Geosciences, 4 (2000), 1-40.. Além disso, o FIT é teoricamente livre de difusão numérica e possui uma excelente eficiência computacional.

Os mesmos métodos numéricos utilizados na resolução das equações diferenciais (2.1) e (2.2) são considerados na resolução do transporte advectivo linear da concentração do traçador na malha grossa (2.7) e do problema elíptico (2.8).

5 A ABORDAGEM BAYESIANA

Neste trabalho, as simulações de quantificação de incertezas são empregadas com o intuito de atualizar os campos de permeabilidades k(x), baseado-se no conhecimento prévio de um conjunto de valores medidos da concentração do traçador em alguns pontos específicos do meio poroso O(co ), tal que,

O(co ) = {co (xi, tj )i = 1, ..., Ns ; j = 1, ..., Nt }.

onde co (xi, tj ) é a concentração observada do traçador no sensor localizado em xi de Ω para o instante de tempo tj, Ns é o número de sensores instalados em Ω e Nt representa o número de vezes que a concentração é avaliada no tempo. Para se obter as informações referentes aos elementos do conjunto O(co ), gera-se, inicialmente, um campo de permeabilidades de referência kr (x), onde assume-se que os valores das permeabilidades nos pontos xi são conhecidos. Posteriormente, resolve-se acuradamente o modelo matemático (2.1)-(2.2) a fim de determinar-se os valores observados da concentração do traçador co (xi, tj ), em uma malha fina.

As informações referentes aos valores observados da concentração são introduzidos no modelo através da função de verossimilhança P(O(co )|k(x)). Esta informação adicional é utilizada na seleção dos novos campos de permeabilidades através do Teorema de Bayes1010 [] C. Douglas, Y. Efendiev, R. Ewing, V. Ginting & R. Lazarov. Dynamic Data Drive Simulations in Stochastic Environments. Computing, 77 (2006), 321-333.

π(k(x)) ∝ P(O(co )|l(x))P(k(x)),

onde P(k(x)) e r(k (x)) = P (k(x)|O(co )) distribuições de probabilidade a priori e a posteriori do campo de permeabilidades k(x). A distribuição a priori é dada por2020 [] A. Mondal, Y. Efendiev, A. Millick & A. Datta-Gupta. Bayesian Uncertainty Quantification for Flows in Heterogeneus Porous Media Using Reversible Jump Markov Chain Monte Carlo Methods. Advances in Water Resources, 33(3) (2010), 241-256.

onde 1010 [] C. Douglas, Y. Efendiev, R. Ewing, V. Ginting & R. Lazarov. Dynamic Data Drive Simulations in Stochastic Environments. Computing, 77 (2006), 321-333., isto é, = 0 e = 1. Supõe-se que a função de verossimilhança segue uma distribuição normal

onde cs (xi, tj ) é a concentração simulada do traçador no sensor localizado em xi para o instante de tempo tj obtida com os campos de permeabilidades propostos. Para cada amostra proposta do campo de permeabilidades k(x), obtém-se a concentração simulada do traçador cs (xi, tj ) a partir da solução numérica do modelo matemático (2.1)-(2.2) na escala fina. O parâmetro 1010 [] C. Douglas, Y. Efendiev, R. Ewing, V. Ginting & R. Lazarov. Dynamic Data Drive Simulations in Stochastic Environments. Computing, 77 (2006), 321-333. é a precisão associada às medidas simuladas e observadas. Assim, o erro em malha fina é definido por

onde ||•|| é a norma L 2.

Para o modelo matemático na escala grossa, define-se a função de verossimilhança como sendo dada por

onde (2.7) - (2.8), e é a precisão associada ao modelo na escala grossa. Neste caso, define-se o erro em malha grossa como(x i, tj) é a concentração simulada do traçador obtida a partir da resolução numérica do modelo matemático na escala de campo

Desta forma, a distribuição de interesse na malha grossa é aproximada por

6 O MÉTODO DE MONTE CARLO VIA CADEIAS DE MARKOV

A ideia básica dos métodos MCMC é simular Cadeias de Markov ergódicas {k (t)} que têm como sua distribuição estacionária (ou de equilíbrio) a distribuição a posteriori de interesse π(k(x)). Para a construção destas Cadeias de Markov, os métodos MCMC fazem uso de algoritmos específicos, nos quais pode-se destacar o algoritmo de Metropolis-Hastings1010 [] C. Douglas, Y. Efendiev, R. Ewing, V. Ginting & R. Lazarov. Dynamic Data Drive Simulations in Stochastic Environments. Computing, 77 (2006), 321-333.), (1414 [] Y. Efendiev, A. Millick & A. Datta-Gupta. Bayesian Uncertainty Quantification for Flows in Heterogeneus Porous Media Using Reversible Jump Markov Chain Monte Carlo Methods. Advances in Water Resources, 33(3) (2010), 241-256.), (1616 [] D. Gamerman & H.F. Lopes. "Markov Chain Monte Carlo: Stochastic Simulation for Bayesian Inference". Texts in Statistical Science, Second Edition, Chapman & Hall/CRC (2006).. Para cada iteração, um campo de permeabilidades k(x) é proposto usando uma distribuição instrumental q(k/k (t)), onde o instante t representa o estado atual em que se encontra a cadeia de Markov. Em seguida, resolve-se o sistema de equações diferenciais parciais (2.1)-(2.2). Então, o candidato k(x) será aceito como o próximo estado da cadeia com probabilidade dada por

tal que k (t+1) = k com probabilidade α(k/k (t)) e k (t+1) = k (t) com probabilidade 1 - α(k/k (t)).

Neste trabalho, considera-se o caso especial do algoritmo de Metropolis-Hastings baseado em passeios aleatórios (random walk), onde aplica-se à variável n (x), ou Y(x), a fim de manter-se a mesma estrutura de construção dos campos Gaussianos Y(x) gerados pela técnica SSCGI. Assim, propõe-se Y(x) a partir do novo valor de dado por ao invés da variável ξ

(6.1)

onde (6.1) é baseado em passeios aleatórios (random walk) do tipo autoregressivo(1616 [] D. Gamerman & H.F. Lopes. "Markov Chain Monte Carlo: Stochastic Simulation for Bayesian Inference". Texts in Statistical Science, Second Edition, Chapman & Hall/CRC (2006).). A utilização deste tipo de amostragem é bastante vantajosa, pois não se tem o problema de renormalização da variável aleatória (x) representa o estado atual da variável aleatória Gaussiana, n = 0, 1, 2, ... e m = 1, 2, ..., bn. O parâmetro hξ determina o tamanho do salto em cada passo do algoritmo de Metropolis-Hastings e zξ é gerado a partir de uma distribuição normal com média 0 e variância 1, isto é, zξ ~N (0,1). O processo de amostragem .

Geralmente, as simulações diretas do método MCMC apresentam a desvantagem de necessitar de um elevado esforço computacional, uma vez que um grande número de simulações é necessário para que obtenha-se a convergência da cadeia de Markov e uma boa taxa de aceitação. Portanto, a fim de minimizar este problema recorre-se a uma eficiente e rigorosa metodologia, conhecida como método MCMC a dois estágios(66 [] J.A. Chrsitien & C. Fox. Markov chain Monte Carlo using an approximation. Journal of Computational and Graphical Statistics, 14(4) (2005), 795-810.), (1212 [] Y. Efendiev, A. Datta-Gupta, V. Ginting, X. Ma & B. Mallick. An Efficient Two-Stage Markov Chain Monte Carlo Method for Dynamic Data Integration. Water Resources Research, 41(12) (2005).), (1313 [] Y. Efendiev, T. Hou & W. Lou. Proconditioning Markov Chain Monte Carlo Simulations Using Coarse-Scale Models. SIAM J. Sci. Comput, 2(2) (2006), 776-803.), que pode ser descrito pelo Algoritmo 1.

Algoritmo 1:
Método MCMC a dois estágios.

7 RESULTADOS NUMÉRICOS

As simulações foram realizadas com um código numérico serial considerando um tempo máximo de simulação de até 1.700 dias, em uma região física bidimensional com dimensões Lx = 128m e Ly = 128m. As simulações foram feitas empregando-se diferentes malhas na escala grossa: 16×16, 32×32 e 64×64 elementos. A malha usada na escala fina foi mantida fixa e possui 128×128 elementos. O passo de tempo utilizado na resolução da equação de transporte linear foi de Δt=1 dia. Em todas as simulações o traçador é injetado uniformemente a uma taxa constante de 0,2 volumes porosos a cada ano. O número inicial de pontos sobre a frente de avanço do traçador é de 256 pontos. Para evitar a influência da injeção nos resultados numéricos, no instante inicial especifica-se que o salto esteja localizado a 8 m de distância da fronteira esquerda do reservatório. Na caracterização da rocha do reservatório utiliza-se campos Gaussianos aleatórios obtidos com covariância espacial fractal. O expoente de Hurst (β) é igual a 0,5 e o fator que controla o grau de heterogeneidade do meio foi fixado em 0,4.

Para a obtenção dos resultados numéricos foram propostas 70.000 amostras, nas quais selecionou-se conjuntos de realizações com 1.000 amostras aceitas de campos de permeabilidades. O parâmetro de perturbação hξ do processo de amostragem do tipo random walk foi igual a 0,0025 e o valor da precisão da medida observada foi Si = Si (x, y), i=1,...,6, de monitoramento são: S 1 =(35,0, 32,0), S 2=(35,0, 64,0), S 3=(35,0, 96,0), S 4=(75,0, 32,0), S 5=(75,0, 64,0) e S 6=(75,0, 96,0) (veja a Figura 3). O valor prescrito da permeabilidade em cada sensor é k 0 ≠ 0 e a concentração c(xi, tj ) foi avaliada a cada 1 dia de simulação. = 4, com = 1,0. As localizações dos sensores

Figura 3
Frente de avanço do traçador e sensores de monitoramento.

Na Tabela 1 são apresentados as taxas de aceitação, para as 1.000 primeiras amostras aceitas de campos de permeabilidades, obtidas com as malhas grossas de 16×16, 32×32 e 64×64 elementos. Observa-se que quando passa-se de uma malha de 16×16 elementos para uma malha de 32×32 e 64×64 a taxa de aceitação reduz 3,2% e 2,1%, respectivamente. Espera-se que quanto mais próxima a malha grossa está da malha fina os valores da taxa de aceitação aumentariam, uma vez que se elas fossem iguais os mesmos campos de permeabilidades seriam aceitos nos testes de aceitação do método MCMC a dois estágios. Entretanto, deve-se levar em consideração que estas variações dependem das relações entre os erros em malha grossa e fina e, principalmente, dos valores das precisões das medidas, . Além disso, um outro fator que também influência na taxa de aceitação é o refinamento das malhas utilizadas na escala grossa. e

Tabela 1
Taxas de aceitação para 1.000 primeiras amostras aceitas.

Na Figura 4 apresenta-se os campos aleatórios Gaussianos de referência, inicial e outros quatro campos aceitos, os de números 40.344, 43.772, 48.880 e 49.818, dentre os 1.000 primeiros campos aceitos na malha fina com 128×128 elementos e malhas na escala grossa com 16×16 elementos. Pode-se observar que os campos aceitos são distintos entre si e que, existe uma diferença significativa entre os campos aleatórios Gaussianos selecionados e os campos de referência e inicial. Portando, conclui-se que o parâmetro de perturbação h ξ = 0,0025 utilizado no processo de amostragem, para as malhas e a relação entre as precisões das medidas, foi capaz de selecionar campos aleatórios Gaussianos distintos e que incorporam as informações disponíveis a priori.

Figura 4
Realizações aceitas dos campos aleatórios Gaussianos.

Com o objetivo de diagnosticar a convergência numérica das cadeias de Markov, adota-se como método a inspeção visual dos erros na malha fina Ef 2020 [] A. Mondal, Y. Efendiev, A. Millick & A. Datta-Gupta. Bayesian Uncertainty Quantification for Flows in Heterogeneus Porous Media Using Reversible Jump Markov Chain Monte Carlo Methods. Advances in Water Resources, 33(3) (2010), 241-256.. A Figura 5 apresenta a variação do erro na malha fina em função dos primeiros 1.000 campos de permeabilidades aceitos, obtidos com malhas na escala grossa de 16×16, 32×32 e 64×64 elementos. Pode-se observar que para todas as malhas as cadeias de Markov convergiram para a distribuição estacionária de interesse π(k(x)). Os erros decresceram de valores da ordem de aproximadamente 5.102 para 10.100. Os valores baixos destes erros são a garantia de que os campos aceitos possam fornecer, para a concentração simulada do traçador cs (xi, tj ), valores próximos aos medidos nos sensores co (xi, tj ). Esse fato pode ser verificado observando-se a Figura 6, que contém os gráficos dos perfis médios de concentração simulada do traçador nas posições correspondentes à localização dos diferentes sensores instalados no meio poroso. Nesta figura, compara-se os perfis oriundos das simulações fazendo o uso dos campos de permeabilidades de referência e inicial, além dos perfis médios da concentração do traçador obtidos para um conjunto de 800 amostras aceitas dos campos de permeabilidades, após o período de aquecimento de 200 campos aceitos. Como se pode observar, em todos os casos, existe uma boa concordância entre os perfis da concentração média simulada do traçador e os observados.

Figura 5
Erro na malha fina da concentração do traçador em função das amostras aceitas.

Figura 6
Valores da concentração do traçador em diferentes sensores.

A partir dos resultados numéricos obtidos, entende-se que esta abordagem foi capaz de propor a atualização dos campos de permeabilidades e reduzir as incertezas contidas no modelo matemático que descreve o transporte de um traçador.

8 CONCLUSÃO

Neste trabalho foi utilizado uma abordagem Bayesiana para a atualização dos campos de permeabilidades, baseada no conhecimento prévio dos valores da concentração do traçador e da permeabilidade em alguns pontos específicos do meio poroso heterogêneos. O método da Soma Sucessiva de Campos Gaussianos Independentes foi usado para gerar as amostras dos campos de permeabilidades na solução do problema inverso estocástico associado ao escoamento do traçador em formações heterogêneas. Na solução do problema inverso complexo, foi utilizado o método Monte Carlo via Cadeias de Markov a dois estágios, cujo o processo de amostragem é do tipo random walk onde emprega-se um modelo autoregressivo. Os resultados numéricos obtidos indicam que as cadeias de Markov convergiram para a distribuição a posteriori de interesse, o parâmetro he = 0,0025 usado no processo de amostragem do modelo autoregressivo seleciona campos de permeabilidades distintos entre si e as incertezas contidas no modelo matemático que descreve o escoamento de um traçador no interior de um meio poroso podem ser reduzidas a partir do conhecimento prévio das medições dos valores das concentrações do traçador em alguns pontos específicos do meio poroso. Como perspectiva futura do presente trabalho cita-se, por exemplo, a utilização do método MCMC a dois estágios na quantificação de incertezas de problemas envolvendo escoamentos multifásicos.

REFERÊNCIAS

  • 1
    [] J. Aquino, A.S. Francisco, F. Pereira & H.P. Amaral Souto. Numerical simulation of transient water infiltration in heterogeneous soils combining central schemes and mixed finite elements. Communications in Numerical Methods in Eng., 23 (2007), 491-505.
  • 2
    [] J. Aquino, A.S. Francisco, F. Pereira & H.P. Amaral Souto. A hybrid method for the simulation of radionuclide contaminant plumes in heterogeneous unsaturated formations. Progress in Nuclear Energy, 53 (2011), 1159-1166.
  • 3
    [] G.R. Barth, T.H. Illangasekare, M.C. Hill & H. Rajaram. A New Tracer-density Criterion for Heterogeneous Porous Media. Water Resources Research, 37(1) (2001), 21-31.
  • 4
    [] M.R. Borges, F. Pereira, F. Furtado & H.P. Amaral Souto. Scaling analysis for the tracer flow problem in self-similar permeability fields. SIAM Multiscale Modeling and Simulation, 7(3) (2008), 1130-1147.
  • 5
    [] M.R. Borges , F. Pereira & H.P. Amaral Souto. Efficient generation of multi-scale random fields: A hierarchical approach. International Journal for Numerical Methods in Biomedical Engineering, 26 (2010), 176-189.
  • 6
    [] J.A. Chrsitien & C. Fox. Markov chain Monte Carlo using an approximation. Journal of Computational and Graphical Statistics, 14(4) (2005), 795-810.
  • 7
    [] M.C.C. Cunha. Métodos numéricos. Journal of Computational and Graphical Statistics, 14(4) (2005), 795-810.
  • 8
    [] M.C.C. Cunha. "Métodos numéricos". Editora da UNICAMP, Campinas (2000).
  • 9
    [] L.J. Durlofsky. Coarse Scale Models of two Phase in Heterogenous Reservoirs: Volume Averaged Equations and Their Relationship to the Existing Upscaling Techniques. Computational Geosciences, 2(2) (1998), 73-92.
  • 10
    [] C. Douglas, Y. Efendiev, R. Ewing, V. Ginting & R. Lazarov. Dynamic Data Drive Simulations in Stochastic Environments. Computing, 77 (2006), 321-333.
  • 11
    [] J. Douglas Jr, F. Pereira & L.M. Yeh. A Locally Conservative Eulerian-Lagrangian Numerical Method its Aplication to nonlinear transport in Porous Media. Computational Geosciences, 4 (2000), 1-40.
  • 12
    [] Y. Efendiev, A. Datta-Gupta, V. Ginting, X. Ma & B. Mallick. An Efficient Two-Stage Markov Chain Monte Carlo Method for Dynamic Data Integration. Water Resources Research, 41(12) (2005).
  • 13
    [] Y. Efendiev, T. Hou & W. Lou. Proconditioning Markov Chain Monte Carlo Simulations Using Coarse-Scale Models. SIAM J. Sci. Comput, 2(2) (2006), 776-803.
  • 14
    [] Y. Efendiev, A. Millick & A. Datta-Gupta. Bayesian Uncertainty Quantification for Flows in Heterogeneus Porous Media Using Reversible Jump Markov Chain Monte Carlo Methods. Advances in Water Resources, 33(3) (2010), 241-256.
  • 15
    [] P. Engesgaard, K.H. Jensen, J. Molson, E.O. Frind & H. Olsen. Large-scale Dispersion in a Sandy Aquifer: Simulation of Subsurface Transport of Envionmental Tritium. Water Resources Research, 32(11) (1996), 3253-3266.
  • 16
    [] D. Gamerman & H.F. Lopes. "Markov Chain Monte Carlo: Stochastic Simulation for Bayesian Inference". Texts in Statistical Science, Second Edition, Chapman & Hall/CRC (2006).
  • 17
    [] K.H. Jensen, K. Bitsch & P.L. Bjerd. Large-scale dispersion experiments in a sandy aquifer in Denmark: Observed tracer movements and numerical analyses. Water Resources Research, 29(3) (1993), 673-696.
  • 18
    [] A.F. Loula, J.N.C. Guerreiro, F.L.B. Ribeiro & L. Landau. Tracer Injection Simulations by Finite Element Methods. Society of Petroleum Engineers, 4(1) (1996), 150-156.
  • 19
    [] A.F. Loula, E.L.M. Garcia & A.L.G.A. Coutinho. Miscible Displacement Simulation by Finite Element Method in Distributed Memory Machines. Computer Methods in Applied Mechanics and Engineering, 174 (1999), 339-354.
  • 20
    [] A. Mondal, Y. Efendiev, A. Millick & A. Datta-Gupta. Bayesian Uncertainty Quantification for Flows in Heterogeneus Porous Media Using Reversible Jump Markov Chain Monte Carlo Methods. Advances in Water Resources, 33(3) (2010), 241-256.
  • 21
    [] G. Victor, P. Felipe, P. Michael & W. Shaochang. Application of the two-stage Markov chain Monte Carlo method for characterization of fractured reservoirs using a surrogate flow model. Computational Geosciences, 15(4) (2011), 691-707.
  • 22
    [] T. Ptak, M. Piepenbrink & E. Martac. Tracer tests for the investigation of heterogeneous porous media and stochastic modelling of flow and transport - a review of some recent developments. Journal of Hydrology, 294 (2004), 122-163.
  • Trabalho apresentado no XXXV Congresso Nacional de Matemática Aplicada e Computacional.

Datas de Publicação

  • Publicação nesta coleção
    Jan-Apr 2016

Histórico

  • Recebido
    28 Ago 2014
  • Aceito
    09 Fev 2016
Sociedade Brasileira de Matemática Aplicada e Computacional Rua Maestro João Seppe, nº. 900, 16º. andar - Sala 163 , 13561-120 São Carlos - SP, Tel. / Fax: (55 16) 3412-9752 - São Carlos - SP - Brazil
E-mail: sbmac@sbmac.org.br