Le sujet principal de cette thèse est l'étude de l'équation de Klein-Gordon couplée avec un terme d'interaction et sa quantification du point de vue multisymplectique. <br /><br />Nous nous interessons tout d'abord à l'équation linéaire et nous proposons une description multisymplectique de la quantification canonique par le biais d'une representation des symétries, de la quantification par deformation et enfin nous introduisons la notion de quatification par déformation multisymplectique. <br /><br />Ensuite nous traitons le champ en interaction. Nous construisons dans un premier temps des observables sous la forme de séries sur les arbres plans puis nous montrons comment elles peuvent être reliées aux séries de Butcher. Enfin nous voyons comment appliquer nos résultats à la théorie du contrôle.

Dans cette thèse, nous étudions les opérateurs de Berezin-Toeplitz sur les variétés kähleriennes et leur généralisation aux variétés symplectiques compactes. Le premier chapitre porte sur l'intégrale de Feynman : nous exprimons le noyau du propagateur quantique à l'aide d'une intégrale de Wiener en fonction de l'action classique. Dans le second chapitre, nous proposons un ansatz pour le noyau des opérateurs de Berezin-Toeplitz, grâce auquel on donne une preuve directe des résultats connus sur ces opérateurs et l'on décrit le calcul des symboles covariants et contravariants en fonction de la métrique kählerienne. Ceci mène à la définition de plusieurs star-produits sur les variétés kähleriennes par une formule universelle. Dans le troisième chapitre, nous généralisons l'ansatz précédent afin de quantifier les sous-variétés lagrangiennes des variétés kähleriennes. Nous appliquons ceci de diverses manières : construction de quasi-modes, énoncé des conditions de Bohr-Sommerfeld, quantification des symplectomorphismes, réalisation d'équivalence microlocale. En comparaison avec la théorie des opérateurs pseudodifférentiels, les invariants de la géométrie des cotangents sont remplacés par des invariants de la géométrie kählerienne. Dans le dernier chapitre, nous entreprenons la généralisation des résultats précédents aux variétés symplectiques compactes, notamment nous quantifions les sous-variétés lagrangiennes et décrivons le calcul symbolique des opérateurs de Berezin-Toeplitz.

La simulation numérique fiable des performances de turbines hydrauliques suppose : i) de pouvoir inclure dans les calculs RANS (Reynolds-Averaged Navier-Stokes) traditionnellement mis en œuvre l'effet des incertitudes qui existent en pratique sur les conditions d'entrée de l'écoulement; ii) de pouvoir faire appel à une stratégie de type SGE (Simulation des Grandes Echelles) pour améliorer la description des effets de la turbulence lorsque des écarts subsistent entre calculs RANS et résultats d'essai de référence même après prise en compte des incertitudes. Les présents travaux mettent en oeuvre une démarche non intrusive de quantification d'incertitude (NISP pour Non-Intrusive Spectral Projection) pour deux configurations d'intérêt pratique : un distributeur de turbine Francis avec débit et angle d'entrée incertains et un aspirateur de turbine bulbe avec conditions d'entrée (profils de vitesse,en particulier en proche paroi, et grandeurs turbulentes) incertaines. L'approche NISP est utilisée non seulement pour estimer la valeur moyenne et la variance de quantités d'intérêt mais également pour disposer d'une analyse de la variance qui permet d'identifier les incertitudes les plus influentes. Les simulations RANS, vérifiées par une démarche de convergence en maillage, ne permettent pas pour la plupart des configurations analysées d'expliquer les écarts calcul / expérience grâce à la prise en compte des incertitudes d'entrée.Nous mettons donc également en ouvre des simulations SGE en faisant appel à une stratégie originale d'évaluation de la qualité des maillages utilisés dans le cadre d'une démarche de vérification des calculs SGE. Pour une majorité des configurations analysées, la combinaison d'une stratégie SGE et d'une démarche de quantification des incertitudes permet de produire des résultats numériques fiables. La prise en compte des incertitudes d'entrée permet également de proposer une démarche d'optimisation robuste du distributeur de turbine Francis étudié. / The reliable numerical simulation of hydraulic turbines performance requires : i) to includeinto the conventional RANS computations the effect of the uncertainties existing in practiceon the inflow conditions; ii) to rely on a LES (Large Eddy Simulation) strategy to improve thedescription of turbulence effects when discrepancies between RANS computations and experimentskeep arising even though uncertainties are taken into account. The present workapplies a non-intrusive Uncertainty Quantification strategy (NISP for Non-Intrusive SpectralProjection) to two configurations of practical interest : a Francis turbine distributor, with uncertaininlet flow rate and angle, and a draft-tube of a bulb-type turbine with uncertain inflowconditions (velocity distributions, in particular close to the wall boundaries, and turbulentquantities). The NISP method is not only used to compute the mean value and variance ofquantities of interest, it is also applied to perform an analysis of the variance and identify inthis way the most influential uncertainties. The RANS simulations, verified through a gridconvergence approach, are such the discrepancies between computation and experimentcannot be explained by taking into account the inflow uncertainties for most of the configurationsunder study. Therefore, LES simulations are also performed and these simulations areverified using an original methodology for assessing the quality of the computational grids(since the grid-convergence concept is not relevant for LES). For most of the flows understudy, combining a SGE strategy with a UQ approach yields reliable numerical results. Takinginto account inflow uncertainties also allows to propose a robust optimization strategy forthe Francis turbine distributor under study.

No description available.

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal

Prospection de pétrole utilise un équipement appelé tube de forage pour forer le sol jusqu'au le niveau du réservoir. Cet équipement est une longue colonne rotative, composée par une série de tiges de forage interconnectées et les équipements auxiliaires. La dynamique de cette colonne est très complexe parce que dans des conditions opérationnelles normales, elle est soumise à des vibrations longitudinales, latérales et de torsion, qui présentent un couplage non linéaire. En outre, cette structure est soumise à effets de frottement et à des chocs dûs aux contacts mécaniques entre les paires tête de forage/sol et tube de forage/sol. Ce travail présente un modèle mécanique-mathématique pour analyser un tube de forage en configuration horizontale. Ce modèle utilise la théorie des poutres qui utilise l'inertie de rotation, la déformation de cisaillement et le couplage non linéaire entre les trois mécanismes de vibration. Les équations du modèle sont discrétisées par la méthode des éléments finis. Les incertitudes des paramètres du modèle d'interaction tête de forage/sol sont prises en compte par l'approche probabiliste paramétrique, et les distributions de probabilité des paramètres aléatoires sont construits par le principe du maximum d'entropie. Des simulations numériques sont réalisées afin de caractériser le comportement dynamique non linéaire de la structure, et en particulier, de l'outil de forage. Des phénomènes dynamiques non linéaires par nature, comme le slick-slip et le bit-bounce, sont observés dans les simulations, ainsi que les chocs. Une analyse spectrale montre étonnamment que les phénomènes slick-slip et bit-bounce résultent du mécanisme de vibration latérale, et ce phénomène de choc vient de la vibration de torsion. Cherchant à améliorer l'efficacité de l'opération de forage, un problème d'optimisation qui cherche à maximiser la vitesse de pénétration de la colonne dans le sol, sur ses limites structurelles, est proposé et résolu / Oil prospecting uses an equipment called drillstring to drill the soil until the reservoir level. This equipment is a long column under rotation, composed by a sequence of connected drill-pipes and auxiliary equipment. The dynamics of this column is very complex because, under normal operational conditions, it is subjected to longitudinal, lateral, and torsional vibrations, which presents a nonlinear coupling. Also, this structure is subjected to friction and shocks effects due to the mechanical contacts between the pairs drill-bit/soil and drill-pipes/borehole. This work presents a mechanical-mathematical model to analyze a drillstring in horizontal configuration. This model uses a beam theory which accounts rotatory inertia, shear deformation, and the nonlinear coupling between three mechanisms of vibration. The model equations are discretized using the finite element method. The uncertainties in bit-rock interaction model parameters are taken into account through a parametric probabilistic approach, and the random parameters probability distributions are constructed by means of maximum entropy principle. Numerical simulations are conducted in order to characterize the nonlinear dynamic behavior of the structure, specially, the drill-bit. Dynamical phenomena inherently nonlinear, such as slick-slip and bit-bounce, are observed in the simulations, as well as shocks. A spectral analysis shows, surprisingly, that slick-slip and bit-bounce phenomena result from the lateral vibration mechanism, and that shock phenomena comes from the torsional vibration. Seeking to increase the efficiency of the drilling process, an optimization problem that aims to maximize the rate of penetration of the column into the soil, respecting its structural limits, is proposed and solved

La simulation numérique fiable des performances de turbines hydrauliques suppose : i) de pouvoir inclure dans les calculs RANS (Reynolds-Averaged Navier-Stokes) traditionnellement mis en œuvre l'effet des incertitudes qui existent en pratique sur les conditions d'entrée de l'écoulement; ii) de pouvoir faire appel à une stratégie de type SGE (Simulation des Grandes Echelles) pour améliorer la description des effets de la turbulence lorsque des écarts subsistent entre calculs RANS et résultats d'essai de référence même après prise en compte des incertitudes. Les présents travaux mettent en oeuvre une démarche non intrusive de quantification d'incertitude (NISP pour Non-Intrusive Spectral Projection) pour deux configurations d'intérêt pratique : un distributeur de turbine Francis avec débit et angle d'entrée incertains et un aspirateur de turbine bulbe avec conditions d'entrée (profils de vitesse,en particulier en proche paroi, et grandeurs turbulentes) incertaines. L'approche NISP est utilisée non seulement pour estimer la valeur moyenne et la variance de quantités d'intérêt mais également pour disposer d'une analyse de la variance qui permet d'identifier les incertitudes les plus influentes. Les simulations RANS, vérifiées par une démarche de convergence en maillage, ne permettent pas pour la plupart des configurations analysées d'expliquer les écarts calcul / expérience grâce à la prise en compte des incertitudes d'entrée.Nous mettons donc également en ouvre des simulations SGE en faisant appel à une stratégie originale d'évaluation de la qualité des maillages utilisés dans le cadre d'une démarche de vérification des calculs SGE. Pour une majorité des configurations analysées, la combinaison d'une stratégie SGE et d'une démarche de quantification des incertitudes permet de produire des résultats numériques fiables. La prise en compte des incertitudes d'entrée permet également de proposer une démarche d'optimisation robuste du distributeur de turbine Francis étudié. / The reliable numerical simulation of hydraulic turbines performance requires : i) to includeinto the conventional RANS computations the effect of the uncertainties existing in practiceon the inflow conditions; ii) to rely on a LES (Large Eddy Simulation) strategy to improve thedescription of turbulence effects when discrepancies between RANS computations and experimentskeep arising even though uncertainties are taken into account. The present workapplies a non-intrusive Uncertainty Quantification strategy (NISP for Non-Intrusive SpectralProjection) to two configurations of practical interest : a Francis turbine distributor, with uncertaininlet flow rate and angle, and a draft-tube of a bulb-type turbine with uncertain inflowconditions (velocity distributions, in particular close to the wall boundaries, and turbulentquantities). The NISP method is not only used to compute the mean value and variance ofquantities of interest, it is also applied to perform an analysis of the variance and identify inthis way the most influential uncertainties. The RANS simulations, verified through a gridconvergence approach, are such the discrepancies between computation and experimentcannot be explained by taking into account the inflow uncertainties for most of the configurationsunder study. Therefore, LES simulations are also performed and these simulations areverified using an original methodology for assessing the quality of the computational grids(since the grid-convergence concept is not relevant for LES). For most of the flows understudy, combining a SGE strategy with a UQ approach yields reliable numerical results. Takinginto account inflow uncertainties also allows to propose a robust optimization strategy forthe Francis turbine distributor under study.

Cette thèse s’inscrit dans le cadre du projet ANR « Uncertain flow optimization » (UFO) consacré au développement et à l’application de méthodes efficaces de quantification d’incertitudes pour l’analyse et l’optimisation d’écoulements. Dans ce contexte, ces méthodes sont appliquées à des gazosiphons de grande échelle utilisés comme pompe. Plus particulièrement, on s’intéresse à de tels gazosiphons choisis pour constituer l’organe central d’un système géothermique innovant,  compatible avec un environnement urbain. On souhaite en quantifier le potentiel énergétique par voie numérique avec la recherche d’un compromis entre justesse des résultats et efficacité optimale. La simulation de l’écoulement diphasique produit dans le gazosiphon est fondée sur un modèle quasi-1D à flux de dérive et s’appuie sur une démarche de résolution implicite. Les résultats sont validés sur les études expérimentales les plus pertinents de la littérature, dont aucune toutefois n’atteint les longueurs requises de l'ordre du kilomètre. Le code de simulation du gazosiphon fait ensuite l’objet d’une démarche de prise en compte d’incertitudes physiques et de modélisation, précédée par une analyse de deux méthodes de quantification d’incertitude : une méthode non-intrusive de type chaos polynomial, et une méthode plus récente dite semi-intrusive qui fut développée en amont du projet UFO. Cet outil est intégré dans une modélisation simplifiée du système géothermique urbain dans son ensemble impliquant les composants en surface, notamment le compresseur d'air. Il en résulte une optimisation énergétique robuste préliminaire de deux variantes du système géothermique urbain proposé, respectivement de récupération de chaleur et de production d’électricité. / This PhD thesis is part of the ANR project « Uncertain Flow Optimization » (UFO). The project is devoted to the development and application of efficient uncertainty quantification methods for flow analysis and optimization. In this framework, these methods are applied to the study of a large-scale airlift pump. The airlift pump is selected to be part of an innovative geothermal system, which can be exploited within an urban environment. We wish to quantify and optimize the energy potential of this new system with numerical tools. They provide both good accuracy and efficiency properties. The airlift two-phase flow simulation is based on a quasi one-dimensional drift flux model, which is implicitly solved. The solver is validated by comparison with relevant experimental airlift studies from the literature. However, these studies remain below the kilometric-targeted pipe length. Thanks to the analysis of two uncertainty quantification methods, a non-intrusive approach relying on polynomial chaos expansion and a new semi-intrusive method developed ahead of the UFO project, we perform airlift pump simulations taking into account physical and modelling uncertainties. This numerical tool is inserted into a simplified model of the complete urban geothermal system that involves surface devices, such as an air compressor. Finally, a robust preliminary optimization process is performed for two versions of the proposed geothermal urban system. They are designed respectively for heat recovery and electricity production.

Cette thèse présente plusieurs contributions méthodologiques au traitement des images multicomposantes. Nous présentons notre travail dans le contexte applicatif difficile de l’imagerie de tomographie d’émission de positons dynamique (TEPd), une modalité d’imagerie fonctionnelle produisant des images multicomposantes fortement dégradées. Le caractère vectoriel du signal offre des propriétés de redondance et de complémentarité de l’information le long des différentes composantes permettant d’en améliorer le traitement. Notre première contribution exploite cet avantage pour la segmentation robuste de volumes d’intérêt au moyen de modèles déformables. Nous proposons un champ de forces extérieures guidant les modèles déformables vers les contours vectoriels des régions à délimiter. Notre seconde contribution porte sur la restauration de telles images pour faciliter leur traitement ultérieur. Nous proposons une nouvelle méthode de restauration par équations aux dérivées partielles permettant d’augmenter le rapport signal sur bruit d’images dégradées et d’en renforcer la netteté. Appliqués à l’imagerie TEPd, nous montrons l’apport de nos contributions pour un problème ouvert des neurosciences, la quantification non invasive d’un radiotraceur de la neuroinflammation. / This thesis presents several methodological contributions to the processing of vector-valued images, with dynamic positron emission tomography imaging (dPET) as its target application. dPET imaging is a functional imaging modality that produces highly degraded images composed of subsequent temporal acquisitions. Vector-valued images often present some level of redundancy or complementarity of information along the channels, allowing the enhancement of processing results. Our first contribution exploits such properties for performing robust segmentation of target volumes with deformable models.We propose a new external force field to guide deformable models toward the vector edges of regions of interest. Our second contribution deals with the restoration of such images to further facilitate their analysis. We propose a new partial differential equation-based approach that enhances the signal to noise ratio of degraded images while sharpening their edges. Applied to dPET imaging, we show to what extent our methodological contributions can help to solve an open problem in neuroscience : noninvasive quantification of neuroinflammation.

Dans le présent travail, le concept de durabilité a été redéfini pour que la compréhension commune puisse être garantie. Un modèle d'évaluation du degré de durabilité d'une chaîne logistique existante a été conçu par la suite. Ce modèle a été testé de façon empirique à travers une étude de cas. En appliquant l'amélioration continue, il faut que cette évaluation soit suivie d'un processus de reconception de la chaîne logistique en question. Cependant, Il est important qu'une évaluation des risques soit réalisée auparavant. Pour cette raison, un modèle de quantification des risques a été développé. Le modèle peut considérer soit les risques débouchant sur une reconception, soit les risques dus à une reconception. Une étude de cas basée sur les risques débouchant sur une reconception de la chaîne logistique a été mise en place pour prouver l'applicabilité du modèle dans un environnement réel. Les résultats qui découlent du modèle doivent être considérés comme étant une aide à la décision / Ln the present work, the sustainabillty concept has been redeflned so that common understanding can be guaranteed. Subsequently, a model intended to evaluate an existent supply chain's overall degree of sustainability has been developed and empirically tested through a case study. Considering the approach of continuous improvement, this evaluation should be followed by a redesign of the considered supply chain. However, a risk assessment needs to be done ex-ante. Forthis reason, a risk Identification and quantification model has been evolved. This model may consider bath, the risks leading to the redesign process and the risks resultlng from the redesign phase. A case study, which considers the risks leading to a redesign phase, has been implemented so that the model's feasibility in a real business' environment can be proved. The model's outcomes must not be mistaken for ultimate results but need to be considered being a decision support for managers.