Les vents galactiques sont des éléments importants à considérer dans les simulations numériques à grande échelle car ils ont des impacts sur la formation des galaxies environnantes. Puisque les galaxies sont mal résolues dans de telles simulations, les vents galactiques sont habituellement générés par des méthodes semi-analytiques. Dans le cadre de ce projet, un modèle galactique a été développé afin d'améliorer le modèle semi-analytique de Pieri et al. (2007). Ce nouveau modèle permet de suivre de manière consistante l'évolution de l'enrichissement des galaxies en tenant compte des vents stellaires, des supernovae et de différents scénarios de formation stellaire. Les vents galactiques sont générés par l'énergie thermique provenant des supernovae et des vents stellaires à l'intérieur des galaxies. Avec ce formalisme, seules les galaxies ayant une masse inférieure ou égale à 10¹⁰ MQ risquent de contribuer à l'enrichissement du milieu intergalactique. La distribution des vents galactiques dans ce milieu est calculée en respectant l'ordre chronologique des éjectas. De plus, la composition de ce vent peut désormais être décomposée en 31 éléments chimiques. Pour la même quantité d'étoiles formées durant l'évolution galactique, un taux de formation stellaire de longue durée produit un plus long vent galactique qu'un taux de formation stellaire de courte durée. Cependant, ce vent est alors moins dense et moins concentré en métaux. En augmentant l'efficacité de formation stellaire, la portée et la métallicité du vent galactique augmentent également. Par contre, dans certains cas, une trop grande quantité d'étoiles peut complètement balayer le milieu interstellaire de son gaz, ce qui altère l'évolution du vent galactique. Pour respecter la quantité de métaux observée dans le milieu intergalactique, les vents galactiques doivent provenir des galaxies ayant possédé une métallicité initiale différente de zéro au moment de leur formation. Dans ce cas et lors d'une collision galactique, les vents stellaires peuvent contribuer de manière significative au bilan énergétique et à la quantité de carbone et d'azote éjectée dans le milieu intergalactique.

Depuis ces trente dernières années, les systèmes d'observation de la Terre et les modèles numériques se sont perfectionnés et complexifiés pour nous fournir toujours plus de données, réelles et numériques. Ces données, de nature très diverse, forment maintenant un ensemble conséquent d'informations précises mais hétérogènes sur les structures et la dynamique des fluides géophysiques. Dans les années 1980, des méthodes d'optimisation, capables de combiner les informations entre elles, ont permis d'estimer les paramètres des modèles numériques et d'obtenir une meilleure prévision des courants marins et atmosphériques. Ces méthodes puissantes, appelées assimilation variationnelle de données, peinent à tirer profit de la toujours plus grande complexité des informations de par le manque de puissance de calcul disponible. L'approche, que nous développons, s'intéresse à l'utilisation des méthodes multigrilles, jusque là réservées à la résolution de systèmes d'équations différentielles, pour résoudre l'assimilation haute résolution de données. Les méthodes multigrilles sont des méthodes de résolution itératives, améliorées par des corrections calculées sur des grilles de plus basses résolutions. Nous commençons par étudier dans le cas d'un modèle linéaire la robustesse de l'approche multigrille et en particulier l'effet de la correction par grille grossière. Nous dérivons ensuite les algorithmes multigrilles dans le cadre non linéaire. Les deux types d'algorithmes étudiés reposent d'une part sur la méthode de Gauss Newton multigrille et d'autre part sur une méthode sans linéarisation globale : le Full Approximation Scheme (FAS). Ceux-ci sont appliqués au problème de l'assimilation variationnelle de données dans le cadre d'une équation de Burgers 1D puis d'un modèle Shallow-water 2D. Leur comportement est analysé et comparé aux méthodes plus traditionnelles de type incrémentale ou multi-incrémentale.

Cette thèse a pour sujet une classe de théories des champs intégrables appelées modèles avec fonction twist. Les principaux exemples de tels modèles sont les modèles sigma non-linéaires intégrables, tel le Modèle Principal Chiral, et leurs déformations. Un premier résultat obtenu est la preuve que le modèle dit de Bi-Yang-Baxter, qui est une déformation à deux paramètres du Modèle Principal Chiral, est lui aussi un modèle avec fonction twist. Il est ensuite montré que les déformations de type Yang-Baxter modifient certaines symétries globales du modèle non déformé en symétries de Poisson-Lie. Un autre chapitre concerne la construction d'une infinité de charges locales en involution pour tous les modèles sigma intégrables et leurs déformations : ce résultat repose sur le formalisme général partagé par tous ces modèles en tant que théories des champs avec fonction twist.La seconde partie de la thèse a pour sujet les modèles de Gaudin. Ceux-ci sont des modèles intégrables associés à des algèbres de Lie. En particulier, les théories des champs avec fonction twist sont liées aux modèles de Gaudin associés à des algèbres de Lie affines. Une approche standard pour l'étude du spectre des modèles de Gaudin quantiques sur des algèbres finies est celle de Feigin-Frenkel-Reshetikhin. Dans cette thèse, des généralisations de cette approche sont conjecturées, motivées et testées. L'une d'elles concerne les modèles de Gaudin finis dits cyclotomiques. La seconde porte sur les modèles de Gaudin associés à des algèbres affines. / This thesis deals with a class of integrable field theories called models with twist function. The main examples of such models are integrable non-linear sigma models, such as the Principal Chiral Model, and their deformations. A first obtained result is the proof that the so-called Bi-Yang-Baxter model, which is a two-parameter deformation of the Principal Chiral Model, is also a model with twist function. It is then shown that Yang-Baxter type deformations modify certain global symmetries of the undeformed model into Poisson-Lie symmetries. Another chapter concerns the construction of an infinite number of local charges in involution for all integrable sigma models and their deformations: this result is based on the general formalism shared by all these models as field theories with twist function.The second part of the thesis concerns Gaudin models. These are integrable models associated with Lie algebras. In particular, field theories with twist function are related to Gaudin models associated with affine Lie algebras. A standard approach for studying the spectrum of quantum Gaudin models over finite algebras is the one of Feigin-Frenkel-Reshetikhin. In this thesis, generalisations of this approach are conjectured, motivated and tested. One of them deals with the so-called cyclotomic finite Gaudin models. The second one concerns the Gaudin models associated with affine Lie algebras.

L’Ingénierie Dirigée par les Modèles (IDM) est une approche populaire pour le développement logiciel qui favorise l’utilisation de modèles au sein des processus de développement. Dans un processus de développement logiciel base sur l’IDM, le logiciel est développé en créant des modèles qui sont transformés successivement en d’autres modèles et éventuellement en code source. Quand l’IDM est utilisée pour le développement de logiciels complexes, la complexité des modèles et des transformations de modèles augmente, risquant d’affecter la fiabilité du processus de développement logiciel ainsi que le logiciel en résultant.Traditionnellement, la fiabilité des logiciels est assurée au moyen d’approches pour la vérification de logiciels, basées sur l’utilisation de techniques pour l’analyse formelle de systèmes et d’approches pour le test de logiciels. Pour assurer la fiabilité du processus IDM de développement logiciel, ces techniques ont en quelque sorte été adaptées pour essayer de s’assurer la correction des modèles et des transformations de modèles associées. L’objectif de cette thèse est de fournir de nouveaux mécanismes améliorant les approches existantes pour la vérification de modèles statiques, et d’analyser comment ces approches peuvent s’avérer utiles lors du test des transformations de modèles. / Model-Driven Engineering (MDE) is a popular approach to the development of software which promotes the use of models as first-Class citizens in the software development process. In a MDE-Based software development process, software is developed by creating models to be successively transformed into another models and eventually into the software source code. When MDE is applied to the development of complex software systems, the complexity of models and model transformations increase, thus risking both, the reliability of the software development process and the soundness of the resulting software. Traditionally, ensuring software correctness and absence of errors has been addressed by means of software verification approaches, based on the utilization of formal analysis techniques, and software testing approaches. In order to ensure the reliability of MDE-Based software development processes, these techniques have some how been adapted to try to ensure correctness of models and model transformations. The objective of this thesis is to provide new mechanisms to improve the landscape of approaches devoted to the verification of static models, and analyze how these static model verification approaches can be of assistance at the time of testing model transformations.

L'objectif du présent projet était d'optimiser le modèle de peau reconstruite par génie tissulaire déjà mis au point par notre équipe afin qu'il stimule le processus de régénération nerveuse après greffe pour améliorer la récupération tactile des grands brûlés. Nous avons utilisé des follicules pileux murins et des neurones sensoriels extraits des ganglions de la racine dorsale de f?tus de souris et avons posé comme hypothèse que les poils avaient une influence positive sur la migration axonale. Une élongation vigoureuse des neurites a été détectée à l'intérieur du derme reconstruit. En présence de cellules épithéliales, il y a eu une migration préférentielle des axones vers les follicules pileux immatures implantés dans le modèle, migration qui a été suivie d'une association étroite des axones et des follicules pileux. Nous avons donc développé avec succès un modèle nous permettant d'étudier les effets de l'épiderme et des follicules pileux sur la croissance des nerfs.

Plusieurs études cliniques effectuées chez l’homme ont démontré une association entre l’hypertension, la résistance à l’insuline et la dysfonction endothéliale. Cette même association a aussi été démontrée dans plusieurs modèles animaux, dont le rat spontanément hypertendu (SHR), et le rat nourri avec un régime sucrosé. Par conséquent, nous avons voulu caractériser chez le SHR les effets de l’hypertension combinés à ceux d’une alimentation sucrosée, sur la sensibilité à l’insuline, les actions hémodynamiques et métaboliques de l’insuline, la fonction endothéliale et la réactivité vasculaire in vivo et in vitro comparativement à son contrôle normotendu, le rat Wistar-Kyoto (WKY). Nous avons observé dans les deux groupes SHR (ie avec régime standard et régime sucrosé), une altération de la réactivité vasculaire, ainsi qu’une variation de la réponse hémodynamique à l’insuline lors d’un clamp euglycémique/hyperinsulinémique. Nous avons aussi noté une réduction du transport du glucose et de l’expression de l’enzyme eNOS dans le muscle squelettique des groupes SHR. / Several clinical studies carried out in humans have demonstrated an association between hypertension, insulin resistance and endothelial dysfunction. The same association has also been shown in several animal models, including the spontaneously hypertensive rat (SHR), and the high sucrose-fed rat. Consequently, we undertook a series of experiments to characterize the effects of hypertension combined with those of a high sucrose diet on insulin sensitivity, insulin’s haemodynamic and metabolic actions, endothelial function and in vivo and in vitro vascular reactivity. Our results clearly indicate significant alterations in aortic vascular reactivity, as well as in insulin haemodynamic responses measured during a euglycemic/hyperinsulinemic clamp in the SHR rat. These effects were independent of diet. We also noted a decrease in skeletal muscle glucose transport activity and in eNOS protein expression.

Les travaux de recherche effectués au cours de cette thèse ont mené au développement d'un modèle numérique permettant de décrire le déplacement simultané de plusieurs ions dans le réseau poreux de matériaux cimentaires. L'algorithme sépare le transport des ions des réactions chimiques selon une approche SNIA (Sequential Non Iterative Approach). Dans la partie consacrée au transport, le déplacement des ions dans un milieu non saturé est basé sur la résolution de l'équation de Nernst-Planck étendue tenant compte de la diffusion, du couplage électrique entre les ions et de l'activité chimique. Un terme d'advection est ajouté à cette équation afin de considérer le transport des ions sous l'effet du mouvement du fluide dans le réseau poreux en présence de gradients de teneur en eau. Ces équations de transport sont discrétisés dans l'espace par la méthode des éléments finis. Elles sont résolues pou: sept espèces ioniques de manière couplée en utilisant la méthode de Newton-Raphson. Un module d'équilibre chimique corrige ensuite les profils de concentration obtenus à l'étape de transport. Dans ce module chimique, les phases solides considérées sont la portlandite, les C-S-H, les monosulfoaluminates, l'ettringite, le gypse et les chloroaluminates. Certaines de ces phases solides sont soient dissoutes, soient précipitées afin de retrouver l'équilibre entre la pâte de ciment hydraté et la solution dans les pores du matériau. L'effet de la dissolution ou de la précipitation de ces phases solides sur les propriétés de transport du matériau est également considéré, en fonction des variations de porosité. Le modèle donne comme résultats les profils de concentrations en solution et la teneur en tout point du matériau de chacune des phases solides. Les applications présentées à la fin du mémoire montrent l'utilisation du modèle pour des cas d'attaque aux sulfates. Une méthode permettant de déterminer le coefficient de diffusion des ions dans les matériaux cimentaires suite à une analyse des résultats de l'essai de migration a également été développée dans le cadre de ces travaux de recherche.

Ce papier met l'accent sur deux points essentiels : l'analyse de la conjoncture en temps réel et la révision des données. Contrairement à d'autres travaux, nous cherchons, non seulement à évaluer la conjoncture en temps réel, mais aussi nous essayons de voir à quel point la révision des données peut affecter notre estimation de la conjoncture. Pour déterminer les différentes phases du cycle économique canadien, nous adoptons l'approche d'Hamilton et Chauvet (2006). En utilisant le PIB comme indice pour caractériser la conjoncture et en appliquant les modèles à changements de régime markoviens, comme méthode moderne de séparation des phases d’expansion et de récession dans une économie. Les résultats obtenus permettent de faire ressortir deux points importants. La révision des données n'affecte pas significativement l'analyse des points tournants en temps réel, par contre elle s'avère importante quand il faut juger de l'ampleur d'une récession ou d`une expansion. Mots clés : cycle économique en temps réel, révision des données, modèles à changements de régime markoviens.

Les blessures tendineuses suscitent un intérêt relativement limité en recherche malgré leur impact personnel et socio-économique substantiel. L'usage des modalités thérapeutiques actuelles n'est pas soutenu par des preuves suffisantes, empêchant un traitement approprié. Cette thèse se veut donc un pas en avant dans la définition de traitements et la caractérisation du processus de réparation des blessures tendineuses. Premièrement, nous avons observé que l'imposition périodique d'un courant direct dans un modèle de blessure in vitro n'améliorait pas la migration cellulaire et la fermeture de la lésion. Au contraire, le champ électrique devenait délétère à forte amplitude. Deuxièmement, des rats débutaient un protocole de course volontaire immédiatement après avoir subi une lésion du tendon d'Achille causée par l'injection de collagenase. L'exercice hâtif accentuait la réaction inflammatoire mais favorisait la récupération du contenu en collagène dans les tendons blessés. Paradoxalement, les propriétés mécaniques semblaient alors réduites. Les rats qui commençaient l'exercice 7 jours après la blessure démontraient de meilleures propriétés mécaniques après 28 jours que les rats soumis au protocole hâtif. Troisièmement, nous avons induit un état thrombocytopénique ou neutropénique chez des souris afin de caractériser le rôle respectif des plaquettes et des neutrophiles dans la réparation tendineuse. Le tendon d'Achille était sectionné puis suturé pour permettre une mise en charge immédiate. La perte des plaquettes affectait légèrement la vascularisation et le contenu en collagène et diminuait le stress maximal supporté par les tendons blessés. Cependant, cette dernière différence disparaissait ultérieurement. La réduction du nombre de neutrophiles stimulait l'accumulation des macrophages et la prolifération cellulaire dans les tendons endommagés. Par contre, la replication cellulaire s'atténuait suivant une baisse des macrophages dans le tendon, suggérant une relation entre les deux phénomènes. Somme toute, ces travaux apportent de nouvelles connaissances sur le traitement et la réparation des blessures tendineuses et incitent à la poursuite des recherches. Entre autres, la définition de paramètres appropriés pour la stimulation électrique et les conséquences néfastes de l'exercice précoce sont des enjeux cliniques évidents. Le rôle limité que joueraient les plaquettes et les neutrophiles motive aussi l'analyse d'autres éléments, dont les macrophages, impliqués dans le processus de réparation tendineuse.

Ce mémoire introduit une cible d'inflation non constante dans un modèle d'équilibre général pour vérifier si cet ajout permet d'améliorer la capacité de prévision du modèle. Les agents économiques du modèle sontAfin de modéliser la cible d'inflation, celle-ci est introduite dans la politique monétaire qui suit une règle de Taylor. On compare un modèle avec cible d'inflation non observée et un modèle avec cible d'inflation observée à un modèle contrôle traditionnel. Dans le modèle traditionnel, l'inflation à l'état stationnaire est retrouvée dans la règle de Taylor. On estime les différents modèles à l'aide de données canadiennes de 1981Q1 à 2006Q4. Les résultats de nos exercices de comparaison indiquent que l'introduction d'une cible d'inflation dans les modèles d'équilibre général permet de mieux expliquer les données que le modèle traditionel. De plus, le modèle avec cible d'inflation observée semble être la meilleure façon de modéliser la cible d'inflation.