Cette thèse s'inscrit dans le cadre de l'amélioration des prévisions aérothermiques qui suscite un intérêt croissant de la part des industriels aéronautiques. Elle consiste à évaluer l'apport des méthodes URANS avancées de type SAS dans la prévision des flux de chaleur turbulents et pariétaux pour des écoulements turbulents chauffés. Elle vise également à situer ces approches par rapport à des modèles URANS classiques de type DRSM et à des méthodes hybrides RANS/LES comme la ZDES. Nous avons dans un premier temps proposé une extension de l'approche SAS à un modèle DRSM afin d'obtenir une meilleure restitution des tensions de Reynolds résolues et modélisées. Ce nouveau modèle SAS-DRSM a été implanté dans le code Navier-Stokes elsA de l'ONERA. Nous avons ensuite évalué l'ensemble des approches SAS disponibles avec ce code sur la prévision de deux écoulements aérothermiques rencontrés sur avion dans un compartiment de moteur. Ces études numériques ont montré que les approches SAS améliorent la représentation des écoulements par rapport aux modèles URANS classiques. Elles aboutissent à des écoulements fortement tridimensionnels présentant de nombreuses structures turbulentes. Ces structures induisent un mélange turbulent plus important et permettent alors une meilleure prévision du flux de chaleur pariétal. Par ailleurs, nos travaux ont permis de situer plus clairement les approches de type SAS comme des méthodes plus précises que les méthodes URANS classiques sans augmentation importante de mise en œuvre ou de coût de calcul. Les modèles SAS ne permettent pas de résoudre les plus petites structures caractéristiques du mouvement turbulent par rapport à la ZDES qui montre ici des prévisions supérieures. Le modèle SAS-DRSM offre néanmoins la meilleure alternative de type SAS. Enfin, l'étude du flux de chaleur turbulent semble retrouver le fait que l'hypothèse de nombre de Prandtl turbulent constant classique des modèles URANS n'est pas valable dans toutes les zones de l'écoulement.

Cette thèse consiste à mettre en place un dispositif scientifique expérimental BOS3D (Background Oriented Schlieren 3D) à l'ONERA permettant la reconstruction du champ de masse volumique instantané d'un écoulement ainsi qu'à développer un algorithme robuste de reconstruction permettant une mise à disposition rapide des résultats considérant un nombre faible de points de vue. Dans un premier temps, nous avons développé un algorithme de reconstruction BOS3D applicable à toutes les configurations expérimentales. Pour cela, le problème direct, c'est-à-dire l'équation de la déviation des rayons lumineux à travers un milieu d'indice optique non homogène, a été reformulé sous forme algébrique. Un critère régularisé permettant la prise en compte explicite du bruit associé à l'expérimentation a ensuite été défini. Cette formulation ainsi que les équations issues des méthodes d'optimisation nécessaires à la minimisation du critère ont été parallélisées pour permettre une implantation sur GPU. Cet algorithme a ensuite été testé sur des cas de références issus de calcul numérique afin de vérifier si le champ reconstruit par l'algorithme était en accord avec celui fourni. Dans ce cadre, nous avons développé un outil permettant de simuler une BOS3D virtuelle afin d'obtenir les champs de déviation associés aux écoulements numériques. Ces champs de déviation ont ensuite été fournis comme entrée au code de reconstruction et nous ont permis d'étudier la sensibilité de notre algorithme à de nombreux paramètres tels que le bruit sur les données, la discrétisation du maillage, le type de régularisation et le positionnement des caméras. En parallèle de l'étude de la méthode de reconstruction par simulation, nous avons acquis de l'expérience sur la mise en œuvre effective de la mesure BOS dans des installations expérimentales, en participant à plusieurs campagnes d'essais. Cela nous a permis de contribuer à la conception et à la réalisation de bancs de mesures dédiés à la technique BOS. Le principal résultat de ce travail est la réalisation du banc de mesure BOS3D du DMAE, qui permet d'accéder à la reconstruction de champs de masse volumique instantanés. Ces développements expérimentaux nous autorisent finalement à obtenir des reconstructions 3D de champs de masse volumiques moyens et instantanés sur données réelles. De plus, l'analyse du comportement de la méthode numérique BOS3D est proposée en fonction de la nature des écoulements observés et de la configuration d'acquisition.

Cette thèse porte sur le monitorage des simulations de circuits en signaux mixtes. Dans le domaine de la vérification de matériel, l'utilisation de formalismes déclaratifs pour la specification, dans le cadre de la validation par simulation, s'est installée dans la pratique courante. Cependant, le manque de fonctionnalités visant à spécifier les comportements asynchrones, ou l'intégration insuffisante des résultats de la vérification, rend les language d'assertions et de mesures inopérants pour la vérification de comportements en signaux mixtes. Nous proposons des outils théoriques et pratiques pour la description et le monitorage de ces comportements, qui comportent des aspects à la fois discrets et continus. Pour cela, nous nous appuyons sur des travaux antérieurs portant sur les extensions temps-réel de la logique temporelle et des expressions régulières. Nous décrivons de nouveaux algorithmes pour calculer la distance entre une trace de simulation et une propriété en logique temporelle données. Une nouvelle procédure de diagnostic est conçue pour déboguer efficacement de telles traces. Le monitorage des comportements continus est ensuite étendu à d'autres formes d'assertions basées sur des expressions régulières. Ces expressions constituent la base de notre language de description de mesures, qui permet de définir conjointement la mesure et les intervals temporels sur lesquels cette mesure doit être prise. Nous montrons comment d'autres mesures, déjà mises en œuvre dans les simulateurs analogiques peuvent être importées dans les descriptions digitales. Ceci permet d'étendre vers le domaine en signaux mixtes les approches hiérarchiques utilisées en vérification de circuits digitaux. / This thesis is concerned with the monitoring of mixed-signal circuit simulations. In the field of hardware verification, the use of declarative property languages in combination with simulation is now standard practice. However the lack of features to specify asynchronous behaviors, or the insufficient integration of verification results, makes existing assertion and measurement languages unable to enforce mixed-signal requirements. We propose several theoretical and practical tools for the description and automatic monitoring of such behaviors, that feature both discrete and continuous aspects. For this we build on previous work on real-time extensions of temporal logic and regular expressions. We describe new algorithms to compute the distance from some simulation trace to temporal logic specifications, whose complexity is not higher than traditional monitoring. A novel diagnostic procedure is provided in order to efficiently debug such traces. The monitoring of continuous behaviors is then extended to other forms of assertions based on regular expressions. These expressions form the basis of our measurement language, that describes conjointly a measure and the patterns over which that measure should be taken. We show how other measurements implemented in analog circuits simulators can be ported to digital descriptions, this way extending structured verification approaches used for digital designs toward mixed-signal.

La mécanique computationnelle est un outil incontournable pour le monde de l’ingénierie mécanique. Motivé par un désir de réalisme et soumis à un perpétuel gigantisme, les modèles numériques doivent aujourd’hui inclure des phénomènes physiques de plus en plus complexes. Par conséquence, d’importantes capacités calculatoires sont requises afin de traiter des problèmes à la fois non-linéaires mais aussi de grande taille. Pour atteindre cet objectif, il convient de développer les stations de calculs mais aussi les méthodes algorithmiques utilisées afin de résoudre efficacement ces types de problèmes. Récemment, les méthodes de réduction de modèle se révèlent comme d’excellentes options au développement d’algorithmes de résolution performants. Le problème du contact frottant entre solides élastiques est particulièrement bien connu pour sa complexité et dont les temps de calcul peuvent devenir prohibitifs. En effet, les lois qui le régissent sont très hautement non-linéaires (non différentiables). Dans ce mémoire, nous nous proposons d’appliquer différentes méthodes de réduction de modèle (a posteriori et a priori) à ce type de problème afin de développer des méthodes de calculs accélérées dans le cadre de la méthode des éléments finis. Tout d’abord, en se plaçant dans le cadre des petites perturbations en évolution quasistatique, la réductibilité de diverses solutions impliquant du contact frottant est mise en évidence via leur décomposition en valeur singulière. De plus, leur contenu à échelle séparée est exhibé. La méthode non-incrémentale et non-linéaire à large incrément de temps (LATIN) est par la suite présentée. Dans un second temps et à partir des observations faites précédemment, une méthode LATIN accélérée est proposée en s’inspirant des méthodes multigrilles non-linéaires de type “full approximation scheme” (FAS). Cette méthode s’apparente en partie aux méthodes de réduction de modèle de type a posteriori. De plus, une stratégie de calcul de modes à partir d’un modèle de substitution est proposée. Par la suite, la décomposition propre généralisée (PGD) est utilisée afin de développer une méthode de résolution non-linéaire efficace reposant fondamentalement sur une approche de réduction de modèle de type a priori. Enfin, quelques extensions sont proposées telle que la résolution de problème faisant intervenir des études paramétriques, ou encore la prise en charge de non-linéarités supplémentaires telle que la plasticité. / Computational mechanics is an essential tool for mechanical engineering purposes. Nowadays, numerical models have to take into account complex physical phenomenons to be even more realistic and become larger and larger. As a consequence, more and more computing capacities are required in order to tackle not only non-linear problems but also large scale problems. For that purpose, both computers and numerical methods have to be developed in order to solve them efficiently. In the last decades, model reduction methods show great abilities to assign such challenges. The frictional contact problem between elastic solids is particularly well-known for its difficulty. Because its governing laws are highly non-linear (non-smooth), prohibitive computational time can occur. In this dissertation, model reduction methods (both a posteriori and a priori approaches) are deployed in order to implement efficient numerical methods to solve frictional contact problem in the finite element framework. First, small perturbations hypothesis with a quasi-static evolution are assumed. Then, reducibility of some frictional solutions is emphasized and discussed using the singular value decomposition. In addition, a scale separability phenomenon is enlightened. Then, the non-linear large time increment method (LATIN) is introduced. Secondly, an accelerated LATIN method is suggested by drawing an analogy between previous scale separability observations and the non-linear multigrid full approximation scheme (FAS). This accelerated non-linear solver relies essentially on the a posteriori model reduction approach. A precomputation strategy for modes relying on surrogate models is also suggested. Next, the proper generalized decomposition (PGD) is used to implement a non-linear solver relying fundamentally on an a priori model reduction method. Finally, some extensions are given to assign parametric studies and to take into account an additional non-linearity such as elastoplastic constitutive laws.

Cette thèse vise à étudier le comportement de revêtement articulé du tunnel en développant une nouvelle approche numérique à la Méthode de Réaction Hyperstatique (HRM) et la production des modèles numériques en deux dimensions et trois dimensions à l'aide de la méthode des différences finies (FDM). L'étude a été traitée d'abord sous charges statiques, puis effectuée sous charges dynamiques. Tout d'abord, une étude bibliographique a été effectuée. Une nouvelle approche numérique appliquée à la méthode HRM a ensuite été développée. En même temps, un modèle numérique en deux dimensions est programmé sur les conditions de charge statique dans le but d'évaluer l'influence des joints, en termes de la distribution et des caractéristiques des joints, sur le comportement du revêtement articulé de tunnel. Après cela, des modèles complets en trois dimensions d'un seul tunnel, de deux tunnels horizontaux et de deux tunnels empilés, dans lesquels le système des joints est simulé, ont été développés. Ces modèles en trois dimensions permettent d'étudier le comportement non seulement du revêtement du tunnel, mais encore le déplacement du sol entourant le tunnel lors de l’excavation. Un modèle numérique en trois dimensions simplifié a ensuite été réalisé afin de valider la nouvelle approche numérique appliquée à la méthode HRM.Dans la dernière partie de ce mémoire, la performance du revêtement articulé du tunnel sous chargements dynamiques est prise en compte par l’analyse quasi-statique et dynamique complète en utilisant le modèle numérique en deux dimensions (FDM). Un modèle HRM a également été développé prenant en compte des charges quasi-statiques. Les différences de comportement de tunnel sous chargements statiques et sismiques sont mises en évidence et expliquées. / This PhD thesis has the aim to study the behaviour of segmental tunnel lining by developing a new numerical approach to the Hyperstatic Reaction Method (HRM) and producing two-dimensional (2D) and three-dimensional (3D) numerical models using the finite difference method (FDM). The study first deals with under static loads, and then performs under dynamic loads. Firstly, a literature review has been conducted. A new numerical approach applied to the HRM has then been developed. At the same time, a 2D numerical model is programmed regarding static loading conditions in order to evaluate the influence of the segmental joints, in terms of both joint distribution and joint stiffness characteristics, on the tunnel lining behaviour. After that, full 3D models of a single tunnel, twin horizontal tunnels and twin tunnels stacked over each other, excavated in close proximity in which the joint pattern is simulated, have been developed. These 3D models allow one to investigate the behaviour of not only the tunnel lining but also the displacement of the ground surrounding the tunnel during the tunnel excavation. A simplified 3D numerical model has then been produced in order to validate the new numerical approach applied to the HRM. In the last part of the manuscript, the performance of the segmental tunnel lining exposed to dynamic loading is taken into consideration through quasi-static and full dynamic analyses using 2D numerical models (FDM). A new HRM model has also been developed considering quasi-static loads. The differences of the tunnel behaviour under static and seismic loadings are highlighted.

Il est bien rapporté dans la littérature que les caractéristiques du joint soudé ainsi que le transfert de chaleur à l'interface liquide/solide sont fortement dépendants de l'écoulement du métal liquide. Ce travail porte sur l'étude numérique de l'influence des paramétres opératoires de soudage sur les bains de fusion TIG. Un modéle 2D incluant la cathode, le plasma d'arc et l'anode est développé pour l'étude du soudage TIG spot. Il permet également de quantifier les effets de la composition chimique du gaz, et de simuler des techniques innovantes tel que le soudage avec gaz pulsé. Le soudage TIG avec torche mobile et apport de matiére est modélisé à l'aide d'une approche hybride 2D-3D. Les simulations numériques pour des positions de soudages horizontales révèlent une dissymétrie de la soudure dans la direction opposée à la gravité, ce qui est dû à l'action de la flottabilité et à la déformation assymétrique de la surface libre. Ce défaut peut être considérablement réduit lors du soudage de matériaux à taux de soufre différents, en plaçant la pièce bas soufre en bas.

Le comportement au jeune âge des matériaux à matrice cimentaire est un phénomène complexe qui met en opposition une structure évolutive, mais encore faible mécaniquement et des sollicitations externes particulières en terme de température, humidité et blocage mécanique par exemple. Il en résulte dans certains cas la fissuration par retrait gêné du matériau en cours de développement. Une approche couplée expérimentale-numérique a été développée afin de reproduire le phénomène de fissuration par retrait empêché, en laboratoire et sous conditions contrôlées. Cette approche identifie les paramètres clés nécessaires à la construction d'un modèle mésoscopique numérique prédictif qui prend en compte les effets des couplages chimio-hydro-mécaniques sur l'évolution des propriétés physico-mécaniques du matériau.

Ce memoire est consacre a l'etude de certaines proprietes optiques non lineaires de nouvelles molecules organiques piegees dans des matrices solides xerogels et polymeres. Ces travaux concernent divers processus non lineaires presents dans ces materiaux solides dans le but de preserver les detecteurs photoniques tels que l'il ou les capteurs ccd contre l'agression laser. Ces materiaux fonctionnent comme des limiteurs optiques passifs : ils reagissent a la presence d'un rayonnement laser impulsionnel suffisamment intense en affaiblissant la luminance transmise. Parmi les differents mecanismes non lineaires, nous avons etudie les processus : d'absorption saturable inverse (asi) avec des chromophores de la famille des phtalocyanines et des porphyrines, de refraction non lineaire (rnl) et d'absorption a deux photons (adp). L'utilisation de lasers impulsionnels de duree nanoseconde, picoseconde et sub-picoseconde nous a permis d'evaluer la contribution des differents processus mis en jeu grace a un grand nombre d'experiences. Nous avons mis en evidence par des experiences de z-scan que des matrices solides dopees avec des chromophores asi presentent egalement de la rnl. Des molecules organiques du type quadripolaire exhibant le mecanisme adp semblent posseder une forte absorption des etats excites, comme pour les asi. Enfin, nous avons aborde l'etude du processus de diffusion induite dans un milieu inhomogene compose d'une matrice xerogel poreuse adaptee en indice avec un melange de solvants aux proprietes non lineaires. Afin d'expliquer de maniere satisfaisante la plupart des mesures experimentales, nous proposons des simulations numeriques basees sur la technique de la bpm. L'exploitation d'un seul mecanisme n'est pas toujours suffisante pour assurer une protection ideale. On peut alors envisager utiliser une combinaison de plusieurs mecanismes pour accroitre l'efficacite du systeme limiteur optique et pour beneficier d'une protection large bande spectrale.

On se propose d'analyser le régime transitoire de décrochage à l'aide de la simulation numérique instationnaire de type DNS. Cette approche permet de reproduire avec fidélité l'écoulement dans la région critique de Bulbe de Décollement Laminaire au bord d'attaque, encore impossible à modéliser ou mesurer avec précision. Après une étape de validation, la sensibilité du BDL au niveau de turbulence extérieure est étudiée et comparée favorablement à celle établie récemment dans la littérature. La phase d'établissement du décollement massif depuis le BDL est reproduite en réalisant de petites variations d'incidence à travers l'angle critique d'apparition du décrochage. Ce raisonnement "aux petites perturbations" permet de reproduire l'éclatement du BDL communément rattaché au décrochage statique. La déstabilisation de la région de BDL est alors étudiée à l'aide d'une base de données instationnaires et moyennes qui permet pour la première fois de rendre compte des déformations 3D du BDL. Conservant ce protocole, et faisant varier la vitesse du profil, on est en mesure d'évaluer l'influence de cette dernière sur le régime transitoire. Des mouvements de rotation de plus forte amplitude angulaire ont permis de mettre en évidence un mécanisme de décrochage sensiblement différent du précédent. La couche de mélange surplombant le BDL s'enroule alors pour donner naissance à un tourbillon énergétique (Leading Edge Vortex), communément associé au décrochage dynamique. Enfin, l'analyse du champ de vitesse moyen a permis de valider un critère empirique d'apparition de l'éclatement du BDL, qui s'est révélé pertinent aussi bien pour les mouvements de faible amplitude que ceux plus amples.

Les auteurs contemporains, des plasticiens aux réalisateurs de blockbusters, créent des images où le réel et le virtuel semblent de la même étoffe. Leurs films, vidéos et installations exposent un monde qui émerge de l’immatérialité des écrans.À la différence des images qui procèdent de l'imprégnation de la lumière réelle sur des surfaces photosensibles, les simulacres numériques résultent du langage binaire. Ils correspondent à du code informatique qui transforme l’image en une somme de données.Dès lors, ceux-ci entraînent-ils une mutation de notre rapport à l’image ? En quoi induisent-ils une nouvelle perception des représentations artistiques où prime l’apport d’une subjectivité ?Les simulacres numériques apparaissent après des millénaires d’images qui relèvent de l’ontologie et entretiennent un lien sensible avec le réel. Le spectateur ayant besoin de se projeter dans ce qui emprunte à sa nature et ce qui interroge ses aspirations, ses sentiments comme ses croyances, il attend de la simulation numérique la même capacité d’incarnation et de transfiguration que les autres moyens d’expression.Entrelaçant la tradition et le contemporain, cette recherche analyse l’éloquence sensible du simulacre numérique au défi du vivant dans le cinéma et les arts plastiques des années 2000-2010 selon les concepts de présence, représentation et simulation.Comment le numérique actualise-t-il des codes culturels et esthétiques hérités de l’histoire de l’art ? Cette recherche tente de comprendre la nature et le sens des simulacres numériques du vivant en tant qu’ils conjuguent l’incorporel synthétique à l’argument ontologique. / The contemporary authors, from visual artists to blockbusters’ directors, create images where the real and the virtual seem from the same cloth. Theirs movies, videos and installations show a world which emerges from the immateriality of the screens.Unlike images which are the result of the impregnation of the actual light on photosensitive surfaces, digital simulacra stem from binary language. They are made of pure computer code that can transform the image into a sum of data.Therefore, will the digital simulacra change our relationship to images? How do these digital sham images induce a new perception of artistic performances where subjectivity and its contributions are the prime factors?We are confronted with these digital simulacra of images after millennia of imagery that relate from ontology and that maintain a significant link with reality. The viewer, having the need to project himself into something that borrows from his nature and that questions his aspirations, his feelings as well as his beliefs, expects from the digital simulation the same capacity for incarnation and transfiguration that he experiences from others means of expression.Confronting and intertwining the traditional and the contemporary, this research analyses the sensitive eloquence of digital simulacra and how they face the challenge of real life, through film and in visual arts over the decade 2000-2010, based on the concepts of presence, representation and simulation.How do the various uses of digital technology force us to update the cultural and aesthetic codes that we inherited from Art history? Thus, this research attempts to understand the substance and the meaning of the digital pretence of life, which combines the synthetic intangible with an ontological argument.