Au cours des dernieres decennies, la demande de trafic au niveau des aeroports a augmente regulierement a tel point que le trafic au sol est devenu critique pour la securite et l'efficacite des operations aeroportuaires. Cette these propose une approche a deux niveaux pour l'analyse et l'optimisation du trafic avion au sol sur les aeroports. Elle est divisee en trois parties: - La premiere partie introduit la problematique generale et son environnement - La deuxieme partie traite la gestion a moyen terme du trafic au sol des avions. Une approche globale pour estimer la capacite theorique et la capacite pratique du trafic avion est proposee. Celle-ci met en Suvre une approche d'optimisation du flux dans un reseau qui conduit a la formulation de differents problemes de programmation mathematique - La troisieme partie traite du niveau tactique et une approche adaptative est developpee pour definir les routes et les horaires associes aux mouvement d'arrivee ou de depart des avions. Une approche de resolution operationnelle est alors proposee.

L'objectif majeur de ce travail de thèse était de proposer et d'analyser de nouveaux schémas de codage d'images stéréoscopiques. Ces schémas permettent d'assurer la reconstruction progressive avec la possibilité de restitution exacte de la paire d'images. Dans une première partie, nous avons proposé de nouveaux schémas de codage conjoint de la paire d'images stéréo reposant sur le concept du lifting vectoriel. En ce sens, contrairement aux méthodes classiques, la méthode proposée ne génère aucune image résiduelle mais deux représentations multirésolutions compactes de l'image gauche et l'image droite. De plus, nous avons proposé d'intégrer une méthode récente d'estimation de disparité dans des applications de codage d'images stéréoscopiques. Puis, dans une deuxième partie, nous nous sommes intéressés aux schémas de lifting 2D non séparables tout en nous focalisant sur les aspects d'optimisation des différents filtres mis en jeu. La structure de lifting 2D considérée est composée de trois étapes de prédiction suivies par une étape de mise à jour. Plus précisément, nous avons proposé et analysé une nouvelle méthode pour la conception du filtre de mise à jour. Concernant les filtres de prédiction, nous avons développé de nouveaux critères parcimonieux de types L1.

Les fonctionnelles de Minkowski définissent des mesures topologiques et géométriques d'ensembles, insuffisantes pour la caractérisation, des ensembles différents pouvant avoir les mêmes fonctionnelles. D'autres fonctionnelles de forme, géométriques et morphométriques, sont donc utilisées. Un diagramme de forme, défini grâce à deux fonctionnelles morphométriques, donne une représentation permettant d'étudier les formes d'ensembles. En analyse d'image, ces fonctionnelles et diagrammes sont souvent limités aux images binaires et déterminés de manière globale et mono-échelle. Les Voisinages Adaptatifs Généraux (VAG) simultanément adaptatifs avec les échelles d'analyse, structures spatiales et intensités des images, permettent de pallier ces limites. Une analyse locale, adaptative et multi-échelle des images à tons de gris est proposée sous forme de cartographies des fonctionnelles de forme à VAG.Les VAG, définis en tout point du support spatial d'une image à tons de gris, sont homogènes par rapport à un critère d'analyse représenté dans un modèle vectoriel, suivant une tolérance d'homogénéité. Les fonctionnelles de forme calculées pour chaque VAG de l'image définissent les cartographies des fonctionnelles de forme à VAG. Les histogrammes et diagrammes de ces cartographies donnent des distributions statistiques des formes des structures locales de l'image contrairement aux histogrammes classiques qui donnent une distribution globale des intensités de l'image. L'impact de la variation des critères axiomatiques des VAG est analysé à travers ces cartographies, histogrammes et diagrammes. Des cartographies multi-échelles sont construites, définissant des fonctions de forme à VAG.

Cette thèse a un double objectif ; en effet, dans un premier temps, le but est d'utiliser les outils de l'Automatique moderne(La théorie du contrôle en mathématique) pour résoudre des problèmes liés à la gestion des ressources de la bio-diversité en général, et de manière particulière à la gestion des ressources halieutiques pour ce qui concerne l'estimation des stocks. Nous avons considéré deux modèles de pêches, l'une structurée en stades et l'autre issue des modèles globaux. Nous avons utilisé sur ces deux modèles des techniques mathématiques pour construire des estimateurs d'état appelés Observateurs pour estimer l'état réel des systèmes que nous considérons. Ces techniques sont bien connues dans l'étude des systèmes modélisant les phénomènes physiques, mais rares sont les documents qui font état de l'utilisation des observateurs dans les systèmes modélisant certains écosystèmes telles les populations de poissons. Nous avons ici tenté d'associer la rigueur mathématique dans l'estimation des états des ces systèmes qui sont construits très souvent de manière empirique et complexe. La seconde partie de cette thèse traite des observateurs adaptatifs d'une classe de systèmes dont la sortie est à temps discret. En effet, nous considérons une classe de systèmes pouvant se mettre sous une forme particulière appelée forme adaptative, après une transformation via l'injection de sortie. Nous développons un algorithme récursif permettant d'estimer aussi bien l'état que quelques paramètres du système. La particularité de cette étude des observateurs adaptatifs est liée au fait qu'ici nous avons une sortie discrète, contrairement à ce que nous pourrions rencontrer dans la littérature pour les observateurs adaptatifs. Dans notre approche de ces observateurs adaptatifs continus discrets, nous avons d'abord construit l'estimateur d'état et de paramètres en trouvant un gain constant qui permet la convergence de l'algorithme ; ensuite nous considérons le même problème d'estimations d'état et de paramètres, mais sous un autre angle. Nous avons donc utilisé des techniques de l'excitation persistante pour permettre la convergence de l'algorithme.

Sur plusieurs problèmes il est difficile d'avoir un seul algorithme qui résout optimalement (en temps d'exécution) toutes ses instances. Ce constat motive l'élaboration des approches permettant de combiner plusieurs algorithmes résolvant le même problème. Les approches permettant la combinaison d'algorithmes peuvent être mise en oeuvre au niveau système (en construisant des bibliothèques, des langages et composants adaptatifs etc.) ou au niveau purement algorithmique. Ce travail se focalise sur les approches génériques de combinaison d'algorithmes au niveau algorithmique avec en particulier l'approche du portfolio d'algorithmes. Un portfolio d'algorithmes définit une exécution concurrente de plusieurs algorithmes résolvant un même problème. Dans une telle exécution, les algorithmes sont entrelacées dans le temps et/ou l'espace. Sur une instance à résoudre, l'exécution est interrompue dès qu'un des algorithmes trouve une solution. Nous proposons dans cette thèse une classification des techniques de combinaison d'algorithmes. Dans celle ci nous précisons pour chaque technique le contexte le plus adapté pour son utilisation. Nous proposons ensuite deux techniques de construction des portfolio d'algorithmes. La première technique est basée sur une adaptation de la méthode des plus proches voisins en apprentissage automatique pour la combinaison des algorithmes. Cette technique est adaptative car elle essaie sur chaque instance de trouver un sous ensemble d'algorithmes adaptés pour sa résolution. Nous l'appliquons dans la combinaison des algorithmes itératifs pour la résolution des systèmes linéaires et nous montrons sur un jeu d'environ mille matrices creuses qu'elle permet de réduire le nombre d'itérations et le temps nécéssaire dans la résolution. En outre, sur certains jeux d'expérimentations, ces résultats montrent que la technique proposée peut dans la plupart des cas trouver l'algorithme le plus adapté à sa résolution. La seconde technique est basée sur le problème de partage de ressources que nous formulons. Etant donnés, un problème cible, un jeu de données le représentant, un ensemble d'algorithmes candidats le résolvant et le comportement en temps d'exécution du jeu de données sur les algorithmes candidats, le problème de partage de ressources a pour objectif de trouver la meilleure répartition statique des ressources aux algorithmes candidats de sorte à minimiser en moyenne le temps de résolution du jeu de données cibles. Ce problème vise à trouver une solution en moyenne plus robuste que chacun des algorithmes candidats pris séparémment. Nous montrons que ce problème est NP-complet et proposons deux familles d'algorithmes approchés et exacts pour le résoudre. Nous validons les solutions proposées en prenant des données issues d'une base de données pour SAT. Les résultats obtenus montrent que les solutions proposées permettent effectivement de bénéficier de la complémentarité des algorithmes résolvant un même problème pour la construction des algorithmes robustes.

L'objet de cette thèse est l'étude d'algorithmes itératifs permettant de résoudre des problèmes d'optimisation convexe avec ou sans contraintes fonctionnelles, des problèmes de résolutions d'inégalités variationnelles à opérateur monotone et des problèmes de recherche de point selle. Ces problèmes sont envisagés lorsque la dimension de l'espace de recherche est grande et lorsque les valeurs des différentes fonctions étudiées et leur sous/sur-gradients ne sont pas connues exactement et ne sont accessibles qu'au travers d'un oracle stochastique. Les algorithmes que nous étudions sont des adaptations au cas stochastique de deux algorithmes : le premier inspiré de la méthode de descente en miroir de Nemirovski et Yudin et le second, de l'algorithme d'extrapolation duale de Nesterov. Pour chacun de ces deux algorithmes, nous donnons des bornes pour l'espérance et pour les déviations modérées de l'erreur d'approximation sous différentes hypothèses de régularité pour tous les problèmes sans contraintes fonctionnelles envisagées et nous donnons des versions adaptatives de ces algorithmes qui permettent de s'affranchir de connaître certains paramètres de ces problèmes non accessibles en pratique. Enfin nous montrons comment, à l'aide d'un algorithme auxiliaire inspiré de la méthode de Newton et des résultats obtenus lors de la résolution des problèmes de recherche de point selle, il est possible de résoudre des problèmes d'optimisation sous contraintes fonctionnelles.

L'amortissement de vibrations mécaniques trouve de nombreuses applications dans le domaine du contrôle acoustique ou de la réduction de contraintes dans l'industrie (machine outil), le génie civil (structure autoportée), ou encore l'aéronautique (réduction de contrainte lors des manoeuvres). Les recherches actuelles tendent principalement vers des méthodes utilisant des matériaux piézoélectriques collés à la surface des structures à traiter. Une technique prometteuse, développée au LGEF à l'INSA de Lyon, est l'amortissement de vibration d'une structure mécanique par méthode SSDI (pour Synchronized Switch Damping on an Inductor). Cette technique d'amortissement semi-active exploite un procédé non-linéaire de traitement de la tension aux bornes d'un élément piézoélectrique, capteur et actionneur à la fois. L'objectif de ce travail est de réaliser l'intégration de l'électronique de traitement de la tension aux bornes des éléments piézoélectriques en technologie microélectronique, afin de pouvoir l'embarquer sur le patch piézoélectrique à terme. Une analyse des techniques d'amortissement publiées permet d'y situer ce travail et de définir les points clés de la technique SSDI. Au deuxième chapitre, un certain nombre de modèles sont développés pour comparer et guider les choix de conception, et pour aboutir à des arbitrages architecturaux. Le troisième chapitre développe la conception d'un ASIC dans une technologie avec option haute tension, comprenant une fonction haute-tension de traitement du signal piézoélectrique et une chaine basse-tension d'analyse, de décision et de commande. La première réalise l'inversion de la tension piézoélectrique à l'aide d'un circuit RLC passif de conversion de l'énergie. La seconde s'attache à la détection des extremums de manière à optimiser l'amortissement. Un diviseur de tension auto-adaptatif avec protection contre les surtensions ainsi qu'un détecteur de pic de tension permettent de réaliser cette opération. Ces fonctions sont caractérisées en simulations et mesures. Le fonctionnement de l'ASIC est ensuite testé sur une structure mécanique, et les performances sont décrites et interprétées au chapitre 4. Le comportement multi-mode et la grande dynamique des signaux mécaniques traités sont des avancées par rapport à la bibliographie.

Mes travaux se situent à la frontière des champs disciplinaires que sont l'Interaction Homme-Machine d'une part et le génie logiciel d'autre part. L'objectif général est de fournir des modèles, méthodes et outils pour construire et implémenter à moindre coût des applications interactives adaptatives et/ou facilement adaptables à divers contextes d'utilisation dans le respect d'une démarche qualité. En effet, la variabilité des dispositifs d'interaction, des utilisateurs eux-mêmes et de l'environnement dans lequel s'effectuent les interactions impose aujourd'hui de supporter divers niveaux d'adaptation. Les travaux réalisés à ce jour ont permis d'apporter des résultats significatifs en ce qui concerne la définition de classifications et de grilles d'analyse, les processus de conception et de construction, l'instrumentalisation des méthodes associées, les techniques spécifiques d'adaptation notamment s'appuyant sur le profil cognitif des utilisateurs, mais aussi les méthodologies d'analyse des usages et de l'efficacité et la pertinence des adaptations.

Les résultats présentés dans cette thèse portent sur l'approximation adaptative de deux problèmes de transport non-linéaire : le système de Vlasov-Poisson et les lois de conservation scalaires. Pour le premier, et dans une approche semi-lagrangienne, on a proposé un schéma adaptatif original à base d'éléments finis hiérarchiques où l'évolution des maillages est réalisée par une étape de prédiction très simple suivie d'une étape de correction plus classique. En introduisant la notion de courbure totale pour étendre la semi-norme W2,1(R2) aux fonctions affines par morceaux, on a alors établi une estimation d'erreur a priori prouvant la convergence de ce schéma en distance L∞, et donné des éléments de preuve concernant sa complexité optimale. Les lois de conservations scalaire ne pouvant être approchées en distance L∞, on a considéré leur analyse en distance uniforme de Hausdorff, moins répandue bien que plus géométrique. Après avoir montré que les solutions de ces équations étaient stables vis-à-vis de cette distance, on a établi un résultat d'approximation adaptative d'ordre élevé.

Reproduction de : Thèse de doctorat : Automatique et Informatique industrielle : Lille 1 : 2006. / N° d'ordre (Lille 1) : 3895. Résumé en français et en anglais. Titre provenant de la page de titre du document numérisé. Bibliogr. p. 133-143.