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

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

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

Thèse numérisée par la Division de la gestion de documents et des archives de l'Université de Montréal.

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

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

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

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

Nous présentons une nouvelle méthode de type frontière immergée (immersed boundary method, ou méthode IB) pour le calcul d'écoulements visqueux incompressibles en géométries irrégulières. Dans les méthodes IB , la frontière irrégulière de la géométrie n'est pas alignée avec la grille de calcul, et le point crucial de leur développement demeure le traitement numérique des cellules fluides qui sont coupées par la frontière irrégulière, appelées cut-cells. La partie dédiée à la résolution des équations de Navier-Stokes de notre méthode IB, appelée méthode LS-STAG , repose sur la méthode MAC pour grilles cartésiennes décalées, et sur l'utilisation d'une fonction de distance signée (la fonction level-set ) pour représenter précisément les frontières irrégulières du domaine. L'examen discret des lois globales de conservation de l'écoulement (masse, quantité de mouvement et énergie cinétique) a permis de bâtir une discrétisation unifiée des équations de Navier-Stokes dans les cellules cartésiennes et les cut-cells . Cette discrétisation a notamment la propriété de préserver la structure à 5 points du stencil original et conduit à une méthode extrêmement efficace sur le plan du temps de calcul en comparaison à un solveur non-structuré. La précision de la méthode est évaluée pour l'écoulement de Taylor-Couette et sa robustesse éprouvée par l'étude de divers écoulements instationnaires, notamment autour d'objets profilés. Le champ d'application de notre solveur Newtonien s'étend au cas d'écoulements en présence de géométries mobiles, et la méthode LS-STAG s'avère être un outil prometteur puisqu'affranchie des étapes systématiques (et coûteuses) de remaillage du domaine. Finalement, la première application d'une méthode IB au calcul d'écoulements de fluides viscoélastiques est présentée. La discrétisation de la loi constitutive est basée sur la méthode LS-STAG et sur l'utilisation d'un arrangement totalement décalé des variables dans tout le domaine assurant le couplage fort requis entre les variables hydrodynamiques et les composantes du tenseur des contraintes élastiques. La méthode est appliquée au fluide d'Oldroyd-B en écoulement dans une contraction plane 4:1 à coins arrondis. / This thesis concerns the development of a new Cartesian grid / immersed boundary (IB) method for the computation of incompressible viscous flows in two-dimensional irregular geometries. In IB methods, the computational grid is not aligned with the irregular boundary, and of upmost importance for accuracy and stability is the discretization in cells which are cut by the boundary, the so-called ``cut-cells''. In this thesis, we present a new IB method, called the LS-STAG method, which is based on the MAC method for staggered Cartesian grids and where the irregular boundary is sharply represented by its level-set function. This implicit representation of the immersed boundary enables us to calculate efficiently the geometry parameters of the cut-cells. We have achieved a novel discretization of the fluxes in the cut-cells by enforcing the strict conservation of total mass, momentum and kinetic energy at the discrete level. Our discretization in the cut-cells is consistent with the MAC discretization used in Cartesian fluid cells, and has the ability to preserve the 5-point Cartesian structure of the stencil, resulting in a highly computationally efficient method. The accuracy and robustness of our method is assessed on canonical flows at low to moderate Reynolds number~: Taylor Couette flow, flows past a circular cylinder, including the case where the cylinder has forced oscillatory rotations. We extend the \em LS-STAG \em method to the handling of moving immersed boundaries and present some results for the transversely oscillating cylinder flow in a free-stream. Finally, we present the first IB method that handles flows of viscoelastic fluids. The discretization of the constitutive law equation is based on the \em LS-STAG \em method and on the use of a fully staggered arrangement of unknowns, which ensures a strong coupling between all flow variables in the whole domain. The resulting method is applied to the flow of an Oldroyd-B fluid in a 4:1 planar contraction with rounded corner.

L'analyse statique a pour but de vérifier qu'un programme a le comportement souhaité c.à.d. satisfait des propriétés de sûreté. Toutefois, inférer les propriétés vérifiées par un programme est un problème difficile : le théorème de Rice énonce que toute propriété non triviale d'un langage de programmation Turing-complet est indécidable. Afin de contourner cette difficulté, les analyses statiques effectuent des approximations des comportements possibles du programme. La théorie de l'interprétation abstraite permet de donner un cadre formel à ces approximations. Cette théorie, introduite par Cousot & Cousot propose un cadre d'approximation basé sur la notion de treillis, de connexion de Galois et de calculs de points fixes par itération. Ce cadre permet de définir la qualité des approximations effectuées et notamment la notion de meilleure approximation. À l'opposé, les notions quantitatives n'apparaissent pas naturellement dans ce cadre. Nous nous sommes donc posés la question de l'inférence, par analyse statique, de propriétés s'exprimant de manière quantitative (telles que l'utilisation de la mémoire ou le temps d'exécution). / Static analysis aims to verify that programs behave correctly i.e. satisfy safety properties. However, generating properties verified by a program is a difficult problem : Rice’s theorem states that any non-trivial property about the language recognized by a Turing machine is undecidable. In order to avoid this difficulty, static analyses approximate the possible behaviours of the program. Abtract interpretation theory defines a formal framework for approximating programs. This theory, introduced by Cousot & Cousot is based on the mathematical structure of lattices, Galois connections and iterative fixpoints calculus. This framework defines the notion of correct approximation and allows for qualitatively compare approximations. On the contrary, it is not suitable for handling quantitative properties (such as memory usage and execution time).