Vous êtes ici : Accueil > Directeurs de thèse > Miranville Alain

Miranville Alain

Les thèses encadrées par "Miranville Alain"

Pour être informé de la mise en ligne des nouvelles thèses correspondant à la recherche effectuée, abonnez-vous au flux RSS : rss

accès internet    accès intranet    confidentialité
15 ressources ont été trouvées. Voici les résultats 1 à 10
Tri :   Date Auteur Titre thèses par page
  • Mathematical modeling and analysis of biological growth and spread models    - Taha Zahraa  -  17 octobre 2023

    Voir le résumé
    Voir le résumé
    Cette thèse est divisée en deux parties indépendantes. La première partie se situe dans le contexte de l’analyse théorique et numérique de quelques généralisations de Cahn-Hilliard et Allen-Cahn équations. Tout d’abord, nous considérons une équation de Cahn-Hilliard avec un terme de prolifération et dotée de conditions aux limites de Neumann. Un tel modèle a, en particulier, des applications en biologie. Nous commençons par prendre un terme non linéaire régulier. Nous prouvons l’existence et le caractère unique de la solution locale (dans le temps) au problème. Ensuite, nous considérons un terme logarithmique non linéaire. Nous prouvons l’existence d’une solution locale (dans le temps) biologiquement pertinente au problème. De plus, nous donnons une condition qui assure l’existence d’une solution globale (dans le temps). On donne des simulations numériques qui confirment les résultats théoriques obtenus. Ensuite, nous étudions une équation d’Allen-Cahn basée sur un équilibre de microforce et un paramètre d’ordre sans contrainte, nous ajoutons un terme source à l’équation. Nous considérons d’abord le terme source, g(s) = βs, et obtenir l’existence, l’unicité et la régularité des solutions. Nous prouvons que, sur des intervalles de temps finis, les solutions convergent vers celles de l’équation de Cahn-Hilliard-Oono lorsqu’un petit paramètre va à zéro puis à celles de l’équation originale de Cahn-Hilliard lorsque β → 0 +. Ensuite, nous considérons un autre terme source et obtenons des résultats similaires. Dans ce cas, nous prouvons que les solutions convergent vers celles d’une équation de Cahn-Hilliard sur des intervalles de temps finis lorsqu’un petit paramètre va à zéro. Nous donnons enfin quelques simulations numériques qui confirment les résultats théoriques. Dans la deuxième partie de cette thèse, trois modèles mathématiques stochastiques sont développés pour la propagation de la maladie à coronavirus (COVID-19). Ces modèles prennent en compte les caractéristiques particulières connues de cette maladie tels que l’existence de cas infectieux non détectés et les différentes conditions sociales et infectieuses des personnes infectées. En particulier, ils comprennent une nouvelle approche qui considère la structure sociale, la fraction des cas détectés par rapport au nombre total réel de cas infectés, l’afflux de personnes infectées non détectées en provenance de l’extérieur des frontières, ainsi que la recherche des contacts et la période de quarantaine pour les voyageurs. Deux de ces modèles sont des modèles discrets d’espace temps-états discrets (l’un est simplifié et l’autre est complet) tandis que le troisième est un modèle intégro-différentiel stochastique temps-espace d’états continu obtenu par un passage formel à la limite du modèle discret simplifié proposé. D’un point de vue numérique, le cas particulier du Liban a été étudié et les données communiquées ont été utilisées pour estimer les paramètres complets du modèle discret, qui peuvent être intéressants pour estimer la propagation de la COVID-19 dans d’autres pays. Les résultats de simulation obtenus ont montré un bon accord avec les données rapportées. De plus, une analyse des paramètres est présentée afin de mieux comprendre le rôle de certains paramètres. Cela peut aider les décideurs politiques à décider de différentes mesures de distanciation sociale.

  • The PDE type models for the growth of glial cells    - Li Lu  -  10 mars 2023

    Voir le résumé
    Voir le résumé
    Cette thèse vise à approfondir les applications des modèles de type Cahn-Hilliard en biologie et en traitement d'images. Dans la première partie, nous étudions dans un premier temps un modèle de Cahn-Hilliard pour les cellules gliales, nous prouvons l'existence d'une solution biologiquement pertinente et une stricte séparation des états purs en 1D et 2D. Nous considérons ensuite un modèle de Cahn-Hilliard-Oono et en déduisons des conclusions similaires. De plus, nous étudions un modèle couplé pour la transition proliférative à invasive des cellules de gliome hypoxiques, nous considérons les équations de type Cahn-Hilliard dans trois cas, et prouvons principalement l'existence de solutions globales en temps, en particulier, nous étudions la permanence de la tumeur, et donnons quelques simulations numériques dans certains cas. Dans la deuxième partie, nous étudions un modèle de Cahn-Hilliard pour la segmentation d'images, le caractère bien-posé a été abordé, étant donné que la solution pourrait être non bornée quand le temps tend vers l’infini, nous considérons un modèle de Cahn-Hilliard-Oono pour pouvoir effectuer des simulations numériques qui illustrent les résultats théoriques. Nous étudions ensuite le comportement asymptotique des modèles de type Cahn-Hilliard-Oono à terme non linéaire cubique et terme non linéaire logarithmique, plus précisément, l'existence d'attracteurs de dimension finie.

  • Ischémie-reperfusion cérébrale post- thrombectomie mécanique : modélisation probabiliste en artériographie à la phase hyper aigue et modélisation réaliste métabolique à la phase aigüe    - Herpe Guillaume  -  16 décembre 2022

    Voir le résumé
    Voir le résumé
    Les pathologies neurovasculaires, au premier rang desquelles les accidents vasculaires cérébraux, sont un enjeu de santé publique pour lequel il est important d’offrir une prise en charge la plus efficace, standardisée, homogène mais aussi personnalisée. Les accidents vasculaires cérébraux sont causés dans 80 % des cas par une ischémie cérébrale (IC), secondaire à l’interruption du flux sanguin cérébral. Lorsqu’un caillot bouche une artère cérébrale, cela conduit à une diminution de la perfusion cérébrale, passant en dessous du seuil d’autorégulation physiologique du débit sanguin cérébral. Cette chute de la perfusion en dessous de seuil entraîne ainsi une diminution de l’apport sanguin en oxygène et métabolites nécessaires à la survie des neurones et du tissu de soutien. Ceci s’appelle l’hypoxémie cérébrale. Ce phénomène conduit rapidement au " silence neuronal ", appelé aussi " zone de pénombre ", puis à la nécrose irréversible, c’est-à-dire à l’infarctus cérébral, par mort neuronale via des mécanismes de dépolarisation, de stress oxy- datif et d’excitotoxicité. Chacune des étapes de la prise en charge des patients est guidée par l’imagerie : de l’imagerie diagnostique initiale guidant le traitement et l’orientation du patient à l’imagerie interventionnelle thérapeutique permettant de lever les occlusions en passant par l’imagerie post thérapeutique immédiate permettant de guider la suite de la prise en charge en permettant de diagnostiquer les complications. Dans un premier temps nous avons réalisé un algorithme d’analyse des artériographies issus d’une décomposition d’ondelettes afin d’évaluer de manière automatisée et quantitative la reperfusion après thrombectomie. Dans un second temps nous avons étudié les conséquences métaboliques de l’ischémie reperfusion en spectroscopie proton et phosphore à l’aide d’un modèle issu d’une régression logistique basée sur des variables catégorielles.

  • Study and optimal control of glial cells growth models    - Alsayed Hawraa  -  29 octobre 2021

    Voir le résumé
    Voir le résumé
    Cette thèse aborde différentes approches thérapeutiques pour les gliomes, soit directement, soit au niveau du métabolisme en utilisant la théorie du contrôle optimal. En effet, nous considérons tout d'abord un système couplant une équation d'Allen-Cahn modélisant la croissance tumorale, avec une équation d'évolution pour la dynamique des nutriments. Le traitement des gliomes est considéré en termes de contrôle qui représente la concentration du médicament cytotoxique à un taux donné. Notre objectif dans cette partie est de choisir le contrôle et le temps de traitement de telle sorte que la croissance tumorale correspondante et sa distribution finale soient la meilleure approximation possible des valeurs désirées. Notre première étape est donc consacrée à l'étude du caractère bien posé de notre système d'état, ce qui nous permet de définir l'opérateur contrôle-état qui est continu. Ensuite, nous montrons l'existence d'un minimiseur de notre fonction de coût, où notre opérateur contrôle-état est différentiable au sens de Fréchet. Ensuite, notre fonctionnelle de coût est également différentiable au sens de Fréchet par rapport au temps et au contrôle. Enfin, pour simplifier la condition d'optimalité nécessaire du premier ordre, nous considérons un système adjoint utilisant le principe de Lagrange pour lequel ce système a une solution régulière. D'autre part, nous savons que la progression et la malignité des gliomes sont liées au métabolisme, en particulier au déchet de glycolyse et de lactate. Ainsi, nous soulignons d'abord le fait que plus le gliome produit de lactate, plus il transporte l'excès dans le capillaire pour soutenir la prolifération, les métastases et la malignité. Par conséquent, nous considérons l'équation d'état comme un problème parabolique modélisant la dynamique du lactate intracellulaire. Notre premier défi consiste à ajouter un contrôle biologiquement pertinent qui agit comme une concentration d'un certain médicament pour inhiber la production de lactate. Puisque la dose de médicament et le temps ne doivent pas dépasser ou descendre en dessous d'un certain seuil dans le traitement du cancer, nous essayons de choisir le meilleur contrôle au moment le plus opportun afin que la concentration de lactate intracellulaire correspondante soit aussi proche que possible de notre évolution souhaitée et de la distribution finale du lactate. Cependant, comme nous l'avons dit plus haut, la cellule retire l'excès de lactate en le transportant à travers la membrane plasmique de la cellule dans le capillaire pour maintenir sa prolifération. Ceci nous a inspiré à cibler le transport du lactate en utilisant un inhibiteur de MCTs qui agit comme un terme de contrôle dans un système couplé de type EDO qui modélise la dynamique du lactate dans les domaines intracellulaire et capillaire. Nous abordons la question de savoir combien de temps un patient doit être traité et quelle est la dose optimale de médicament pour atteindre la concentration de lactate capillaire souhaitée. Pour atteindre notre objectif, nous considérons un problème de minimisation avec une fonction de coût conventionnelle associée au système d'EDO susmentionné. Tout d'abord, nous montrons l'existence d'une solution régulière unique et non négative de notre système EDO, puis nous définissons l'opérateur contrôle-état et montrons qu'il est continu sur la topologie correspondante. Puis, nous montrons l'existence d'une solution à notre problème de minimisation sous des contraintes données. Nous étudions ensuite l'existence d'une dérivée unique de l'opérateur contrôle-état et sa différentiabilité de Fréchet. Nous montrons ensuite la différentiabilité de Fréchet de la fonctionnelle de coût par rapport au temps et au contrôle. De plus, nous définissons le système adjoint par le principe de Lagrange, nous simplifions la condition d'optimalité nécessaire au premier ordre, et enfin, nous mettons en évidence le choix du terme de contrôle par des simulations numériques.

  • Modélisation et étude du métabolisme énergétique cérébral. Applications à l'imagerie des gliomes diffus de bas grade.    - Perrillat-Mercerot Angélique  -  22 octobre 2019

    Voir le résumé
    Voir le résumé
    Tout ce qui vit, naît, se nourrit, se reproduit et meurt. Pour le cerveau, la question se complexifie car à la survie des neurones s'ajoute le coût de l'activité cérébrale. La question de la gestion énergétique pour les neurones est particulière car les cellules de notre cerveau évoluent de manière concertée et non par compétition. On sait avec l'imagerie médicale que l'usine neuronale ne fonctionne pas uniquement grâce au glucose ; elle utilise d'autres apports énergétiques tels que le lactate ou le glutamate pour soutenir sa production. Lorsqu'une tumeur apparaît, elle change le métabolisme énergétique pour survivre et soutenir sa propre croissance. En particulier, les cellules cancéreuses se fournissent en lactate et choisissent leur substrat préféré en fonction de l'oxygène disponible. La modélisation mathématique des substrats énergétiques est un outil de choix pour décrire et prédire de tels flux. Coupler ces modèles à des données issues de l'IRM et de la SRM permet d'améliorer la prise en charge du patient présentant un gliome. Cette thèse propose l'approche de plusieurs dynamiques en substrat dans le cerveau sain et gliomateux en se basant sur des systèmes d'équations : échanges locaux en lactate (EDO, système lent-rapide), échanges globaux en substrats (EDO), cycle glutamate/glutamine (EDR) et échanges en lactate en dimensions supérieures (EDP). Ces modèles sont expliqués, décrits grâce aux mathématiques et permettent l'élaboration de simulations ajustées selon des données patient ou issues de la littérature. L'énergie est nécessaire au maintien de la vie. Mais si votre voisin consomme une partie de vos ressources, pouvez-vous encore espérer survivre ?

  • Analyse mathématique et numérique de plusieurs problèmes non linéaires    - Peng Shuiran  -  07 décembre 2018

    Voir le résumé
    Voir le résumé
    Cette thèse est consacrée à l’étude théorique et numérique de plusieurs équations aux dérivées partielles non linéaires qui apparaissent dans la modélisation de la séparation de phase et des micro-systèmes électro-mécaniques (MSEM). Dans la première partie, nous étudions des modèles d’ordre élevé en séparation de phase pour lesquels nous obtenons le caractère bien posé et la dissipativité, ainsi que l’existence de l’attracteur global et, dans certains cas, des simulations numériques. De manière plus précise, nous considérons dans cette première partie des modèles de type Allen-Cahn et Cahn-Hilliard d’ordre élevé avec un potentiel régulier et des modèles de type Allen-Cahn d’ordre élevé avec un potentiel logarithmique. En outre, nous étudions des modèles anisotropes d’ordre élevé et des généralisations d’ordre élevé de l’équation de Cahn-Hilliard avec des applications en biologie, traitement d’images, etc. Nous étudions également la relaxation hyperbolique d’équations de Cahn-Hilliard anisotropes d’ordre élevé. Dans la seconde partie, nous proposons des schémas semi-discrets semi-implicites et implicites et totalement discrétisés afin de résoudre l’équation aux dérivées partielles non linéaire décrivant à la fois les effets élastiques et électrostatiques de condensateurs MSEM. Nous faisons une analyse théorique de ces schémas et de la convergence sous certaines conditions. De plus, plusieurs simulations numériques illustrent et appuient les résultats théoriques.

  • Etude d'un modèle d'équations couplées Cahn-Hilliard/Allen-Cahn en séparation de phase    - Saoud Wafa  -  04 octobre 2018

    Voir le résumé
    Voir le résumé
    Cette thèse est une étude théorique d’un système d’équations de Cahn-Hilliard/Allen-Cahn couplées qui représente un mélange binaire en séparation de phase. Le but principal de l’étude est le comportement asymptotique des solutions en termes d’attracteurs exponentiels/globaux. Pour cette raison, l’existence et l’unicité de la solution sont étudiées tout d’abord. Une des principales applications de ce modèle d’équations est la cristallographie. Dans la première partie de la thèse, on examine le modèle proposé avec des conditions de type Dirichlet sur le bord et une non linéarité régulière de type polynomial : on réussit à trouver un attracteur exponentiel et par conséquence un attracteur global de dimension finie. Une non linéarité singulière de type logarithmique est ensuite prise dans la deuxième partie, cette fonction étant approchée par une suite de fonctions régulières et l’existence d’un attracteur global est démontrée sous des conditions au bord de type Dirichlet. Enfin, dans la dernière partie, le système est couplé avec une équation pour la température: suivant la loi de Fourrier premièrement, puis la loi de type III de la thermo-élasticité. Dans les deux cas, la dynamique de l’équation est étudiée et un attracteur exponentiel est trouvé malgré la difficulté créée par l’équation hyperbolique dans le deuxième cas.

  • Étude de modèles en séparation de phase tenant compte d'effets d'anisotropie    - Makki Ahmad  -  14 octobre 2016

    Voir le résumé
    Voir le résumé
    Cette thèse se situe dans le cadre de l'analyse théorique et numérique de modèles en séparation de phase qui tiennent compte d'effets d'anisotropie. Ceci est pertinent, par exemple, pour l'évolution de cristaux dans leur matrice liquide pour lesquels ces effets d'anisotropie sont très forts. On étudie l'existence, l'unicité et la régularité de la solution des équations de Cahn-Hilliard et d'Allen-Cahn ainsi que son comportement asymptotique en terme d'existence d'un attracteur global de dimension fractale finie. La première partie de la thèse concerne certains modèles de séparation de phase qui, en particulier, décrivent la formation de motifs dendritiques. D'abord, on étudie les équations de Cahn-Hilliard et d'Allen-Cahn qui prennent en compte les effets d'anisotropie forts en dimension un avec des conditions de type Neumann sur le bord et une non linéarité régulière de type polynomial. En particulier, ces modèles contiennent un terme supplémentaire appelé régularisation de Willmore. Ensuite, on étudie ces modèles avec des conditions de type périodique (respectivement, Dirichlet) sur le bord pour l'équation de Cahn-Hilliard (respectivement, d'Allen-Cahn) mais en dimension spatiales plus élevées. Finalement, on étudie la dynamique des équations de Cahn-Hilliard et d'Allen-Cahn visqueux avec des conditions de type Neumann et Dirichlet respectivement sur le bord et une non linéarité régulière et en plus, la présence de simulations numériques qui montrent les effets du terme de viscosité sur l'anisotropie et l'isotropie dans l'équation de Cahn-Hilliard. Dans le dernier chapitre, on étudie le comportement en temps long en termes d'attracteurs de dimension finie, d'une classe d'équations doublement non linéaires de type Allen-Cahn avec des conditions de type Dirichlet sur le bord et une non linéarité singulière.

  • Étude mathématique et numérique de quelques généralisations de l'équation de Cahn-Hilliard : applications à la retouche d'images et à la biologie    - Fakih Hussein  -  02 octobre 2015

    Voir le résumé
    Voir le résumé
    Cette thèse se situe dans le cadre de l'analyse théorique et numérique de quelques généralisations de l'équation de Cahn-Hilliard. On étudie l'existence, l'unicité et la régularité de la solution de ces modèles ainsi que son comportement asymptotique en terme d'existence d'un attracteur global de dimension fractale finie. La première partie de la thèse concerne des modèles appliqués à la retouche d'images. D'abord, on étudie la dynamique de l'équation de Bertozzi-Esedoglu-Gillette-Cahn-Hilliard avec des conditions de type Neumann sur le bord et une nonlinéarité régulière de type polynomial et on propose un schéma numérique avec une méthode de seuil efficace pour le problème de la retouche et très rapide en terme de temps de convergence. Ensuite, on étudie ce modèle avec des conditions de type Neumann sur le bord et une nonlinéarité singulière de type logarithmique et on donne des simulations numériques avec seuil qui confirment que les résultats obtenus avec une nonlinéarité de type logarithmique sont meilleurs que ceux obtenus avec une nonlinéarité de type polynomial. Finalement, on propose un modèle basé sur le système de Cahn-Hilliard pour la retouche d'images colorées. La deuxième partie de la thèse est consacrée à des applications en biologie et en chimie. On étudie la convergence de la solution d'une généralisation de l'équation de Cahn-Hilliard avec un terme de prolifération, associée à des conditions aux limites de type Neumann et une nonlinéarité régulière. Dans ce cas, on démontre que soit la solution explose en temps fini soit elle existe globalement en temps. Par ailleurs, on donne des simulations numériques qui confirment les résultats théoriques obtenus. On termine par l'étude de l'équation de Cahn-Hilliard avec un terme source et une nonlinéarité régulière. Dans cette étude, on considère le modèle à la fois avec des conditions aux limites de type Neumann et de type Dirichlet.

  • Étude asymptotique de modèles en transition de phase    - Wehbe Charbel  -  05 décembre 2014

    Voir le résumé
    Voir le résumé
    Ce rapport de thèse est consacré à l'étude de modèles de champ de phase de type Caginalp. Nous considérons ici, deux parties : la première étant une généralisation du modèle de champ de phase de Caginalp basée sur la loi de Maxwell-Cattaneo et la seconde traite le même modèle dans sa version conservative. L'étude dans les deux parties est faite dans un domaine borné. De plus, dans la première partie on distingue les cas de conditions aux bords de type Dirichlet ainsi que Neumann, tandis que dans la deuxième partie le modèle est étudié uniquement avec les conditions Dirichlet (avec un potentiel régulier puis un potentiel singulier). Tout d'abord, l'existence, l'unicité, et la régularité des solutions sont analysées aux moyens d'arguments classiques. Ensuite, l'existence d'ensembles bornés absorbants est établie. Enfin, dans certains cas, l'existence de l'attracteur global et d'attracteurs exponentiels sont analysés.

|< << 1 2 >> >| thèses par page

Haut de page


  • Avec le service Ubib.fr, posez votre question par chat à un bibliothécaire dans la fenêtre ci-dessous :


    ou par messagerie électronique 7j/7 - 24h/24h, une réponse vous sera adressée sous 48h.
    Accédez au formulaire...
 
 

Université de Poitiers - 15, rue de l'Hôtel Dieu - 86034 POITIERS Cedex - France - Tél : (33) (0)5 49 45 30 00 - Fax : (33) (0)5 49 45 30 50
these@support.univ-poitiers.fr - Crédits et mentions légales