Dans le domaine aéronautique, la détection des défauts sur structures composites se fait lors des phases de maintenance. Celles-ci sont prévues de manière à détecter les défauts avant que ceux-ci ne deviennent critiques pour la tenue des structures en service. L’optimisation des intervalles de maintenance représente donc un fort intérêt que ce soit au niveau financier ou opérationnel. Les dommages des structures composites sont aujourd’hui traités par la non-propagation des défauts : lorsque ceux-ci apparaissent et qu’ils sont détectés, les pièces sont immédiatement réparées ou remplacées. Afin d’améliorer ces intervalles de maintenance, le comportement des défauts soumis aux spectres de charges aéronautique nécessite d’être caractérisé. Cela permettrait une transition vers une philosophie de tolérance aux dommages, en définissant des phases de propagation non-critique pour la tenue mécanique des structures. Dans ce contexte, la propagation de délaminage est étudiée sous chargement de fatigue. En mode I de propagation, les effets de la fréquence de sollicitation et du rapport de charge sur la propagation de délaminage en fatigue sont déterminés. Ceux-ci amorcent l’étude de la propagation de délaminage sous spectre de charges à niveau variable. Les effets de l’historique de chargement sont mis en évidence. En mode II de propagation, les effets de la fréquence de sollicitation sur la propagation de délaminage sont abordés pour quatre matériaux à l’aide d’un montage d’essais vibratoires dédié. Une analyse thermique des essais est également conduite. De plus, les effets du rapport de charge sont déterminés pour ce mode de propagation.

Depuis de nombreuses années, le givrage a été identifié comme un danger dans le domaine de l’aéronautique. L’accrétion de givre se produit lorsque des gouttelettes d’eau surfondue se déposent sur une surface, en particulier le bord d’attaque d’une aile ou la lèvre d’entrée d’air moteur, et gèlent après l’impact. Ceci peut ensuite engendrer une dégradation des performances aérodynamiques, un dysfonctionnement des sondes ou encore un endommagement du moteur. C’est pourquoi cette problématique est étudiée avec attention. Les essais en vol et en soufflerie étant longs et coûteux, la simulation numérique de l’accrétion de givre est devenue un outil nécessaire dans le processus de conception et de certification des avions. Cette thèse s’inscrit dans le contexte de la modélisation 3D de l’accrétion de givre, et plus particulièrement des couches limites dynamique et thermique qui se développent autour du corps givré. Les outils numériques devant être rapides et robustes, l’approche proposée dans cette thèse pour le calcul aérodynamique est une méthode couplée Euler/couche limite intégrale. Ainsi, un modèle intégral est développé pour représenter le développement de la couche limite dynamique. La partie thermique est modélisée soit par une méthode simplifiée basée sur des approches algébriques, soit par une méthode intégrale. Cette modélisation des couches limites dynamique et thermique est valable sur paroi lisse ou rugueuse et permet de fournir notamment le coefficient de frottement et le coefficient d’échange thermique qui sont nécessaires pour un calcul d’accrétion de givre. Les équations intégrales de couche limite, associées à leurs relations de fermeture, sont ensuite résolues par une méthode Volumes-Finis sur maillage surfacique non structuré, qui est bien adaptée pour les géométries complexes. De plus, des traitements numériques spécifiques sont mis en œuvre pour améliorer la précision de la méthode au voisinage du point d’arrêt et pour rendre le code robuste au passage du décollement. Après la validation de la méthode de couche limite, le code est utilisé dans les chaînes de givrage 2D et 3D de l’ONERA pour des applications d’accrétion de givre. Ceci permet de montrer l’intérêt de la méthode en termes de robustesse et de précision par rapport aux codes de couche limite habituellement utilisés dans les codes de givrage actuels.

La sûreté de fonctionnement occupe une place prépondérante dans la conception de systèmes critiques, puisqu'un dysfonctionnement peut être dangereux pour les utilisateurs ou l'environnement. Les concepteurs doivent également démontrer aux autorités de certification que les risques encourus sont acceptables. Pour cela, le concepteurs définissent une architecture contenant un ensemble de mécanismes de sûreté permettant de mitiger ou tout du moins limiter la probabilité d’occurrence des risques identifiés. L'objectif de ce travail est de développer une méthode automatique et générique de synthèse d’architecture assurant formellement le respect d’exigences de sûreté. Cette activité de synthèse est formalisée comme un problème d'exploration de l'espace des architectures c'est-à-dire trouver un candidat appartenant à un espace de recherche fini, respectant les exigences de sûreté. Ainsi nous proposons un processus de résolution complet et correct des problèmes d'exploration basé sur l'utilisation des solveurs SMT. Les contributions principales sont: 1- La formalisation de la synthèse comme un problème de Satisfiabilité Modulo Théorie (SMT) afin d’utiliser les solveurs existants pour générer automatiquement une solution assurant formellement le respect des exigences; 2- Le développement de méthodes d’analyse spécialement conçues pour évaluer efficacement la conformité d’une architecture vis-à-vis d’un ensemble d’exigences; 3- La définition d'un langage KCR permettant de formuler les problèmes d'exploration et l'implantation des méthodes de résolution au sein de l'outil KCR Analyser.

La réduction des émissions polluantes et l'amélioration des performances des turboréacteurs nécessitent une connaissance détaillée des phénomènes physiques mis en jeu dans une chambre de combustion. L'atomisation du carburant résulte du cisaillement engendré par un fort écoulement d'air généré dans l'injecteur. La simulation numérique directe d'écoulements avec interface permet de simuler l'ensemble du processus d'atomisation. L'utilisation de maillages Cartésiens permet la réalisation de calculs HPC efficaces et précis. Mais, une des complexités de l'atomisation vient d'une interaction forte entre le comportement de la nappe liquide et l'écoulement gazeux dans les conduites de l'injecteur, rendant impératif la simulation de l'injecteur complet. Ceci étant impossible avec des maillages Cartésiens structurés, l'objectif de cette thèse est de développer une méthode d'interface immergée permettant l'inclusion d'objets solides dans un domaine de calcul, indépendamment du maillage, afin de réaliser des DNS du système d'injection complet. Les équations de Navier-Stokes incompressibles diphasiques sont résolues à l'aide d'un algorithme de projection, l'interface liquide-gaz étant transportée avec une méthode CLSVOF conservative en masse et quantité de mouvement. La présence du solide est prise en compte grâce à la méthode d'interface immergée. Cette méthode a été appliquée à la simulation numérique de nappes liquides cisaillées pour une configuration d'injecteur utilisée en essais à l'ONERA et a permis une meilleure prédiction de la fréquence de battement de la nappe.

Dans cette thèse, nous proposons de construire de meilleurs modèles Processus Gaussiens (GPs) en intégrant les connaissances antérieures avec des données expérimentales. En raison du coût élevé de l’exécution d’expériences sur les systèmes physiques, les modèles numériques deviennent un moyen évident de concevoir des systèmes physiques. Traditionnellement, ces modèles ont été construits expérimentalement et itérativement ; une méthode plus rentable de construction de modèles consiste à utiliser des algorithmes d’apprentissage automatique. Nous démontrons comment créer des modèles en intégrant une connaissance antérieure en modifiant les fonctions de covariance. Nous proposons des modèles GP pour différents phénomènes physiques en mécanique des fluides. De même, les lois physiques entre plusieurs sorties peuvent être appliquées en manipulant les fonctions de covariance. Pour chaque application, nous comparons le modèle proposé avec le modèle de l’état de l’art et démontrons les gains de coût ou de performance obtenus.

Dans le cadre des systèmes de positionnement par satellite GNSS (« Global Navigation Satellite Systems »), l’intégrité de la navigation d’un utilisateur est gérée en réception par la détection, l’identification voire l’exclusion de mesures de pseudo-distance jugées erronées. Généralement basés sur le concept a posteriori RAIM (« Receiver Autonomous Integrity Monitoring »), les algorithmes de contrôle autonome d’intégrité fournissent de hautes performances pour l’aviation civile, dont le contexte de navigation est caractérisé par une forte visibilité des satellites et peu de signaux parasites captés par l’antenne réceptrice. L’algorithme WLSR RAIM est communément utilisé dans ce cadre. Néanmoins, les techniques RAIM ne sont pas compatibles avec la navigation terrestre en milieu contraint. En effet, le contexte urbain est notamment caractérisé par un masquage récurrent des signaux satellitaires directs ainsi que la réception de multi-trajets générés par l’environnement proche du récepteur. RAIM ne prend pas en compte l’ensemble des données disponibles en réception, dégradant ainsi fortement ses performances. Il est donc nécessaire de développer des méthodes de contrôle d’intégrité compatibles avec un tel contexte de navigation. Pour cela, la thèse propose d’étudier l’apport d’informations GNSS a priori non utilisées par les techniques RAIM. Deux paramètres principaux ont été exploités : le signal GNSS brut reçu et les estimations de directions d’arrivée des signaux satellitaires DOA (« Direction Of Arrival »). La première étape a consisté à implémenter une méthode a priori qui évalue la cohérence du positionnement estimé par rapport au signal brut directement reçu. Cette méthode a été nommée Direct-RAIM (D-RAIM) et a démontré une forte sensibilité de détection, permettant d’anticiper d’éventuels risques sur la navigation et de caractériser plus finement la qualité de l’environnement proche du récepteur. Toutefois, le caractère a priori de l’approche engendre de potentielles non détection d’erreurs en cas de modèle de signal défectueux. Afin de contourner cette limitation, un couplage WLSR RAIM – D-RAIM a été développé, nommé Hybrid-RAIM (H-RAIM). Une telle approche permet de combiner robustesse et sensibilité apportées par ces techniques respectives. Le second axe de recherche a mis en évidence la contribution de l’information des DOA dans un contrôle autonome d’intégrité. L’intégration d’un réseau d’antennes en réception permet d’obtenir l’estimation des DOA pour l’ensemble de la constellation visible. Théoriquement, l’évolution jointe des DOA est directement liée à l’attitude du réseau. Cet aspect permet donc de détecter toute incohérence sur une ou plusieurs voies en cas d’estimation(s) de DOA biaisée(s), par rapport à l’ensemble de la constellation. L’algorithme RANSAC (« RANdom SAmple Consensus») a été utilisé afin de détecter tout comportement aberrant dans l’estimation des DOA, et ainsi mesurer la confiance que l’utilisateur peut placer dans chaque voie. L’algorithme WLSR RAIM RANSAC a ainsi été implémenté. L’intégration de la composante DOA permet d’ajouter un degré de liberté dans le contrôle autonome d’intégrité côté récepteur et ainsi d’affiner la détection voire l’exclusion d’erreurs. Au cours de cette thèse, un récepteur logiciel a été implémenté, permettant de traiter des signaux Galileo, de la génération du signal jusqu’au positionnement puis au contrôle d’intégrité. Ce récepteur a pu être évalué à partir de données simulées en environnement urbain.

La viabilité des systèmes de travail complexes repose en partie sur la capacité des opérateurs à y gérer des tâches concurrentes en fonction de leurs priorités respectives. Il s'agit là d'un processus critique qui, lorsqu'il est défaillant, peut amener à des erreurs de négligence ou de persévération sur certaines opérations. Les modèles actuels de la priorisation humaine présentent de nombreuses limites : ils sont souvent normatifs et ne rendent pas suffisamment compte de la façon dont les opérateurs utilisent effectivement l'information disponible dans l'environnement pour le calcul des priorités. Leur faible pouvoir descriptif ne permet pas réellement de comprendre les mécanismes cognitifs contributifs de l'erreur, spécialement dans des situations de surcharge mentale. Cette thèse, en adoptant l'approche de l'ergonomie cognitive, se donne pour objectif de mieux comprendre et décrire ces processus. Trois expérimentations fondamentales ont été menées, qui toutes mettaient les participants aux prises avec des situations de double-tâche, où divers attributs (difficulté, importance, marge d'erreur) des tâches étaient manipulés. Ces tâches reproduisaient des sollicitations des environnements complexes, comme la mémorisation, la surveillance, ou encore le diagnostic sous incertitude. L'ensemble des résultats souligne l'importance de la priorisation dans la bonne tenue des systèmes complexes, et suggère une sensibilisation accrue des opérateurs à ces phénomènes lors de leur formation, ainsi qu'une réflexion à plus long terme sur la présentation de l'information dans le contexte des interfaces homme-machine.

Une méthode innovante pour simuler des interactions fluide-structure complexes tout en gardant un bon compromis temps de calcul/précision est présenté.Pour réduire le temps de simulation des modèles d’ordre réduits sont utilisés au lieu des modèles complets aussi bien pour les modèles structuraux que pour les modèles aérodynamiques. Un des challenges de base était d'utiliser des modèles industrielles hautes fidélités. La technique de condensation dynamique est utilisée pour réduire la taille du modèle éléments finis structures et la décomposition aux valeurs propres est utilisé sur une base de données aérodynamiques construite à partir de simulations CFD.Les non-linéarités structurelles sont réintroduites à posteriori.Une comparaison poussée des méthodes classique d'interpolation comme des méthodes de spline, d’interpolation sur des Manifold de Grassmann avec des méthodes innovantes d'apprentissage statistiques a été amené.Afin de valider complètement la méthodologie développée, une maquette expérimentale visant à imiter le comportement du carénage au sol avant le décollage a été conçue.Ce cas a pu être assimilé à une plaque avec des raideurs de liaisons dans une couche de mélange.La validation de cette méthode est réalisée en comparant les résultats des simulations numériques avec les données enregistrées pendant des essaies en soufflerie. On pourra ainsi comparer aussi bien des champs que des mesures locales. L'ensemble des essais a permis d'améliorer la compréhension de ce phénomène vibratoire qui mène à des problèmes récurrents de fatigue dans cette sous structures.Cette méthode est enfin appliquée à une structure aéronautique: les carénages de volet hypersustentateur

L’hydrogène liquide est un ergol utilisé en complément de l’oxygène liquide pour la propulsion de nombreux lanceurs en particulier ceux de la famille Ariane. Cependant, sa dangerosité interdit la réalisation d’essais, en particulier vibratoires, sur des réservoirs remplis. Cette thèse explore une piste d’étude permettant de réaliser ces essais vibratoires sur le réservoir rempli d’un matériau de substitution : un ensemble de billes pré-contraintes. L’objectif est d’obtenir un comportement modal similaire en termes de modes et de fréquences propres à celui du réservoir rempli d’hydrogène liquide pour l’étude des premiers modes. Pour répondre à cet objectif, cette étude est développée en deux parties. Dans la première partie, une approche analytique basée sur une méthode par équivalences fréquentielles est détaillée. Après avoir présenté les grandes lignes de la méthodologie utilisée et l’ensemble des modèles développés, la méthodologie est appliquée au cas étudié expérimentalement de manière à mettre en évidence l’influence des différents paramètres et de proposer une première méthode pour choisir un jeu de billes adapté. La seconde partie, traite principalement des aspects expérimentaux et numériques. Après avoir détaillé la caractérisation des billes utilisées, le montage expérimental conçu et réalisé pour effectuer des essais vibratoires sur un réservoir rempli de billes pré-contraintes est présenté. Les différents résultats obtenus avec ce montage sont étudiés au regard de l’approche analytique, mais aussi de modèles numériques utilisant des éléments-discrets et des éléments-finis.

L’environnement radiatif spatial est particulièrement critique pour la fiabilité des circuits intégrés et systèmes électroniques embarqués. Cet environnement chargé en particules énergétiques (proton, électron, ions lourds, etc) peut conduire à des pannes transitoires (SET), ou permanentes (SEU) et dans certains cas destructives (type Latchup, SEL) dans les dispositifs embarqués. L'effet d'une seule particule est identifié comme un événement singulier (SEE). Les contraintes imposées par l'intégration technologique poussent les fabricants micro-électroniques à prendre en considération la vulnérabilité de leurs composants vis-à-vis du Latchup tout en considérant les phénomènes non destructifs tels que la corruption de données (SEU/MBU). Cette thèse est le fruit d'une collaboration entre l'ONERA et Sofradir, fabriquant électronique d'imageurs infrarouge. L'objectif de cette thèse est d'étudier les effets singuliers (SET/SEU/SEL) de la technologie CMOS utilisée par Sofradir dans des conditions de températures cryogéniques, et plus particulièrement l'effet Latchup.