Spelling suggestions: "subject:"equation aux dérivés partielle"" "subject:"equation aux dérivés partiellement""
1 |
Homogénéisation stochastique quantitative / Quantitative stochastic homogenizationBordas, Alexandre 24 September 2018 (has links)
Cette thèse porte sur l’homogénéisation quantitative d’équations aux dérivées partielles paraboliques, et de problèmes elliptiques discrets. Dans l’introduction, nous voyons comment de tels problèmes, même lorsque les coefficients sont déterministes, résultent d’un modèle aléatoire. Nous donnons ensuite une notion de ce qu’est l’homogénéisation : que se passe-t-il lorsque les coefficients eux-mêmes sont aléatoires, est-il possible de considérer qu’un environnement présentant des inhomogénéités sur de très petites échelles, se comporte d’une manière proche d’un environnement fictif qui serait homogène ?Nous donnons ensuite une interprétation de cette question en terme de marche aléatoire en conductances aléatoires, puis donnons une idée des outils utilisés dans les preuves des deux chapitres suivants. Dans le chapitre II, nous démontrons un résultat d’homogénéisation quantitative pour une équation parabolique – l’équation de la chaleur par exemple – dans un environnement admettant des coefficients aléatoires et dépendant du temps. La méthode utilisée consiste à considérer les solutions d’un tel problème comme optimiseurs de fonctionnelles qui seront définies au préalable, puis d’utiliser la propriété cruciale de sous-additivité de ces quantités, afin d’en déduire une convergence puis un résultat de concentration, qui permettra d’en déduire une vitesse de convergence des solutions vers la solution du problème homogénéisé, Dans le chapitre III, nous adaptons ces méthodes pour un problème elliptique sur le graphe Zd. / This thesis deals with quantitative stochastic homogenization of parabolic partial differential equations, and discrete elliptic problems. In the introduction, we see how can such problems come from random models, even when the coefficients are deterministic. Then, we introduce homogenization : what happen if the coefficients themselves are random ? Could we consider that an environment with microscopical random heterogeneities behaves, at big scale, as a fictious deterministic homogeneous environment ? Then, we give a random walk in random environment interpretation and the sketch of the proofs in the two following chapters. In chapter II, we prove a quantitative homogenization result for parabolic PDEs, such as heat equation, in environment admitting time and space dependent coefficients. The method of the proof consists in considering solutions of such problems as minimizers of variational problems. The first step is to express solutions as minimizers, and then to use the capital property of subadditivity of the corresponding quantities, in order to deduce convergence and concentration result. From that, we deduce a rate of convergence of the actual solutions to the homogenized solution. In chapter III, we adapt these methods to a discrete elliptic problem on the lattice Zd.
|
2 |
ETUDE DU COMPORTEMENT THERMIQUE D'UN MATERIAU MULTICOUCHES LACUNAIRES ET CONTRIBUTION A LA MODELISATION ET LA SIMULATION NUMERIQUE DES DEPOTS A STRUCTURE COLONNAIRE.Vo Thi, Thu Huong 21 May 2007 (has links) (PDF)
Ce travail est motivé par un problème technologique (et économique) pour l'amélioration des écrans à tube cathodique et plus précisément du masque qui est une grille dont les trous permettent de diriger le faisceau électronique vers photophores situés sur la dalle de verre :<br />l'écran. L'apport d'énergie des électrons qui se déposent sur le masque entraîne son échauffement et du coup sa déformation nuisant à la qualité de l'image. La solution que nous avons<br />étudiée consiste à déposer des couches minces de matériaux choisis, entre autres, pour leurs propriétés thermiques. Cette thèse comporte deux parties :<br /><br />- La première consiste à modéliser l'échauffement du masque soumis au balayage électronique et vérifier si les solutions proposées permettent de réduire les gradients thermiques. En s'appuyant sur un calcul d'homogénéisation, nous avons proposé une formulation du comportement thermique de matériau sans couches minces prenant en compte la présence des trous sur le masque. Ensuite, nous avons étudié le problème d'évolution bidimensionnel obtenu en intégrant sur l'épaisseur du masque. A l'issu du travail précédent, une étude de l'influence de la présence des couches de différents matériaux sur la propagation latérale de la chaleur a été menée.<br /><br />- L'objectif de la seconde partie est la mise au point des modèles mathématiques du processus de dépôt des couches minces de matériaux sur le masque. Notre approche comprend deux types de modélisation : les modèles discrets et les modèles continus. Les modèles discrets sont basés sur des méthodes de type Monte Carlo. Les modèles continus sont décrits par des équations aux dérivées partielles stochastiques dont les solutions fournissent la hauteur du<br />dépôt en fonction du temps et de la position. Parmi les modèles continus existants, nous avons choisi d'axer notre étude sur les modèles incluant un effet d'ombrage car ils sont à même de<br />reproduire les structures colonnaires observées expérimentalement. L'étude de l'influence des différents termes intervenant dans les 2 modèles (MC et EDP) nous a permis de proposer un nouveau modèle continu dont les solutions sont proches de celles obtenues par les méthodes de Monte Carlo. Cette étude a été menée aussi bien en 1+1D qu'en 2+1D.
|
3 |
Simulation du comportement des capteurs de pression capacitifs microélectroniquesRatier, Nicolas 07 June 1993 (has links) (PDF)
Ce mémoire porte sur la simulation numérique de la réponse des capteurs de pression capacitifs micro-électroniques. Les courbes de réponse du capteur capacitif classique, en fonction d'une pression constante, sont établies. L'auteur examine ensuite les modifications apportées à ces courbes lorsqu'une pression électrostatique est superposée à la pression constante. La suite de ce travail est consacrée à l'étude de capteurs capacitifs de structures plus complexes. Les capteurs à armature déformable d'épaisseur variable sont traités. L'auteur montre l'influence de la variation de l'épaisseur sur la réponse du capteur. Il présente ensuite une étude des capteurs de géométrie polygonale et propose deux applications permettant d'élargir la gamme de pressions. Une analyse du comportement des capteurs en régime de contact est effectuée : la sensibilité des courbes de réponse est nettement améliorée par ce mode de fonctionnement. L'auteur propose finalement une modélisation des capteurs capacitifs en utilisant la théorie non linéaire des fortes déflexions de von Karman. Il est indispensable de tenir compte de cette théorie dès que la déflexion de la plaque sensible est de l'ordre de grandeur de son épaisseur. La simulation des problèmes développés dans ce mémoire fait intervenir des équations et des sytèmes d'équations aux dérivées partielles, linéaires et non linéaires, à deux variables d'espace. La discrétisation de ces équations est effectuée par la méthode générale des différences finies. La résolution des équations résultantes est obtenue par les méthodes itératives du type gradient conjugué et Newton-Raphson. Un logiciel convivial de discrétisation des équations aux dérivées partielles stationnaires linéaires ou non linéaires a été développé. L'auteur présente finalement une étude de la méthode des différences finies curvilignes et de son application à la deflexion des plaques.
|
4 |
Stabilisation rapide et observation en plusieurs instants de systèmes oscillantsVest, Ambroise 27 September 2013 (has links) (PDF)
Ce travail est constitué de deux parties indépendantes traitant chacune d'un problème issu de la théorie du contrôle des équations aux dérivées partielles. La première partie est consacrée à l'étude d'un feedback explicite et déjà connu, s'appliquant à des systèmes linéaires, réversibles en temps et éventuellement munis d'un opérateur de contrôle non-borné. On justifie le caractère bien posé du problème en boucle fermée via la théorie des semi-groupes puis on étudie le taux de décroissance des solutions du système régulé. La seconde partie concerne un problème d'observation pour la corde vibrante : on détermine comment choisir des instants d'observation pour que la position de la corde à ces instants permette de retrouver les conditions initiales tout en préservant une certaine régularité. La méthode, qui repose sur des résultats d'approximation diophantienne, est ensuite étendue à d'autres systèmes. En utilisant une méthode de dualité on démontre aussi un résultat de contrôlabilité exacte.
|
5 |
Modèles de contours actifs pour la segmentation d'images et de vidéosGastaud, Muriel 06 December 2005 (has links) (PDF)
La segmentation en objets d'une image consiste à extraire de l'image des régions d'intérêt suivant un critère défini. Nous segmentons l'image par un algorithme de contours actifs dans le cadre d'une approche variationnelle. Partant d'un contour initial quelconque, le contour actif évolue, suivant une équation aux dérivées partielles. L'équation d'évolution du contour actif est déduite de la dérivation du critère. Au vu de la dépendance du critère à la région considérée, la dérivation du critère par rapport à la région n'est pas aisée. Nous utilisons des outils de dérivation empruntés à l'optimisation de domaine: les gradients de forme.<br />La contribution de cette thèse réside dans l'élaboration et l'étude de différents descripteurs de région. Pour chaque critère, nous calculons la dérivée du critère à l'aide des gradients de forme, et en déduisons l'équation d'évolution du contour actif.<br />Le premier descripteur définit un a priori géométrique sans contrainte paramétrique: il minimise la distance du contour actif à un contour de référence. Nous l'avons appliqué à la déformation de courbe, la segmentation et le suivi de cible.<br />Le deuxième descripteur caractérise le mouvement de l'objet par un modèle de mouvement. Le critère associé définit conjointement une région et son mouvement sur plusieurs images consécutives. Nous avons appliqué ce critère à l'estimation et la segmentation conjointe du mouvement et au suivi d'objets en mouvement.
|
6 |
Analyse Numérique et discrétisation par éléments spectraux avec joints des équations tridimensionnelles de l'électromagnétismeEl Rhabi, Mohammed 04 December 2002 (has links) (PDF)
Cette thèse a pour objet l'analyse et la discrétisation numérique des équations tridimensionnelles de l'électromagnétisme. Ces travaux débutent par l'étude de ces équations dans un domaine b orné multiplement connexe. Un théorème d'existence général a été établi, en proposant une nouvelle approche du problème, en le reformulant à l'aide d'un opérateur approprié, tenant compte des omplexités géométriques du domaine. Dans la suite, après avoir donnée un résultat de régularité, on propose une approximation numérique de la solution par une méthode spectrale. La méthode est, d'une part, analysée numériquement dans le cas d'une décomposition conforme du domaine, et d'autre, implantée dans le cadre d'un code 3D. Des tests numériques illustrant les prévisions théoriques sont exposés et comparés à ceux obtenus par une méthode d'éléments finis de type P1 qu'on présentera sommairement. En outre, les quatre premières valeurs propres du problème discret sont calculées et comparées à celui du spectre exact. La dernière partie de cette thèse est consacrée à l'étude d'une décomposition de domaine par une méthode spectrale avec joints pour le problème de Maxwell. Il est utile de souligner que les paramètres physiques sont considérés dans cette partie comme pouvant être hétérogènes. On applique cette méthode à un problème type présenté. Ce dernier permet d'unifier deux approches qui habituellement sont distinguées: le problème d'évolution de Maxwell, et le problème de Maxwell en régime harmonique. Des estimations d'erreurs sont démontrées, elles reposent sur un lemme, qui est une variante du second lemme de Strang, permettant de décomposer l'erreur en la somme de trois erreurs principales: l'erreur sur la meilleure approximation, l'erreur de consistance et l'erreur d'intégration numérique. Cette dernière étant obtenue de ma ière classique, les deux autres erreurs ont nécessité une recherche plus approfondie, notamment, la définition d'opérateurs discrets et un Lemme d'augmentation de degré pour l'erreur sur la meilleure approximation. Enfin des courbes d'erreurs et des tests numériques sont exposés validant un code de calcul tridimensionnel développé pour l'approximation de la solution du problème type (pour des paramètres physiques homogènes et hétérogènes).
|
7 |
Problèmes inverses de sources dans des équations de transport à coefficients variablesMahfoudhi, Imed 15 November 2013 (has links) (PDF)
Cette thèse porte sur l'étude de quelques questions liées à l'identifiabilité et l'identification d'un problème inverse non-linéaire de source. Il s'agit de l'identification d'une source ponctuelle dépendante du temps constituant le second membre d'une équation de type advection-dispersion-réaction à coefficients variables. Dans le cas monodimensionnel, la souplesse du modèle stationnaire nous a permis de développer des réponses théoriques concernant le nombre des capteurs nécessaires et leurs emplacements permettant d'identifier la source recherchée d'une façon unique. Ces résultats nous ont beaucoup aidés à définir la ligne de conduite à suivre afin d'apporter des réponses similaires pour le modèle transitoire. Quant au modèle bidimensionnel transitoire, en utilisant quelques résultats de nulle contrôlabilité frontière et des mesures de l'état sur la frontière sortie et de son flux sur la frontière entrée du domaine étudié, nous avons établi un théorème d'identifiabilité et une méthode d'identification permettant de localiser les deux coordonnées de la position de la source recherchée comme étant l'unique solution d'un système non-linéaire de deux équations, et de transformer l'identification de sa fonction de débit en la résolution d'un problème de déconvolution. La dernière partie de cette thèse discute la difficulté principale rencontrée dans ce genre de problèmes inverses à savoir la non identifiabilité d'une source dans sa forme abstraite, propose une alternative permettant de surmonter cette difficulté dans le cas particulier où le but est d'identifier le temps limite à partir duquel la source impliquée a cessé d'émettre, et donc ouvre la porte sur de nouveaux horizons.
|
8 |
Modélisation et Analyse de Modèles en Dynamique Cellulaire avec Applications à des Problèmes Liés aux Cancers / Mathematical modeling in cellular dynamics : applications to cancer researchBourfia, Youssef 28 December 2016 (has links)
Cette thèse s’insère dans le cadre général de l’étude de la dynamique des populations. La population prise en compte étant constituée de cellules souches normales et/ou cancéreuses. Nous proposons et analysons trois modèles mathématiques décrivant la dynamique de cellules souches. Le premier modèle proposé est un modèle d’équations aux dérivées partielles structurées en âge que nous transformons, via la méthode des caractéristiques, en un système d'équations différentielles à retard pour lequel on étudie l'existence et la stabilité des points d'équilibres. On effectue, après, des simulations numériques permettant d'illustrer le comportement des états d'équilibres. Dans le deuxième modèle, on considère que la durée du cycle cellulaire dépend de la population totale de cellules quiescentes. La méthode des caractéristiques nous permet de réduire notre modèle structuré en âge à un système d'équations différentielles avec un retard dépendant de l'état pour lequel on effectue une analyse détaillée de la stabilité. Nous confirmons, ensuite, les résultas analytiquement obtenus par des simulations numériques. Pour le troisième et dernier modèle de cette thèse, on propose un système d'équations différentielles ordinaires décrivant la dynamique de cellules souches saines et cancéreuses et prenant en compte leurs interactions avec les réponses immunitaires. Ce modèle nous a permis de souligner l'ampleur de l'impact que peuvent avoir différentes infections sur la prolifération tumoral que ce soit par le biais de leurs fréquences, leurs durées ou la façon dont ils agissent sur le système immunitaire. / This thesis fits into the general framework of the study of population dynamics. The population particularly considered in this work is comprised of stem cells with both cases of healthy and cancerous cells being investigated. We propose and analyze three mathematical models describing stem cells dynamics. The first model is an age-structured partial differential model that we reduce to a delay differential system using the characteristics method. We investigate the existence and stability of the steady states of the reduced delay differential system. We, then, conduct some numerical simulations to illustrate the behavior of the steady states. In the second model, the duration of the cell cycle is considered to depend upon the total population of quiescent cells. The method of characteristics reduces the age-structured model to a system of differentialequations with a state-dependent delay. We perform a detailed stability analysis of the resulting delay differential system. We confirm the analytical results by numerical simulations. The third and final model, proposed in this thesis, is an ordinary differential equations model describing healthy and cancerous stem cells dynamics and their interactions with immune system responses. Through this model, we show that the frequency, the duration of infections and their action (positive or negative) on immune responses may impact significantly tumor proliferation.
|
9 |
Équations différentielles à retard et leur application en hématopoïèse, avec étude du cas de la neutropénie cycliqueBernard, Samuel January 2003 (has links)
Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.
|
10 |
CONTRÔLE DU PROFIL DE FACTEUR DE SECURITE DANS LES PLASMAS DE TOKAMAK EN DIMENSION INFINIEGaye, Oumar 04 December 2012 (has links) (PDF)
Les besoins énergétiques croissants de la population mondiale requièrent le développement, la maîtrise et la fourniture de nouvelles formes d'énergie. Dans ce contexte, la fusion nucléaire est une piste de recherche extrêmement prometteuse. Le projet mondial ITER est destiné à démontrer la faisabilité scientifique et technique de la fusion nucléaire comme nouvelle source d'énergie. Un des nombreux verrous tient à la maîtrise de la distribution spatiale du profil de courant dans les plasmas de tokamak, paramètre clé pour la stabilité et la performance des expériences. L'évolution spatiotemporelle de ce courant est décrite par un ensemble d'équations aux dérivées partielles non linéaires. Ce document traite de la stabilisation par un contrôle robuste de la distribution spatiale du profil de courant en dimension infinie. Deux approches sont proposées : la première s'inspire d'une approche de type mode glissant et la seconde (de type proportionnelle et proportionnelle intégrale) est basée sur les fonctions de Lyapunov en dimension infinie. La conception des lois de contrôle est basée sur l'équation 1D de la diffusion résistive du flux magnétique. Les lois de contrôle sont calculées en dimension infinie sans discrétisation spatiale préalables
|
Page generated in 0.1513 seconds