L'objectif de cette thèse est l'élaboration de modèles de contours actifs basés régions pour la segmentation d'images et de vidéos.<br />Nous proposons de segmenter les régions ou objets en minimisant une fonctionnelle composée d'intégrales de régions et d'intégrales de contours. Dans ce cadre de travail, les fonctions caractérisant les régions ou les contours sont appelées "descripteurs''. La recherche du minimum se fait via la propagation d'un contour actif dit basé régions. L'équation d'évolution associée est calculée en utilisant les outils de dérivation de domaines. Par ailleurs, nous prenons en compte le cas des descripteurs dépendant de la région qui évoluent au cours de la propagation du contour. Nous montrons que cette dépendance induit des termes supplémentaires dans l'équation d'évolution.<br /><br />Le cadre de travail développé est ensuite mis en oeuvre pour des applications variées de segmentation. Tout d'abord, des descripteurs statistiques basés sur le déterminant de la matrice de covariance sont étudiés pour la segmentation du visage. L'estimation des paramètres statistiques se fait conjointement à la segmentation. Nous proposons ensuite des descripteurs statistiques utilisant une distance à un histogramme de référence. Enfin, la détection des objets en mouvement dans les séquences à caméra fixe et mobile est opérée via l'utilisation hierarchique de descripteurs basés mouvement et de descripteurs spatiaux.

D'Alembert est l'auteur d'un quatrième et dernier traité d'hydrodynamique méconnu des historiens des sciences : le Mémoire 57 du t. VIII de ses "Opuscules mathématiques" (1780). Il y répond, pour l'essentiel, à un écrit de Borda de 1766 contenant une sévère remise en question des principes et concepts fondateurs de son "Traité des fluides" (1744). Cette polémique entre les deux géomètres s'inscrit dans une période de crise de l'hydrodynamique touchant à la concordance entre théorie et expérience. Les équations aux dérivées partielles obtenues par D'Alembert dans son "Essai d'une nouvelle théorie de la résistance des fluides" (1752), puis par Euler dans ses célèbres mémoires de 1755, n'ont pu être résolues. L'approche unidimensionnelle initiée par Daniel Bernoulli dans l'"Hydrodynamica" (1738) puis adoptée par Jean Bernoulli dans l'"Hydraulica" (1743) et par D'Alembert dans le "Traité des fluides" (1744), repose, quant à elle, sur une approximation, l'hypothèse du parallélisme des tranches, trop éloignée des résultats expérimentaux disponibles. C'est cet écart que Borda tente de pallier en 1766 afin de faire sortir la discipline de l'impasse dans laquelle elle se trouve.<br />Dans le Mémoire 57, D'Alembert, directement visé par ce dernier, donne son point de vue sur le sujet, répond implicitement aux critiques de Borda, revient sur ses écrits antérieurs, et propose de nouvelles pistes de recherche théoriques. L'étude de ce traité, tant du point de vue physique que mathématique, engage ici un réexamen des principes et concepts fondateurs de sa théorie des écoulements, la plupart n'ayant été que partiellement abordés par l'historiographie. Il nous permet également de situer ses recherches vis-à-vis de celles des principaux artisans du développement de l'hydrodynamique à cette époque, Daniel Bernoulli, Jean Bernoulli, Euler et Lagrange, et de donner une idée de leur réception et de leur pérennité.

Nous nous intéressons à l'étude d'un problème d'analyse des transferts de chaleur qui modélise une opération de soudage. L'approche que nous considérons ne s'occupe que de la partie solide de la plaque. Elle consiste à résoudre un problème à frontière libre. Pour cela, nous proposons une formulation en optimisation de forme. Le problème d'état est gouverné par un opérateur qui, pour certaines données, n'est pas coercif. Cela complique l'étude de la continuité du problème d'état. Nous surmontons cette difficulté en utilisant le degré topologique de Leray-Shauder, ainsi nous montrons l'existence d'un domaine optimal. Ensuite, nous considérons une discrétisation de ce problème basée sur les éléments finis linéaires. Nous prouvons alors que le problème discret admet une solution et nous montrons qu'une sous-suite des solutions de ce problème convergence vers la solution du problème continu. Enfin, nous présentons des résultats numériques réalisés par deux méthodes : la méthode déterministe basée sur le calcul du gradient de forme, et les algorithmes génétiques combinés avec la logique floue et le calcul parallèle. Ainsi une étude comparative de ces deux méthodes aux niveaux qualitatif et quantitatif a été présentée.

La motivation de cette thèse de Doctorat est de modéliser quelques problèmes biologiques avec des systèmes et des équations de réaction-diffusion. La thèse est divisée en sept chapitres: 1. On modélise des ions de calcium et des protéines dans une épine dendritique mobile (une microstructure dans les neurones). On propose deux modèles, un avec des protéines qui diffusent et un autre avec des protéines fixées au cytoplasme. On démontre que le premier problème est bien posé, que le deuxième problème est presque bien posé et qu'il y a un lien continu entre les deux modèles. 2. On applique les techniques du Chapitre 1 pour un modèle d'infection virale et réponse immunitaire dans des cellules cultivées. On propose comme avant deux modèles, un avec des cellules qui diffusent et un autre avec des cellules fixées. On démontre que les deux problèmes sont bien posés et qu'il y a un lien continu entre les deux modèles. On Žtudie aussi le comportement asymptotique et la stabilité des solutions pour des temps larges, et on fait des simulations dans Matlab. 3. Dans le Chapitre 3 on montre que la croissance a deux effets positives dans la formation de motifs ou patterns. Le premier est un effet anti-explosion (anti-blow-up) car les solutions sur un domaine croissant explosent plus tard que celles sur un domaine fixé, et si la croissance est suffisamment rapide alors elle peut même empêcher l'explosion. Le deuxième est un effet stabilisant car les valeur propres sur un domaine croissant ont des parties réelles plus petites que celles sur un domaine fixé. 4. On étend la définition de front progressif à des variétés et on en étudie quelques propriétés. 5. On étudie des front progressifs sur la droite réelle. On démontre qu'il y a deux fronts progressifs qui se déplacent dans des directions opposées et qu'ils se bloquent mutuellement, générant ainsi une solution stationnaire non-triviale. Cet exemple montre que pour des modèles à diffusion non-homogène les fronts progressifs ne sont pas nécessairement des invasions. 6. On étudie des fronts progressifs sur la sphère. On démontre que pour des sous-domaines de la sphère avec des conditions aux limites de Dirichlet le front progressif est toujours bloqué, tandis que pour la sphère complète le front peut ou bien invahir ou bien être bloqué, tout en fonction des conditions initiales. 7. On étudie un problème elliptique aux valeurs propres nonlinéaires. Sur la sphère de dimension 1 on démontre l'existence de multiples solutions non-triviales avec des techniques de bifurcation. Sur la sphère de dimension n on utilise les mêmes arguments pour dŽmontrer l'existence de multiples solutions non-triviales à symétrie axiale, i.e. qui ne dépendent que de l'angle vertical.

Cette thèse s'intéresse à la modélisation et à la commande optimale de réseaux de distribution d'eau chaude avec pertes de chaleur.<br/><br/>Développement de logiciels d'aide à la compréhension du comportement dynamique du réseau, à sa gestion optimale face à des variations de données extérieures (consommations, tarifs énergétiques,...). Modélisation et optimisation du fonctionnement hydraulique et thermique du réseau, par rapport à la somme du coût de production de l'eau chaude, et du coût de fonctionnement des pompes. Exemples de simulation et d'optimisation réalisées sur des petits réseaux

Cette thèse traite des inéquations variationnelles stochastiques et de leurs applications aux vibrations de structures mécaniques. On considère d'abord un algorithme numérique déterministe pour obtenir le régime stationnaire d'une inéquation variationnelle stochastique modélisant un oscillateur élasto-plastique excité par un bruit blanc. Une famille de solutions d'équations aux dérivées partielles définissant la mesure invariante par dualité est étudiée comme alternative à la simulation probabiliste. Puis, nous présentons une nouvelle caractérisation de l'unique mesure invariante. Dans ce contexte, nous montrons une relation liant des problèmes non-locaux et des problèmes locaux en introduisant la définition des cycles courts. Dans un cadre orienté vers les applications, nous démontrons que la variance de la déformation plastique cro^it linéairement avec le temps et nous caractérisons rigoureusement le coefficient de dérive en introduisant la définition des cycles longs. Dans la suite, nous étudions un processus approché de la solution de l'inéquation comportant des sauts aux instants de transition de l' état plastique vers l' état élastique. Nous prouvons que la solution approchée converge sur tout intervalle de temps ni vers la solution de l'inéquation, lorsque la taille du saut tend vers 0. Ensuite, nous défi nissons une inéquation variationnelle stochastique pour modéliser un oscillateur élasto-plastique excité par un bruit blanc filtré. Nous prouvons la propriété ergodique du processus sous-jacent et nous caractérisons sa mesure invariante. Nous étendons la méthode de A.Bensoussan et J.Turi avec une difficulté supplémentaire due à l'accroissement de la dimension. Finalement, dans un chapitre orienté vers l'expérimentation numérique, nous mettons en évidence par les simulations probabilistes le phénomène de phases micro-élastiques. Leur impact concerne des grandeurs utiles a l'ingénieur comme la fréquence des déformations plastiques. Un critère empirique qui peut ^etre utile à l'ingénieur est fourni afin de ne pas prendre en compte les phases micro-élastiques et ainsi évaluer d'une façon réaliste, à partir de la mesure invariante, les statistiques de la déformation plastique d'un oscillateur élasto-plastique excité par un bruit blanc.

La thèse est consacrée au développement de nouvelles méthodes de modélisations mathématiques en biologie et en médecine, du type "off-lattice" modèles hybrides discret-continus, et de leurs applications à l'hématopoïèse et aux maladies sanguines telles la leucémie et l'anémie. Dans cette approche, les cellules biologiques sont considérées comme des objets discrets alors que les réseaux intracellulaire et extracellulaire sont décrits avec des modèles continus régis par des équations aux dérivées partielles et des équations différentielles ordinaires. Les cellules interagissent mécaniquement et biochimiquement entre elles et avec le milieu environnant. Elles peuvent se diviser, mourir par apoptose ou se différencier. Le comportement des cellules est déterminé par le réseau de régulation intracellulaire et influencé par le contrôle local des cellules voisines ou par la régulation globale d'autres organes. Dans la première partie de la thèse, les modèles hybrides du type "off-lattice" dynamiques sont introduits. Des exemples de modèles, spécifiques aux processus biologiques, qui décrivent au sein de chaque cellule la concurrence entre la prolifération et l'apoptose, la prolifération et la différenciation et entre le cycle cellulaire et de l'état de repos sont étudiés. L'émergence des structures biologiques est étudiée avec les modèles hybrides. L'application à la modélisation des filamente de bactéries est illustrée. Dans le chapitre suivant, les modèle hybrides sont appliqués afin de modéliser l'érythropoïèse ou production de globules rouges dans la moelle osseuse. Le modèle inclut des cellules sanguines immatures appelées progéniteurs érythroïdes, qui peuvent s'auto-renouveler, se différencier ou mourir par apoptose, des cellules plus matures appelées les réticulocytes, qui influent les progéniteurs érythroïdes par le facteur de croissance Fas-ligand, et des macrophages, qui sont présents dans les îlots érythroblastiques in vivo. Les régulations intracellulaire et extracellulaire par les protéines et les facteurs de croissance sont précisées et les rétrocontrôles par les hormones érythropoïétine et glucocorticoïdes sont pris en compte. Le rôle des macrophages pour stabiliser les îlots érythroblastiques est montré. La comparaison des résultats de modélisation avec les expériences sur l'anémie chez les souris est effectuée. Le quatrième chapitre est consacré à la modélisation et au traitement de la leucémie. L'érythroleucémie, un sous-type de leucémie myéloblastique aigüe (LAM), se développe à cause de la différenciation insuffisante des progéniteurs érythroïdes et de leur auto-renouvellement excessif. Un modèle de type "Physiologically Based Pharmacokinetics-Pharmacodynamic" du traitement de la leucémie par AraC et un modèle de traitement chronothérapeutique de la leucémie sont examinés. La comparaison avec les données cliniques sur le nombre de blast dans le sang est effectuée. Le dernier chapitre traite du passage d'un modèle hybride à un modèle continu dans le cas 1D. Un théorème de convergence est prouvé. Les simulations numériques confirment un bon accord entre ces deux approches.

Ce mémoire se propose d'examiner le comportement asymptotique en temps long des fluides visqueux bidimensionnels, homogènes ou faiblement inhomogènes. On y examine souvent la dynamique des écoulements en fonction de l'évolution de la densité et, plutôt que de la vitesse, du vecteur de rotation instantanée appelé tourbillon ou vorticité. Les travaux de Thierry Gallay et C. Eugene Wayne ont mis en relief le rôle primordial d'une famille de solutions auto-similaires --- les tourbillons d'Oseen ou vortex --- pour décrire l'asymptotique des écoulements à densité constante. Toute solution de l'équation de Navier-Stokes, ayant une mesure finie comme tourbillon initial et de circulation non nulle, est asymptotique en temps long à un tourbillon d'Oseen. Le résultat de Gallay et Wayne ne présente que l'inconvénient de ne pas être explicite, la première tâche de ce mémoire est de l'expliciter, ce qui fournit ainsi une borne sur le temps de vie de la turbulence bidimensionnelle. On montre ensuite que les tourbillons d'Oseen sont asymptotiquement stables en tant que fluides à densité variable, retrouvant également, par là-même, le résultat de Gallay et Wayne pour des écoulements incompressibles faiblement inhomogènes et lents. Quant aux fluides compressibles faiblement inhomogènes, on établit qu'ils se comportent essentiellement comme des fluides à densité constante dès lors que l'on considère des écoulements lents et de circulation nulle.

Cette thèse est consacrée à l'étude de la<br />stabilité de petits états stationnaires d'une équation d'évolution<br />non linéaire issue de la mécanique quantique relativiste :<br />l'équation de Dirac non linéaire.<br /><br />Tout le long de notre étude, les équations non linéaires sont vues<br />comme des petites perturbations non linéaires de systèmes linéaires.<br />Une partie de cette thèse est donc consacrée à l'étude de problèmes<br />linéaires. Nous montrons que, pour un opérateur de Dirac n'ayant pas<br />de résonance aux seuils ni de valeur propre aux seuils, le<br />propagateur vérifie des estimations de propagation et de dispersion.<br />Nous en déduisons également des estimations de régularité au sens de<br />Kato et des estimations de Strichartz.<br /><br />En faisant des hypothèses ad hoc sur le spectre discret d'un<br />opérateur de Dirac, nous construisons des petites variétés formées<br />d'états stationnaires. Puis en faisant varier ces hypothèses, nous<br />faisons apparaître des phénomènes de stabilisation et d'instabilité<br />orbitale pour certains de ces états.

Les systèmes décrits par les équations aux dérivées partielles, appartiennent à la classe des systèmes dynamiques impliquant des fonctions dépendantes de plusieurs variables, comme le temps et l'espace. Déjà fortement répandus pour la modélisation mathématique de phénomènes physiques et environnementaux, ces systèmes ont un rôle croissant dans les domaines de l'automatique. Cette expansion, provoquée par les avancées technologiques au niveau des capteurs facilitant l'acquisition de données et par les nouveaux enjeux environnementaux, incite au développement de nouvelles thématiques de recherche. L'une de ces thématiques, est l'étude des problèmes inverses et plus particulièrement l'identification paramétrique des équations aux dérivées partielles. Tout abord, une description détaillée des différentes classes de systèmes décrits par ces équations est présentée puis les problèmes d'identification qui leur sont associés sont soulevés. L'accent est mis sur l'estimation paramétrique des équations linéaires, homogènes ou non, et sur les équations linéaires à paramètres variant. Un point commun à ces problèmes d'identification réside dans le caractère bruité et échantillonné des mesures de la sortie. Pour ce faire, deux types d'outils principaux ont été élaborés. Certaines techniques de discrétisation spatio-temporelle ont été utilisées pour faire face au caractère échantillonné des données; les méthodes de variable instrumentale, pour traiter le problème lié à la présence de bruit de mesure. Les performances de ces méthodes ont été évaluées selon des protocoles de simulation numérique reproduisant des situations réalistes de phénomènes physique et environnementaux, comme la diffusion de polluant dans une rivière.