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.

Dans le contexte des avions plus électriques, le potentiel de récupération d'énergie de ventilateurs de refroidissement embarqués est étudié. Ces compresseurs conventionnels, utilisés uniquement au sol, fonctionnent en autorotation libre en vol. Dans cette dernière configuration, appliquer un couple donné sur l'arbre permet de récupérer de l'énergie électrique, le ventilateur fonctionne alors en autorotation chargée (mode turbine). Cependant, ces géométries conventionnelles obtiennent de faibles rendements turbine, causés par des incidences fortement négatives conduisant à des décollements massifs. Il est alors nécessaire de concevoir une machine axiale réversible capable de fonctionner de manière duale en mode compresseur et turbine, avec une performance élevée dans les deux cas. Ce nouveau concept permet de capitaliser l’équipement tout au long de la mission. Dans cette étude, l'adéquation de l'approche quatre-quadrants et du formalisme psi-phi à propos du mode dual de turbomachines est soulignée, au détriment des représentations classiques séparant les performances compresseur et turbine. Une analyse du fonctionnement du mode compresseur à l'autorotation chargée a permis de mettre en évidence les propriétés génériques des écoulements d'autorotation ainsi que ce qui fait la spécificité des machines duales. Les mécanismes de l’écoulement et les paramètres géométriques impactant la performance le long de la ligne de fonctionnement ont également été identifiés. Le concept de machine duale est validé grâce aux grands rendements obtenus en essais. Enfin, une géométrie optimisée est proposée et des recommandations liées au design de machines duales sont données.

Depuis le début de l’ère spatiale avec le lancement du satellite Spoutnik 1 en 1957, les ceintures de radiation terrestres n’ont cessé de faire l’objet d’études du fait de leur dangerosité pour les satellites mais aussi pour l’être humain. En effet, lors d’une forte activité solaire, l’injection de particules dans cet environnement radiatif peut induire des flux jusqu’à 1000 fois plus élevés que par temps calme. Par conséquent, il est important d’en comprendre la physique ainsi que la dynamique au cours de ce que l’on appelle un orage géomagnétique. Dans ce but, le Département Physique Instrumentation Environnement et Espace (DPhIEE) de l’ONERA développe depuis maintenant plus de 20 ans la famille de modèles Salammbô reproduisant de façon robuste et en trois dimensions la dynamique des particules piégées dans ces ceintures. Néanmoins, bien que précis au-delà d’environ 100 keV, la physique et les hypothèses prises en compte dans ce modèle restent insuffisantes en deçà. En effet, aux basses énergies, les ceintures de radiation ne peuvent plus être considérées comme homogènes autour de la Terre. L’objectif de cette thèse a donc été de prendre en compte une quatrième dimension, le temps magnétique local (MLT), afin de mieux reproduire l’évolution des structures fines lors d’un orage géomagnétique. La première partie s’est portée sur l’optimisation du schéma numérique. L’ajout d’une quatrième dimension induit, via l’apparition d’un terme d’advection, une forte diffusion numérique qu’il convient de limiter, tout en tenant compte du temps de calcul. L’équation statistique implémentée a alors été discrétisée selon un schéma de type Beam-Warming du second ordre couplé à un limiteur Superbee, garantissant une propagation satisfaisante de la distribution initiale. Une fois les problèmes numériques maitrisés, les différents mécanismes physiques pilotant la dynamique des particules piégées ont été implémentés dans le code, avec une attention toute particulière sur la dépendance en MLT de l’interaction onde-particule. La prise en compte des champs électriques magnétosphériques fut également nécessaire. En effet, ils constituent l’un des moteurs principaux du mouvement des particules de basses énergies. Le modèle Salammbô 4D a ensuite été validé par comparaison avec le modèle 3D déjà existant sur une simulation de l’orage magnétique de Mars 2015. Les résultats ont montré une bonne restitution de la dynamique des ceintures de radiation, avec en plus l’accès à la phase principale de l’orage. Cet évènement a ensuite été modélisé à plus basse énergie pour constater la dynamique asymétrique des électrons piégés avec le rôle prépondérant du champ électrique de convection. La comparaison avec les données du satellite THEMIS a montré une bonne modélisation des différents processus physiques, notamment celui de « dropout » par traversée de la magnétopause. Enfin, la mise en place d’une condition limite dynamique modulée par les paramètres du vent solaire et dépendante du MLT ouvre de nombreuses perspectives.

La complexité et le besoin en bande passante des architectures de communication avionique ne cessent de croitre avec le nombre des calculateurs et l’expansion des données échangées. La technologie AFDX a été introduite pour offrir des communications haut débit (100Mbps) pour les avions de nouvelle génération. Cependant, ce réseau commuté est déployé de manière entièrement redondante, ce qui conduit à des quantités importantes de câbles, augmentant le poids et les coûts d’intégration. Pour faire face à ces problèmes, on propose dans cette thèse l’intégration d’un réseau Ethernet en anneau comme une solution principale pour diminuer le poids et la complexité liés au câblage. Dans ce contexte, notre objectif est de concevoir et valider un nouveau réseau de communication avionique, AeroRing, basé sur de l’Ethernet Gigabit avec une topologie anneau.

Cette thèse étudie des méthodes de conception aérodynamique pour les avions de ligne de demain. A l'heure actuelle, les avions de ligne sont en général conçus de manière à ce que les moteurs, conçus séparément du reste de l'aéronef, n'interagissent que très peu avec la cellule de l'avion (la voilure, le fuselage,...). Pour diminuer la consommation de carburant, de nouveaux concepts comme l'ingestion de couche limite émergent, dans lesquels l'avion est conçu pour tirer profit des interactions aérodynamiques qui peuvent s'établir entre le moteur et la cellule de l'avion sur certaines configurations. Il devient alors nécessaire de simuler ces interactions pour s'assurer que le bénéfice pour l'avion en termes de consommation de carburant est réel. La méthode développée dans cette thèse a pour objectif de rendre possible la simulation de ces interactions, à un coût de calcul qui reste acceptable. La soufflante, qui est l'élément du moteur le plus à même d'interagir avec l'avion, est modélisée à l'aide d'un champ de force qui reproduit son aspiration de l'écoulement d'air. Cette approche permet de reproduire les interactions aérodynamiques entre l'avion et ses moteurs à un coût 50 fois inférieur à celui d'une simulation complète du moteur et de l'avion, ce qui permettra en pratique d'optimiser les lignes aérodynamiques des futurs avions.

L’objectif de cette thèse est de contrôler passivement une instabilité dynamique appliquée au flottement d’un profil aéroélastique à l’aide de différents types d’Amortisseurs à Masse Accordés (AMA). Un profil 2D appelé Section Typique est utilisé tout au long de l’étude. En première partie, une étude comparative de trois modèles mathématiques d’interaction fluide/structure appliqués à la Section Typique (Theodorsen, LUVLM et UVLM) met en valeur les forces et faiblesses de chacun. Le banc d’essai aéroélastique en soufflerie, utilisé par la suite, est présenté puis identifié avec et sans vent (GVT). En deuxième partie, les calculs des vitesses critiques de Divergence, d’Inversion des Gouvernes et de Flottement sont automatisés avec le modèle Theodorsen afin de réaliser une étude paramétrique du banc d’essai et mettre en lumière les variables de conception les plus influentes. L’analyse modale présente différentes bifurcations liées au changement soudain du mode instable. Ensuite, le même algorithme est utilisé afin d’analyser la suppression du flottement à l’aide de trois géométries d’AMAs linéaires. La dernière partie présente l’étude expérimentale et numérique d’un AMA non linéaire de type Nonlinear Energy Sink (NES). La singularité de cette configuration est d’utiliser le volet en tant qu’amortisseur et ainsi, ne pas ajouter de masse (FSI-VA). En soufflerie, six comportements non linéaires sous-critiques (en deçà de la vitesse de flottement dans la configuration linéaire) sont observés, identifiés et analysés : cinq Cycles Limites d’Oscillations (LCO) et un battement non linéaire chaotique.

L’analyse de compromis d’un modèle système a pour but de minimiser ou de maximiser différents objectifs tels que le coût ou les performances. Les méthodes actuelles de type OOSEM avec SysML ou ARCADIA sont basées sur la classification ; il s’agit de définir les différentes variantes de l’architecture d’un système de base puis d’analyser ces variantes. Dans ces approches, les choix d’architecture sont contraints : la plateforme d’exécution et la topologie sont déjà figées. Nous proposons la notion de « points de décision » pour modéliser les différents choix du système, en utilisant de nouveaux stéréotypes. L’avantage est d’avoir une modélisation plus « compacte » des différentes variantes et de piloter l’exploration des variantes en utilisant des contraintes. Lorsque le concepteur définit l’architecture du système, des points de décisions sont insérés dans le modèle du système. Ils permettent de modéliser la redondance ou le choix d’une instance pour un composant, les variations des attributs d’un composant, ou l’allocation des activités sur les blocs. Les fonctions objectifs sont définies dans un contexte d’optimisation à l’aide du diagramme paramétrique de SysML. Nous proposons des transformations du modèle SysML vers un problème de satisfaction de contraintes pour l’optimisation (CSMOP) dont la résolution nous permet d’obtenir l’ensemble des architectures optimales. Cette transformation est implantée dans un démonstrateur (plug-in Eclipse) permettant une utilisation conjointe de l’outil Papyrus et de solveurs, disponibles sous forme de logiciels libres. La méthode est illustrée avec des cas d’étude constitués d’une caméra stéréoscopique puis d’un drone, l’ensemble étant modélisé avec Papyrus.

Dans cette thèse, nous étudions l’adéquation de l’architecture distribuée des processeurs pluricoeurs avec les besoins des concepteurs de systèmes temps réels avioniques. Nous proposons d’abord une analyse détaillée d’un processeur sur étagère (COTS), le KALRAY MPPA®-256, et nous identifions certaines de ses ressources partagées comme étant les goulots d’étranglement limitant à la fois la performance et la prédictibilité lorsque plusieurs applications s’exécutent. Pour limiter l’impact de ces ressources sur les WCETs, nous définissons formellement un modèle d’exécution isolant temporellement les applications concurrentes. Son implantation est réalisée au sein d’un hyperviseur offrant à chaque application un environnement d’exécution isolé et assurant le respect des comportements attendus en ligne. Sur cette base, nous formalisons la notion de partition comme l’association d’une application avec un budget de ressources matérielles. Dans notre approche, les applications s’exécutant au sein d’une partition sont garanties d’être temporellement isolées des autres applications. Ainsi, étant donné une application et son budget associé, nous proposons d’utiliser la programmation par contraintes pour vérifier automatiquement si les ressources allouées à l’application sont suffisantes pour permettre son exécution de manière satisfaisante. Dans le même temps, dans le cas où un budget est effectivement valide, notre approche fournit un ordonnancement et un placement complet de l’application sur le sous-ensemble des ressources du processeur allouées à sa partition.