Artefacts Radio-Fréquence en IRM : une méthode ultra-rapide de résolution numérique de l'équation de Bloch
|
|
- Marie-Louise Duval
- il y a 8 ans
- Total affichages :
Transcription
1 Artefacts Radio-Fréquence en IRM : une méthode ultra-rapide de résolution numérique de l'équation de Bloch Stéphane Balac (& Laurent Chupin) stephane.balac@univ-rennes1.fr Laboratoire Foton, CNRS UMR 6082 ENSSAT - 6 rue de Kérampont, F Lannion 19/12/2013
2 Plan de l'exposé Introduction : Artefacts RF en IRM Principe de l'irm Eets d'un objet métallique électriquement conducteur L'équation de Bloch Une méthode ultra-rapide de résolution de l'équation de Bloch Illustrations numériques Précision et ecacité de la méthode Exemple de simulation numérique Conclusion et perspectives
3 Introduction Principe de l'irm Technique d'imagerie mesurant l'aimantation magnétique des tissus biologiques Utilise trois types de champs magnétiques Champ statique B 0 : pour créer l'aimantation magnétique Champ RF B 1 : pour mesurer l'aimantation par résonance Gradients : pour créer la dépendance spatiale du signal
4 Introduction Artefacts RF En présence d'un implant métallique composé d'un métal électriquement conducteur, le champ RF est à l'origine de courants de Foucault entrainant : 1 une perturbation du champ RF B 1 se traduisant par un artefact sur l'image K. Yassi et col., Evaluation of the risk of overheating and displacement of orthodontic devices in magnetic resonance imaging, Journal de Radiologie, 88(2), p , (2007)
5 Introduction Échauement et nécrose des tissus 2 un phénomène d'échauement de l'implant pouvant entrainer la nécrose des tissus environnants Stent vasculaire Prothèse de hanche H. Bouk'hil, Contribution à la caractérisation des eets thermiques liés aux biomatériaux métalliques en Imagerie par Résonance Magnétique. Rennes : Thèse Université Rennes 1 ; 2003
6 Introduction Calcul du champ RF induit Étape préliminaire : calculer le champ RF induit par un implant médical dans les conditions d'une IRM Le champ RF induit a la même fréquence que le champ RF source C'est la thèse de Patrice Boissoles Problèmes mathématiques et numériques issus de l'imagerie par résonance magnétique nucléaire IRMAR, UR1, 2005
7 Introduction Simulation des eets du champ RF induit Simulation des eets thermiques liés aux courants de Foucault dans un implant : travail en cours avec Fabrice Mahé Simulation des artefacts RF : travail réalisé avec Laurent Chupin S. Balac & L. Chupin, Fast approximate solution of Bloch equation for simulation of RF artifacts in Magnetic Resonance Imaging, Math. Comput. Model., 48 : (2008) Objet de l'exposé
8 Introduction : Artefacts RF en IRM Principe de l'irm Eets d'un objet métallique électriquement conducteur L'équation de Bloch Une méthode ultra-rapide de résolution de l'équation de Bloch Illustrations numériques Précision et ecacité de la méthode Exemple de simulation numérique Conclusion et perspectives
9 L'équation de Bloch Moment magnétique macroscopique Principe de la RMN : L'évolution du moment magnétique macroscopique M soumis à un champ magnétique B = B 0 + B 1 est régi par l'équation de Bloch : d dt M = γ(m B) M xx + M y y M z M 0 z T 2 où T 1, T 2 temps de relaxation des tissus, γ rapport gyromagnétique de spin T 1
10 L'équation de Bloch Écriture Matricielle L'équation de Bloch peut être écrite sous forme du système diérentiel d M(t) = C(t) M(t) + b t R+ dt τ 2 γb 0 γb y (t) 0 où C(t) = γb 0 τ 2 γb x (t) et b = 0 γb y (t) γb x (t) τ 1 z τ 1 M 0 avec τ 1 = 1/T 1 et τ 2 = 1/T 2. On a la condition initiale M(t = 0) = M 0 z x M 0 y
11 L'équation de Bloch Écriture Matricielle L'équation de Bloch peut être écrite sous forme du système diérentiel d M(t) = C(t) M(t) + b t R+ dt τ 2 γb 0 γb y (t) 0 où C(t) = γb 0 τ 2 γb x (t) et b = 0 γb y (t) γb x (t) τ 1 z τ 1 M 0 avec τ 1 = 1/T 1 et τ 2 = 1/T 2. On a la condition initiale M(t = 0) = M 0 z x La matrice C n'est pas bien équilibrée pour un traitement numérique... (γb autres termes) M 0 y
12 L'équation de Bloch Introduction du repère tournant On pose M(t) = R(t) m(t) où R(t) est la matrice de rotation cos(ω 0 t) sin(ω 0 t) 0 R(t) = sin(ω 0 t) cos(ω 0 t) 0 ω 0 = γb Le vecteur m est solution du système diérentiel où avec d dt m(t) = A(t) m(t) + b t R+, m(t = 0) = M 0 z τ 2 0 ω a (t) A(t) = 0 τ 2 ω b (t) ω a (t) ω b (t) τ 1 ω a (t) = γb y (t) cos(ω 0 t) + γb x (t) sin(ω 0 t) ω b (t) = γb x (t) cos(ω 0 t) γb y (t) sin(ω 0 t)
13 Résolution de l'équation de Bloch En l'absence de perturbation La matrice du système diérentiel est : τ A = 0 2 τ ω 1 0 ω 1 τ 1 où ω 1 = γb 1 La matrice A est constante : on peut résoudre le système diérentiel explicitement : z La solution est 0 m(t) = M 0 sin(ω 1 t) M 0 cos(ω 1 t) On prend T RF temps nal tel que ω 1 T RF = π/2 ou π M 0 M(T)
14 Résolution de léquation de Bloch En présence d'un champ RF perturbateur La matrice A n'est plus constante mais elle est périodique τ 2 0 ω a (t) A(t) = 0 τ 2 ω b (t) ω a (t) ω b (t) τ 1 avec ω a (t) = γb y (t) cos(ω 0 t) + γb x (t) sin(ω 0 t) ω b (t) = γb x (t) cos(ω 0 t) γb y (t) sin(ω 0 t) où B x, B y sont les composantes du champ RF total (champ IRM B 1 et champ perturbateur) qui sont périodiques de période T 0 = 2π/ω 0 B x (t) = (B 1 + u 1 ) cos(ω 0 t) + v 1 sin(ω 0 t) B y (t) = ( B 1 + v 2 ) sin(ω 0 t) + u 2 cos(ω 0 t)
15 Résolution de l'équation de Bloch Objectifs On souhaite : Déterminer la solution de l'équation de Bloch avec terme de perturbation RF au temps nal T RF = π 2ω ou 1 T RF = π ω 1 en chaque voxel du volume imagé (par ex voxels) Trop couteux en temps de calcul si ce système est résolu par une approche standard type schéma RK (ce n'est qu'une des étapes du processus de simulation des artefacts!) Proposer une méthode permettant d'obtenir rapidement la solution au temps T RF en exploitant la périodicité de la matrice A
16 Introduction : Artefacts RF en IRM Principe de l'irm Eets d'un objet métallique électriquement conducteur L'équation de Bloch Une méthode ultra-rapide de résolution de l'équation de Bloch Illustrations numériques Précision et ecacité de la méthode Exemple de simulation numérique Conclusion et perspectives
17 Une méthode ultra-rapide de résolution de l'équ. de Bloch La théorie de Floquet pour les systèmes diérentiels périodiques La matrice A étant continue et périodique de période T 0 = 2π/ω 0, la résolvante du système diérentiel a pour forme où X (t) = Q(t) e tf Q est une matrice continue et périodique de periode T 0 F est une matrice constante Mais pas de méthode pour déterminer Q et F
18 Une méthode ultra-rapide de résolution de l'équ. de Bloch Comment exploiter en pratique la théorie de Floquet? Deux approches possibles en pratique : 1 Approche perturbative : on considère un développement en série des 2 matrices Q et F : Q(t) = + n=1 Q n(t) and F = + n=1 F n où chaque terme F n est choisi de sorte que Q n (t) soit périodique et Q n (t) est choisie an de satisfaire la forme imposée par le thm de Floquet à tout ordre de troncature.
19 Une méthode ultra-rapide de résolution de l'équ. de Bloch Comment exploiter en pratique la théorie de Floquet? Deux approches possibles en pratique : 1 2 Approche perturbative : on considère un développement en série des 2 matrices Q et F : Q(t) = + n=1 Q n(t) and F = + n=1 F n où chaque terme F n est choisi de sorte que Q n (t) soit périodique et Q n (t) est choisie an de satisfaire la forme imposée par le thm de Floquet à tout ordre de troncature. On part d'un pseudo développement en série de Fourier de la solution. On obtient un système inni d'équations diérentielles à coecients constants que l'on tronque. C'est l'approche retenue ici.
20 Une méthode ultra-rapide de résolution de l'équ. de Bloch Principe de notre méthode La matrice périodique A admet la décomposition en S.F. : A(t) = 1 k= 1 A 2k e 2ikω 0t = A 2 e 2iω 0t + A 0 + A 2 e 2iω 0t où A 0 = avec τ 2 0 w (0) a 0 τ 2 w (0) b w (0) a w (0) b τ 1 A 2 = 0 0 ω (2) a 0 0 ω (2) b ω (2) a ω (2) b 0 ω a (0) = 1 2 γ (u 2 + v 1 ) ω a (2) = 1 4 γ (v 1 u 2 + i(u 1 + v 2 )) ω (0) b = 1 2 γ (2 B 1 + u 1 v 2 ) ω (2) b = 1 4 γ (u 1 + v 2 + i(u 2 v 1 )) et A 2 = A 2.
21 Une méthode ultra-rapide de résolution de l'équ. de Bloch Principe de notre méthode La solution m(t) n'est pas périodique. Néanmoins on cherche à l'exprimer sous la forme d'une S.F. à coecients non cst : m(t) = k Z m k (t) e 2ikω 0t La décomposition n'est pas unique!
22 Une méthode ultra-rapide de résolution de l'équ. de Bloch Principe de notre méthode La solution m(t) n'est pas périodique. Néanmoins on cherche à l'exprimer sous la forme d'une S.F. à coecients non cst : m(t) = k Z m k (t) e 2ikω 0t La décomposition n'est pas unique! En substituant dans l'équation de Bloch, on trouve que (m k (t)) k Z doit satisfaire le système diérentiel inni à coef. constants d dt m k(t) = m k (0) = δ k M 0 1 A 2j m k j (t) 2ikω 0 m k (t) + δ k b j= 1 k Z.
23 Une méthode ultra-rapide de résolution de l'équ. de Bloch Principe de notre méthode Le résultat essentiel est le suivant : Théorème Il existe une unique solution (m k ) k Z C 1 (R +, l 2 (Z)) au système diérentiel inni telle que t R + p N (k 2p + 1) m k (t) 2 < + k Z i.e. m k (t) tend vers 0 quand k tend vers ± plus vite que n'importe quelle puissance de 1/k. On va pouvoir calculer une solution approchée en tronquant très rapidement le système diérentiel inni S. Balac & L. Chupin, Fast approximate solution of Bloch equation for simulation of RF artifacts in Magnetic Resonance Imaging, Math. Comput. Model., 48 : (2008)
24 Une méthode ultra-rapide de résolution de l'équ. de Bloch Mise en uvre de la méthode On considère la forme matricielle du système diérentiel inni d M(t) = A M(t) + B dt où M(t) = (m k (t)) k Z, B = (b k ) k Z et A est la matrice innie constante tridiagonale par bloc A = A 2 A 0 (1) A 2 A 2 A 0 A 2 A 2 A 0 ( 1) A avec la notation A 0 (k) = A 0 + 2ikω 0 Id pour tout k Z
25 Une méthode ultra-rapide de résolution de l'équ. de Bloch Mise en uvre de la méthode On tronque le système diérentiel entre N et N d dt M[N] (t) = A [N] M [N] (t) + B [N] où A [N] est la matrice constante de taille 3(2N + 1) tridiagonale par bloc A 0 (N) A [N] = et B [N] = (b k ) k { N,...,N}. A 2 A 2 A 0 (N 1) A A 2 A 0 ( N) A 2
26 Une méthode ultra-rapide de résolution de l'équ. de Bloch Mise en uvre de la méthode D'après la formule de Duhamel, la solution du S.D. tronqué sous la cond. initiale M [N] (0) = (0,..., 0, M 0, 0,..., 0) est ( t M [N] (t) = e ta[n] M [N] (0) + e (t s)a[n] 0 Considérant la décomposition A [N] = P D P 1 où D = diag(d i, i = 3N,..., 3N) on obtient ) ds M [N] (t) = P e td P 1 M [N] (0) + P S(t) P 1 B [N] où S(t) { = ( diag(s i (t), i = 1,..., N) et e s i (t) = td i ) 1 /d i si d i 0 t sinon B [N].
27 Une méthode ultra-rapide de résolution de l'équ. de Bloch Algorithme Algorithme de résolution de l'équ. de Bloch (pour un voxel) 1 Choisir l'ordre de troncature N et la durée T RF du pulse Calculer les valeurs propres et vecteurs propres de la matrice tridiagonale par blocs A [N] et former les matrices P, D et P 1 Calculer S(t) = diag(s i (t), i = 1,..., N) Calculer M [N] (T RF ) = (m k (T RF )) k { N,...,N} = P e T RF D P 1 M [N] (0) + P S(T RF ) P 1 B [N] 5 Vecteur magnétisation dans le repère tournant N m(t RF ) m k (T RF )e 2ikω0T RF k= N 6 Vecteur magnétisation dans le repère du laboratoire M [N] (T RF ) = R(T RF ) m [N] (T RF )
28 Une méthode ultra-rapide de résolution de l'équ. de Bloch Coût de l'algorithme Le coût principal de l'algorithme réside dans le calcul des éléments propres de la matrice A [N] qui est tridiagonale par blocs Peut se faire à moindre coût compte-tenu de la structure tridiagonale. En IRM sont utilisés des séquences d'impulsions RF Cette factorisation n'a à être eectuée qu'une seule fois
29 Introduction : Artefacts RF en IRM Principe de l'irm Eets d'un objet métallique électriquement conducteur L'équation de Bloch Une méthode ultra-rapide de résolution de l'équation de Bloch Illustrations numériques Précision et ecacité de la méthode Exemple de simulation numérique Conclusion et perspectives
30 Précision et ecacité de la méthode Comparaison des temps de calcul au solver ode45 de Matlab ➊ Comparaison à la solution exacte en l'absence de perturbation RF pour B 0 = 1 T, B 1 = 10 3 T, M 0 = (0, 0, 1), T 1 = 750 ms, T 2 = 50 ms et θ = π 2 Temps CPU correspondant à 16 3 = 4096 exécutions N = 0 N = 1 N = 2 N = 3 ode45(tol = 10 3 ) CPU times Error in%
31 Précision et ecacité de la méthode Comparaison des temps de calcul au solver ode45 de Matlab ➋ Comparaison des solutions avec perturbation RF pour B 0 = 1 T, B 1 = 10 3 T, M 0 = (0, 0, 1), T 1 = 750 ms, T 2 = 50 ms et θ = π 2 Perturbation du champ RF aléatoire de même intensité que B 1 Temps CPU correspondant à 8 3 = 512 exécutions N = 0 N = 1 N = 2 ode45(tol = 10 6 ) CPU M(T RF )
32 Précision et ecacité de la méthode Comparaison des temps de calcul au solver ode45 de Matlab ➋ Comparaison des solutions avec perturbation RF pour B 0 = 1 T, B 1 = 10 3 T, M 0 = (0, 0, 1), T 1 = 750 ms, T 2 = 50 ms et θ = π 2 Perturbation du champ RF aléatoire de même intensité que B 1 Temps CPU correspondant à 8 3 = 512 exécutions N = 0 N = 1 N = 2 ode45(tol = 10 6 ) CPU M(T RF ) On montre que M(T RF ) M [0] (T RF ) Cste B 1 /B 0
33 Exemple de simulation numérique Évolution du vecteur aimantation au cours de la résonance Comparaison de l'évolution du vecteur aimantation au cours de la résonance pour un pulse RF de π/2 avec et sans champ RF perturbateur Repère tournant (e 1, e 2, z) Repère du laboratoire (x, y, z)
34 Exemple de simulation numérique Artefact engendré sur une image IRM Simulation de l'artefact engendré par une bille de cuivre (σ = , χ m = ) de 1 cm de rayon soumise à un champ B 0 = 1.5 T et un champ RF d'intensité 10 3 T.
35 Conclusion et perspectives On dispose d'une méthode de résolution de l'équation de Bloch rapide et originale permettant d'obtenir la solution en un temps T donné sans passer par une discrétisation de l'intervalle [0, T ]. On s'intéresse à présent à l'équation de Bloch-Torrey qui permet de prendre en compte des phénomènes de diusion M t (x, t) = γ(m(x, t) B(x, t)) M xx + M y y M z M 0 z T 2 + div(d(x, t) M(x, t)) T 1
Une réponse (très) partielle à la deuxième question : Calcul des exposants critiques en champ moyen
Une réponse (très) partielle à la deuxième question : Calcul des exposants critiques en champ moyen Manière heuristique d'introduire l'approximation de champ moyen : on néglige les termes de fluctuations
Plus en détailde calibration Master 2: Calibration de modèles: présentation et simulation d
Master 2: Calibration de modèles: présentation et simulation de quelques problèmes de calibration Plan de la présentation 1. Présentation de quelques modèles à calibrer 1a. Reconstruction d une courbe
Plus en détailALGORITHMIQUE II NOTION DE COMPLEXITE. SMI AlgoII
ALGORITHMIQUE II NOTION DE COMPLEXITE 1 2 Comment choisir entre différents algorithmes pour résoudre un même problème? Plusieurs critères de choix : Exactitude Simplicité Efficacité (but de ce chapitre)
Plus en détailSimulation d'un examen anthropomorphique en imagerie TEMP à l iode 131 par simulation Monte Carlo GATE
Simulation d'un examen anthropomorphique en imagerie TEMP à l iode 131 par simulation Monte Carlo GATE LAURENT Rémy laurent@clermont.in2p3.fr http://clrpcsv.in2p3.fr Journées des LARD Septembre 2007 M2R
Plus en détailExamen optimisation Centrale Marseille (2008) et SupGalilee (2008)
Examen optimisation Centrale Marseille (28) et SupGalilee (28) Olivier Latte, Jean-Michel Innocent, Isabelle Terrasse, Emmanuel Audusse, Francois Cuvelier duree 4 h Tout resultat enonce dans le texte peut
Plus en détailNOTATIONS PRÉLIMINAIRES
Pour le Jeudi 14 Octobre 2010 NOTATIONS Soit V un espace vectoriel réel ; l'espace vectoriel des endomorphismes de l'espace vectoriel V est désigné par L(V ). Soit f un endomorphisme de l'espace vectoriel
Plus en détail2. RAPPEL DES TECHNIQUES DE CALCUL DANS R
2. RAPPEL DES TECHNIQUES DE CALCUL DANS R Dans la mesure où les résultats de ce chapitre devraient normalement être bien connus, il n'est rappelé que les formules les plus intéressantes; les justications
Plus en détailTABLE DES MATIÈRES CHAPITRE I. Les quanta s invitent
TABLE DES MATIÈRES AVANT-PROPOS III CHAPITRE I Les quanta s invitent I-1. L Univers est en constante évolution 2 I-2. L âge de l Univers 4 I-2.1. Le rayonnement fossile témoigne 4 I-2.2. Les amas globulaires
Plus en détailExercices - Fonctions de plusieurs variables : corrigé. Pour commencer
Pour commencer Exercice 1 - Ensembles de définition - Première année - 1. Le logarithme est défini si x + y > 0. On trouve donc le demi-plan supérieur délimité par la droite d équation x + y = 0.. 1 xy
Plus en détailF411 - Courbes Paramétrées, Polaires
1/43 Courbes Paramétrées Courbes polaires Longueur d un arc, Courbure F411 - Courbes Paramétrées, Polaires Michel Fournié michel.fournie@iut-tlse3.fr http://www.math.univ-toulouse.fr/ fournie/ Année 2012/2013
Plus en détailDéveloppements en imagerie RMN spirale et application
Développements en imagerie RMN spirale et application à la caractérisation de la perméabilité de la barrière hémato-encéphalique sur deux modèles de tumeurs intracérébrales Marine Beaumont To cite this
Plus en détailLes Champs Magnétiques
Les Champs Magnétiques Guillaume Laurent To cite this version: Guillaume Laurent. Les Champs Magnétiques. École thématique. Assistants de prévention, Paris, France. 2014, pp.31. HAL Id:
Plus en détailVision industrielle et télédétection - Détection d ellipses. Guillaume Martinez 17 décembre 2007
Vision industrielle et télédétection - Détection d ellipses Guillaume Martinez 17 décembre 2007 1 Table des matières 1 Le projet 3 1.1 Objectif................................ 3 1.2 Les choix techniques.........................
Plus en détailRésolution de systèmes linéaires par des méthodes directes
Résolution de systèmes linéaires par des méthodes directes J. Erhel Janvier 2014 1 Inverse d une matrice carrée et systèmes linéaires Ce paragraphe a pour objet les matrices carrées et les systèmes linéaires.
Plus en détailChamp électromagnétique?
Qu est-ce qu un Champ électromagnétique? Alain Azoulay Consultant, www.radiocem.com 3 décembre 2013. 1 Définition trouvée à l article 2 de la Directive «champs électromagnétiques» : des champs électriques
Plus en détailCalculateur quantique: factorisation des entiers
Calculateur quantique: factorisation des entiers Plan Introduction Difficulté de la factorisation des entiers Cryptographie et la factorisation Exemple RSA L'informatique quantique L'algorithme quantique
Plus en détailRaisonnement par récurrence Suites numériques
Chapitre 1 Raisonnement par récurrence Suites numériques Terminale S Ce que dit le programme : CONTENUS CAPACITÉS ATTENDUES COMMENTAIRES Raisonnement par récurrence. Limite finie ou infinie d une suite.
Plus en détailCompléments - Chapitre 5 Spectroscopie
ompléments - hapitre 5 Spectroscopie Spectroscopie par résonance magnétique nucléaire (RMN 13 ) Tandis que la spectroscopie RMN 1 H fournit des données sur la disposition des atomes d'hydrogène dans une
Plus en détailFoscolo (1), J Felblinger (2), S Bracard (1) CHU Hôpital central, service de neuroradiologie, Nancy (1) CHU BRABOIS, Centre d investigation clinique
S A l (1) G H (2) S S Aptel (1), G Hossu (2), S Foscolo (1), J Felblinger (2), S Bracard (1) CHU Hôpital central, service de neuroradiologie, Nancy (1) CHU BRABOIS, Centre d investigation clinique innovation
Plus en détailNotions d asservissements et de Régulations
I. Introduction I. Notions d asservissements et de Régulations Le professeur de Génie Electrique doit faire passer des notions de régulation à travers ses enseignements. Les notions principales qu'il a
Plus en détailAnalyse des trajectoires acceptables en approche de virage assistance aux conducteurs
DIVAS Analyse des trajectoires acceptables en approche de virage assistance aux conducteurs N 3.C.1 Décembre 2008 Projet financé par l Agence Nationale de la Recherche Responsable : S. Espié Projet ANR
Plus en détailSegmentation d'images à l'aide d'agents sociaux : applications GPU
Segmentation d'images à l'aide d'agents sociaux : applications GPU Richard MOUSSA Laboratoire Bordelais de Recherche en Informatique (LaBRI) - UMR 5800 Université de Bordeaux - France Laboratoire de recherche
Plus en détailCorrection de l examen de la première session
de l examen de la première session Julian Tugaut, Franck Licini, Didier Vincent Si vous trouvez des erreurs de Français ou de mathématiques ou bien si vous avez des questions et/ou des suggestions, envoyez-moi
Plus en détailL IRM pas à pas Un module d enseignement interactif des bases physiques de l Imagerie par Résonance Magnétique. http://www.e-mri.
L IRM pas à pas Un module d enseignement interactif des bases physiques de l Imagerie par Résonance Magnétique http://www.e-mri.org D HOA, A MICHEAU, G GAHIDE, E LE BARS, C CYTEVAL, M ZANCA, P DUJOLS,
Plus en détailFonctions de plusieurs variables : dérivés partielles, diérentielle. Fonctions composées. Fonctions de classe C 1. Exemples
45 Fonctions de plusieurs variables : dérivés partielles, diérentielle. Fonctions composées. Fonctions de classe C 1. Exemples Les espaces vectoriels considérés sont réels, non réduits au vecteur nul et
Plus en détailRetournement Temporel
Retournement Temporel Rédigé par: HENG Sokly Encadrés par: Bernard ROUSSELET & Stéphane JUNCA 2 juin 28 Remerciements Je tiens tout d'abord à remercier mes responsables de mémoire, M.Bernard ROUSSELET
Plus en détailRecherche dans un tableau
Chapitre 3 Recherche dans un tableau 3.1 Introduction 3.1.1 Tranche On appelle tranche de tableau, la donnée d'un tableau t et de deux indices a et b. On note cette tranche t.(a..b). Exemple 3.1 : 3 6
Plus en détailContrôle par commande prédictive d un procédé de cuisson sous infrarouge de peintures en poudre.
Contrôle par commande prédictive d un procédé de cuisson sous infrarouge de peintures en poudre. Isabelle Bombard, Bruno da Silva, Pascal Dufour *, Pierre Laurent, Joseph Lieto. Laboratoire d Automatique
Plus en détailDétection et suivi d'objets dans une séquence d'images par contours actifs
Détection et suivi d'objets dans une séquence d'images par contours actifs A. Fekir (1), N. Benamrane (2) et A. Taleb-Ahmed (3) (1) Département d informatique, Université de Mustapha Stambouli, BP 763,
Plus en détailTraitement du signal avec Scilab : la transformée de Fourier discrète
Traitement du signal avec Scilab : la transformée de Fourier discrète L objectif de cette séance est de valider l expression de la transformée de Fourier Discrète (TFD), telle que peut la déterminer un
Plus en détailIntroduction. Mathématiques Quantiques Discrètes
Mathématiques Quantiques Discrètes Didier Robert Facultés des Sciences et Techniques Laboratoire de Mathématiques Jean Leray, Université de Nantes email: v-nantes.fr Commençons par expliquer le titre.
Plus en détailLa programmation linéaire : une introduction. Qu est-ce qu un programme linéaire? Terminologie. Écriture mathématique
La programmation linéaire : une introduction Qu est-ce qu un programme linéaire? Qu est-ce qu un programme linéaire? Exemples : allocation de ressources problème de recouvrement Hypothèses de la programmation
Plus en détailRésonance Magnétique Nucléaire : RMN
21 Résonance Magnétique Nucléaire : RMN Salle de TP de Génie Analytique Ce document résume les principaux aspects de la RMN nécessaires à la réalisation des TP de Génie Analytique de 2ème année d IUT de
Plus en détailInteraction milieux dilués rayonnement Travaux dirigés n 2. Résonance magnétique : approche classique
PGA & SDUEE Année 008 09 Interaction milieux dilués rayonnement Travaux dirigés n. Résonance magnétique : approche classique Première interprétation classique d une expérience de résonance magnétique On
Plus en détailGestion du niveau de la franchise d'un contrat avec bonus-malus
Gestion du niveau de la franchise d'un contrat avec bonus-malus Pierre Thérond Stéphane Bonche Résumé Réduire la franchise d'un contrat d'assurance permet d'améliorer la qualité du contrat du point de
Plus en détailMESURE DE LA TEMPERATURE
145 T2 MESURE DE LA TEMPERATURE I. INTRODUCTION Dans la majorité des phénomènes physiques, la température joue un rôle prépondérant. Pour la mesurer, les moyens les plus couramment utilisés sont : les
Plus en détailLes formations de remise à niveau(!) l'entrée des licences scientifiques. Patrick Frétigné CIIU
Les formations de remise à niveau(!) pour les bacheliers «non-s» à l'entrée des licences scientifiques. Patrick Frétigné CIIU Cinq exemples Nantes Clermont Ferrand Lorraine Rennes 1 Rouen Nantes REUSCIT
Plus en détailJ AUVRAY Systèmes Electroniques TRANSMISSION DES SIGNAUX NUMERIQUES : SIGNAUX EN BANDE DE BASE
RANSMISSION DES SIGNAUX NUMERIQUES : SIGNAUX EN BANDE DE BASE Un message numérique est une suite de nombres que l on considérera dans un premier temps comme indépendants.ils sont codés le plus souvent
Plus en détailVers l'ordinateur quantique
Cours A&G Vers l'ordinateur quantique Données innies On a vu dans les chapîtres précédents qu'un automate permet de représenter de manière nie (et même compacte) une innité de données. En eet, un automate
Plus en détailCalcul Formel et Numérique, Partie I
Calcul Formel et Numérique N.Vandenberghe nvdb@irphe.univ-mrs.fr Table des matières 1 Introduction à Matlab 2 1.1 Quelques généralités.......................... 2 2 Où trouver des informations 2 3 Opérations
Plus en détailRetour d expérience, portage de code Promes dans le cadre de l appel à projets CAPS-GENCI
, portage de code Promes dans le cadre de l appel à projets CAPS-GENCI PROMES (UPR 8521 CNRS) Université de Perpignan France 29 juin 2011 1 Contexte 2 3 4 Sommaire Contexte 1 Contexte 2 3 4 Laboratoire
Plus en détailExpérience de Stern et Gerlach et décohérence: l'ordinateur quantique est-il vraiment possible?
Expérience de Stern et Gerlach et décohérence: l'ordinateur quantique est-il vraiment possible? Michel Gondran 1 Alexandre Gondran 1 University Paris Dauphine Lamsade, Paris, France Ecole Nationale de
Plus en détailCours 7 : Utilisation de modules sous python
Cours 7 : Utilisation de modules sous python 2013/2014 Utilisation d un module Importer un module Exemple : le module random Importer un module Exemple : le module random Importer un module Un module est
Plus en détailFinance, Navier-Stokes, et la calibration
Finance, Navier-Stokes, et la calibration non linéarités en finance 1 1 www.crimere.com/blog Avril 2013 Lignes directrices Non-linéarités en Finance 1 Non-linéarités en Finance Les équations de Fokker-Planck
Plus en détailTechniques de Lyapunov en contrôle quantique pour le couplage dipolaire et polarisabilité
Techniques de Lyapunov en contrôle quantique pour le couplage dipolaire et polarisabilité Andreea Grigoriu avec Jean-Michel Coron, Cătălin Lefter and Gabriel Turinici CEREMADE-Université Paris Dauphine
Plus en détailRésolution d équations non linéaires
Analyse Numérique Résolution d équations non linéaires Said EL HAJJI et Touria GHEMIRES Université Mohammed V - Agdal. Faculté des Sciences Département de Mathématiques. Laboratoire de Mathématiques, Informatique
Plus en détailPhysique quantique et physique statistique
Physique quantique et physique statistique 7 blocs 11 blocs Manuel Joffre Jean-Philippe Bouchaud, Gilles Montambaux et Rémi Monasson nist.gov Crédits : J. Bobroff, F. Bouquet, J. Quilliam www.orolia.com
Plus en détailLe GRAND CONSEIL de la République et canton de Genève décrète ce qui suit :
Secrétariat du Grand Conseil PL 10267 Projet présenté par le Conseil d Etat Date de dépôt: 22 mai 2008 Projet de loi ouvrant un crédit au titre d'indemnité cantonale d'investissement de 3 000 000 F, pour
Plus en détailCHAPITRE I. Modélisation de processus et estimation des paramètres d un modèle
CHAPITRE I Modélisation de processus et estimation des paramètres d un modèle I. INTRODUCTION. Dans la première partie de ce chapitre, nous rappelons les notions de processus et de modèle, ainsi que divers
Plus en détailStructures algébriques
Structures algébriques 1. Lois de composition s Soit E un ensemble. Une loi de composition interne sur E est une application de E E dans E. Soient E et F deux ensembles. Une loi de composition externe
Plus en détailOptimisation non linéaire Irène Charon, Olivier Hudry École nationale supérieure des télécommunications
Optimisation non linéaire Irène Charon, Olivier Hudry École nationale supérieure des télécommunications A. Optimisation sans contrainte.... Généralités.... Condition nécessaire et condition suffisante
Plus en détailUn schéma de compression avec pertes efficace pour les images médicales volumiques
Un schéma de compression avec pertes efficace pour les images médicales volumiques Yann GAUDEAU 1 Jean-Marie MOUREAUX 1 CRAN CNRS (UMR 7039) Nancy-University, Faculté des Sciences et Techniques, BP 239,
Plus en détailUEO11 COURS/TD 1. nombres entiers et réels codés en mémoire centrale. Caractères alphabétiques et caractères spéciaux.
UEO11 COURS/TD 1 Contenu du semestre Cours et TDs sont intégrés L objectif de ce cours équivalent a 6h de cours, 10h de TD et 8h de TP est le suivant : - initiation à l algorithmique - notions de bases
Plus en détailAlgorithmes de recherche
Algorithmes de recherche 1 Résolution de problèmes par recherche On représente un problème par un espace d'états (arbre/graphe). Chaque état est une conguration possible du problème. Résoudre le problème
Plus en détailTests non-paramétriques de non-effet et d adéquation pour des covariables fonctionnelles
Tests non-paramétriques de non-effet et d adéquation pour des covariables fonctionnelles Valentin Patilea 1 Cesar Sanchez-sellero 2 Matthieu Saumard 3 1 CREST-ENSAI et IRMAR 2 USC Espagne 3 IRMAR-INSA
Plus en détailCours d analyse numérique SMI-S4
ours d analyse numérique SMI-S4 Introduction L objet de l analyse numérique est de concevoir et d étudier des méthodes de résolution de certains problèmes mathématiques, en général issus de problèmes réels,
Plus en détailCalcul différentiel sur R n Première partie
Calcul différentiel sur R n Première partie Université De Metz 2006-2007 1 Définitions générales On note L(R n, R m ) l espace vectoriel des applications linéaires de R n dans R m. Définition 1.1 (différentiabilité
Plus en détailGENERALITES SUR LA MESURE DE TEMPERATURE
Distributeur exclusif de GENERALITES SUR LA MESURE DE TEMPERATURE INTRODUCTION...2 GENERALITES SUR LA MESURE DE TEMPERATURE...2 La température...2 Unités de mesure de température...3 Echelle de température...3
Plus en détailÉquations non linéaires
CHAPTER 1 Équations non linéaires On considère une partie U R d et une fonction f : U R d. On cherche à résoudre { x U 1..1) f x) = R d On distinguera les cas d = 1 et d > 1. 1.1. Dichotomie d = 1) 1.1.1.
Plus en détail8.1 Généralités sur les fonctions de plusieurs variables réelles. f : R 2 R (x, y) 1 x 2 y 2
Chapitre 8 Fonctions de plusieurs variables 8.1 Généralités sur les fonctions de plusieurs variables réelles Définition. Une fonction réelle de n variables réelles est une application d une partie de R
Plus en détailDYNAMIQUE DE FORMATION DES ÉTOILES
A 99 PHYS. II ÉCOLE NATIONALE DES PONTS ET CHAUSSÉES, ÉCOLES NATIONALES SUPÉRIEURES DE L'AÉRONAUTIQUE ET DE L'ESPACE, DE TECHNIQUES AVANCÉES, DES TÉLÉCOMMUNICATIONS, DES MINES DE PARIS, DES MINES DE SAINT-ÉTIENNE,
Plus en détailExercices - Polynômes : corrigé. Opérations sur les polynômes
Opérations sur les polynômes Exercice 1 - Carré - L1/Math Sup - Si P = Q est le carré d un polynôme, alors Q est nécessairement de degré, et son coefficient dominant est égal à 1. On peut donc écrire Q(X)
Plus en détailPremier principe de la thermodynamique - conservation de l énergie
Chapitre 5 Premier principe de la thermodynamique - conservation de l énergie 5.1 Bilan d énergie 5.1.1 Énergie totale d un système fermé L énergie totale E T d un système thermodynamique fermé de masse
Plus en détailSTI2D : Enseignements Technologiques Transversaux
STI2D : Enseignements Technologiques Transversaux Activité : Etude des transfert énergétiques dans la cafetière Nespresso Problématique : On calcule la puissance électrique consommée, on détermine l énergie
Plus en détailCompte rendu des TP matlab
Compte rendu des TP matlab Krell Stella, Minjeaud Sebastian 18 décembre 006 1 TP1, Discrétisation de problèmes elliptiques linéaires 1d Soient > 0, a R, b 0, c, d R et f C([0, 1], R). On cerce à approcer
Plus en détailSaisie des chauffe-eau thermodynamiques à compression électrique
Fiche d application : Saisie des chauffe-eau thermodynamiques à compression électrique Date Modification Version 01 décembre 2013 Précisions sur les CET grand volume et sur les CET sur air extrait 2.0
Plus en détailAlgorithmique avec Algobox
Algorithmique avec Algobox Fiche 2 Cette fiche est la suite directe de la première. 1. Instructions conditionnelles : 1.1. Reprise de la fiche 1 : Lecture d'un algorithme : ORDINATEUR INTERDIT : Après
Plus en détailCalcul matriciel. Définition 1 Une matrice de format (m,n) est un tableau rectangulaire de mn éléments, rangés en m lignes et n colonnes.
1 Définitions, notations Calcul matriciel Définition 1 Une matrice de format (m,n) est un tableau rectangulaire de mn éléments, rangés en m lignes et n colonnes. On utilise aussi la notation m n pour le
Plus en détailCHAPITRE V SYSTEMES DIFFERENTIELS LINEAIRES A COEFFICIENTS CONSTANTS DU PREMIER ORDRE. EQUATIONS DIFFERENTIELLES.
CHAPITRE V SYSTEMES DIFFERENTIELS LINEAIRES A COEFFICIENTS CONSTANTS DU PREMIER ORDRE EQUATIONS DIFFERENTIELLES Le but de ce chapitre est la résolution des deux types de systèmes différentiels linéaires
Plus en détailLaboratoire d informatique Gaspard-Monge UMR 8049. Journée Labex Bézout- ANSES
Laboratoire d informatique Gaspard-Monge UMR 8049 Journée Labex Bézout- ANSES Présentation du laboratoire 150 membres, 71 chercheurs et enseignants-chercheurs, 60 doctorants 4 tutelles : CNRS, École des
Plus en détailProgrammation linéaire
Programmation linéaire DIDIER MAQUIN Ecole Nationale Supérieure d Electricité et de Mécanique Institut National Polytechnique de Lorraine Mathématiques discrètes cours de 2ème année Programmation linéaire
Plus en détailFONCTIONS DE PLUSIEURS VARIABLES (Outils Mathématiques 4)
FONCTIONS DE PLUSIEURS VARIABLES (Outils Mathématiques 4) Bernard Le Stum Université de Rennes 1 Version du 13 mars 2009 Table des matières 1 Fonctions partielles, courbes de niveau 1 2 Limites et continuité
Plus en détailCours 02 : Problème général de la programmation linéaire
Cours 02 : Problème général de la programmation linéaire Cours 02 : Problème général de la Programmation Linéaire. 5 . Introduction Un programme linéaire s'écrit sous la forme suivante. MinZ(ou maxw) =
Plus en détailRenforcement des trois compétences : compréhension orale, expression orale et expression écrite à partir de documents et vidéos.
Master Mathématiques et Applications Spécialité : Ingénierie mathématique et modélisation Parcours : Mathématique et Informatique : Statistique, Signal, Santé (MI3S) 2015-2016 RÉSUMÉ DES COURS : (dernière
Plus en détailTESTS PORTMANTEAU D ADÉQUATION DE MODÈLES ARMA FAIBLES : UNE APPROCHE BASÉE SUR L AUTO-NORMALISATION
TESTS PORTMANTEAU D ADÉQUATION DE MODÈLES ARMA FAIBLES : UNE APPROCHE BASÉE SUR L AUTO-NORMALISATION Bruno Saussereau Laboratoire de Mathématiques de Besançon Université de Franche-Comté Travail en commun
Plus en détailOrdonnancement. N: nains de jardin. X: peinture extérieure. E: électricité T: toit. M: murs. F: fondations CHAPTER 1
CHAPTER 1 Ordonnancement 1.1. Étude de cas Ordonnancement de tâches avec contraintes de précédences 1.1.1. Exemple : construction d'une maison. Exercice. On veut construire une maison, ce qui consiste
Plus en détailSIMULATION NUMERIQUE DU FLUX D AIR EN BLOC OPÉRATOIRE
Maîtrise d ambiance et Qualité de l air SIMULATION NUMERIQUE DU FLUX D AIR EN BLOC OPÉRATOIRE PERTURBATION À L ÉTAT STATIQUE OU DYNAMIQUE Alina SANTA CRUZ École d Ingénieurs de Cherbourg LUSAC «Équipe
Plus en détail1 Comment faire un document Open Office /writer de façon intelligente?
1 Comment faire un document Open Office /writer de façon intelligente? 1.1 Comment fonctionne un traitement de texte?: les balises. Un fichier de traitement de texte (WRITER ou WORD) comporte en plus du
Plus en détailI Stabilité, Commandabilité et Observabilité 11. 1 Introduction 13 1.1 Un exemple emprunté à la robotique... 13 1.2 Le plan... 18 1.3 Problème...
TABLE DES MATIÈRES 5 Table des matières I Stabilité, Commandabilité et Observabilité 11 1 Introduction 13 1.1 Un exemple emprunté à la robotique................... 13 1.2 Le plan...................................
Plus en détailDéveloppements limités. Notion de développement limité
MT12 - ch2 Page 1/8 Développements limités Dans tout ce chapitre, I désigne un intervalle de R non vide et non réduit à un point. I Notion de développement limité Dans tout ce paragraphe, a désigne un
Plus en détailPROBLEMES D'ORDONNANCEMENT AVEC RESSOURCES
Leçon 11 PROBLEMES D'ORDONNANCEMENT AVEC RESSOURCES Dans cette leçon, nous retrouvons le problème d ordonnancement déjà vu mais en ajoutant la prise en compte de contraintes portant sur les ressources.
Plus en détail(Exemple ici de calcul pour une Ducati 748 biposto, et également pour un S2R1000, équipé d un disque acier en fond de cloche, et ressorts d origine)
Analyse de la charge transmise aux roulements de la roue dentée, notamment en rajoutant les efforts axiaux dus aux ressorts de l embrayage (via la cloche) (Exemple ici de calcul pour une Ducati 748 biposto,
Plus en détailChapitre 2 Les ondes progressives périodiques
DERNIÈRE IMPRESSION LE er août 203 à 7:04 Chapitre 2 Les ondes progressives périodiques Table des matières Onde périodique 2 2 Les ondes sinusoïdales 3 3 Les ondes acoustiques 4 3. Les sons audibles.............................
Plus en détailExo7. Calculs de déterminants. Fiche corrigée par Arnaud Bodin. Exercice 1 Calculer les déterminants des matrices suivantes : Exercice 2.
Eo7 Calculs de déterminants Fiche corrigée par Arnaud Bodin Eercice Calculer les déterminants des matrices suivantes : Correction Vidéo ( ) 0 6 7 3 4 5 8 4 5 6 0 3 4 5 5 6 7 0 3 5 4 3 0 3 0 0 3 0 0 0 3
Plus en détailRapidMiner. Data Mining. 1 Introduction. 2 Prise en main. Master Maths Finances 2010/2011. 1.1 Présentation. 1.2 Ressources
Master Maths Finances 2010/2011 Data Mining janvier 2011 RapidMiner 1 Introduction 1.1 Présentation RapidMiner est un logiciel open source et gratuit dédié au data mining. Il contient de nombreux outils
Plus en détailLa fonction exponentielle
DERNIÈRE IMPRESSION LE 2 novembre 204 à :07 La fonction exponentielle Table des matières La fonction exponentielle 2. Définition et théorèmes.......................... 2.2 Approche graphique de la fonction
Plus en détailCalcul de développements de Puiseux et application au calcul du groupe de monodromie d'une courbe algébrique plane
Calcul de développements de Puiseux et application au calcul du groupe de monodromie d'une courbe algébrique plane Poteaux Adrien XLIM-DMI, UMR-CNRS 6172 Université de Limoges Soutenance de thèse 15 octobre
Plus en détailAndrei A. Pomeransky pour obtenir le grade de Docteur de l Université Paul Sabatier. Intrication et Imperfections dans le Calcul Quantique
THÈSE présentée par Andrei A. Pomeransky pour obtenir le grade de Docteur de l Université Paul Sabatier Intrication et Imperfections dans le Calcul Quantique Directeur de thèse : Dima L. Shepelyansky Co-directeur
Plus en détailIntroduction à l analyse numérique : exemple du cloud computing
Introduction à l analyse numérique : exemple du cloud computing Tony FEVRIER Aujourd hui! Table des matières 1 Equations aux dérivées partielles et modélisation Equation différentielle et modélisation
Plus en détailSouad EL Bernoussi. Groupe d Analyse Numérique et Optimisation Rabat http ://www.fsr.ac.ma/ano/
Recherche opérationnelle Les démonstrations et les exemples seront traités en cours Souad EL Bernoussi Groupe d Analyse Numérique et Optimisation Rabat http ://www.fsr.ac.ma/ano/ Table des matières 1 Programmation
Plus en détailYAO : Un logiciel pour les modèles
YAO : Un logiciel pour les modèles numériques et l'assimilation de données Sylvie Thiria, Fouad Badran, Charles Sorror Rapport de recherche (22 juin 2006) 1 Table des matières 1 Introduction 3 2 Principes
Plus en détailAnalyse de la vidéo. Chapitre 4.1 - La modélisation pour le suivi d objet. 10 mars 2015. Chapitre 4.1 - La modélisation d objet 1 / 57
Analyse de la vidéo Chapitre 4.1 - La modélisation pour le suivi d objet 10 mars 2015 Chapitre 4.1 - La modélisation d objet 1 / 57 La représentation d objets Plan de la présentation 1 La représentation
Plus en détailContinuité et dérivabilité d une fonction
DERNIÈRE IMPRESSIN LE 7 novembre 014 à 10:3 Continuité et dérivabilité d une fonction Table des matières 1 Continuité d une fonction 1.1 Limite finie en un point.......................... 1. Continuité
Plus en détailQuantité de mouvement et moment cinétique
6 Quantité de mouvement et moment cinétique v7 p = mv L = r p 1 Impulsion et quantité de mouvement Une force F agit sur un corps de masse m, pendant un temps Δt. La vitesse du corps varie de Δv = v f -
Plus en détailTD 3 : suites réelles : application économique et nancière
Mathématiques Appliquées Cours-TD : K. Abdi, M. Huaulmé, B. de Loynes et S. Pommier Université de Rennes 1 - L1 AES - 009-010 TD 3 : suites réelles : application économique et nancière Exercice 1 Calculer
Plus en détailFonctions de plusieurs variables
Maths MP Exercices Fonctions de plusieurs variables Les indications ne sont ici que pour être consultées après le T (pour les exercices non traités). Avant et pendant le T, tenez bon et n allez pas les
Plus en détailTransmission d informations sur le réseau électrique
Transmission d informations sur le réseau électrique Introduction Remarques Toutes les questions en italique devront être préparées par écrit avant la séance du TP. Les préparations seront ramassées en
Plus en détailCR 30-Xm. Unité de numérisation CR 30-Xm
U n i t é d e n u m é r i s at i o n CR 30-Xm 'Solution complète' de mammographie numérique et pour toutes les applications de radiographie générale L unité CR 30-Xm est une unité de radiographie numérisée
Plus en détailÉquations d amorçage d intégrales premières formelles
Équations d amorçage d intégrales premières formelles D Boularas, A Chouikrat 30 novembre 2005 Résumé Grâce à une analyse matricielle et combinatoire des conditions d intégrabilité, on établit des équations
Plus en détailSynthèse SYNTHESE - 1 - DIRECTION GENERALE DE L ENERGIE ET DU CLIMAT. Service du climat et de l efficacité énergétique
DIRECTION GENERALE DE L ENERGIE ET DU CLIMAT Service du climat et de l efficacité énergétique Observatoire national sur les effets du réchauffement climatique Synthèse SYNTHESE Prise en compte de l'élévation
Plus en détail