La régionalisation est autant un processus spatial qu'un processus territorial. Elle est spatiale parce qu'elle se réalise sur des structures spatiales héritées tout en les mettant en oeuvre. Nous avons voulu mettre en perspective dans le processus ou les volontés de régionalisation, le système formé des notions de territoires, de villes et de réseaux.<br />Aussi, nous proposons de définir des territoires autour de réseaux de villes qui donnent à penser les régionalisations souhaitables ou souhaitées à partir des propriétés des territoires et de leur organisation par la représentation des interactions spatiales entre les villes. Sont alors créés des réseaux de villes autour desquels la régionalisation des territoires serait possible.<br />Les mises en réseaux de villes se basent sur le corpus conceptuel et théorique du fonctionnement et des propriétés des systèmes de villes, et tiennent compte des caractéristiques du système de villes étudié à travers les critères de la taille des villes et de leur localisation. Ces seuls critères déterminent les espacements entre les villes et leur position dans la hiérarchie de niveaux dans le système, ce qui intègre et révèle les structures spatiales sous-jacentes ou locales.<br />Sont alors définies deux catégories de réseaux de villes :<br />• les réseaux de villes de proximité et de voisinage, sur des contraintes d'espacement entre les villes ;<br />• les réseaux de villes hiérarchisés, sur des contraintes de taille des villes et de principes d'emboîtement de structures hiérarchiques (type administratif, à la hiérarchie stricte, ou type principe de marché, à la hiérarchie non stricte).<br />La formalisation et les représentations des mises en réseaux de villes sont réalisées par la théorie des graphes qui permet une modélisation aisée des organisations hiérarchiques, en particulier des emboîtements de niveaux, par un de ses sous-ensembles, les arbres.<br />La mise en place de ces méthodes et l'évaluation des performances des régionalisations qu'elles engendrent se fait sur deux exemples à problématiques et échelles différentes. La première application montre une approche spatiale en archéologie pour aider à dégager les principales structures d'un système de peuplement d'un territoire autour de la Cité antique de Luteva (Lodève, Hérault, France) durant la période du Haut-Empire (Ier siècle ap. J.-C. - IIIe siècle ap. J.-C.). La seconde application consiste à définir un arc méditerranéen théorique à partir du système de villes européennes sans maillage administratif.

L'objet de cette thèse est l'étude et la mise en oeuvre d'un système de gestion automatique de la configuration d'une formation d'avions sans pilote, ou drones. Les objectifs sont, d'une part, d'améliorer la sécurité et l'efficacité d'un groupe de drones de combat, et, d'autre part, de faire le lien entre les niveaux de planification de missions et les niveaux fonctionnels de contrôle de la formation. Le vol en formation est particulièrement bien adapté pour des applications militaires en milieux hostiles, qui requièrent des synchronisations pour l'arrivée sur les cibles ou du support mutuel pour le brouillage. L'une des difficultés soulevées est le choix autonome de la configuration. Notre approche est de mettre en oeuvre, entre les niveaux décisionnels et les niveaux fonctionnels, une couche intermédiaire dédiée à la formation et à la gestion autonome de sa configuration. La configuration ainsi déterminée doit être affectée aux avions de la formation en tenant compte des contraintes tactiques et des ressources de chacun. Enfin, la sécurité du vol est un élément primordial. Il faut donc pouvoir planifier des manoeuvres de reconfiguration pour passer d'une configuration à une autre, en respectant les distances minimales entres avions. Des solutions ont été développées à partir de l'algorithme Branch & Bound pour résoudre les problèmes d'allocations, et de l'algorithme A* pour la planification de trajectoires dans la formation. De plus, un contrôle de vol de la formation a été implémenté. Ceci a permis de valider notre approche par des simulations et des expérimentations réelles.

Ce travail porte sur la programmation et la verification des systemes reactifs. Il consiste dans une premiere partie en la definition d'un langage mixte imperatif/declaratif, nomme ArgoLus, fonde sur les langages synchrones Argos et Lustre. Argos est un langage imperatif a base d'automates paralleles et hierarchises. Lustre est un langage declaratif fonde sur le modele flots de donnees. Le langage ArgoLus permet de melanger au niveau source ces deux langages. La definition des traductions structurelles d'ArgoLus en Argos ou en Lustre offre deux solutions interessantes pour mettre en oeuvre ce langage, tout en profitant des environnements deja existants. Dans un deuxieme temps la semantique d'Argos en termes de graphes temporises a ete definie. Initialement, celle-ci est definie en termes de systemes de transitions etiquetees. L'inconvenient de ce modele est lie au phenomene d'explosion du nombre d'etats qui limite les possibilites de verification formelle. Une des causes de cette explosion est la presence dans les programmes de compteurs d'occurrences d'evenement. Les graphes temporises sont des automates etendus avec des compteurs de temps, dont la taille est independante des valeurs limites des compteurs du programme. Par consequent, ils sont moins sensibles au phenomene d'explosion du nombre d'etats, d'ou une amelioration des possibilites de verification formelle. De plus, il est possible grace a ce modele d'exprimer des proprietes quantitatives faisant reference au temps. Enfin, un troisieme aspect de ce travail porte sur l'utilisation pour les systemes reactifs d'outils de verification formelle, non concus exactement pour ce type de systemes.

Le bon déroulement d'un processus de gestion des connaissances passe par l'utilisation de méthodes efficaces de visualisation qui permettent une compréhension aisée des différents modèles de connaissances utilisés. Les retours d'expériences avec le système de gestion des connaissances Atanor, qui est orienté vers le déploiement des connaissances dans un contexte opérationnel portant sur des systèmes complexes, ont montré que le modèle d'arbres actuellement utilisé pour la visualisation des modèles de connaissances n'est pas intuitif. Des redondances de sommets trop nombreuses peuvent entraîner des difficultés de lecture et cacher des caractéristiques importantes. Pour résoudre ces problèmes nous proposons le modèle Graph'Atanor qui est basé sur des graphes en niveaux.<br>Le passage au modèle de graphes pose le problème de sa représentation visuelle. Les tracés doivent rester lisibles et compréhensibles par les utilisateurs. Ceci se traduit notamment par le respect de critères esthétiques qui permettent de modéliser un problème d'optimisation combinatoire consistant à trouver un ordre optimal des sommets dans chaque niveau. Pour résoudre ce problème, nous avons développé un algorithme génétique qui possède deux particularités : deux opérateurs de croisements spécifiques et une hybridation par une recherche locale. Les expérimentations montrent que pour des graphes de taille standard, l'algorithme génétique donne de meilleurs résultats que les autres méthodes que nous connaissons. La comparaison des modèles de représentation des connaissances sur un exemple industriel montre qu'en plus de faciliter la lecture, Graph'Atanor permet de facilement suivre la trace des utilisateurs et de mettre en avant les sommets critiques.

Étude de divers problèmes lies aux graphes de Hamming

Élaboration d'une phase d'optimisation de haut niveau et de recherche d'un compromis surface-vitesse dans un compilateur de silicium SYCO. L'optimisation consiste a détecter et a fusionner les instructions qui peuvent être exécutées en parallèle

.

.

L'objet de cette thèse est l'étude des aspects algorithmiques de l'effet petit monde dans les grands réseaux d'interaction.Les observations expérimentales ont montré que les grands réseaux d'interactions (sociales, informatiques, biologiques), présentaient des propriétés macroscopiques communes. Une d'elles est l'effet petit monde qui consiste en l'existence de chemins très courts entre toutes les paires de noeuds qui peuvent être découverts en n'utilisant qu'une vue locale du réseau. Nous nous intéressons à cette caractéristique algorithmique de l'effet petit monde, à son application au routage informatique décentralisé, et à son émergence dans les réseaux réels.Nous proposons un nouvel algorithme de routage décentralisé sur le modèle aléatoire de petit monde de Kleinberg, qui calcule des chemins de longueur O(log n.(loglog n)^2), asymptotiquement plus courts que ceux des algorithmes existants (en O((log n)^2)). Cet algorithme pourrait également s'appliquer aux réseaux pair-à-pair. Nous précisons cette étude en comparant les charges induites pas les différents algorithmes proposés sur ce modèle.En tentant d'exhiber les caractéristiques minimales d'un graphe qui permettent de l'augmenter en un petit monde par l'ajout de raccourcis aléatoires, nous proposons un nouveau modèle de petit monde qui généralise celui de Kleinberg. Il s'agit d'ajouter une distribution de liens dépendant de la taille des boules de la métrique des distance sous-jacente. Ce modèle peut par ailleurs être étendu simplement pour produire toute distribution des degrés, dont en particulier la fameuse loi de puissance. Enfin, nous proposons le premier schéma distribué qui permette de transformer un réseau de diamètre quelconque en petit monde en ajoutant un seul nouveau lien par noeud, il s'agit d'un premier pas vers la compréhension de l'émergence naturelle du phénomène dans les réseaux réels.

Pour rendre compte physiquement de la manipulation d'un objet virtuel dans l'espace ou sur un plan, la plupart des dispositifs haptiques actuels font appel à des actionneurs à un seul degré de liberté, dont les actions sont couplées par diverses liaisons mécaniques (type pantographe). La technologie piézoélectrique est une solution avantageuse dans ce domaine d'utilisation, pour son important effort massique, le travail à faible vitesse, et surtout la capacité à motoriser plusieurs degrés de liberté à partir d'un seul actionneur. Pour cette raison, un translateur piézoélectrique plan à onde stationnaire est étudié. Un modèle simplifié est élaboré pour offrir une interprétation globale des phénomènes de contact. Il est établi selon le formalisme du graphe informationnel causal qui met en évidence deux asservissements applicables au domaine haptique : un retour d'effort actif par le contrôle en force, et une solution alternative comparable à un embrayage, qualifié de retour d'effort dissipatif.