L'adaptabilité des applications logicielles peut être séparée en deux catégories. La première concerne l'adaptation comportementale appelée aussi adaptation algorithmique. Cette adaptation traite la redéfinition du comportement de l'application et de ses composants et implique, par exemple, l'introduction d'une nouvelle méthode dans l'interface d'un composant ou le changement du protocole d'orchestration qui coordonne un ensemble de services. Nos travaux, que nous classons dans une deuxième catégorie, traitent l'adaptation structurelle et considèrent une reconfiguration au niveau architectural. Ce type de reconfiguration traite l'organisation de l'architecture et consiste, par exemple, à remplacer un composant défaillant par un autre composant qui possède les mêmes fonctionnalités ou rediriger un client d'un service qui ne respecte pas le contrat de QdS vers un service susceptible d'offrir de meilleures garanties. Dans ce mémoire, nous définissons un méta-modèle relatif à la description et la gestion automatique des architectures dynamiques. Les instances des architectures sont décrites par des graphes étendus où les composants (ou les services) sont représentés par des n\oe uds, et les interdépendances (e.g. les connexions, les relations de contrôle ...etc) sont décrites par des arcs. Les styles architecturaux sont spécifiés par des grammaires de graphes étendues. Le méta-modèle admet des descriptions en considérant différents niveaux d'abstraction et offre des mécanismes pour raffiner ou abstraire les descriptions selon des points de vues spécifiques. Il permet, aussi, de décrire le protocole de gestion de l'architecture et de caractériser les propriétés architecturales à préserver pour chaque niveau architectural considéré. Nous avons développé un algorithme de recherche d'homomorphismes de graphes et un algorithme de transformation de graphes pour les grammaires de graphes étendus définis pour notre méta-modèle. L'analyse de complexité des algorithmes ains i que les résultats expérimentaux obtenus ont permis de conclure à leur efficacité. Une deuxième version des deux algorithmes a été définie profitant de la spécificité du contexte de la transformation de graphes. L'analyse de complexité de ces nouvelles versions donne des résultats encore plus performants pour le passage à l'échelle. Notre approche a été éprouvée en l'appliquant à un cas d'étude dans le contexte des activités d'opération d'intervention d'urgence. L'application implique des groupes structurés de robots ou de personnel militaire qui disposent de ressources inégales en capacités de communication, en CPU et en énergie. Les besoins d'adaptabilité découlent des changements du contexte d'exécution, de l'occurrence de pannes et du provisionnement de la QdS.

On présente dans ce mémoire un résumé de nos recherches depuis 1985 dont le fil conducteur réside dans l'étude des systèmes dynamiques non-lineaires, déterministes et stochastiques.<br />Une première partie est consacrée aux principaux résultats à caractère fondamental obtenus durant cette période. On montre comment les représentations algébriques (algèbre de Lie) des systèmes non-linéaires que nous avons développés permettent d'appréhender sous un nouveau jour les problèmes de commandabilité des systèmes. Nous présentons ensuite le filtrage polynomial à horizon infini, particulièrement adapté au filtrage des systèmes bilinéaires, et montrons en quoi ses performances dépassent largement les filtres polynomiaux classiques. Une partie est alors consacrée à la réalisation et à l'identification des systèmes linéaires en treillis ARMAX. On montre comment la non-linéarité du problème d'optimisation peut-être résolue au prix d'un calcul héréditaire. Nous exposons enfin notre contribution au filtrage particulaire concernant l'optimisation des distributions initiales des particules ainsi que leurs redistributions.<br />Une deuxième partie est consacrée au traitement d'applications de ces résultats théoriques. Nous nous restreignons ici au problème de la détection de multi-émissions sur une même porteuse (projet Clementine / CELAR), et au traitement non-linéaire du signal LORAN-C (DCN/DIGINEXT)

Diss.--Mathematik--Universität Bremen, 2001. / Bibliogr. p. 99-102. Index.

Habilitation à diriger des recherches : Automatique et Informatique industrielle : Lille 1 : 2003. / N° d'ordre (Lille 1) : 395. Curriculum vitae. Bibliogr. p. 124-128. Liste des publications.

Reproduction de : Thèse de doctorat : Sciences : Mathématiques appliquées. Systèmes dynamiques : Toulon : 2005. / Titre provenant du cadre-titre. Bibliographie f.168-173. Index.

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

Reproduction de : Habilitation à diriger des recherches : Sciences physiques : Lille 1 : 2004. / N° d'ordre (Lille 1) : 427. Titre provenant de la page de titre du document numérisé. Bibliogr. p. 109-116. Liste des publications et communications.

Reproduction de : Thèse de doctorat : Informatique : Lille 1 : 2004. / N° d'ordre (Lille 1) : 3520. Résumé en français. Titre provenant de la page de titre du document numérisé. Bibliogr. p. 193-204. Index.

Dans ce travail de thèse, nous développons une notion de mesure de Gibbs pour le flot géodésique tangent aux feuilles d'un fibré feuilleté au dessus d'une base négativement courbée. Nous développons également une notion de mesure F-harmonique et prouvons qu'il existe une correspondance bijective entre les deux. Lorsque la fibre est une droite projective complexe, que l'holonomie est projective, et qu'il n'y a pas de mesure transverse invariante, nous prouvons l'unicité de ces mesures, et ce pour tout potentiel Hölder sur la base. Dans ce cas, nous prouvons également que la mesure F-harmonique se réalise comme limite pondérée de grandes boules tangentes aux feuilles, et que leurs mesures conditionnelles dans les fibres sont des limites de moyennes pondérées sur les orbites du groupe d'holonomie.

Dans le contexte des réseaux complexes, la structure communautaire du réseau devient un sujet important pour plusieurs domaines de recherche. Les communautés sont en général vues comme des groupes intérieurement denses. La détection de tels groupes offre un éclairage intéressant sur la structure du réseau. Par exemple, une communauté de pages web regroupe des pages traitant du même sujet. La définition de communautés est en général limitée à une partition de l'ensemble des nœds. Cela exclut par définition qu'un nœd puisse appartenir à plusieurs communautés, ce qui pourtant est naturel dans de nombreux (cas des réseaux sociaux par exemple). Une autre question importante et sans réponse est l'étude des réseaux et de leur structure communautaire en tenant compte de leur dynamique. Cette thèse porte sur l'étude de réseaux dynamiques et la détection de communautés recouvrantes. Nous proposons deux méthodes différentes pour la détection de communautés recouvrantes. La première méthode est appelée optimisation de clique. L'optimisation de clique vise à détecter les nœds recouvrants granulaires. La méthode de l'optimisation de clique est une approche à grain fin. La seconde méthode est nommée détection floue (fuzzy detection). Cette méthode est à grain plus grossier et vise à identifier les groupes recouvrants. Nous appliquons ces deux méthodes à des réseaux synthétiques et réels. Les résultats obtenus indiquent que les deux méthodes peuvent être utilisées pour caractériser les nœds recouvrants. Les deux approches apportent des points de vue distincts et complémentaires. Dans le cas des graphes dynamiques, nous donnons une définition sur la relation entre les communautés à deux pas de temps consécutif. Cette technique permet de représenter le changement de la structure en fonction du temps. Pour mettre en évidence cette relation, nous proposons des diagrammes de lignage pour la visualisation de la dynamique des communautés. Ces diagrammes qui connectent des communautés à des pas de temps successifs montrent l'évolution de la structure et l'évolution des groupes recouvrantes., Nous avons également appliquer ces outils à des cas concrets.