Il n'existe à ce jour aucune monographie d'ensemble sur la répartition des offrandes dans les lieux de culte de la Gaule romaine, notamment des objets de parure. Cette thèse vise à combler cette lacune en prenant en considération les fibules en contexte cultuel, alors que celles-ci ne sont bien souvent envisagées que comme des objets de la vie quotidienne et étudiées en tant que telles. L'offrande de fibules est examinée à partir de leur distribution spatiale intrasite par phase de fréquentation, et ce sur l'ensemble des lieux de culte de la Gaule du 11e siècle av. J.-C. jusqu'au IV" siècle de notre ère. Ce travail est réalisé grâce à des cartes de répartition et aux outils statistiques de sériation. Cette analyse est complétée par l'étude typo-chronologique de l'ensemble des fibules répertoriées et par l'étude des associations de mobilier dans l'espace cultuel, en mettant plus particulièrement l'accent sur l'ensemble des objets de parure, afin d'identifier des pratiques religieuses spécifiques et de travailler sur l'offrande possible d'éléments aujourd'hui disparus comme les vêtements. Sont examinés entre autres les modes de dépôt des fibules, leur symbolique, leur lien éventuel avec certaines divinités, ou bien encore s'il s'agit d'offrandes individuelles ou collectives. Enfin, ce travail permet d'étudier les continuités et les ruptures entre les pratiques cultuelles de la fin de la période celte (LTD) et celles d'après la conquête césarienne, afin d'approfondir notre connaissance du processus de romanisation dans les provinces gauloises. / To date, there is no full monograph on the distribution of offerings in sanctuaries in roman Gaul, including ornaments. This thesis aims to fill this gap by taking into consideration the fibulas in cult context, white these are very often considered as objects of everyday life and studied as such. The fibulas's offering is examined from their intrasite spatial distribution by phase of attendance, and this on ail the sanctuaries of Gaul of the 2nd century BC to the 4th century AD. This work is done through distribution maps and statistical serialization tools. This analysis is complemented by the typo-chronological study of ail fibulas listed and by the study of furniture associations in the sanctuaries, with particular accentuation on ail objects of ornament, so that to identify specific religious practices and to work on the possible offering of elements that have now disappeared, such as clothing. Among other things, the modes of fibulas's deposit, their symbolism, their possible link with certain deities, or even individual or collective offerings are examined. This work finally allows to study the continuities and ruptures between the cult practices of the end of the Celtic period (LTD) and those after the Cesarean conquest, in order to deepen our knowledge of the process of romanization on the Gallic provinces.

La fusion d'informations est une discipline dont on retrouve des applications dès lors qu'il est nécessaire de regrouper des informations potentiellement imprécises ou incertaines. Initialement réalisée de façon mentale, la fusion d'informations nécessite à présent une mise en œuvre sur un support d'exécution informatisé, dénommé système de fusion, dont les évolutions technologiques ont guidée la répartition des ressources selon des contraintes géographiques, physiques et de sécurité. Cette thèse présente une étude du contrôle des systèmes répartis de fusion d'informations. Elle propose notamment un système de contrôle capable d'adapter l'utilisation des ressources disponibles au processus de fusion (PF) mis en œuvre, assez générique pour permettre l'expression des modèles de fusion basés sur des graphes de flot de données. Cinq tâches de contrôle sont dédiées à l'accomplissement d'un sous-objectif: la recherche d'une répartition des éléments du PF, le déploiement effectif d'un PF sur un ensemble variable de ressources réparties, l'analyse des performances du système, la surveillance du système pour détecter l'ajout de ressources,ou les occurrences d'erreurs et le déclanchement d'une modification de la répartition, soit pour en améliorer les performances, soit pour maintenir l'exécution du processus. L'ensemble du système de contrôle tire profit des ressources réparties par un mécanisme bio-inspiré, dans lequel la place de chaque agent est guidée par sa puissance de calcul. A titre expérimental, un système de fusion d'informations nommé eZFusion, implémentant les tâches de déploiement et d'analyse des performances, a été réalisé sur un réseau de plate-formes OSGI.

Nous étudions dans ce travail la modélisation de la cristallisation d'une chambre magmatique fermée. Le modèle physique et mathématique couple trois phénomènes élémentaires : solidification, sédimentation et réactions chimiques entre solide et liquide magmatique. L'adimensionnement des équations aux dérivées partielles permet de faire apparaître deux paramètres exprimant les ratios respectifs de la vitesse de solidification sur la vitesse de déplacement et de la cinétique d'échange chimique sur la vitesse de déplacement. La vitesse de déplacement relatif entre le solide et le liquide, la vitesse de solidification et la loi de partage à l'équilibre sont supposées connues ; la loi d'équilibre chimique peut être non linéaire et s'appliquer aux éléments majeurs. Le modèle est écrit pour un constituant chimique. Il est scindé en deux sous modèles, celui de la cristallisation/sédimentation et celui du transport réactif. Le premier est exprimé par une équation de nature hyperbolique et est résolu par un schéma à trois points, le second est résolu par des schémas décentrés. Le code de calcul est écrit en langage Fortran 90, il est ensuite validé par des méthodes théoriques telles que la méthode des courbes caractéristiques, par des calculs analytiques ou par des considérations qualitatives. Les simulations numériques montrent que, pour certaines valeurs des paramètres adimensionnés et pour certaines formes de la loi d'équilibre chimique, la composition chimique de la chambre peut présenter une répartition non uniforme des compositions, en particulier bimodale (deux valeurs des concentrations sont privilégiées), à partir de conditions initiales homogènes. Le degré de cette bimodalité dépend notamment de la forme de la loi de partage à l'équilibre. Ce modèle fournit un cadre intellectuel pour discuter les phénomènes responsables de la variété de compositions des roches magmatiques, notamment dans une même province. Il montre en particulier que le couplage entre trois phénomènes élémentaires suffit à rendre compte de la bimodalité ou plus généralement de l'apparition de discontinuités de composition, sans faire intervenir de phénomène additionnel.

Les entrepôts de données XML forment une base intéressante pour les applications décisionnelles qui exploitent des données hétérogènes et provenant de sources multiples. Cependant, les Systèmes de Gestion de Bases de Données (SGBD) natifs XML actuels présentent des limites en termes de volume de données gérable, d'une part, et de performance des requêtes d'interrogation complexes, d'autre part. Il apparaît donc nécessaire de concevoir des méthodes pour optimiser ces performances.<br /><br />Pour atteindre cet objectif, nous proposons dans ce mémoire de pallier conjointement ces limitations par fragmentation puis par répartition sur une grille de données. Pour cela, nous nous sommes intéressés dans un premier temps à la fragmentation des entrepôts des données XML et nous avons proposé des méthodes qui sont à notre connaissance les premières contributions dans ce domaine. Ces méthodes exploitent une charge de requêtes XQuery pour déduire un schéma de fragmentation horizontale dérivée.<br /><br />Nous avons tout d'abord proposé l'adaptation des techniques les plus efficaces du domaine relationnel aux entrepôts de données XML, puis une méthode de fragmentation originale basée sur la technique de classification k-means. Cette dernière nous a permis de contrôler le nombre de fragments. Nous avons finalement proposé une approche de répartition d'un entrepôt de données XML sur une grille. Ces propositions nous ont amené à proposer un modèle de référence pour les entrepôts de données XML qui unifie et étend les modèles existants dans la littérature.<br /><br />Nous avons finalement choisi de valider nos méthodes de manière expérimentale. Pour cela, nous avons conçu et développé un banc d'essais pour les entrepôts de données XML : XWeB. Les résultats expérimentaux que nous avons obtenus montrent que nous avons atteint notre objectif de maîtriser le volume de données XML et le temps de traitement de requêtes décisionnelles complexes. Ils montrent également que notre méthode de fragmentation basée sur les k-means fournit un gain de performance plus élevé que celui obtenu par les méthodes de fragmentation horizontale dérivée classiques, à la fois en terme de gain de performance et de surcharge des algorithmes.

L'objectif de cette thèse est de spécifier et d'implanter une architecture de système d'exploitation flexibles. Cette architecture est nommée THINK.<br />Nous montrons qu'il est possible de capturer sous la forme de canevas logiciels des concepts et des principes d'architecture rencontrés dans les systèmes d'exploitation centralisés, embarqués ou répartis. Ces concepts sont au nombre de trois ; des composants, des liaisons modélisant les interactions, et des domaines modélisant l'isolation. Cette approche autorise la construction de noyaux d'infrastructure variés, susceptibles d'être mis en place, statiquement ou dynamiquement, depuis des systèmes dédiés à une application jusqu'aux systèmes monolithiques classiques en passant par les différentes formes de micronoyaux.<br />Nous implantons sur ce modèle une bibliothèque, nommée KORTEX, destinée aux machines POWERMACINTOSH. Cette bibliothèque propose un ensemble de composants systèmes, offrant d'une part des services du plus bas niveau comme les pilotes de périphérique, et d'autre part des services de haut niveau comme la gestion des processus et des connexions réseaux. La composition arbitraire de ces composants construit le noyau d'infrastructure désiré. La diversité des noyaux d'infrastructure construits à partir de cette bibliothèque, la rapidité et la simplicité de programmation offertes par les outils de développement, prouvent l'adéquation du modèle.<br />Les évaluations quantitatives du modèle d'architecture THINK et de la bibliothèque KORTEX de composants systèmes démontrent la viabilité de l'approche proposée. Les implantations du concept de liaison n'engendrent pas un coût inacceptable et elles permettent même d'obtenir des performances similaires à celles de la littérature. De plus, les bénéfices apportés par la structure flexible peuvent potentiellement être importants. Tout d'abord, les évaluations montrent un accroissement des performances d'exécution sur des noyaux de systèmes classiques. Ensuite, les besoins en ressources matérielles requis pour l'exécution des systèmes sont grandement diminués, ce qui offre des perspectives d'utilisation dans les environnements fortement contraints.

La programmation synchrone est utilisée pour faciliter la description des systèmes réactifs, devant réagir de façon continue avec leur environnement physique. Ces systèmes sont souvent répartis, pour des raisons d'implantation physique ou de tolérance aux fautes. D'autre part, de tels systèmes sont aussi critiques et temps-réel. Le but de ce travail est d'étudier des méthodologies d'implantation de tels systèmes sur des réseaux de calculateurs. Nous montrons comment l'application de la programmation synchrone pose des problèmes de robustesse pour la programmation de tels systèmes en raison de la non correspondance du temps logique au temps réel. Nous étudions la robustesse dans divers cas: systèmes continus et systèmes discrets. En particulier nous fournissons des outils de simulation pour des architectures réparties quasi-synchrones et des outils de vérification de la robustesse. Nous proposons aussi un protocole de synchronisation dans les cas de systèmes non robustes. Nous proposons enfin une approche de tolérance aux fautes pour les systèmes répartis quasi-synchrones.

Les transformations de l'infrastructure économique et ses rapports avec l'État au Venezuela entre 1908 et 2008 constituent l'objet général de cette thèse. Il s'agit de proposer un cadre d'interprétation général de l'histoire économique nationale considérée dans ses liens avec le capitalisme mondial et dans sa spécificité propre. Les forces qui structurent le mode de reproduction de l'économie vénézuélienne ne diffèrent guère de celles valables pour les économies périphériques en générale. La constitution et la hiérarchisation de l'économie mondiale capitaliste apparait comme la détermination la plus générale : les transformations des processus de production des pays du Centre et, leur corrélat, la division internationale du travail imposée à l'ensemble du monde balisent le processus d'accumulation à l'échelle mondiale. Toutefois, bien que l'évolution de l'économie mondiale capitaliste soit la même pour tous, les réponses économiques, politiques et sociales que la division internationale du travail suscitent sont spécifiques à chaque formation. La dichotomie centre/périphérie se traduit par des formes d'articulation différenciées des pays périphériques avec les centres capitalistes. Aussi, c'est ce dernier trait qui permet d'expliquer les différentes trajectoires de développement. En ce sens, les pays mono exportateurs de pétrole constituent des cas extrêmes qui les différencient radicalement des autres pays de la périphérie. Le Venezuela constitue, à cet égard, un exemple classique. Cette caractéristique fonde la différence de structure productive, de rapports de classes et de formes d'Etat entre le Venezuela et les autres pays latino-américains.

Les outils informatiques deviennent incontournables pour les concepteurs de circuits en électronique de puissance. Les étapes de tests sur prototypes n'échappent pas à cette règle. Le travail présenté dans ce manuscrit s'inscrit dans cet axe de " prototypage informatique ". Il met en avant l'étude de l'environnement électromagnétique des composants de puissance. Plus précisément, les imperfections dues au câblage seront étudiées. Dans un premier temps, les inductances parasites sont étudiées pour des structures particulières de câblage : la technologie busbar. Cette étude s'inscrit dans une volonté d'intégrer le câblage comme un composant à part entière dans les logiciels. Une méthode permettant de s'affranchir des déséquilibres en courant dans les composants mis en parallèles est également présentée. Dans une deuxième partie, l'aspect capacitif est pris en compte. Le but de cette étude est de trouver une méthode rapide et efficace de déterminer les capacités parasites de systèmes complexes. Une comparaison de plusieurs logiciels est donc effectuée. La méthode retenue est une adaptation de la méthode PEEC. Celle-ci est validée par des mesures.

Nous nous intéressons à la conception sûre de systèmes répartis. Nous montrons qu'avec la complexité et l'intégration croissante des systèmes embarqués, la structure fonctionnelle du système peut entrer en conflit avec la structure de son architecture. L'approche traditionnelle de conception par raffinement de cette architecture compromet alors la modularité fonctionnelle du système. Nous proposons donc une méthode permettant de concevoir un système réparti défini comme un programme unique, dont la structure fonctionnelle est indépendante de l'architecture du système. Cette méthode est basée sur l'ajout de primitives de répartition à un langage flots de données synchrone. Ces primitives permettent d'une part de déclarer l'architecture sous la forme d'un graphe définissant les ressources existantes et les liens de communication existant entre ces ressources, et d'autre part de spécifier par des annotations la localisation de certaines valeurs et calculs du programme. Nous définissons ensuite la sémantique formelle de ce langage étendu. Cette sémantique a pour but de rendre compte de manière formelle l'effet des annotations ajoutées par le programmeur. Un système de types à effets permet ensuite de vérifier la cohérence de ces annotations. Ce système de types est muni d'un mécanisme d'inférence, qui permet d'inférer, à partir des annotations du programmeur, la localisation des calculs non annotés. Nous définissons ensuite, à partir de ce système de types, une méthode de répartition automatique permettant d'obtenir, à partir d'un programme annoté, un fragment de programme par ressource de l'architecture. La correction du système de types avec la sémantique du langage est prouvée, ainsi que l'équivalence sémantique de l'exécution des fragments obtenus par la méthode de répartition automatique avec le programme initial. Cette méthode a été implémentée dans le compilateur du langage Lucid Synchrone, et testée sur un exemple de radio logicielle.

Cette thèse s'inscrit dans le cadre de la vérification automatique de programmes concurrents basée sur un modèle formel intermédiaire: les réseaux de Petri colorés de haut-niveau. Nous nous attachons à combattre le phénomène d'explosion combinatoire lié à l'exploration explicite de l'ensemble des entrelacements possibles du système. Pour cela, nous nous proposons de tirer profit de la quantité de mémoire et de la puissance de calcul offerte par un réseau local de machines travaillant de manière coopérative. Par le biais d'une analyse structurelle, nous cherchons à répartir efficacement le graphe d'accessibilité du système. Nous nous attachons ensuite à conserver l'efficacité des techniques visant à limiter l'explosion combinatoire dans cet environnement réparti en relâchant notamment les contraintes de cohérence sur l'exploration du graphe. Nous avons alors validé ces approches à l'aide d'un vérifieur réparti et multithreadé dans lequel nous avons implémenté nos algorithmes.