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.

Au cours des dernières décennies, l’étude de la dynamique autour des points de Lagrange des systèmes Terre-Lune (EMLi) et Terre-Soleil (SELi) a ouvert de nouvelles possibilités pour les orbites et les transferts spatiaux. Souvent modélisés comme des Problèmes à Trois Corps (CR3BP) distincts, ces deux systèmes ont également été combinés pour produire des trajectoires à faible coût dans le système Terre-Lune-Soleil étendu. Cette approximation (PACR3BP) a permis de mettre en évidence un réseau à faible énergie de trajectoires (LEN) qui relie la Terre, la Lune, EML1,2 et SEL1,2. Cependant, pour chaque trajectoire calculée, le PACR3BP nécessite une connexion arbitraire entre les CR3BPs, ce qui complique son utilisation systématique. Cette thèse vise à mettre en place une modélisation à quatre corps non autonome pour l’étude du LEN basé sur un système Hamiltonien périodique cohérent, le Problème Quasi-Bicirculaire (QBCP). Tout d’abord, la Méthode de Paramétrisation est appliquée afin d’obtenir une représentation semi-analytique des variétés invariantes autour de chaque point de Lagrange. Une recherche systématique de connexions EML1,2-SEL1,2 peut alors être effectuée dans l’espace des paramètres : les conditions initiales sur la variété centrale-instable de EML1,2 sont propagées et les trajectoires résultantes sont projetées sur la variété centrale de SEL1,2 . Un transfert est détecté lorsque la distance de projection est proche de zéro. Les familles de transfert obtenues sont corrigées dans un modèle newtonien haute-fidélité du système solaire. La structure globale des connections est largement préservée et valide l’utilisation du QBCP comme modèle de base du LEN.

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.

L'imagerie laser 3D est une technique performante utilisée notamment pour cartographier l'environnement dans lequel évolue un aéronef, en mesurant la distance le séparant d'un objet, en plus des coordonnées (x,y). Le système est capable d'acquérir des mesures par tout temps (nuit, pluie, brouillard). Une nouvelle génération de capteurs, multi-pixels et ultra-sensibles, permet alors de répondre aux besoins identifiés pour cartographier avec précision une zone de grande superficie : haute résolution spatiale, longue portée avec précision centimétrique et rapidité d'acquisition. Il s'agit des plans focaux 3D Geiger. Avant leur utilisation en aéroporté, il était nécessaire de se familiariser avec leur fonctionnement, basé sur les probabilités de détection. Un simulateur reproduisant l'ensemble de la chaîne d'acquisition à été développé, puis validé sur des cas réels, au sol et en conditions statiques. Il a ensuite permis de démontrer l'intérêt des plans focaux Geiger pour la cartographie aéroportée à longue distance.

Dans les systèmes informatiques temps réel, les tâches logicielles sont contraintes par le temps. Pour garantir la sûreté du système critique controlé par le système temps réel, il est primordial d'estimer de manière sûre le pire temps d'exécution de chaque tâche. Les performances des processeurs actuels du commerce permettent de réduire en moyenne le temps d'exécution des tâches, mais la complexité des composants d'optimisation de la plateforme rendent difficile l'estimation du pire temps d'exécution. Il existe différentes approches d'estimation du pire temps d'exécution, souvent ségréguées et difficilement généralisables ou au prix de modèles coûteux. Les approches probabilistes basées mesures existantes sont vues comme étant rapides et simples à mettre en œuvre, mais souffrent d'un manque de systématisme et de confiance dans les estimations qu'elles fournissent. Les travaux de cette thèse étudient les conditions d'application de la théorie des valeurs extrêmes à une suite de mesures de temps d'exécution pour l'estimation du pire temps d'exécution probabiliste, et ont été implémentées dans l'outil diagxtrm. Les capacités et les limites de l'outil ont été étudiées grâce à diverses suites de mesures issues de systèmes temps réel différents. Enfin, des méthodes sont proposées pour déterminer les conditions de mesure propices à l'application de la théorie des valeurs extrêmes et donner davantage de confiance dans les estimations.

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.

La miniaturisation d’antenne est un défi important, en particulier en bande VHF où les longueurs d’onde sont grandes. Parmi les différentes techniques rencontrées dans la littérature, une approche théorique originale repose sur l’utilisation de la résonance électrostatique de sphères sub-longueur d’onde de permittivité négative (ENG pour Epsilon NeGative). L’implémentation pratique de cette solution en considérant une décharge plasma comme milieu ENG est étudiée dans ces travaux de thèse. Le plasma laisse entrevoir des potentialités intéressantes pour ce type d’antennes miniatures comme la furtivité et la reconfigurabilité en fréquence. Dans un premier temps, différents modèles analytiques sont développés afin étudier le comportement électromagnétique de petites sphères réalistes de plasma. Ces modèles permettent par ailleurs la construction de schémas numériques précis et adaptés aux simulateurs électromagnétiques commerciaux. Dans un second temps, un prototype fonctionnel est méthodiquement conçu. La solution proposée permet l’intégration du système d’excitation de la décharge plasma au sein de l’antenne sans en perturber son fonctionnement nominal. Ce prototype permet la caractérisation des paramètres plasma de la décharge et du comportement électromagnétique du résonateur sphérique à plasma. Enfin, un travail annexe d’intégration de décharges plasma dans des circuits planaires en technologie micro-ruban est présenté. Les conceptions, modélisations et caractérisations expérimentales de ces résonateurs planaires permettent de mettre en évidence les capacités du plasma pour leur accordabilité en fréquence.

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.