Cette thèse aborde la spécification et la réalisation de CELINE, outil de correction des erreurs basé sur une architecture multi-agents à deux niveaux : <BR> 1) Un système lourd, renfermant l'ensemble du savoir linguistique (multi-domaines par rapport à l'univers du discours), et générateur de systèmes individualisés. Les agents peuvent être considérés comme imparfaits ou partiellement inadaptés. Ils sont mis en concurrence par domaine d' expertise.<BR> 2) Un système léger implanté sur le site du rédacteur, système construit par apprentissage par le système central à partir des travaux de ce rédacteur.<BR> La spécification du système se construit tout au long des chapitres.<BR> La problématique de la correction des erreurs et la finalité de la conception d'un système de correction le plus automatique possible, avec des prises de décision à faible granularité reposant sur des critères multi-niveaux, nous entraînent vers un besoin de coopération justifiant une réalisation multi-agents.<BR> Une taxinomie des erreurs et des rappels sur l'analyse linguistique nous permet d'établir un début de structure du tableau noir du système. Nous consolidons nos choix par une comparaison du système attendu avec quelques prototypes du domaine. Nous examinons ensuite les comportements sociaux de deux agents chargés de définir l'un un modèle linguistique partiel suffisant du rédacteur et l'autre un sous-ensemble pertinent du système global. Nous découvrons alors le modèle de communication des agents et complétons notre structure de données par les marques de validité.<BR> La méthode des structures permet une quantification, incluse dans le tableau noir, de la correction des fautes d'accords.<BR> Après une approche des systèmes multi-agents, nous présentons une synthèse de l'architecture de CELINE et du fonctionnement des pilotes et de quelques agents.<BR> Un bilan rapide, précèdera en conclusion, une mise en situation du système proposé dans le cadre des industries de la langue et dans un environnement réseau du type Internet.

Ce travail de thèse, mené sur deux thématiques : les réseaux ambiants et la simulation multi-agent, a pour contexte l'étude des interactions entre le fonctionnement des réseaux ambiants (réseaux pair-à-pair et réseaux mobiles ad hoc networks) et les comportements de leurs usagers (mobilité, partage d'un service, etc.). Pour étudier ces phénomènes, nous avons mis en lumière le besoin de réutiliser, de coupler et de faire interagir des outils de modélisation et de simulation provenant de domaines scientifiques différents (réseaux informatiques, simulations sociales) afin d'intégrer simultanément plusieurs niveaux d'abstraction dans l'étude menée. Cette problématique de réutilisation et de couplage de modèles (la multi-modélisation) et de simulation (interopérabilité de simulateurs) n'est pas propre aux seuls réseaux ambiants et celle-ci s'inscrit dans le domaine plus vaste de l'étude des systèmes complexes. Cette thèse se propose d'aborder les questions de réutilisation et de couplage des outils de modélisation et de simulation sous l'angle des systèmes multi-agents et d'inscrire les solutions à la fois d'ingénierie logicielle, de simulation distribuée, de multi-modélisation dans un cadre multi-agent générique et homogène : le méta-modèle AA4MM. L'idée fondatrice est de créer une société de modèles, de simulateurs et de logiciels de simulation (que l'on nommera blocs MSL) afin d'intégrer plusieurs niveaux d'abstraction dans une même modélisation et simulation. AA4MM propose une approche multi-agent homogène qui permet de facilement réutiliser des blocs MSL, de les rendre interopérable et de les coupler de manière modulaire. AA4MM permet également au modélisateur de clairement spécifier les changements d'échelles. AA4MM propose une méthode de simulation totalement décentralisée. Au niveau des aspects théoriques du méta-modèle AA4MM, nous avons proposé une preuve formelle de l'algorithme de simulation décentralisée. Nous avons également appliqué AA4MM à un cas d'étude pédagogique en couplant ensemble plusieurs instances de NetLogo (un outil de simulation répandu). Nous avons également appliqué AA4MM aux réseaux ambiants et à notre question initiale sur les influences mutuelles entre performances du réseau et comportements des usagers. Dans ce contexte, nous avons pu réutiliser des simulateurs existants qui n'étaient pas prévus pour interagir afin d'aborder les phénomènes d'influences mutuelles entre performances des réseaux et comportements de leurs usagers.

Cette thèse s'intéresse à la flexibilité dans les infrastructures informatiques distribuées du point de vue de leurs administrateurs et utilisateurs. Pour les utilisateurs, il s'agit de trouver au moment où ils en ont besoin des ressources matérielles adaptées avec un environnement personnalisé à l'exécution de leur application. Pour les administrateurs, il s'agit de définir les politiques d'allocation des ressources (politiques d'usage et de sécurité) pour les applications des utilisateurs. Nous avons étudié la problématique de la flexibilité dans le contexte des grilles et des centrales numériques (CN). Tout d'abord, nous avons conçu et mis en oeuvre le système Saline qui s'appuie sur la virtualisation pour permettre l'exécution de tout type de tâche en mode préemptif dans les grilles. Nous avons également proposé le système Grillade qui combine les mécanismes de flexibilité offerts par les grilles et les CN pour d'une part, étendre dynamiquement une grille avec des ressources virtuelles fournies par des CN et d'autre part, construire des nuages de type IaaS fédérant les ressources de plusieurs sites. Grillade étend le système de grille XtreemOS. Il permet en outre grâce à la technologie de système à image unique de proposer aux utilisateurs des machines virtuelles exécutées sur une agrégation de nœuds. Enfin, nous proposons un formalisme permettant de classer les systèmes de gestion de ressources offrant de la flexibilité et de définir des règles pour les combiner. Le système Tropicbird qui s'appuie sur ce formalisme met en œuvre, à la demande, des plates-formes virtuelles spécifiées par les utilisateurs sur une infrastructure matérielle.

L'innovation dans le secteur automobile consiste de plus en plus en l'intégration d'aides à la conduite dans le véhicule dans des domaines comme la sécurité et le confort. Ce sont des systèmes conçus pour traiter et représenter de l'information qui sont en mesure d'apporter une meilleure performance dans les tâches des conducteurs. Sur la base de l'hypothèse de l'action située, nous soutenons qu'agir en conduite automobile mobilise des processus de distribution de la cognition qui diffèrent selon le rôle joué par les aides externes dans le cours d'action. Dire que l'action est située nous amène à dire que le conducteur accède aux circonstances au moyen de ses percepts et agit en tenant compte de ce qu'il perçoit. Agir en situation mobilise un ajustement entre les savoirs socialement construits par l'expérience du monde social et les aides externes accessibles dans les situations. Sachant que l'ajout d'une nouvelle tâche modifie la tâche principale, nous étudions les usages du système GPS, du limiteur de vitesse et du régulateur de vitesse pour connaître leur influence sur les processus de prise de décision en conduite automobile. Notre approche en ethnographie cognitive propose de saisir l'activité dans son écologie et s'appuie sur la capacité des acteurs de donner du sens au monde social et d'en donner une description.

Les travaux proposés dans cette thèse s'intéressent à la commande et la surveillance d'une classe particulière de systèmes de production : les systèmes manufacturiers à contraintes de temps de séjour. Nous supposons dans l'étude que les ressources ont déjà été affectées et que l'ordre des opérations est déjà fixé par le module de planification/ordonnancement. Les hypothèses de fonctionnement répétitif avec et sans postes d'assemblage sont adoptées. De manière assez classique pour ce type de problématique, le formalisme utilisé est celui des Réseaux de Petri P-temporels pour l'étude des instants de débuts et de fins des opérations.Une étude de la robustesse des ateliers manufacturiers à contraintes de temps a été développée. La robustesse est abordée avec et sans modification de la commande relative à la robustesse active et à la robustesse passive respectivement, face aux perturbations temporelles. Un algorithme de calcul d'une borne supérieure de la robustesse passive est présenté. De plus, trois stratégies de commande robuste face aux perturbations temporelles ont été développées.Par ailleurs, l'incertitude dans les systèmes de production manufacturière à été étudié. Notre contribution dans ce cadre porte sur l'intégration des résultats concernant la robustesse dans la génération de symptômes et la classification des comptes rendus associés aux différentes opérations en utilisant la logique floue.Partant d'un système commandé, nous avons présenté en détail une démarche à suivre pour la mise en œuvre d'un modèle de surveillance en se basant sur les chroniques et les arbres de défaillance flous. Cette démarche est appliquée à un atelier de production laitière

L'objectif de cette thèse est de concevoir et d'appliquer de nouvelles méthodes de supervision capables d'appréhender les problèmes de sécurité affectant les données au sein des réseaux P2P structurés (DHT). Ceux-ci sont de deux types. D'une part les réseaux P2P sont utilisés pour diffuser des contenus illégaux dont l'activité est difficile à superviser. D'autre part, l'indexation des contenus légitimes peut être corrompue (attaque Sybil). Nous proposons tout d'abord une méthode de supervision des contenus basée sur l'insertion de sondes et le contrôle du mécanisme d'indexation du réseau. Celle-ci permet d'attirer l'ensemble des requêtes des pairs pour un contenu donné, puis de vérifier leur intention en générant des appâts très attractifs. Nous décrivons ainsi les faiblesses du réseau permettant la mise en œuvre de notre méthode en dépit des protections existantes. Nous présentons les fonctionnalités de notre architecture et en évaluons l'efficacité sur le réseau P2P KAD avant de présenter un déploiement réel ayant pour but l'étude des contenus pédophiles. Nous considérons ensuite la sécurité des données indexées dans une DHT. Nous supervisons le réseau KAD et montrons que celui-ci est victime d'une pollution particulièrement néfaste affectant 2/3 des fichiers mais aussi de nombreuses attaques ciblées affectant la sécurité des contenus stockés. Nous proposons un moyen de détecter efficacement cette dernière attaque en analysant la distribution des identifiants des pairs autour d'une référence ainsi qu'une contre-mesure permettant de protéger les pairs à un coût négligeable. Nous terminons par l'évaluation de la protection au sein de réseaux P2P réels.

L'intelligence en essaim constitue désormais un domaine à part entière de l'intelligence artificielle distribuée. Les problématiques qu'elle soulève touchent cependant à de nombreux autres domaines ou questions scientifiques. En particulier le concept d'essaim trouve pleinement sa place au sein de la science dites des ``systèmes complexes''. Cette thèse présente ainsi la conception, les caractéristiques et les applications d'un modèle original, le SMA logistique, pour le domaine de l'intelligence en essaim. Le SMA logistique trouve son origine en modélisation des systèmes complexes : il est en effet issu des réseaux d'itérations couplées dont nous avons adapté le modèle de calcul à l'architecture multi-agent. Ce modèle se fonde sur des principes communs à d'autres disciplines, comme la synchronisation et le contrôle paramétrique que nous plaçons au coeur des mécanismes d'auto-organisation et d'adaptation. Du point de vue mathématique, les applications logistiques sont à la base de la formalisation du comportement interne des agents constituant le SMA logistique, tout en prenant place dans un schéma ``influence-réaction''. L'environnement à base de champs est l'autre aspect fondamental du SMA logistique, en permettant la réalisation des interactions indirectes des agents et en jouant le rôle d'une structure de données pour le système. Les travaux décrits dans cette thèse donnent lieu à des applications principalement en simulation et en optimisation, comme c'est le cas pour la plupart des algorithmes du domaine de l'intelligence en essaim. L'intérêt et l'originalité du SMA logistique pour l'intelligence en essaim résident dans l'aspect générique de son schéma théorique qui permet de traiter avec un même modèle des phénomènes considérés a priori comme distincts dans la littérature : phénomènes de ``flocking'' et phénomènes stigmergiques ``fourmis'' à base de phéromones. Ce modèle répond ainsi à un besoin d'explication des mécanismes mis en jeu autant qu'au besoin d'en synthétiser les algorithmes générateurs.

Situés dans une région clé pour la dynamique du climat global, les glaciers tropicaux sont de très bons indicateurs de la variabilité climatique. Ce travail a permis de spatialiser les modèles de bilan d'énergie CROCUS (pour la neige et la glace) et ISBA (pour le sol non enneigé) sur le bassin versant du glacier Zongo (16°S, 3.3 km2, Bolivie), englacé à 63 % et suivi par le SO/ORE GLACIOCLIM. Ainsi, des jeux de données nivo-météorologiques complets ont été constitués du 01/09/2004 au 31/03/2006 en accordant une attention particulière aux lames d'eau et aux phases des précipitations. Le modèle CROCUS-ISBA a été adapté pour simuler le manteau neigeux éphémère de la moraine et les résultats ont été validés sur plusieurs sites de mesures. Sur le glacier, le modèle CROCUS a permis de simuler correctement le bilan de masse local mesuré par les balises d'ablation. Ensuite, les modèles ont été étendus à l'ensemble du bassin versant et alimentés par les données météorologiques spatialisées. Le bilan net spécifique du glacier simulé est validé par celui évalué par photogrammétrie. Les débits à l'exutoire du bassin versant et leur saisonnalité sont bien restitués par le modèle (8% d'erreur sur les volumes d'eau pour toute la période, critère de Nash quotidien de 0.63). De nombreux résultats sont présentés sur le coefficient d'écoulement de la moraine, la contribution du glacier par tranche d'altitude et la réponse du bassin versant à deux saisons humides contrastées. Cet outil permet ainsi de mieux évaluer et comprendre les processus responsables de la fonte sur le glacier et sur les moraines et de quantifier leurs contributions respectives à la ressource en eau locale.

Dans cette recherche, les usages de la télévision sur le téléphone portable seront saisis dans leur rapport aux contextes et aux situations auxquels ils sont ajustés. Cela concerne donc la manière dont on consulte et visionne des contenus audiovisuels sur des téléphones mobiles dans l'espace public en relation avec l'environnement. De quelle façon lesusagers mobilisent-ils les affordances matérielles et sensibles de l'environnement ? L'entrée par une approche comparative entre la France et la Roumanie, nous permet d'inclure dans l'analyse la dimension anthropologique trop souvent occultée de ces usages : de quelles façons ces usages sont-ils façonnés par les conventions collectives ?La question de l'identité de la télévision sur le téléphone portable se pose sous l'angle des frottements et tissages aux autres médias. Au niveau des méthodes, le tournant de la " nouvelle communication " de l'Ecole de Palo Alto conjugué au tournant " pragmatiste " implique un déplacement d'angle d'analyse par rapport aux perspectives cognitivistes : seules lesmanifestations (visibles, audibles, etc.) peuvent être analysées et non pas les raisons, les motivations ou les pensées enfouies dans la " tête " des usagers. Les résultats de cette recherche comportent dans ce sens une propositionméthodologique susceptible d'enrichir les réflexions en SIC autour d'un renouvellement des approches des usages émergents dans le contexte des nouveaux médias

Les modèles hydrauliques sont couramment utilisés pour l'aménagement des rivières et la prévention des dommages liés aux inondations. Ces modèles calculent les hauteurs d'eau et débits sur un tronçon de rivière à partir de sa géométrie et des conditions aux limites du système: débit à l'amont du tronçon, débits d'apports latéraux provenant du bassin intermédiaire et hauteurs d'eau à l'aval. Lorsque le tronçon est long, les apports latéraux deviennent conséquents tout en demeurant rarement mesurés car provenant d'affluents secondaires. L'évaluation de ces apports constitue alors une étape essentielle dans la simulation des crues sous peine de fortes sous ou surestimations des variables hydrauliques. Cette thèse a pour objectif principal d'identifier une méthode de complexité minimale permettant de reconstituer ces apports. Nos travaux s'appuient sur un échantillon de 50 tronçons de rivière situés en France et aux Etats-Unis sur lesquels les apports latéraux ont été estimés à l'aide d'un modèle hydrologique semi-distribué connecté avec un modèle hydraulique simplifié. Une méthode automatisée de découpage du bassin intermédiaire en sous-bassins a d'abord été élaborée afin de faciliter la construction du modèle hydrologique sur les 50 tronçons de rivière. Des tests de sensibilité ont été menés sur le nombre de sous-bassins, la nature uniforme ou distribuée des entrées de pluie et des paramètres du modèle hydrologique. Une configuration à 4 sous-bassins présentant des pluies et des paramètres uniformes s'est avérée la plus performante sur l'ensemble de l'échantillon. Enfin, une méthode alternative de calcul des apports latéraux a été proposée utilisant une transposition du débit mesuré à l'amont et une combinaison avec le modèle hydrologique.