Técnicas computacionais para a solução numérica de modelos cardíacos baseados em cadeias de Markov

• Ano de defesa: 2015
• Autor(a) principal: Gomes, Johnny Moreira
• Orientador(a): Santos, Rodrigo Weber dos
• Banca de defesa: Rocha, Bernardo Martins , Silva, Ana Paula Couto da, Queiroz, Rafael Alves Bonfim de
• Tipo de documento: Dissertação
• Tipo de acesso: Acesso aberto
• Idioma: por
• Instituição de defesa: Universidade Federal de Juiz de Fora (UFJF)
• Programa de Pós-Graduação: Programa de Pós-graduação em Modelagem Computacional
• Departamento: ICE – Instituto de Ciências Exatas
• País: Brasil
• Palavras-chave em Português: Eletrofisiologia cardíaca; Métodos numéricos; Cadeias de Markov; Método de uniformização; Passo de tempo adaptativo; Cardiac Electrophysiology; Numerical Methods; Markov Chains; Uniformization Method; Adaptive Time Step
• Área do conhecimento CNPq: CNPQ::CIENCIAS EXATAS E DA TERRA
• Link de acesso: https://repositorio.ufjf.br/jspui/handle/ufjf/3554

Este trabalho compara diferentes esquemas numéricos para a solução de modelos modernos para a eletrofisiologia de miócitos cardíacos. Apresentamos o Método de Uniformização - amplamente utilizado para a solução de problemas estocásticos em ciência da computação - e mostramos que, quando aplicado na resolução numérica de modelos cardíacos baseados em Cadeias de Markov de Tempo contínuo, aumenta substancialmente a estabilidade numérica em relação a métodos explícitos tradicionalmente utilizados, como o Método de Rush-Larsen e o Método de Euler Explícito. A formulação em Cadeias de Markov para estruturas subcelulares - como os canais iônicos - permite a descrição detalhada do comportamento elétrico de células cardíacas para importantes aplicações experimentais, como a simulação dos efeitos de drogas e toxinas sobre a atividade elétrica da membrana celular. No entanto, as equações diferenciais associadas às Cadeias de Markov para canais iônicos frequentemente trazem problemas de estabilidade numérica, que limitam fortemente o passo de tempo utilizado por esquemas explícitos. Com a utilização do Método de Uniformização foi possível aumentar significativamente a magnitude dos passos de tempo utilizados em simulações de três modelos da eletrofisiologia cardíaca baseados em Cadeias de Markov. Neste trabalho mostramos como é possível associar o Método de Uniformização a outros esquemas explícitos para a solução numérica de tais modelos, e como tais técnicas melhoram significativamente o desempenho computacional em relação a métodos explícitos tradicionais. Além disso, propomos extensões do método de Rush-Larsen e do método de Uniformização com segunda ordem de precisão para o desenvolvimento de esquemas explícitos de passo de tempo adaptativo, visando reduzir ainda mais o custo computacional em simulações com tolerância numérica estrita.