Cette thèse est consacrée au calcul des états atteignables des systèmes linéaires et hybrides. La première partie est consacrée aux systèmes linéaires. Après avoir présenté les méthodes existantes, nous introduisons notre principale contribution: un nouveau schéma algorithmique pour l'analyse d'accessibilité des systèmes linéaires invariants qui surclasse nettement les algorithmes existants. Une implémentation exacte peut produire des ensembles difficiles à manipuler, nous proposons donc une version produisant une sur-approximation non soumise à l'effet d'emballage, une accumulation incontrôlée des erreurs d'approximation, ainsi qu'une variante dédiée aux fonctions support, une représentation fonctionnelle des ensembles convexes. La deuxième partie adapte ces résultats aux systèmes hybrides. Nous montrons d'abord comment gérer les invariants, avant de nous intéresser à l'approximation de l'intersection entre l'ensemble atteignable par la dynamique continue et des gardes hyperplanaires.

La recherche en optique non linéaire s'est graduellement développée durant ces trois dernières décennies avec, en particulier, la découverte d'une multitude de phénomènes non linéaires dans les fibres optiques soumises à de fortes excitations lumineuses. Ce champ de recherche s'est récemment amplifié suite à l'avènement de nouvelles fibres optiques qui présentent un arrangement périodique de plusieurs centaines de canaux d'air parallèles le long de la fibre. Ces fibres, dénommées « fibre à cristal photonique » ont permis de convertir un faisceau laser monochromatique en un continuum de lumière blanche sur plus de 2 octaves en fréquence (c.-à-d., un laser arc en ciel allant de l'ultraviolet à l'infrarouge). De part leur propriété de brillance unique, ces nouvelles sources laser révolutionnent actuellement les applications en métrologie, en rendant possible des mesures absolues de fréquences optiques avec une précision sans précédent, mais aussi en optique biomédicale et en microscopie. Le cadre général dans lequel s'insère ce travail de thèse est celui de l'étude des phénomènes non linéaires et la génération de supercontinuum (SC) dans les fibres optiques hautement non linéaires et microstructurées. Dans un premier temps, nous démontrons analytiquement, et par le biais de validations numériques et expérimentales, que le phénomène d'instabilité modulationnelle présente une brisure de symétrie spectrale au voisinage de la longueur d'onde de dispersion nulle, due principalement à l'émission d'ondes dispersives induite par la fission de solitons instables. Puis nous décrivons une nouvelle méthode de mesure des coefficients de dispersion d'une fibre optique, jusqu'à l'ordre quatre, à partir de l'étude de ces deux processus. Nous étudions également des processus multiples de mélanges à quatre ondes à partir d'une onde pompe incohérente. Puis à partir de l'étude de ces phénomènes, nous développons une source SC entièrement fibrée, dont le spectre s'étend sur plus de 1000 nm autour de 1.5 μm, à l'aide d'une fibre optique hautement non linéaire et d'un laser à impulsions nanosecondes. Enfin, nous étudierons expérimentalement la génération de SC dans une fibre microstructurée présentant deux zéros de dispersion, en utilisant respectivement une excitation à une puis deux pompes. Nous montrons en particulier la génération de bandes doubles d'instabilité modulationnelle au voisinage du second zéro de dispersion, en accord avec nos prédictions analytiques, ainsi qu'une cascade Raman anti-Stokes, puis la génération de SC de 1400 nm à 1700 nm. Enfin, nous réalisons un double pompage de la fibre optique par doublage de la fréquence du laser nanoseconde, afin d'accroître la bande du SC vers le domaine visible de 550 nm a 1950 nm.

La recherche en optique non linéaire s'est graduellement développée durant ces trois dernières décennies avec, en particulier, la découverte d'une multitude de phénomènes non linéaires dans les fibres optiques soumises à de fortes excitations lumineuses. Ce champ de recherche s'est récemment amplifié suite à l'avènement de nouvelles fibres optiques qui présentent un arrangement périodique de plusieurs centaines de canaux d'air parallèles le long de la fibre. Ces fibres, dénommées « fibre à cristal photonique » ont permis de convertir un faisceau laser monochromatique en un continuum de lumière blanche sur plus de 2 octaves en fréquence (c.-à-d., un laser arc en ciel allant de l'ultraviolet à l'infrarouge). De part leur propriété de brillance unique, ces nouvelles sources laser révolutionnent actuellement les applications en métrologie, en rendant possible des mesures absolues de fréquences optiques avec une précision sans précédent, mais aussi en optique biomédicale et en microscopie. Le cadre général dans lequel s'insère ce travail de thèse est celui de l'étude des phénomènes non linéaires et la génération de supercontinuum (SC) dans les fibres optiques hautement non linéaires et microstructurées. Dans un premier temps, nous démontrons analytiquement, et par le biais de validations numériques et expérimentales, que le phénomène d'instabilité modulationnelle présente une brisure de symétrie spectrale au voisinage de la longueur d'onde de dispersion nulle, due principalement à l'émission d'ondes dispersives induite par la fission de solitons instables. Puis nous décrivons une nouvelle méthode de mesure des coefficients de dispersion d'une fibre optique, jusqu'à l'ordre quatre, à partir de l'étude de ces deux processus. Nous étudions également des processus multiples de mélanges à quatre ondes à partir d'une onde pompe incohérente. Puis à partir de l'étude de ces phénomènes, nous développons une source SC entièrement fibrée, dont le spectre s'étend sur plus de 1000 nm autour de 1.5 μm, à l'aide d'une fibre optique hautement non linéaire et d'un laser à impulsions nanosecondes. Enfin, nous étudierons expérimentalement la génération de SC dans une fibre microstructurée présentant deux zéros de dispersion, en utilisant respectivement une excitation à une puis deux pompes. Nous montrons en particulier la génération de bandes doubles d'instabilité modulationnelle au voisinage du second zéro de dispersion, en accord avec nos prédictions analytiques, ainsi qu'une cascade Raman anti-Stokes, puis la génération de SC de 1400 nm à 1700 nm. Enfin, nous réalisons un double pompage de la fibre optique par doublage de la fréquence du laser nanoseconde, afin d'accroître la bande du SC vers le domaine visible de 550 nm a 1950 nm.

Dans cette thèse on étudie la contrôlabilité globale de quelques équations non linéaires issues de la mécanique des fluides, précisément des équations de type Burgers, une équation de Korteweg-de Vries, et un système de Navier-Stokes 2-D. La stratégie employée consiste, d'une part, à appliquer la méthode du retour de J.-M. Coron, et d'autre part, à jouer sur la non linéarité de l'équation considérée. <br />De cette manière, on montre dans la première partie la contrôlabilité globale exacte pour tout temps d'équations de type Burgers non visqueuses puis on utilise ensuite ce résultat pour obtenir un résultat de contrôlabilité globale approchée pour l'équation de Burgers visqueuse. Cette propriété, combinée avec un résultat de contrôlabilité locale, entraîne ainsi la contrôlabilité globale aux trajectoires de l'équation de Burgers visqueuse, pour tout temps. <br />Dans la deuxième partie, on procède d'une manière similaire pour obtenir la contrôlabilité globale exacte d'une équation de Korteweg-de Vries non linéaire, pour tout temps. <br />Enfin, dans la dernière partie on s'intéresse à un système de Navier-Stokes 2-D avec conditions aux bords de type Navier. On obtient, en utilisant cette fois des résultats sur l'équation d'Euler des fluides incompressibles, la contrôlabilité globale à zéro, pour tout temps.

Nous utilisons trois discrétisations connues pour leur localisation fréquentielle et spatiale: les bases d'ondelettes, les paquets d'ondelettes et les bases de cosinus locaux. Nous avons construit et programmé deux algorithmes: --- pour l'équation parabolique non-linéaire $\Delta(u)+\1e^(c*u)=f$ avec $f$ présentant une singularité, notre algorithme calcule la compression optimale en dimension 1 et 2, avec résultats numériques pour la dimension 1. --- pour l'équation intégrale oscillante correspondant à la Combined Integral Field Equation qui est en rapport avec le problème de diffraction des ondes (Helmholtz) par un obstacle régulier 2D, lorsque la longueur d'onde diminue vers $0$. Les trois discrétisations ci-dessus sont testées, et nous étudions sa bonne compressibité dans une analyse précise des obstacles à la compression menée de manière asymptotique. Des résultats originaux, montrant que N degrés de liberté par longueur d'onde suffisent à hautes fréquences, ont été démontrés, et les matrices résultant de ce seuillage ont été étudiées, illustrations et preuves à l'appui.

L'étude consiste à décrire les phénomènes thermiques et aérauliques dans le bâtiment à l'aide d'un outil simplifié : la méthode zonale. Il s'agit d'une méthode tridimensionnelle basée sur le partitionnement en un petit nombre de sous-volumes, intermédiaire entre les modèles à un noeud et les maillages fins. On écrit des bilans de masse et d'énergie dans chaque sous-volume tandis que les échanges dans les interfaces sont déterminés par des lois reliant les débits aux différences de pression. L'aspect modulaire de la méthode facilite son implémentation dans un environnement orienté objet et le logiciel SPARK, adapté à la résolution de gros systèmes d'équations non-linéaires est utilisé à cet effet. Les résultats sont validés par rapport à différentes références expérimentales et numériques. Une étude paramétrique détermine les coefficients empiriques judicieux ainsi que les caractéristiques d'un maillage optimal. Un autre atout d'un environnement objet réside dans les possibilités de couplage. On traitera successivement l'exemple d'un modèle de description du confort, celui des transferts par conduction en tenant compte des effets tridimensionnels ainsi qu'un modèle de transferts de masse. La simulation des effets d'une source de chaleur donne des résultats conformes aux constatations expérimentales dans l'ensemble du volume. Enfin, le cas de la convection mixte est traité en prenant en compte la conservation de l'énergie cinétique dans l'écoulement ; les résultats correspondent à ceux obtenus avec un modèle de champ.

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.