directeur de thèse co- directrice de thèseRésumé L'utilisation combinée du test et de la preuve est rendue difficile par l'absence d'une notion de couverture commune. Cette couverture est nécessaire pour rendre compte de la qualité de la vérification effectuée
ED 039 (EDMI) -Mathématiques et Informatique Université de Bordeaux Titre de la thèseRésumé Cette thèse vise à développer et évaluer la méthode de Galerkin discontinue (DG) pour la simulation des grandes échelles) (LES des écoulements turbulents. L'approche DG présente un nombre d'avantages intéressants pour la: LES ordre élevé, stencil compact, prise en compte des maillages non structurés et expression de la solution numérique dans une base de polynômes permettant l'utilisation de modèles de turbulence multi-échelle
Frédéric DEHAIS (ISAE) -Directeur de thèseRésumé L'analyse d'incidents aéronautiques et d'expériences en laboratoire a montré que la tunnélisation attentionnelle amène les pilotes à négliger des alarmes critiques. Une piste intéressante pour répondre à ce problème s'appuie sur les systèmes adaptatifs qui pourraient assister l'opérateur en temps réel (en changeant le comportement du pilote automatique par exemple
Toulouse,) directeur de thèseRésumé En aérospatial, les contraintes de masse ont conduit à utiliser des structures plus légères et par conséquent plus souples, induisant de nouveaux objectifs de commande, comme la réduction des efforts structuraux. Pour satisfaire ces objectifs, les modes de flexion doivent être considérés dèsla synthèse de la loi de commande, ce qui entraîne certaines contraintes comme les non linéarités, le sous actionnement et l'altération des mesures par les modes souples
Directeur de Recherche- ONERA (Directeur de thèse) Résumé Cette thèse s'inscrit dans domaine de l'automatique. et a pour but de fournir des outils utiles à l'atterrissage en mer d'hélicoptères (sur navire ou plateforme) et employés dans cadre de un potentiel pilotage automatique
Mines ParisTech Rapporteur Rapporteur Examinateur Examinateur Examinateur Encadrante Directeur de thèseRésumé Dans un composite stratifié. l'essentiel de la rigidité et de la résistance est donné par les fibres
Caen Normandie, détaché à Safran Rapporteur Rapporteur Examinateur Examinatrice Encadrant Directeur de thèseRésumé: L'apprentissage incrémental propose un nouveau paradigme d'apprentissage pour les réseaux de neurones artificiels. Il vise à développer des systèmes capables d'enrichir leurs connaissances et leurs compétences après la phase d'entraînement initiale
ONERA, directrice de thèseRésumé. Les processeurs COTS multi coeurs, par nature parallèles, améliorent généralement les performances de calcul mais au prix d'un grand manque de prédictibilité, au sens où calculer les pires temps d'exécution est un problème complexe
René LEVADOUX David Université de Liège Université de Pau et des Pays de l'Adour INRIA DGA École Centrale de Nantes Institut National Polytechnique de Toulouse Institut National Polytechnique de Toulouse ONERA Rapporteur Rapporteur Examinateur Examinateur Examinateur Examinatrice Directeur de thèse Directeur de thèseRésumé La résolution de problèmes de diffraction d'ondes en régime harmonique par des méthodes intégrales de frontière conduit à des systèmes linéaires pleins dont le stockage et la résolution efficaces sont encore des sujets d'actualité malgré les avancées significatives apportées par les méthodes FMM (Fast Multipole Method) et Hmatrix
ED 447 (EDX) -Polytechnique- X Palaiseau Titre de la thèseRésumé Un composant optique modifie l'amplitude, la phase ou la polarisation d'une onde électromagnétique incidente. Cette thèse consiste à développer des composants optiques pour l'infrarouge à base de nanostructures sub-longueur d'onde