La première théorie de vagues a été proposée par Sir George Biddell Airy en 1845. Elle est, aujourd'hui encore, la théorie de vagues la plus utilisée. TI y a ensuite eu plusieurs théories de vagues, mais dû à la complexité des formulations, elles ont été placées au deuxième plan, par rapport aux applications pratiques. Plusieurs paramètres de vagues, ainsi que différents phénomènes d'intérêt, sont encore étudiés à partir de la théorie linéaire d'Airy, même si on sait que cette théorie n'est pas valide pour toutes les conditions qui vont se présenter aux ingénieurs, dans la pratique, surtout quand le fond joue un rôle transformateur sur le profil de la vague. Dans le présent travail sont étudiées la théorie linéaire d'Airy (1845), la théorie de Stokes (1847) du deuxième ordre, la théorie de Stokes du troisième ordre proposée par Skjelbreia (1958), les théories de Stokes du cinquième ordr~ proposées par Isobe, Nishinuura et Horikawa (1978) et celle proposée par Fenton (1985), les théories d'onde cnoïdale du premier ordre proposées par Masch et Wiegel (1961) et par Svendsen (2006), la théorie d'onde cnoïdale du troisième ordre proposée par Isobe, Nishimura et Horikawa (1978) et les théories d'onde solitaire du premier ordre proposées par Masch et Wiegel (1961) et Svendsen (2006). Pour chaque théorie de vague étudiée sont analysés la longueur d'onde, la célérité de la vague, le nombre d'Ursell, la distance entre le fond et le creux de la vague, l'énergie moyenne de la vague, la puissance de la vague, les transports de masse lagrangien et eulérien, la variation du niveau d'eau moyen, la contrainte de radiation principale et la contrainte de radiation perpendiculaire. Dans le présent travail sont présentées les différentes formulations de chaque théorie étudiée, ainsi que des graphiques et tableaux pour montr~r le comportement des différents paramètres de vagues. Comme résultat du présent travail, un outil Excel est fourni, qui permettra de connaître le comportement des différents paramètres de vagues, inconnus pour l'instant pour les théories de vagues les plus utilisées.

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Les travaux présentés dans cette thèse concernent la modélisation, la commande et l'estimation de suspensions automobiles semi-actives, dans un contexte industriel. La contribution principale concerne le développement d'une méthodologie de synthèse d'observateurs et de contrôleurs adaptés aux suspensions semi-actives. Fondée sur un observateur, un contrôleur principal et quatre contrôleurs locaux, la stratégie de commande permet d'améliorer le confort et la tenue de route du véhicule. La méthode de synthèse Hinfinity appliquée aux systèmes Linéaires à Paramètres Variants (LPV) est utilisée pour la commande des amortisseurs, permettant ainsi de prendre en compte leurs non linéarités dans la synthèse. Différents résultats de simulation et expérimentaux sont présentés pour valider l'observateur et les lois de commande.

Les schémas de subdivisions ont été initialement introduits pour construire par itération, des courbes ou des surfaces à partir de points de contrôle. Ils sont apparus comme étant un ingrédient de base dans la définition d'analyses multirésolutions, avec comme application<br />l'approximation et la compression des images. Dans la construction de courbes ou dans la compression d'images, la convergence du schéma de subdivision vers une fonction continue, la régularité de cette fonction, la stabilité et l'ordre du schéma sont des propriétés cruciales. Les schémas linéaires présentant une importante limitation (ils créent des oscillations au voisinage de forts gradients ou de discontinuité qui se traduit par des zones de flous près des contours dans la compression d'images), on s'est alors intéressé à des schémas non-linéaires.<br />S'inscrivant dans la lignée des théories concernant les schémas non- linéaires, on a développé dans ce travail des théorèmes de convergence, de régularité, de stabilité et d'ordre pour une classe de<br />schémas non-linéaires s'écrivant sous la forme d'une somme d'un schéma linéaire et d'une perturbation non-linéaire. <br />Nous avons ensuite appliqué ces résultats à l'étude de propriétés de schémas non-linéaires existants, ou que nous avons contruits pour répondre au problème d'oscillations ou aux problèmes de régularité.<br />Une première application concerne la compression d'images. On s'est proposé d'étudier la stabilité de l'analyse multirésolution bidimensionnelle associée à cette classe de schémas non-linéaires,<br />puis d'appliquer les théorèmes établis et d'observer numériquement, les bénifices obtenus par rapport à des analyses multirésolutions linéaires.<br />Enfin, une deuxième application concerne la construction d'opérateurs aux différences finies ayant une erreur homogène sur des grilles non-uniformes, à partir un opérateur donné et d'un schéma de subdivision.

Cette thèse a pour but l'étude de la stabilité asymptotique locale des systèmes linéaires à temps discret dont les commandes sont soumises à des saturations. L'étude est développée à partir de deux représentations du système saturé en boucle fermée : par régions de saturation et par modèle polytopique. L'analyse de la stabilité du système saturé en boucle fermée ainsi que la synthèse de la loi de commande saturante avec l'objectif de garantir la stabilité d'un domaine d'états admissibles, sont basées sur le concept d'ensembles contractifs. Dans ce contexte, des résultats sont obtenus en considérant deux approches distinctes. La première approche considère des ensembles polyédraux. Des conditions pour la contractivité des trajectoires du système en boucle fermée dans un polyèdre sont étudiées : d'une part, des conditions nécessaires et suffisantes sont établies à partir de la représentation par régions de saturation et, d'autre part, des conditions suffisantes sont obtenues à partir de la représentation par modèle polytopique. Ces conditions permettent de formuler des algorithmes, basés sur des schémas de programmation linéaire, ayant pour objectif la détermination de régions polyédrales où la stabilité asymptotique locale du système en boucle fermée est garantie même si la commande sature. La deuxième approche considère des ensembles ellipsoïdaux et la représentation polytopique du système saturé. Des conditions suffisantes pour la contractivité d'ellipsoïdes par rapport au système saturé sont établies sous la forme d'inégalités matricielles linéaires (LMIs). A partir de ces conditions, un algorithme basé sur des schémas d'optimisation convexe est proposé pour la détermination d'approximations de la région d'attraction de l'origine à travers des ellipsoïdes contractifs. D'autre part, pour un ensemble donné de conditions initiales X0, des conditions sont formulées, également sous la forme de L MIs, pour permettre la détermination d'une loi de commande saturante garantissant la stabilité asymptotique vers l'origine de toutes les trajectoires initialisées dans X0.

La thèse est composée de deux parties présentées en quatre chapitres. La première partie traite de la modélisation, des simulations et des validations expérimentales d'un modèle de poutre en contact avec un ressort linéaire unilatéral sous une excitation périodique. C'est un modèle mécanique simplifié d'un panneau solaire d'une satellite et d'une cale élastique en phase de lancement. Le système est soumis à une excitation harmonique du support sous forme d'une accélération imposée ou d'une force ponctuelle. Le modèle est validé expérimentalement par des séquences d'essais sur une poutre en aluminium en contact avec une cale en Solithane. Les résultats montrent une cohérence avec les solutions numériques obtenues. La deuxième partie est centrée sur les modes normaux non-linéaires des systèmes mécaniques. Une nouvelle formulation est présentée pour trouver ces modes comme zéros d'une application non-linéaire. Un algorithme utilisant des algorithmes existants, basé sur la continuité des solutions périodiques, est développé pour le calcul des modes normaux. La technique de développement asymptotique par échelles multiples pour le calcul des solutions analytiques approchées d'une équation différentielle avec un terme unilatéral est introduit. On utilise ensuite cette technique pour le calcul des modes normaux non-linéaires d'un système autonome à un nombre n de degrés de liberté avec un contact unilatéral. On traite aussi le cas d'un système forcé, on conjecture ainsi que l'on obtient une procedure simple pour le calcul des modes non linéaires. L'ensemble fournit donc des outils mathématiques validés pour le calcul des modes non-linéaires du système traité dans la première partie de la thèse.

Le présent travail a pour but l'élaboration ainsi que la caractérisation structurale et optique de matériaux composites à base de nanocristaux semi-conducteurs à grand gap dispersés dans des matrices optiquement transparentes dans le domaine UV Visible. La première partie du travail expose la problématique du sujet à étudier et met en évidence l'actualité du travail envisagé. Elle donne un aperçu sur les propriétés optiques des nanocomposites à base de semi conducteurs et fait apparaitre les raisons justifiant le choix des matériaux adoptés pour la fabrication des nanocomposites étudiés : CdSe/KBr, CdSe/KCl, CdSe/ PMMA et ZnSe/PMMA. Dans la deuxième partie, sont développées les méthodes d'élaboration des matériaux nanocomposites élaborés (méthode de Czochralski pour les monocristaux CdSe/KBr, CdSe/KCl et méthode du spin-coating pour les couches minces CdSe/PMMA, ZnSe/PMMA). Egalement sont décrites les différentes techniques utilisées pour leur caractérisation structurale et optique. La troisième partie comporte la discussion des résultats de la caractérisation structurale par la diffraction X, la spectroscopie IR, la spectroscopie Raman, la spectroscopie de masse (AFM) et la microscopie optique (MEB). Toutes ces techniques complémentaires confirment l'incorporation des cristallites de CdSe et de ZnSe dans les matrices hôtes KBr, KCl et PMMA. La quatrième partie présente les résultats de la caractérisation optique par l'absorption optique UV-Visible, la photoluminescence ainsi que la mesure de la réponse non linéaire du second et troisième des nanocomposites élaborés. Les résultats obtenus mettent en évidence l'effet d'un confinement quantique induit par la taille nanométrique des cristallites des semi-conducteurs CdSe et ZnSe et l'effet de surface dont l'action se manifeste par un shift des propriétés optiques linéaires et par une exaltation des propriétés optiques non linéaires.

Depuis quelques années, les grappes équipées de processeurs graphiques GPUs sont devenues des outils très attrayants pour le calcul parallèle haute performance. Dans cette thèse, nous avons conçu des algorithmes itératifs parallèles pour la résolution de systèmes linéaires et non linéaires creux de très grandes tailles sur grappes de GPUs. Dans un premier temps, nous nous sommes focalisés sur la résolution de systèmes linéaires creux à l'aide des méthodes itératives CG et GMRES. Les expérimentations ont montré qu'une grappe de GPUs est plus performante que son homologue grappe de CPUs pour la résolution de systèmes linéaires de très grandes tailles. Ensuite, nous avons mis en oeuvre des algorithmes parallèles synchrones et asynchrones des méthodes itératives Richardson et de relaxation par blocs pour la résolution de systèmes non linéaires creux. Nous avons constaté que les meilleurs solutions développées pour les CPUs ne sont pas nécessairement bien adaptées aux GPUs. En effet, les simulations effectuées sur une grappe de GPUs ont montré que les algorithmes Richardson sont largement plus efficaces que ceux de relaxation par blocs. De plus, elles ont aussi montré que la puissance de calcul des GPUs permet de réduire le rapport entre le temps d'exécution et celui de communication, ce qui favorise l'utilisation des algorithmes asynchrones sur des grappes de GPUs. Enfin, nous nous sommes intéressés aux grappes géographiquement distantes pour la résolution de systèmes linéaires creux. Dans ce contexte, nous avons utilisé la méthode de multi-décomposition à deux niveaux avec GMRES parallèle adaptée aux grappes de GPUs. Celle-ci utilise des itérations synchrones pour résoudre localement les sous-systèmes linéaires et des itérations asynchrones pour résoudre la globalité du système linéaire.

Cette thèse présente des travaux originaux dans le domaine des méthodes de moyennisation d'ordre élevé. On s'intéresse notamment à des procédures de moyennisation dite stroboscopique ou quasi-stroboscopique dans des espaces de Banach ou de Hilbert. Ces procédures sont ensuite appliquées à des exemples concrets: des équations d'évolutions hautement oscillantes. Plus précisément, on montre dans un premier temps un résultat de moyennisation stroboscopique dans un espace de Banach où l'on obtient des estimations d'erreurs exponentielles. Ce théorème est ensuite appliqué sur deux équations des ondes semi-linéaire hautement oscillantes. On montre également que la Stroboscopic Averaging Method s'applique à une équation des ondes semi-linéaire avec conditions de Dirichlet. On trouve enfin numériquement, une dynamique intéressante de l'équation des ondes semi-linéaire mise en lumière par la procédure de moyennisation. Dans un second temps, on présente un théorème de moyennisation quasi-stroboscopique dans un espace de Hilbert quelconque avec des estimations d'erreurs exponentielles. Ce théorème est alors appliqué de façon indirecte à une équation de Schrödinger semi-linéaire oscillante. Cette équation est d'abord projeté dans un espace de dimension finie pour qu'on puisse lui appliquer le théorème de moyennisation quasi-stroboscopique. On écrit alors un résultat de moyennisation quasi-stroboscopique pour l'équation de Schrödinger semi-linéaire avec des estimations d'erreur polynomiales. / This thesis presents some original work in the field of high order averaging procedure. In particular, we are interested in stroboscopic and quasi-stroboscopic averaging procedure in abstract Banach or Hilbert spaces. This procedures is applied to concrete examples: some highly oscillatory evolution equations. More precisely, we first show a theorem of stroboscopic averaging in a Banach space where we obtain exponential error estimates. This theorem is then applied on two semi-linear and highly oscillatory wave equations. We also put in evidence that the {\it Stroboscopic Averaging Method} works fine with a semi-linear wave equation with Dirichlet conditions. Finally, the averaging procedure puts in evidence, numerically, an interesting dynamics regarding the semi-linear wave equation with Dirichlet conditions. In a second part, we present a quasi-stroboscopic averaging theorem in a Hilbert space with exponential error estimates. This theorem is applied on a semi-linear Schrödinger equation. This equation has first, to be project in a finite dimensional space in order to fit in the hypotheses of the theorem. We then write a quasi-stroboscopic averaging theorem for a semi-linear Schrödinger equation with polynomial error estimates.

Nous nous intéressons à des résultats d'approximation et de régularité pour des solutions de viscosité d'équations elliptiques et paraboliques non-linéaires. Dans le chapitre 1, nous proposons, pour une classe générale d'équations elliptiques et paraboliques non-linéaires munies de conditions de Neumann inhomogènes, une interprétation de contrôle déterministe par des jeux répétés à deux personnes qui consiste à représenter la solution comme la limite de la suite des scores associés aux jeux. La condition de Neumann intervient par une pénalisation adaptée près de la frontière. En s'inspirant d'une approche abstraite proposée par Barles et Souganidis, nous prouvons la convergence en établissant des propriétés de monotonie, stabilité et consistance. Le chapitre 2 est consacré à des résultats de régularité sur les solutions d'équations paraboliques non-linéaires associés à un opérateur uniformément elliptique. Nous donnons une estimation de la mesure de Lebesgue de l'ensemble des points possédant un développement de Taylor quadratique global avec un contrôle sur la taille du terme cubique. Sous une hypothèse supplémentaire sur la régularité de la non-linéarité, nous en déduisons un résultat de régularité partielle höldérienne des solutions. Dans les chapitres 3 et 4, nous proposons une méthode générale pour obtenir des taux algébriques de convergence de solutions de schémas d'approximation vers la solution de viscosité sous l'hypothèse d'uniforme ellipticité de l'opérateur. Nous donnons un taux de convergence pour des schémas elliptiques obtenus par principe de programmation dynamique et nous prouvons un taux pour des schémas paraboliques par différences finies et implicites en temps. / In this thesis we study some approximation and regularity results for viscosity solutions of fully nonlinear elliptic and parabolic equations. In the first chapter, we consider a broad class of fully nonlinear elliptic and parabolic equations with inhomogeneous Neumann boundary conditions. We provide a deterministic control interpretation through two-person repeated games which represents the solution as the limit of the sequence of the scores associated to the games. The Neumann condition is modeled by a suitable penalization near the boundary. Inspiring by an abstract method of Barles and Souganidis, we prove the convergence of the score to the solution of the equation by establishing monotonicity, stability and consistency. The second chapter presents some regularity results about viscosity solutions of parabolic equations associated to a uniformly elliptic operator. First we obtain a Lebesgue measure estimate on the points having a quadratic Taylor expansion with a controlled cubic term. Under an additional assumption on the regularity of the nonlinearity, we deduce a partial regularity result about the Hölder regularity of these solutions. In the third and fourth chapters, we propose a general approach to determine algebraic rates of convergence of solutions of approximation schemes to the viscosity solution of fully nonlinear elliptic or parabolic equations under the assumption of uniform ellipticity of the operator. We first give the rate associated to the elliptic schemes derived by dynamic programming principles and proposed by Kohn and Serfaty. We then prove a rate of convergence for finite-difference schemes implicit in time associated to fully nonlinear parabolic equations.