Réguler la prise alimentaire et la dépense énergétique permet en général de limiter d'importants changements de poids corporel. Hormones (leptine, ghréline, insuline) et nutriments sont impliqués dans ces régulations. La résistance à la leptine, souvent associée à l'obésité, limite la régulation de la prise alimentaire. La modélisation mathématique de la dynamique du poids contribue en particulier à une meilleure compréhension des mécanismes de régulation (notamment chez l’humain). Or les régulations hormonales sont largement ignorées dans les modèles existants.Dans cette thèse, nous considérons un modèle de régulation hormonale du poids appliqué aux rats, composé d'équations différentielles non-linéaires. Il décrit la dynamique de la prise alimentaire, du poids et de la dépense énergétique, régulés par la leptine, la ghréline et le glucose. Il reproduit et prédit l'évolution du poids et de la prise alimentaire chez des rats soumis à différents régimes hypocaloriques, et met en évidence l'adaptation de la dépense énergétique. Nous introduisons ensuite le premier modèle décrivant le développement de la résistance à la leptine, prenant en compte la régulation de la prise alimentaire par la leptine et ses récepteurs. Nous montrons que des perturbations de la prise alimentaire, ou de la concentration en leptine, peuvent rendre un individu sain résistant à la leptine et obèse. Enfin, nous présentons une simplification réaliste de la dynamique du poids dans ces modèles, permettant de construire un nouveau modèle combinant les deux modèles précédents / The regulation of food intake and energy expenditure usually limits important loss or gain of body weight. Hormones (leptin, ghrelin, insulin) and nutrients (glucose, triglycerides) are among the main regulators of food intake. Leptin is also involved in leptin resistance, often associated with obesity and characterized by a reduced efficacy to regulate food intake. Mathematical models describing the dynamics of body weight have been used to assist clinical weight loss interventions or to study an experimentally inaccessible phenomenon, such as starvation experiments in humans. Modeling of the effect of hormones on body weight has however been largely ignored.In this thesis, we first consider a model of body weight regulation by hormones in rats, made of nonlinear differential equations. It describes the dynamics of food intake, body weight and energy expenditure, regulated by leptin, ghrelin and glucose. It is able to reproduce and predict the evolution of body weight and food intake in rats submitted to different patterns of caloric restriction, showing the importance of the adaptation of energy expenditure. Second, we introduce the first model of leptin resistance development, based on the regulation of food intake by leptin and leptin receptors. We show that healthy individuals may become leptin resistant and obese due to perturbations in food intake or leptin concentration. Finally, modifications of these models are presented, characterized by simplified yet realistic body weight dynamics. The models prove able to fit the previous, as well as new sets of experimental data and allow to build a complete model combining both previous models regulatory mechanisms

No description available.

Le sujet de la thèse se rattache au calcul formel. La première partie est consacrée à l'étude et à la réalisation d'un logiciel de résolution d'équations différentielles. Ce logiciel DESIR est écrit pour le système de calcul formel REDUCE. Il permet d'obtenir les solutions formelles d'équations différentielles, d'un ordre quelconque, au voisinage de points réguliers et irréguliers. La deuxième partie est une étude approfondie des équations aux différences. Cette étude est orientée vers la recherche d'algorithme permettant de construire une base de solutions asymptotiques d'une équation aux différences linéaires à coefficients dans un corps de séries formelles

On propose des algorithmes de réduction des systèmes différentiels linéaires dont les coefficients sont des séries formelles. Ces méthodes donnent une caractérisation de la singularité et construisent par le même moyen des transformations permettant la résolution du système

Dans cette thèse, nous proposons des modèles pour évaluer les performances des applications multimédias temps-réel. De plus, nous proposons un modèle pour les protocoles de type AIMD. Le premier sujet étudié est un mécanisme de correction d'erreurs (FEC). Premièrement, nous utilisons une file d attente M/M/1/K pour modéliser le réseau. Nous considérons que la qualité de la voix varie linéairement par rapport au taux de redondance de la FEC. La redondance du i-ème paquet est portée dans le paquet i+f. Notre analyse montre que, même pour le cas f->inf, ce mécanisme n'améliore pas la qualité de l'audio. Deuxièmement, nous modélisons notre système par une file M/G/1/K. Nous considérons deux aspects qui peuvent contribuer à améliorer la qualité de l'audio: (a) multiplexer l'audio avec un flux exogène, et (b) des fonctions d'utilité non-linéaires. Sous ces contraintes, on montre qu il est possible d'améliorer la qualité de l'audio avec la méthode FEC étudiée. Le deuxième sujet traité concerne les mécanismes de contrôle du délai de diffusion. Nous proposons un ensemble d'algorithmes de moyenne mobile permettant de contrôler le taux de pertes dans une session audio. Les performances de nos algorithmes ont été évaluées et comparées grâce à des traces réelles. Le troisième sujet abordé concerne les protocoles de type AIMD. Nous proposons un modèle analytique, prenant en compte la variabilité du délai. Notre modèle utilise des équations de différences stochastiques. Il fournit une expression close pour le débit et pour la taille de la fenêtre. Nous montrons, par analyse et par simulation, qu'une augmentation de la variabilité du délai améliore les performances d'un protocole AIMD.

Cette thèse a pour objet l'étude expérimentale, théorique et numérique<br />de l'instabilité d'un lit granulaire cisaillé par un écoulement<br />fluide continu.<br />Nous avons caractérisé expérimentalement la longueur d'onde initiale des<br />rides, ainsi que l'évolution de leur amplitude et de leur longueur d'onde<br />moyenne. Par ailleurs, nous nous sommes intéressés à la transition morphologique<br />des rides perpendiculaires à l'écoulement vers des motifs 3D plus complexes.<br />Nous avons également développé une analyse de stabilité linéaire<br />du problème, dans le cas d'un écoulement laminaire, qui permet de prédire<br />correctement la longueur d'onde à l'initiation. D'autre part, une analyse<br />faiblement non-linéaire rend compte de l'apparition de motifs 3D.<br />Enfin, nous avons abordé la dynamique non-linéaire des rides: des<br />simulations numériques en 2D, basées sur l'étude théorique précédente,<br />ont permis de retrouver qualitativement l'évolution aux temps longs observée<br />expérimentalement.

Ce travail porte principalement sur l'analyse mathématique de modèles multi-échelles pour la simulation de fluides polymériques. Ces modèles couplent, au niveau microscopique, une description moléculaire de l'évolution des chaînes de polymère (sous forme d'une équation différentielle stochastique) avec, au niveau macroscopique, les équations de conservation de la masse et de la quantité de mouvement pour le solvant (sous forme d'équations aux dérivées partielles). Le chapitre 1 introduit les modèles et donne les principaux résultats obtenus. Dans les chapitres 2, 4, 5 et 7 on montre en quel sens les équations sont bien posées pour divers modèles de polymère, en considérant soit des écoulements homogènes, soit des écoulements cisaillés plans. Dans les chapitres 2, 3, 6 et 7, on analyse et on prouve la convergence de méthodes numériques pour ces modèles. Enfin, le chapitre 8 concerne le comportement en temps long du système. Une deuxième partie de ce document est constituée de trois chapitres portant sur un travail en magnétohydrodynamique (MHD), en collaboration avec l'industrie. Le chapitre 9 est une introduction à la problématique ainsi qu'aux méthodes numériques utilisées. Le chapitre 10 décrit un nouveau cas-test en MHD. Enfin, le chapitre 11 donne une analyse de la stabilité du schéma numérique utilisé.

Cette thèse aborde une classe de modèles de la dynamique de réseaux d'interaction biologique, en particulier génétique, définis comme systèmes d'équations différentielles affines par morceaux. Les morceaux en question sont des pavés d'un espace euclidien, dont la dimension est le nombre d'éléments en interaction dans le réseau. Chaque coordonnée représente le niveau d'activité d'un des éléments. La thèse se décompose en trois parties. Premièrement, après une brève introduction biologique, les modèles mathématiques les plus connus sont présentés. Les modèles affines par morceaux sont décrits de manière détaillée, et certains liens avec des modèles purement discrets, ainsi qu'avec des modèles différentiables incluant des sigmoïdes, sont précisés. Un récapitulatif détaillé de la littérature sur le sujet est fourni. Dans une deuxième partie, des résultats théoriques sont présentés. L'analyse des orbites périodiques, développée dans la littérature pour des systèmes linéaires par morceaux, est étendue au cas affine par morceaux. Ensuite, un point de vue géométrique et combinatoire est porté sur la dynamique locale, au niveau des pavés décrits plus haut. Les conséquences globales de cette analyse locale sont décrites en termes de dynamique symbolique. Il est montré en particulier que l'entropie topologique des systèmes affines par morceaux est strictement inférieure à celle de modèles purement discrets, pour une large classe de systèmes. La troisième partie concerne l'analyse numérique des systèmes étudiés. Après une présentation des algorithmes implémentés, un jeu de données de simulations en dimension 4 est analysé, ainsi qu'un exemple plus spécifique en dimension 3.

L'ensemble des événements permettant la fabrication et le renouvellement continu des cellules du sang représente une série de processus complexes, appelée hématopoïèse, ayant lieu dans la moelle osseuse. L'hématopoïèse repose sur une réserve de cellules souches, dites hématopoïétiques, possédant des capacités uniques de différenciation (capacité à générer l'ensemble des cellules du sang) et d'auto-renouvellement (capacité à générer une cellule fille identique à la cellule mère). Nous avons réalisé une étude mathématique de l'hématopoïèse à l'aide de modèles non-linéaires structurés en âge et maturité. Elle a permis de mettre en évidence l'influence des cellules souches hématopoïétiques sur la population totale de cellules du sang, ces cellules agissant activement sur la stabilité de la population. Par l'étude de modèles non structurés en maturité, réduits par intégration à un système d'équations différentielles avec retard distribué, nous avons mis en évidence l'existence de solutions oscillantes et, à travers l'étude d'une bifurcation de Hopf, de solutions périodiques, avec de très longues périodes en comparaison de la durée du cycle cellulaire. Ces oscillations sont caractéristiques de maladies du sang dites cycliques, dont la leucémie myéloïde chronique, une forme très répandue de leucémie. Notre travail représente une contribution à l'étude de cette maladie. Enfin, nous nous sommes intéressés à un modèle d'hématopoïèse prenant en compte l'action de facteurs extérieurs à la moelle osseuse qui agissent sur la différenciation des cellules souches. Nous avons établi l'existence de solutions oscillantes pouvant décrire certaines maladies hématologiques cycliques.

Cette thèse est consacrée à l'analyse algorithmique des systèmes hybrides. Nous examinons plusieurs problèmes liés à l'étude et au controle des systèmes hybrides linéaires par morceaux. Dans une première partie, nous présentons les notions de base de la théorie. Nous illustrons notre propos grace à de nombreux exemples. La deuxième partie est dédiée au calcul algorithmique des exécutions acceptées par un système hybride. Une méthode de détection des événements (changement de valeur de la variable discrète du système) est proposée. Le cas des exécutions périodiques est également examiné. Dans la troisième partie, nous abordons le problème du calcul de l'ensemble atteignable des systèmes hybrides. Nous apportons un soin particulier aux systèmes où les dynamiques continues sont connues de manière incertaine. Dans la quatrième partie, nous nous intéressons au controle des systèmes hybrides. Nous construisons une analyse multirésolution de l'espace des entrées d'un système linéaire et calculons une base d'ondelettes associée. Les propriétés de cette base se révèlent intéressantes pour la synthèse de signaux d'entrée d'un système hybride. Dans la dernière partie nous montrons que les techniques développées pour les systèmes hybrides linéaires par morceaux peuvent etre utilisées pour analyser des systèmes dynamiques non-linéaires.