Cette thèse a pour objectif le développement d'une stratégie d'identification des paramètres de plasticité et d'endommagement jusqu'à amorçage, pour des métaux ductiles.Un formalisme logarithmique est utilisé pour simuler les grandes déformations subies par les éprouvettes et une formulation non-locale multi-champ permet de simuler l'adoucissement indépendamment du maillage utilisé et d'éviter le verrouillage volumique.La Corrélation d'Images Digitales est utilisée pour obtenir des mesures hétérogènes plein champ à partir d'éprouvettes entaillées.La stratégie proposée s'appuie sur des observations microscopiques et sur une approche d'identification par recalage de modèle éléments finis (FEMU), visant à minimiser l'écart entre une mesure et son pendant simulé. L'écart est exprimé en termes de force et déplacement grâce à une normalisation appropriée. L'application de la FEMU est guidée par des analyses de sensibilité.La robustesse de la comparaison essai-calcul est assurée par l'application de conditions au bord mesurées. L'effet négatif de l’incertitude de mesure est mis en évidence et une solution de filtrage innovante est proposée.La stratégie est appliquée pour l'identification des paramètres de l'alliage Inconel625. Elle permet de reproduire l'amorçage pour des éprouvettes planes, en termes de réponse macroscopique et de localisation des sites d'amorçage. / This thesis proposes an identification strategy for plastic behaviour and damage up to the onset of fracture, for an application to ductile metals.A logarithmic finite strain formulation is used to simulate the large deformations undergone by the specimens, while a locking-free non-local formulation allows a mesh independent simulation of the softening behaviour.Digital Image Correlation is used to obtain heterogeneous full-field measurements from tensile tests on notched specimens.The identification strategy is based both on microscopic observations and on a Finite Element Model Updating (FEMU) technique, according to which the parameters are identified by minimizing the discrepancy between experiment and simulation. The discrepancy is quantified both in terms of displacement and force thanks to an appropriate normalization. The application of FEMU is guided using sensitivity analysis.The robustness of the comparison between simulation and measurement is ensured by prescribing measured displacements as boundary conditions for the simulation. The negative effect of the measurement uncertainty is underlined, and an innovative filtering approach is proposed.The proposed strategy is used to identify the materials' parameters of alloy Inconel625. It allows to reproduce the onset of fracture for flat specimens, both in terms of macroscopic response and crack initiation location.

Le développement de systèmes de propulsion alternatifs aux turboréacteurs actuels constitue un axe de recherche important dans le contexte aéronautique. L’open-rotor, moteur à hélices contrarotatives, constitue une piste sérieuse car il permet à la fois de réduire fortement la consommation de carburant et les émissions de gaz. Toutefois, les émissions sonores restent un défi pour ce type d’architecture, notamment du fait de l’absence de carénage. La compréhension des sources acoustiques et leur prévision est nécessaire afin de pouvoir, par la suite, réduire le bruit de ces moteurs. Les écoulements d’un doublet d’hélices contrarotatives sont complexes, en particulier pour l’hélice aval qui constitue l’axe d’étude de la thèse. Le travail présenté est dédié à une étude numérique, expérimentale et analytique et intervient dans le cadre de la chaire industrielle ADOPSYS entre Safran Aircraft Engines et l’Ecole Centrale de Lyon. L’objectif de ce travail est double. Il s’agit d’une part de réaliser une campagne expérimentale afin d’observer et de mieux comprendre le comportement de l’écoulement et de l’acoustique d’une pale en flèche, notamment en réponse à la présence d’un tourbillon de bord d’attaque. Un second objectif de la thèse était de constituer une base de données afin de comparer les prévisions obtenues avec un modèle analytique. Une méthode de calcul semi-analytique de la réponse aéroacoustique d’une pale aval en réponse à une excitation provenant de l’amont et prenant en compte les effets de charge et de géométrie a été développée. Une étude numérique d’un doublet d’hélices contrarotatives a servi de base à la définition de la géométrie de pale utilisée pendant l’étude. Celle-ci a été définie de façon à observer un tourbillon de bord d’attaque pour certains angles d’incidence. La maquette a ensuite été placée dans une soufflerie anéchoïque de l’Ecole Centrale de Lyon afin de réaliser une étude paramétrique. Des visualisations par enduit visqueux et des mesures de pression pariétale permettent de rendre compte de la présence du tourbillon de bord d’attaque à certains angles d’incidence. L’étude des spectres en champ lointain permet de distinguer un comportement en trois régimes, associés aux trois comportements du tourbillon de bord d’attaque. Des mesures de localisation de sources permettent de corroborer ces observations. Des prévisions analytiques du bruit émis par la pale et se basant sur le modèle d’Amiet ont également été réalisées. Dans un premier temps, les effets de la flèche sont pris en compte dans le modèle et celui-ci est alors appliqué à la pale de l’étude. Une meilleure adéquation des résultats est alors trouvée quand les effets de flèche sont pris en compte, en particulier dans les directions perpendiculaires à la pale. Le modèle est ensuite étendu afin de prendre en compte les effets de la jonction en pied de pale. Cette partie est exploratoire et le développement reste à approfondir. Un complément à l’expérience a consisté en l’étude de l’impact de sillages défilants sur la pale. Un système de barreaux rotatifs permet de générer des sillages périodiques représentatifs d’une interaction de sillages rotor-rotor. Les mesures réalisées montrent le comportement quasi-stationnaire du tourbillon. / The development of alternative propeller systems to turbojets is a main issue for research in the current context of aeronautical transport. Counter rotating open rotors are a candidate solution because they allow reduction of fuel consumption and gas emission. However, noise emissions are still a challenge for these types of configuration, in particular because they cannot benefit from the nacelle and the liners currently used in turbojet. The understanding of acoustic sources and their prediction is necessary in order to be able to reduce noise emission in the near future. Flows in an open-rotor are complex, in particular for the downstream propeller which is the subject of this approach.This work based on a numerical, experimental and analytical study and takes part in the ADOPSYS chair between Safran Aircraft Engines and l’Ecole Centrale de Lyon. This PhD has two main goals. The first one is to complete an experimental study in order to elucidate the behavior of the flow on a swept airfoil and the resulting acoustics, with a possibly developing leading-edge vortex. The measurements will be a data base for further comparison with analytical prediction. The second objective of the PhD consists in developing a semi-analytical modeling of the noise emitted by an airfoil in response to an incoming perturbation, taking into account the loading and geometry effects. A numerical study of a full counter-rotating system was used as a basis for designing the investigated airfoil. The latter was designed so that a leading-edge vortex could be formed on the surface for some angles of attack. The mock-up was then tested in an anechoic wind tunnel of Ecole Centrale de Lyon for various sets of parameters. Flow visualization and wall-pressure measurements indicated the presence of the leading-edge vortex for some angles of attack. The far-field measurements indicated three acoustic regimes, which can be associated with three behaviors of the leading-edge vortex. Source localization measurements corroborate these observations. Analytical predictions of the noise emitted by the airfoil and based on Amiet’s model were also performed. Firstly, the sweep angle is taken into account in the model. Secondly it is applied to the studied airfoil. A better match of the results is found when the sweep is considered, in particular in the perpendicular directions. The model in then extended in order to include the wall-junction. This part is exploratory and should be further developed. Finally, a complementary experimental investigation of the impingement of periodic wakes on the airfoil has been performed, using a system made of rotating bars, mimics true wake interactions. The measurements suggest that the leading-edge vortex has a quasi-steady behavior.

L’amélioration de la performance du secteur médico-social nécessite des outils de pilotage aptes à donner rapidement et de façon synthétique une vision claire et quantifiée des activités réalisées en direction des usagers. Or, il n’existe pas aujourd’hui d’outils satisfaisants permettant un pilotage des activités au niveau de chaque structure, mais également au niveau de l'organisme gestionnaire. L’objet du travail de recherche est de concevoir des outils pour l’aide au pilotage et au suivi des activités dans le secteur médico-social permettant d’améliorer la vision actuelle du secteur médico-social trop cloisonné. En relation étroite avec Ressourcial (ancien département du système d’information de la Fondation OVE), ce travail s’inscrit dans le cadre d’une thèse CIFRE et constitue l'une des premières thèses des sciences de l'ingénieur qui s'attaquent aux problèmes d'organisation dans le secteur médico-social. Le premier enjeu scientifique de cette recherche est de proposer une démarche formelle et structurée de suivi des activités réalisées dans ces établissements. L’approche proposée devra être capable de rendre compte d’une typologie d’activités au spectre très large ; activités réalisées par des établissements ayant des modes de fonctionnements, et des cultures métiers, fortement hétérogènes. Sur ce volet, le verrou scientifique de ce travail est celui l’agrégation sur un même modèle, de modes de fonctionnement intrinsèquement hétérogènes. Le second enjeu scientifique de cette thèse est celui du développement d’approches innovantes pour l’analyse de ces données de suivi et pour l’aide au management de ces structures à partir de ces mêmes données. / Improving the performance of medico-social sector requires management tools capable of quickly and synthetically provide a clear and quantified view of activities towards the users. Unfortunally, today does not exist a satisfactory tools to control activities in each structure, as neither at the level of the managing organization. The object of the research work is to develop tools to aid management and monitoring of activities in the medico-social sector in order to improve the current vision of the medico-social sector too compartmentalized. Closely related to Ressourcial (former information system department of OVE Foundation), this work is part of a CIFRE thesis and is one of the first theses of engineering sciences that address to organizational problems in the medical-social sector. The first scientific challenge of this research is to propose a formal and structured approach to monitoring activities in these institutions. The proposed approach should be able to realize a typology of activities in a very broad spectrum; activities performed by institutions with operating modes, and business cultures, highly heterogeneous. On this aspect, the scientist lock of this work is that the aggregation on the same model, intrinsically heterogeneous operating modes. The second scientific challenge of this thesis is the development of innovative approaches for analyzing these monitoring data and to aid management of these structures from the same data.

L’objectif de cette thèse est de construire des estimateurs non-paramétriques d’une fonction de distribution, d’une densité de probabilité et d’une fonction de régression en utilisant les méthodes d’approximation stochastiques afin de corriger l’effet du bord créé par les estimateurs à noyaux continus classiques. Dans le premier chapitre, on donne quelques propriétés asymptotiques des estimateurs continus à noyaux. Puis, on présente l’algorithme stochastique de Robbins-Monro qui permet d’introduire les estimateurs récursifs. Enfin, on rappelle les méthodes utilisées par Vitale, Leblanc et Kakizawa pour définir des estimateurs d’une fonction de distribution et d’une densité de probabilité en se basant sur les polynômes de Bernstein.Dans le deuxième chapitre, on a introduit un estimateur récursif d’une fonction de distribution en se basant sur l’approche de Vitale. On a étudié les propriétés de cet estimateur : biais, variance, erreur quadratique intégré (MISE) et on a établi sa convergence ponctuelle faible. On a comparé la performance de notre estimateur avec celle de Vitale et on a montré qu’avec le bon choix du pas et de l’ordre qui lui correspond notre estimateur domine en terme de MISE. On a confirmé ces résultatsthéoriques à l’aide des simulations. Pour la recherche pratique de l’ordre optimal, on a utilisé la méthode de validation croisée. Enfin, on a confirmé les meilleures qualités de notre estimateur à l’aide des données réelles. Dans le troisième chapitre, on a estimé une densité de probabilité d’une manière récursive en utilisant toujours les polynômes de Bernstein. On a donné les caractéristiques de cet estimateur et on les a comparées avec celles de l’estimateur de Vitale, de Leblanc et l’estimateur donné par Kakizawa en utilisant la méthode multiplicative de correction du biais. On a appliqué notre estimateur sur des données réelles. Dans le quatrième chapitre, on a introduit un estimateur récursif et non récursif d’une fonction de régression en utilisant les polynômes de Bernstein. On a donné les caractéristiques de cet estimateur et on les a comparées avec celles de l’estimateur à noyau classique. Ensuite, on a utilisé notre estimateur pour interpréter des données réelles. / The aim of this thesis is to construct nonparametric estimators of distribution, density and regression functions using stochastic approximation methods in order to correct the edge effect created by kernels estimators. In the first chapter, we givesome asymptotic properties of kernel estimators. Then, we introduce the Robbins-Monro stochastic algorithm which creates the recursive estimators. Finally, we recall the methods used by Vitale, Leblanc and Kakizawa to define estimators of distribution and density functions based on Bernstein polynomials. In the second chapter, we introduced a recursive estimator of a distribution function based on Vitale’s approach. We studied the properties of this estimator : bias, variance, mean integratedsquared error (MISE) and we established a weak pointwise convergence. We compared the performance of our estimator with that of Vitale and we showed that, with the right choice of the stepsize and its corresponding order, our estimator dominatesin terms of MISE. These theoretical results were confirmed using simulations. We used the cross-validation method to search the optimal order. Finally, we applied our estimator to interpret real dataset. In the third chapter, we introduced a recursive estimator of a density function using Bernstein polynomials. We established the characteristics of this estimator and we compared them with those of the estimators of Vitale, Leblanc and Kakizawa. To highlight our proposed estimator, we used real dataset. In the fourth chapter, we introduced a recursive and non-recursive estimator of a regression function using Bernstein polynomials. We studied the characteristics of this estimator. Then, we compared our proposed estimator with the classical kernel estimator using real dataset.

Ces travaux s’intéressent à la modélisation formelle de la sémantique des langues naturelles. Pour cela, nous suivons le principe de compositionnalité qui veut que le sens d’une expression complexe soit une fonction du sens de ses parties. Ces fonctions sont généralement formalisées à l’aide du [lambda]-calcul. Cependant, ce principe est remis en cause par certains usages de la langue, comme les pronoms anaphoriques ou les présuppositions. Ceci oblige à soit abandonner la compositionalité, soit modifier les structures du sens. Dans le premier cas, le sens n’est alors plus obtenu par un calcul qui correspond à des fonctions mathématiques, mais par un calcul dépendant du contexte, ce qui le rapproche des langages de programmation qui manipulent leur contexte avec des effets de bord. Dans le deuxième cas, lorsque les structures de sens sont ajustées, les nouveaux sens ont tendance à avoir une structure de monade. Ces dernières sont elles-mêmes largement utilisées en programmation fonctionnelle pour coder des effets de bord, que nous retrouvons à nouveau. Par ailleurs, s’il est souvent possible de proposer le traitement d’un unique phénomène, composer plusieurs traitements s’avère être une tâche complexe. Nos travaux proposent d’utiliser les résultats récents autour des langages de programmation pour parvenir à combiner ces modélisations par les effets de bord. Pour cela, nous étendons le [lambda]-calcul avec une monade qui implémente les effects et les handlers, une technique récente dans l’étude des effets de bord. Dans la première partie de la thèse, nous démontrons les propriétés fondamentales de ce calcul (préservation de type, confluence et terminaison). Dans la seconde partie, nous montrons comment utiliser le calcul pour le traitement de plusieurs phénomènes linguistiques : deixis, quantification, implicature conventionnelle, anaphore et présupposition. Enfin, nous construisons une unique grammaire qui gère ces phénomènes et leurs interactions. / In formal semantics, researchers assign meanings to sentences of a natural language. This work is guided by the principle of compositionality: the meaning of an expression is a function of the meanings of its parts. These functions are often formalized using the [lambda]-calculus. However, there are areas of language which challenge the notion of compositionality, e.g. anaphoric pronouns or presupposition triggers. These force researchers to either abandon compositionality or adjust the structure of meanings. In the first case, meanings are derived by processes that no longer correspond to pure mathematical functions but rather to context-sensitive procedures, much like the functions of a programming language that manipulate their context with side effects. In the second case, when the structure of meanings is adjusted, the new meanings tend to be instances of the same mathematical structure, the monad. Monads themselves being widely used in functional programming to encode side effects, the common theme that emerges in both approaches is the introduction of side effects. Furthermore, different problems in semantics lead to different theories which are challenging to unite. Our thesis claims that by looking at these theories as theories of side effects, we can reuse results from programming language research to combine them.This thesis extends [lambda]-calculus with a monad of computations. The monad implements effects and handlers, a recent technique in the study of programming language side effects. In the first part of the thesis, we prove some of the fundamental properties of this calculus: subject reduction, confluence and termination. Then in the second part, we demonstrate how to use the calculus to implement treatments of several linguistic phenomena: deixis, quantification, conventional implicature, anaphora and presupposition. In the end, we build a grammar that features all of these phenomena and their interactions.

Basé sur l'analyse conjointe et complémentaire de ~10 ans de données altimétriques et de profils verticaux de température et de salinité acquis par les profileurs Argo, l'objectif principal de cette thèse est d'étudier en détail les caractéristiques de surface et la structure verticale des tourbillons dans les 4 grands systèmes d'upwelling mondiaux (EBUS Pérou-Chili, Californie, Canaries et Benguela), qui partagent une dynamique à grande échelle relativement similaire. Les résultats principaux montrent que l'ensemble des tourbillons détectés sur les cartes altimétriques dans les 4 EBUS ont des propriétés physiques relativement proches, avec une forte proportion de tourbillons de faibles dimensions ayant une durée de vie relativement courte. Au contraire, la faible partie des tourbillons échantillonnés par les profileurs Argo montre des dimensions bien plus grandes pour des durées de vie plus longues. La sur-représentation de ces grandes échelles dans le jeu des tourbillons échantillonnés par les profileurs Argo est donc le biais majeur des résultats obtenus sur la structure verticale des tourbillons. L'analyse des profils moyens d'anomalies de température et de salinité acquis par les profileurs Argo dans les tourbillons révèle une forte hétérogénéité entre les 4 EBUS, mais également au sein de chacun de ces systèmes d'upwelling. Les structures verticales des tourbillons sont fortement liées à l'hydrologie et à la dynamique locale. Par exemple, les tourbillons de subsurface du PCUS occupent plutôt la partie Sud du système, alors que les tourbillons intensifiés en surface sont présents à la limite Nord de la gyre subtropicale. Dans le CALUS, la présence de Cuddies se devine à la côte, les autres sous-régions contenant des tourbillons dont les anomalies sont majoritairement intensifiées à la base de la pycnocline, avec comme particularité un changement de signe lié à la salinité des couches superficielles. Le CANUS est peuplé de tourbillons très différents en fonction de leur position par rapport à la zone frontale du Cap Vert : au Nord, des tourbillons intenses en subsurface, avec la présence de quelques Meddies ; au Sud, des tourbillons très superficiels. De même dans le BENUS, la partie au Nord de 15°S contient plutôt des tourbillons intensifiés dans les couches de surface, alors qu'au Sud du front d'Angola-Benguela, les tourbillons présentent des anomalies fortes sur une grande partie de la colonne d'eau. L'extrême Sud de cet EBUS est également le lieu de passage des Anneaux des Aiguilles. Les contributions de l'advection isopycnale et du déplacement de la colonne d'eau sur la verticale nous permettent d'affiner la description de ces différentes structures. La présence de grands types de tourbillons, à la morphologie bien distincte (cœur de surface, de subsurface, grande extension verticale, tourbillons fortement intensifiés, etc.), est confirmée par l'étude des tourbillons spécifiquement générés dans la bande côtière. L'analyse Lagrangienne de ces tourbillons nous permet également de décrire l'évolution temporelle de leur structure verticale, qui montre une homogénéité temporelle inattendue. Cette thèse présente donc plusieurs outils facilement applicables dans différentes régions océaniques pour caractériser la structure thermohaline des tourbillons et fournit pour la première fois une description des grands types de tourbillons peuplant les EBUS, soulignant la grande diversité de la mésoéchelle. / Merging ~10 years of altimetry maps and vertical profiles provided by Argo floats, we aim to study in details the eddy's surface characteristics and vertical structure in the 4 major Eastern Boundary Upwelling Systems (EBUS : Peru-Chile, California, Canaries and Benguela), sharing similar large-scale dynamics. Our main results show that the eddies detected on altimetry maps in the 4 EBUS have close physical properties, with a lot of small-scale structures (radius < 40km, amplitude < 1cm and lifetime < 30 days). In contrast, the few eddies sampled by Argo floats have larger dimensions (radius of ~90-140 km, amplitude of ~3-7 cm) and longer lifetimes (6-10 months). The major bias with the analyzed vertical structure is the over representation of these large-scale eddies. The temperature and salinity anomaly mean profiles acquired by Argo floats surfacing within eddies reveals a strong heterogeneity between each of the 4 EBUS, but also within them. The eddies' vertical structure is strongly influence by the local hydrology and dynamics. For example, the subsurface-intensified eddies of the PCUS tend to be located in the Southern part of this EBUS, while the surface-intensified eddies are preferentially located near the Northern boundary of the subtropical gyre. In the CALUS, we can identify Cuddies in some coastal sub-regions, but in this EBUS, most of the eddies are intensified at the base of the pycnocline, with a reversal of the salinity anomaly compared to the surface layers. In the CANUS, the Cape Verde frontal zone separates distinct subsurface-intensified eddies and some Meddies in the North, from the Southern part, where eddies are surface-intensified. In the same way, the Angola-Benguela Front of the BENUS separates the surface-intensified eddies in the North from strong, deep-reaching anomalies in the South. The Southern-most part of the BENUS is also a preferential pathway for the large Agulhas Rings and their associated cyclones. The respective contributions of isopycnal advection and vertical displacement improve the description of these very diverse structures. The presence of several eddy-types, with distinct thermohaline properties (surface or subsurface-intensified, deep vertical extend, intense or not, etc.) is confirmed by the study of eddies generated in the coastal area of each EBUS. Their Lagrangian analysis allows us to describe the temporal evolution of their vertical structure, which shows an unexpected temporal homogeneity. This manuscript presents different efficient tools used to analyze the surface characteristics, the thermohaline properties and the temporal evolution of mesoscale eddies in the 4 major EBUS, highlighting their diversity.

Les applications émergentes des nanocristaux de CdSe nécessitent une compréhension approfondie des propriétés d’émission et de relaxation des sous-niveaux de structure fine de l’exciton de bord de bande. Cette thèse porte sur l’étude spectroscopique de nanocristaux individuels de CdSe présentant une photostabilité remarquable aux températures cryogéniques. La distribution spectrale de leur photoluminescence en fonction de la température et d’un champ magnétique appliqué fournit une signature précise des niveaux de plus basse énergie, révélatrice de leur morphologie et leur structure cristalline. Une méthode d’excitation de la luminescence de haute résolution spectrale a été développée pour sonder la totalité des niveaux de structure fine. Les raies de recombinaison des huit états ont ainsi été résolues pour la première fois dans une situation de levée totale de dégénérescence produite par l’anisotropie des nanocristaux et l’application d’un champ magnétique. L’excitation sélective des nanocristaux dans les niveaux supérieurs de la structure fine permet aussi d’étudier les mécanismes de relaxation de spin entre les branches excitoniques à trou lourd et à trou léger. Des canaux de relaxation sélectifs peuvent notamment être mis à profit pour préparer un nanocristal dans un niveau quantique unique.Des nanocristaux à double coque ont été conçus pour être efficacement photo-chargés, produisant une émission stable à partir de l’exciton chargé (trion) à la température de l’hélium liquide. La recombinaison du trion est purement radiative, avec une signature spectrale caractérisée par une raie d’émission sans phonon unique et intense. Sous champ magnétique, son éclatement en quatre composantes Zeeman livre les facteurs de Landé de l’électron et du trou. L’analyse des poids de ces composantes permet aussi de trouver le taux de relaxation de spin du trion et le signe de sa charge. Une inhibition remarquable de la relaxation de spin se produit lorsque l’éclatement Zeeman est inférieur à l’énergie du premier mode de phonons acoustiques du nanocristal. / The development of emerging applications of CdSe nanocrystals requires a detailed understanding of the band-edge exciton fine structure and relaxation pathways. This thesis is focused on cryogenic spectroscopy of single nanocrystal with a remarkable photostability. Photoluminescence spectra as a function of temperature and under external magnetic fields provide a spectral fingerprint of the low energy sub-levels, revealing the morphology and the crystal structure of individual nanocrystals. In order to probe the entire band-edge exciton fine structure, a high resolution luminescence excitation technique has been developed. Zeeman and anisotropy-induced splittings are used to reveal the entire 8-state band-edge fine structure, enabling complete comparison with band-edge exciton models. State selective excitation allows the preparation of single quantum states. It is also used to map the hole spin relaxation pathways between the fine structure sub-levels.Charged quantum dots provide an important platform for a range of emerging quantum technologies. Double shell CdSe nanocrystals are engineered to efficiently ionize at cryogenic temperatures, resulting in trion emission with a single sharp zero-phonon line and a near-unity quantum yield. Zeeman splitting of this line enables direct determination of electron and hole g-factors. Spin relaxation is observed in high fields, enabling identification of the trion charge. Importantly, we show that spin flips are completely inhibited for Zeeman splittings below the low-energy bound for confined acoustic phonons. This charac- teristic unique to colloidal quantum dots has potential applications in single spin coherent manipulation.

Dans cette thèse, nous étudions la convergence de méthode de type éléments finis pour les équations de Maxwell en régime harmonique avec condition au bord d'impédance et l'équation de Helmholtz avec une couche parfaitement absorbante(PML). On étudie en premier, la formulation régularisée de l'équation de Maxwell en régime harmonique avec condition au bord d'impédance (qui consiste à ajouter le term ∇ div à l'équation originale pour avoir un problème elliptique) et on garde la condition d'impédance comme une condition au bord essentielle. Pour des domaines à bord régulier, le caractère bien posé de cette formulation est bien connu mais cela n'est pas le cas pour des domaines polyédraux convexes. On commence alors le premier chapitre par la preuve du caractère bien posé dans le cas du polyèdre convexe, qui est basé sur le fait que l'espace variationnel est inclus dans H¹. Dans le but d'avoir des estimations explicites en le nombre d'onde k de ce problème, il est obligatoire d'avoir des résultats de stabilité explicites en ce nombre d'onde. C'est aussi proposé, pour quelques situations particulières, dans ce chapitre. Dans le second chapitre on décrit les singularités d'arêtes et de coins pour notre problème. On peut alors déduire la régularité de la solution du problème original, ainsi que de son adjoint. On a tous les ingrédients pour proposer une analyse de convergence explicite en k pour une méthode d'éléments finis avec éléments de Lagrange. Dans le troisième chapitre, on considère une méthode d'éléments finis hp non conforme pour un domaine à bord régulier. Pour obtenir des estimations explicites en k, on introduit un résultat de décomposition, qui sépare la solution du problème original (ou de son adjoint) en une partie régulière mais fortement oscillante et une partie moins régulière mais peu oscillante. Ce résultat permet de montrer des estimations explicites en k. Le dernier chapitre est dédié à l'équation de Helmholtz avec une PML. L'équation de Helmholtz dans l'espace entier est souvent utilisée pour modéliser la diffraction d'onde acoustique (en régime harmonique), avec la condition de radiation à l'infini de Sommerfeld. L'ajout d'une PML est une façon pour passer d'un domaine infini à un domaine fini, elle correspond à l'ajout d'une couche autour du domaine de calcul qui absorbe très vite toutes les ondes sortantes. On propose en premier un résultat de stabilité explicite en k. On propose alors deux schémas numériques, une méthode d'éléments finis hp et une méthode multi- échelle basée sur un sous-espace local de correction. Le résultat de stabilité est utilisé pour mettre en relation de choix des paramètres des méthodes numériques considérées avec k. Nous montrons aussi des estimations d'erreur a priori. A la fin de ces chapitres, des tests numériques sont proposés pour confirmer nos résultats théoriques. / In this thesis, we propose wavenumber explicit convergence analyses of some finite element methods for time-harmonic Maxwell's equations with impedance boundary condition and for the Helmholtz equation with Perfectly Matched Layer (PML). We first study the regularized formulation of time-harmonic Maxwell's equations with impedance boundary conditions (where we add a ∇ div-term to the original equation to have an elliptic problem) and keep the impedance boundary condition as an essential boundary condition. For a smooth domain, the wellposedness of this formulation is well-known. But the well-posedness for convex polyhedral domain has been not yet investigated. Hence, we start the first chapter with the proof of the well-posedness in this case, which is based on the fact that the variational space is embedded in H¹. In order to perform a wavenumber explicit error analysis of our problem, a wavenumber explicit stability estimate is mandatory. We then prove such an estimate for some particular configurations. In the second chapter, we describe the corner and edge singularities for such problem. Then we deduce the regularity of the solution of the original and the adjoint problem, thus we have all ingredients to propose a explicit wavenumber convergence analysis for h-FEM with Lagrange element. In the third chapter, we consider a non conforming hp-finite element approximation for domains with a smooth boundary. To perform a wavenumber explicit error analysis, we split the solution of the original problem (or its adjoint) into a regular but oscillating part and a rough component that behaves nicely for large frequencies. This result allows to prove convergence analysis for our FEM, again explicit in the wavenumber. The last chapter is dedicated to the Helmholtz equation with PML. The Helmholtz equation in full space is often used to model time harmonic acoustic scattering problems, with Sommerfeld radiation condition at infinity. Adding a PML is a way to reduce the infinite domain to a finite one. It corresponds to add an artificial absorbing layer surrounding a computational domain, in which scattered wave will decrease very quickly. We first propose a wavenumber explicit stability result for such problem. Then, we propose two numerical discretizations: an hp-FEM and a multiscale method based on local subspace correction. The stability result is used to relate the choice of the parameters in the numerical methods to the wavenumber. A priori error estimates are shown. At the end of each chapter, we perform numerical tests to confirm our theoritical results.

Cette thèse présente l'étude de l'implantation d'un système Prolog parallèle sur une architecture sans mémoire commune dans le cadre du projet PLoSys (Parallel Logic System). L'exécution exploite le parallélisme de manière implicite. Le système repose sur un modèle OU multiséquentiel. Le partage de l'état d'exécution est assuré par copie des données. Le langage Prolog supporté est complet, et intègre les effets de bord classiques du langage. La gestion parallèle fait l'objet d'une étude complète pour préserver la compatibilité avec l'exécution séquentielle du langage Prolog. En particulier, une méthode originale est présentée pour la gestion parallèle des effets de bord. Enfin, ce document présente la réalisation d'un prototype portable, ainsi que l'analyse des résultats obtenus

Ce travail présente l'étude expérimentale du transport de liquide et de particules dans la mousse à l'échelle locale. <br />Les mousses contenant des particules se rencontrent dans de nombreuses applications industrielles. Il existe de nombreux articles sur le problème de l'attachement et l'étude des collisions entre les particules et les bulles. Mais le problème des particules véhiculées dans la phase liquide d'une mousse n'a pas été étudié. L'originalité de ce travail de thèse consiste à réaliser des mesures à l'échelle d'un bord de Plateau, en se focalisant sur l'influence du tensioactif. Cette étude permet d'obtenir de nouveaux résultats et d'éclairer les désaccords entre expériences et théories. <br />Nous avons développé un appareil, le Plateau Border Apparatus, pour un double objectif : l'étude du transport de liquide et la caractérisation de la mobilité de l'interface. L'épaisseur des films, la forme de la section du bord de Plateau ainsi que les pertes de charges ont été mesurées à débits imposés. Ensuite, la viscosité de surface est extraite par ajustement à partir de ces valeurs. <br />Les mesures de la viscosité de cisaillement de surface obtenue avec le PBA ont mis en évidence deux régimes « interface rigide/mobile » et des contradictions avec les expériences de drainage d'une mousse. <br />La rhéologie interfaciale des solutions utilisées étant ainsi connue, il a été alors possible d'étudier expérimentalement l'effet de la mobilité des interfaces sur la sédimentation et l'entraînement des particules dans un bord de Plateau. L'effet de la position de la particule sédimentant est important. La particule permet de sonder la mobilité de l'interface et de corroborer les résultats de viscosité de surface obtenus par le PBA. Nous avons montré ensuite que l'entraînement des particules dépend de l'interface.<br />Le PBA est un nouvel outil pour l'étude des mousses qui a l'avantage, par rapport à la balance de Sheludko, de travailler en dynamique et non pas à l'équilibre.