Ecole Nationale de l'Aviation Civile
Toutes les publications de l'ENAC en direct.
All ENAC publications.
La croissance du trafic aérien engendre des congestions et des retards des vols, tant dans les aéroports que dans les espaces aériens environnants. En fait, les aéroports sont limités en termes de capacité et représentent les principaux goulots d'étranglement du système de gestion du trafic aérien. Une planification et un contrôle efficaces sont essentiels pour améliorer l'efficacité des opérations aéroportuaires et réduire les retards des vols. Dans des recherches antérieures, plusieurs sous-problèmes liés aux opérations aéroportuaires ont déjà été examinés séparément, tels que le séquencement de pistes, les mouvements au sol, la gestion de l'espace aérien terminal, dite...
In this work, we show a construction of a Hessian foliation on a statistical manifold. Our results provide conditions, under which the compacts hessian leaves (up to diffeomorphism) are quotients of homogeneous convex cones.
The implementation of wind turbines close to VHF Omnidirectional Range (VOR) systems is an important concern for civil aviation. The wind turbines constitute a source of multipath that can yield bearing errors in the azimuth estimated by aircraft receivers. In the literature, the bearing error is computed from the multipath characteristics by means of the analytic expression proposed by Odunaiya and Quinet. In this PhD thesis, we have developed a digital IQ receiver model which can reproduce the response of a VOR receiver when the multipath change in time along a realistic aircraft trajectory. In Chapter 1, the basic principle of the Conventional VOR (CVOR) and Doppler...
Dans le contexte d'une augmentation soutenue du trafic aérien et d'une faible marge d'expansion des capacités aéroportuaires, la pression s'accroît sur les aéroports les plus fréquentés pour une utilisation optimale de leur infrastructure, telle que les pistes, reconnues comme le goulot d'étranglement des opérations aériennes. De ce besoin opérationnel est né le problème d'ordonnancement des atterrissages d'avions, consistant à trouver pour les avions se présentant à un aéroport la séquence et les heures d'atterrissage optimales par rapport à certains critères (utilisation des pistes, coût total des retards, etc) tout en respectant des contraintes opérationnelles et de...
The continued increase of air traffic, which doubles every 15 years, produces large economic benefits but poses environmental issues that put at risk the sustainable development of air transport. Other factors such as jet fuel prices volatility, the introduction of new environmental regulations and intense competition in the airline industry, have stimulated in the last years research on trajectory optimization and flight efficiency topics. The Flight Management System (FMS) is an onboard avionic system, standard in all transport aircraft, which is used by flight crews to manage the lateral and vertical flight-plan. Since current avionic systems are limited in terms of...
Les systèmes critiques, particulièrement aéronautiques, contiennent de nouveaux dispositifs hautement interactifs. Dans ce contexte, les processus de certification décrits dans la DO-178C offrent une place importante à la vérification formelle des exigences de ces systèmes. Cependant, il est difficile avec les méthodes formelles actuelles de vérifier le respect des exigences concernant les éléments graphiques d'une interface telles que la couleur, la superposition, etc. De ce fait, notre objectif est de proposer une approche pour l'expression et la vérification formelle des exigences relatives à la scène graphique des interfaces humain-machine afin de profiter des apports...
Les systèmes critiques, particulièrement aéronautiques, contiennent de nouveaux dispositifs hautement interactifs. Dans ce contexte, les processus de certification décrits dans la DO-178C offrent une place importante à la vérification formelle des exigences de ces systèmes. Cependant, il est difficile avec les méthodes formelles actuelles de vérifier le respect des exigences concernant les éléments graphiques d'une interface telles que la couleur, la superposition, etc. De ce fait, notre objectif est de proposer une approche pour l'expression et la vérification formelle des exigences relatives à la scène graphique des interfaces humain-machine afin de profiter des apports...