Archives Ouvertes HAL

Toutes les publications de l'ENAC en direct.
All ENAC publications.

[hal-02291389] Lower Bound for (Sum) Coloring Problem

Publications ENAC - Vendredi, 20 septembre 2019 - 03:18:21
The Minimum Sum Coloring Problem is a variant of the Graph Vertex Coloring Problem, for which each color has a weight. This paper presents a new way to find a lower bound of this problem, based on a relaxation into an integer partition problem with additional constraints. We improve the lower bound for 18 graphs of standard benchmark DIMACS, and prove the optimal value for 4 graphs by reaching their known upper bound.

[hal-02288638] IATK: An Immersive Analytics Toolkit

Publications ENAC - Mercredi, 18 septembre 2019 - 12:30:00
We introduce IATK, the Immersive Analytics Toolkit, a software package for Unity that allows interactive authoring and exploration of data visualisation in immersive environments. The design of IATK was informed by interdisciplinary expert-collaborations as well as visual analytics applications and iterative refinement over several years. IATK allows for easy assembly of visualisations through a grammar of graphics that a user can configure in a GUI— in addition to a dedicated visualisation API that supports the creation of novel immersive visualisation designs and interactions. IATK is designed with scalability in mind, allowing visualisation and fluid responsive...

[hal-02194727] Les fonctions d'onde externe et interne : une double solution à la Louis de Broglie ?

Publications ENAC - Mercredi, 11 septembre 2019 - 03:18:09
Nous proposons une grille de lecture de la mécanique quantique correspondant aux spécifications de la théorie de la double solution de Louis de Broglie. Le principe est de considérer l’évolution d’un système quantique sous la forme de deux fonctions d’onde : une fonction d’onde externe correspondant à l’évolution de son centre de masse et une fonction d’onde interne correspondant à l’évolution de ses variables internes dans le référentiel du centre de masse. La décomposition mathématique exacte n’est possible que dans certains cas car de nombreuses interactions relient ces deux parties. En outre, ces deux fonctions d’onde vont avoir des sens et des interprétations...

[hal-02280754] Algorithme branch-and-bound pour l’optimisation exacte en norme l0

Publications ENAC - Mardi, 10 septembre 2019 - 03:22:37
Nous proposons une approche d'optimisation globale de critères de moindres carrés pénalisés par la « norme » 0, avec un algorithme de séparation et évaluation progressive (branch-and-bound). Nous construisons une procédure dédiée d'exploration de l'arbre de recherche combinatoire. Nous montrons que chaque noeud parcouru peut être évalué par l'optimisation de problèmes en norme 1 avec des contraintes de borne. Nous construisons alors un algorithme de type active-set pour les résoudre. Notre procédure permet de résoudre des problèmes de taille modérée mais difficiles, et s'avère notamment plus efficace que le solveur générique CPLEX s'appuyant sur une reformulation MIQP (...

[hal-02280789] Piecewise Polynomial Model of the Aerodynamic Coefficients of the Cumulus One Unmanned Aircraft

Publications ENAC - Lundi, 9 septembre 2019 - 19:10:10
This document illustrates a piecewise polynomial model for Cumulus One, based on continuous fluid dynamics simulation, derived using the pwpfit toolbox. The model has been developed in a joint project of Sky-Watch and the University of Aalborg.

[hal-02268355] How neurophysiological measures can be used to enhance the evaluation of remote tower solutions

Publications ENAC - Lundi, 9 septembre 2019 - 16:21:56
New solutions in operational environments are often, among objective measurements, evaluated by using subjective assessment and judgement from experts. Anyhow, it has been demonstrated that subjective measures suffer from poor resolution due to a high intra and inter operator variability. Also, performance measures, if available, could provide just partial information, since an operator could achieve the same performance but experiencing a different workload. In this study we aimed to demonstrate i) the higher resolution of neurophysiological measures in comparison to subjective ones, and ii) how the simultaneous employment of neurophysiological measures and behavioural...

[hal-02056897] Geometry of tangent and cotangent bundles on statistical manifolds

Publications ENAC - Mercredi, 4 septembre 2019 - 03:22:51
This note surveys some results on the geometric structure on the tangent bundle and cotangent bundle of statistical manifolds. We also study the completeness of the tangent bundle with respect to the Sasaki metrics induced from the statistical structures.

[tel-02169432] From surface to surface -Transformations de surface tactile pour l'interaction incarnée dans le cockpit

Publications ENAC - Mercredi, 4 septembre 2019 - 03:18:06
The "surface" in interactive touch systems is both the support of touch and im- age. While over time touch surfaces have been transformed in their thicknesses, shapes or stiffness, the interaction modality is still limited, as on the first de- vices, to a simple contact of the finger with the screen in a gesture that pretends to manipulate what is displayed. The sense of touch, even for touch devices in- stalled in critical systems, such as in the aeronautics or automotive fields, re- mains mainly used as an extension of vision, to point and control. While the theories of the phenomenology of perception, ecological perception and tangible and embodied...

[tel-02276819] Ballstering : un algorithme de clustering dédié à de grands échantillons

Publications ENAC - Mardi, 3 septembre 2019 - 13:29:41
Ballstering appartient à la famille des méthodes de machine learning qui ont pour but de regrouper en classes les éléments formant la base de données étudiée et ce sans connaissance au préalable des classes qu'elle contient. Ce type de méthodes, dont le représentant le plus connu est k-means, se rassemblent sous le terme de "partitionnement de données" ou "clustering". Récemment un algorithme de partitionnement "Fast Density Peak Clustering" (FDPC) paru dans le journal Science a suscité un intérêt certain au sein de la communauté scientifique pour son aspect innovant et son efficacité sur des données distribuées en groupes non-concentriques...

[tel-02276118] Système multi-agents pour l'auto-structuration du trafic aérien

Publications ENAC - Lundi, 2 septembre 2019 - 18:08:54
La gestion des flux de trafic aérien (ATFM) cherche à structurer le trafic de manière à réduire la congestion dans l'espace aérien. La congestion étant causée par les avions volant dans les mêmes portions de l'espace aérien en même temps, l'ATFM organise le trafic dans les dimensions spatiales (ex. le réseau de routes) et dans la dimension temporelle (ex. séquencement et fusion de flux d'avions atterrissant ou décollant aux aéroports). L'objectif de cette thèse est de développer une méthodologie qui permet au trafic aérien de s'auto-structurer dans les dimensions spatiales et temporelle quand la demande est élevée. Cette structuration disparait quand la demande diminue....
Back to top