Modélisation et simulation de l activité électrique du coeur dans le thorax, analyse numérique et méthodes de volumes finis



Documents pareils
ANALYSE NUMERIQUE ET OPTIMISATION. Une introduction à la modélisation mathématique et à la simulation numérique

LIRE UN E.C.G. Formation sur le langage et la lecture d un ECG destinée aux techniciens ambulanciers de la région Chaudière-Appalaches

L E.C.G. pour les nuls

T.P. FLUENT. Cours Mécanique des Fluides. 24 février 2006 NAZIH MARZOUQY

Plan du chapitre «Milieux diélectriques»

Différentiabilité ; Fonctions de plusieurs variables réelles

de calibration Master 2: Calibration de modèles: présentation et simulation d

Les correcteurs accorderont une importance particulière à la rigueur des raisonnements et aux représentations graphiques demandées.

Sujet proposé par Yves M. LEROY. Cet examen se compose d un exercice et de deux problèmes. Ces trois parties sont indépendantes.

Simulation numérique d un stockage de déchets nucléaires en site géologique profond

Notions de base Gestion du patient au bloc opératoire

1ST2S Biophysiopathologie : Motricité et système nerveux La physiologie neuro-musculaire :

3ème séance de Mécanique des fluides. Rappels sur les premières séances Aujourd hui : le modèle du fluide parfait. 2 Écoulements potentiels

Baccalauréat ES Pondichéry 7 avril 2014 Corrigé

Les Conditions aux limites

Examen optimisation Centrale Marseille (2008) et SupGalilee (2008)

Initiation à la simulation numérique. Eléments d analyse numérique.

Souad EL Bernoussi. Groupe d Analyse Numérique et Optimisation Rabat http ://

MCMC et approximations en champ moyen pour les modèles de Markov

Exo7. Matrice d une application linéaire. Corrections d Arnaud Bodin.

Formation à la C F D Computational Fluid Dynamics. Formation à la CFD, Ph Parnaudeau

5. Les conducteurs électriques

Exercices - Fonctions de plusieurs variables : corrigé. Pour commencer

Amphi 3: Espaces complets - Applications linéaires continues

Introduction à la méthode des éléments finis

Chapitre 7: Dynamique des fluides

SPÉCIALITÉ Sciences Mécaniques et Ingénierie (SMI)

DÉPARTEMENT DE PHYSIQUE DE L ÉCOLE NORMALE SUPÉRIEURE THÈSE DE DOCTORAT DE L UNIVERSITÉ PARIS VII

Théories de champ moyen et convection à grande échelle

Algorithmes pour la planification de mouvements en robotique non-holonome

PRINCIPE ET FONCTIONNEMENT DES DÉFIBRILLATEURS AUTOMATIQUES IMPLANTABLES (DAI)

La pompe cardiaque, le débit cardiaque et son contrôle

Texte Agrégation limitée par diffusion interne

Fonctions linéaires et affines. 1 Fonctions linéaires. 1.1 Vocabulaire. 1.2 Représentation graphique. 3eme

Calcul intégral élémentaire en plusieurs variables

Équations non linéaires

CONCOURS D ENTREE A L ECOLE DE 2007 CONCOURS EXTERNE. Cinquième épreuve d admissibilité STATISTIQUE. (durée : cinq heures)

Méthodes de quadrature. Polytech Paris-UPMC. - p. 1/48

TABLE DES MATIÈRES CHAPITRE I. Les quanta s invitent

Programmes des classes préparatoires aux Grandes Ecoles

Corrigé du baccalauréat S Pondichéry 12 avril 2007

Programmation linéaire

Résolution d équations non linéaires

I Stabilité, Commandabilité et Observabilité Introduction Un exemple emprunté à la robotique Le plan Problème...

FONCTIONS DE PLUSIEURS VARIABLES (Outils Mathématiques 4)

Le théorème de Perron-Frobenius, les chaines de Markov et un célèbre moteur de recherche

Optimisation Discrète

Fonctions de plusieurs variables

Renforcement des trois compétences : compréhension orale, expression orale et expression écrite à partir de documents et vidéos.

Exercices du Cours de la programmation linéaire donné par le Dr. Ali DERBALA

Formes quadratiques. 1 Formes quadratiques et formes polaires associées. Imen BHOURI. 1.1 Définitions

Cours Fonctions de deux variables

Propagation d ondes dans un milieu excitable : simulations numériques et approche analytique

Techniques de Lyapunov en contrôle quantique pour le couplage dipolaire et polarisabilité

Rupture et plasticité

MONITORING PÉRI-OPÉRATOIRE DE L'ISCHÉMIE CARDIAQUE. Dary Croft 9 mai 2013

TOUT CE QU IL FAUT SAVOIR POUR LE BREVET

Optimisation, traitement d image et éclipse de Soleil

cel , version 1-28 Oct 2010

Probabilités III Introduction à l évaluation d options

Calculer avec Sage. Revision : 417 du 1 er juillet 2010

La Dysplasie Ventriculaire Droite Arythmogène

Groupe Nanostructures et Systèmes Quantiques

Vision industrielle et télédétection - Détection d ellipses. Guillaume Martinez 17 décembre 2007

SIMULATION HYBRIDE EN TEMPOREL D UNE CHAMBRE REVERBERANTE

LA PHYSIQUE DES MATERIAUX. Chapitre 1 LES RESEAUX DIRECT ET RECIPROQUE

Qu est-ce qu un ordinateur quantique et à quoi pourrait-il servir?

Physique : Thermodynamique

SUIVI CINETIQUE PAR SPECTROPHOTOMETRIE (CORRECTION)

TSTI 2D CH X : Exemples de lois à densité 1

Le modèle de Black et Scholes

PHYSIQUE 2 - Épreuve écrite

Modélisation multi-agents - Agents réactifs

UNIVERSITE DES ANTILLES et DE LA GUYANE Campus de Fouillole BP Pointe-à-Pitre Cedex CONTRAT LE MASTER NOM DU DOMAINE STS

Chapitre 7 : Intégration sur un intervalle quelconque

Mathématique et Automatique : de la boucle ouverte à la boucle fermée. Maïtine bergounioux Laboratoire MAPMO - UMR 6628 Université d'orléans

Figure 3.1- Lancement du Gambit

Simulation du transport de matière par diffusion surfacique à l aide d une approche Level-Set

3 Approximation de solutions d équations

Happy birthday ZSet High performance computing dans ZSet

Le Test d effort. A partir d un certain âge il est conseillé de faire un test tous les 3 ou quatre ans.

La classification automatique de données quantitatives

1 Définition. 2 Systèmes matériels et solides. 3 Les actions mécaniques. Le système matériel : Il peut être un ensemble.un sous-ensemble..

Introduction à l analyse numérique : exemple du cloud computing

Modèles bi-dimensionnels de coques linéairement élastiques: Estimations de l écart entre leurs solutions.

Section «Maturité fédérale» EXAMENS D'ADMISSION Session de février 2014 RÉCAPITULATIFS DES MATIÈRES EXAMINÉES. Formation visée

Notice d Utilisation du logiciel Finite Element Method Magnetics version 3.4 auteur: David Meeker

Chapitre 2 Le problème de l unicité des solutions

DYNAMIQUE DE FORMATION DES ÉTOILES

10 leçon 2. Leçon n 2 : Contact entre deux solides. Frottement de glissement. Exemples. (PC ou 1 er CU)

La fonction exponentielle

Résolution de systèmes linéaires par des méthodes directes

La méthode des éléments finis et le contrôle des calculs

Finance, Navier-Stokes, et la calibration

OM 1 Outils mathématiques : fonction de plusieurs variables

Continuité et dérivabilité d une fonction

Etude expérimentale et numérique de la Sédimentation/Consolidation de sols à très forte teneur en eau

BTS Groupement A. Mathématiques Session Spécialités CIRA, IRIS, Systèmes électroniques, TPIL

TP 7 : oscillateur de torsion

Transcription:

Modélisation et simulation de l activité électrique du coeur dans le thorax, analyse numérique et méthodes de volumes finis Charles Pierre Laboratoire de Mathématiques Jean Leray, Université de Nantes 20 septembre 2005

Le potentiel d action cellulaire Différences de concentrations ioniques, entre les milieux intra et extra-cellulaires différence de potentiel transmembranaire V m.

Le potentiel d action cardiaque

L électrocardiogramme (ECG) Mesure à distance de l activité électrique du coeur.

Plan de l exposé 1. Modélisation de l activité électrique du coeur dans le thorax : vers la simulation de l ECG. 2. Méthode de volumes finis DDFV et implémentation pratique. 3. Résultats numériques.

Objectifs et perspectives Élaborer des modèles qualitatifs réalistes à l échelle d un organe. Simulations numériques 3D à faible coût. Améliorer la compréhension de la relation entre les paramètres de la conduction dans le coeur et l ECG (problème direct en électrocardiologie). Couplage avec un modèle mécanique.

Modélisation de l ensemble coeur+thorax Membrane cellulaire : modélisation des courants ioniques membranaires. Tissus musculaires à l échelle microscopique : potentiels intra et extra-cellulaires φ i, φ e, potentiel transmembranaire V m = φ i φ e. Muscle cardiaque, H : homogénéisation du modèle microscopique. Thorax T : potentiel extra-cardiaque φ 0. Interface coeur/thorax H : relations de couplage. Surface thoracique : conditions limites.

Modélisation de la membrane cellulaire Hogkin-Huxley, Di Francesco Noble, Luo-Rudy... Espèces ioniques : Na +, K +, Ca 2+. Potentiel d équilibre donné par la loi de Nernst E Na = RT [Na]e F ln [Na] i. Canaux ioniques (transport passif ) : canal sodium rapide (dépolarisation), i Na = g Na (V m E Na ) où g Na = g Na H(V m, [Na] i,e, t,... ). Pompes (transport actif) : pompe Na/K, rétablit les concentrations en Na, K. i Na/K = F (V m, [Na] i,e,..., ATP). Transporteurs : (transport actif) structure couplée à un canal ionique. Tampons : stockage/déstockage du Ca 2+ (rôle déclencheur pour la contraction).

Modèle réaliste de membrane : Luo-Rudy II Implémentation pratique : Vm, [Na + ] i,e, [K + ] i,e, [Ca 2+ ] i,e et variables de porte 1 + 6 + N paramètres : I ions = I ions (V m ; [X 1 ] i, [X 1 ] e,... ; w 1,..., w N ) dw j = f j (V m, w i ) dt d[x i ] = λi Xi dt Luo-Rudy II : N 15 variables de porte.

Tissus cardiaques : modèle microscopique n Γ m n H i H e H i Γ m H e 2 milieux homogènes, intra et extra-cellulaires H i et H e, séparés par la membrane Γ m. Potentiels intra et extra-cellulaires φ i et φ e : quasistaticité + non création de charges, div(γ i φ i ) = 0 div(γ e φ e ) = 0 Potentiel de membrane, V m = φ i φ e sur Γ m, C m dv m dt + I ion = γ i φ i n = γ e φ e n

Tissus cardiaques : modèle bidomaine (macroscopique) Homogénéisation (Krassowska et al., Colli-Franzone et al.) : à l échelle du coeur, H = H i = H e = Γ m φ i, φ e, V m : H R Modèle bidomaine : A m 1 := taux de surface de membrane par unité de volume, A m (C m t V m + I ion ) = div(g e φ e ) (1) div(g e φ e + G i φ i ) = 0 (2) Anisotropie : organisation en fibres des cellules musculaires. G i et G e : tenseurs de conductivité anisotropes, G i = A Diag(g i l, g i t, g i t ) A T, G e = A Diag(g e l, g e t, g e t )A T, A(x) : direction de la fibre au point x gi,e l, g i,e t : conductivités longitudinales et transverses à la fibre (relativement aux milieux intra et extra-cellulaires).

Modèle couplé coeur+thorax Modèle de thorax : conducteur passif, pas de fuites de courant sur la surface T du thorax, div(g 0 φ 0 ) = 0 dans T, G 0 φ 0 n = 0 sur T. (3) Conditions d interface physiologiques : sur le bord H du coeur, φ e = φ 0, G 0 φ 0 n = G e φ e n, G i φ i n = 0. (4) Interprétation : pour φ = (φ e, φ 0 ), Ḡ = (G e + G i, G 0 ) dans H T, div(ḡ φ) = div(g i V m ) dans H T, [ Ḡ φ n ] = G i V m n sur H, problème de transmission non standard avec terme source de courant J = G i V m n sur l interface coeur/thorax.

Commentaires Approche découplée : coeur isolé carte de potentiel extra-cardiaque ECG (formulation dipolaire par exemple). Autres relations de couplage (Colli-Franzone, Tveito), φ e = φ 0, G 0 φ 0 n = (G e φ e + G i φ i ) n. problème de transmission standard, div(ḡ φ) = div(g i V m ) dans H T, [ Ḡ φ n ] = 0 sur H, formulation variationnelle simple dans H 1 (H T ), résoluble par éléments finis P 1.

Méthodes de volumes finis Méthode classique : (Eymard, Herbin, Gallouêt) pour des problèmes isotropes. Méthodes de reconstruction du gradient : Aavatsmark et al., Le Potier Droniou, Eymard, Herbin, Gallouêt : fv100 Coudière, Vila, Villedieu : méthode diamant, Hermeline, Domelevo-Omnès : méthode DDFV=Discrete Duality Finite Volumes (2D). Principe : définition d opérateurs gradient et divergence discrets en dualité (formule de Green discrète).

Maillages DDFV 2D K L Maillage primal : inconnues aux centres des cellules primales K, L,...

Maillages DDFV 2D K L A Maillage primal : inconnues aux centres des cellules primales K, L,... Maillage dual : inconnues aux sommets A relatifs aux cellules duales.

Maillages DDFV 2D σ Maillage primal : inconnues aux centres des cellules primales K, L,... Maillage dual : inconnues aux sommets A relatifs aux cellules duales. Maillage diamant : un vecteur de flux associé à chaque interface σ. + inconnues aux centres des interfaces au bord σ Ω.

Opérateurs gradient et trace discrets Fonction DDFV, à partir de la donnée de valeurs (φ(x K )) K, (φ(a)) A, (φ(x σ )) σ Ω : aux centres des cellules primales, aux sommets du maillage, aux centres des interfaces au bord, formation d une fonction φ continue, affine par morceaux. Gradient discret : pour φ fonction DDFV, ( h φ) σ = 1 D(σ) D(σ) φ(x) dx, un vecteur gradient discret ( h φ) σ par interface σ. Trace discrète : pour φ fonction DDFV, (Tr h φ) σ = 1 φ(x) dx, σ la trace (Tr h φ) σ pour l interface au bord σ Ω. σ

Opérateur divergence discret, formule de Green discrète Champ de vecteurs discret : p = (p σ ) par interfaces. Divergence discrète : (p σ ) champ de vecteurs discret. Sur une cellule C (primale ou duale), (divp) σ = 1 C C Théorème (Formule de Green discrète) p(x) n C (x) dx p = (p σ ) un champ de vecteurs discrets, φ une fonction DDFV, ( h φ, p) L 2 = φ, div h p + (Tr h φ, p n Ω ) L 2 ( Ω), où le crochet s écrit (d dimension en espace), 1 d K cellules primales (div h p) K φ(x K ) K + 1 d (div h p) P(A) φ(a) P(A). A cellules duales

Maillages DDFV 3D : cellules diamants K x K D(σ) σ x L L Fig.: Cellule diamant D(σ) associée à l interface σ

Maillages DDFV 3D : cellules duales P(A) = interfaces σ, A σ P σ (A) x K D(σ) T 2 A σ A P σ(a) σ x L T 1 Fig.: Construction de la cellule duale P A associée au sommet A

Résolution du problème Un cas simplifié, modèle monodomaine pour le coeru isolé : G i = λg e formulation simplifiée en V m seulement. Schéma volumes finis classiques stabilité et convergence : Y. Coudière, C. Pierre. Stability and Convergence of a Finite Volumes Method for Two Systems of Reaction Diffusion Equations in Electro-Cardiology. J. non Linear Analysis, Real World Appl., 2005. Modèle bidomaine coeur+thorax V n m φ n e, φ n 0 + I ion V n+1 m

Résolution en φ 0, φ e Inconnues : φ e, φ 0, une valeur par sommets et une valeur par éléments du maillage de H, T, telles que : div h ((G i + G e ) h φ e ) = div h (G i V m ) div h (G 0 φ 0 ) = 0 vérifiant les conditions d interfaces physiologiques : φ e = φ 0, G 0 h φ 0 n = G e h φ e n, G i h φ e n = G i h V m n. Variables globales : { φ e dans H φ = φ 0 dans T, Ḡ = { G e + G i G 0 dans H dans T plus un potentiel étendu V m qui incorpore la dernière condition d interface.

Analyse Théoriquement pas de résultats d existence pour le modèle bidomaine couplé coeur+thorax. Numériquement, le problème est bien posé et s écrit comme un système linéaire (creux) : AḠ φ = B(Vm ). (5) Théorème Le système (5) est bien posé (existence et unicité de la solution discrète φ). A un changement de base diagonal près, le système est symétrique et défini positif : si M = Diag( K, P ) est formée des mesures des cellules primales et des cellules duales, M 1 AḠ est symétrique définie positive.

Le problème pratique A chaque pas de temps : inversion du système linéaire (5) : BiCGStab + préconditionnement 93% CPU (3D 99% CPU) actualisation des courants et concentrations ioniques : Euler, RK4, intégration explicite 3.5% CPU intégration de l équation d évolution : Méthode d Euler 3.5% CPU

Préconditionnement Fig.: Renumérotation : algorithme Symetric Reverse Cuthill-MacKee Préconditionement aucun ILU0 ILU1 BiCGStab 43.8 7.1 6.9 GMRes 63.8 24.2 25.8 Tab.: Nombre d itérations pour une précision de 1E 3 précision 1E 3 1E 5 1E 7 BiCGStab 92 260 1012 GMRes 112 1253 Tab.: CPU pour 100 résolutions préconditionnées par ILU0

Coeur isolé Disque (R = 1cm), fibres circulaires, excitation centrale, rapport d anisotropie 0.1. Fig.: Ondes circulaires : réference 69780 (à gauche), méthode DDFV 2123 (à droite) Fig.: Taux de convergence sur la vitesse de propagation, de 551 à 34017 élements

Problème couplé coeur+thorax en 2D Maillage coeur+thorax (8554 points), fibres elliptiques. Modèle de membrane : Luo- Rudy II, version Faber-Rudy 2000. A m C m gi l gi t 2000 cm 1 1 µf.cm 2 4 ms.cm 1 2 ms.cm 1 ge l ge t g 0 1.8 ms.cm 1 1.5 ms.cm 1 2.39 ms.cm 1 Tab.: Paramètres pour le modèle bidomaine

Pulsation normale, 1 point de stimulation Une stimulation toutes les 600 ms = 100 BPM, sur la gauche de la cavité interne. L enregistrement de l ECG en 3 points du thorax montre les ondes QRS et T.

Pulsation normale, 2 points de stimulation Une stimulation toutes les 600 ms = 100 BPM en deux points, à gauche et à droite de la cavité interne. Forte influence du type de stimulation sur la forme des ECGs.

Tachycardie, 2 points de stimulation Stimulation toutes les 250 ms = 240 BPM, en deux points, à gauche et à droite de la cavité interne. ECGs anormaux mais s installant dans un régime périodique. Augmentation progressive de la concentration en [Ca 2+ ] i

Ischémie, 2 points de stimulation Stimulation toutes les 600 ms = 100 BPM, en deux points, à gauche et à droite de la cavité interne. Modèle de membrane de Shaw-Rudy (1997), variante de Luo-Rudy II pour l ischémie.

Modèle bidomaine pour le coeur isolé en 3D Maillage des ventricules (3763 points) + direction des fibres Modèle de membrane adapté aux cellules humaines (TNNP 2004) Évolution du potentiel de membrane V m Évolution du potentiel extra-cellulaire φ e

Conclusions, perspectives Obtention d ECG de bonne qualité. Fort coût en 3D. Comparaison systématique avec les données physiologiques en 3D. couplage avec un modèle mécanique.