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.

Ce mémoire apporte une aide à la conception de la connectique des structures d'Electronique de Puissance. Une méthode d'optimisation des structures a été mise en place. La première partie présente une méthode de modélisation du câblage. Celle-ci repose sur une méthode analytique: la méthode PEEC, qui calcule un schéma électrique équivalent de tout type de connectique. Cette méthode, couplée à une technique d'analyse des circuits électriques, permet une étude indépendante des solveurs de circuits. Sur le même principe, une modélisation électrodynamique de la structure a été développée. Dans une deuxième partie, une méthode déterministe d'optimisation â été utilisée pour améliorer les structures. Elle a nécessité le développement de l'analyse de sensibilité associée à notre méthode PEEC. Les résultats obtenus se sont avérés satisfaisants si la solution initiale était proche de l'optimum recherché. Dans le cas contraire, une nouvelle méthode a été développée, un algorithme stochastique a été associé à un algorithme déterministe. Ainsi, le premier algorithme permet de localiser la région de l'optimum global, puis une recherche plus fine est effectuée avec la méthode déterministe. Les premiers résultats sont encourageants. Les techniques développées ont été validées tout d'abord sur la modélisation 20 d'un busbar industriel. Ensuite, deux optimisations ont été réalisées: une minimisation de l'inductance parasite d'une structure hacheur et une optimisation de la répartition du courant entre deux interrupteurs.

L'accroissement de plus en plus rapide de la population mondiale pousse un grand nombre de chercheurs à s'interroger sur les limites de la croissance. Dans le même ordre d'idée, cette recherche vise à comprendre la dynamique entourant l'économie et la démographie. Une analyse exhaustive des différents écrits d'économistes permet d'approfondir la connaissance sur ce sujet précis de même qu'à répondre à une question en particulier: Quelles politiques doivent être mises en place pour améliorer le sort des affamés? Thomas Robert Malthus est l'un des premiers à avoir remis en question l'efficacité d'un accroissement de la population. Sa critique de certains des thèmes clés du courant mercantilisme marque ainsi le commencement d'une analyse privilégiant le bonheur individuel sur celui de la nation. Après s'être penché sur les différentes propositions développées par Malthus dans ses Essais sur le principe de population, il s'avère possible d'examiner l'influence qu'il a eue sur deux autres économistes, soit John Maynard Keynes et Karl Gunnar Myrdal. La présente étude analyse ainsi les idées de Keynes et de Myrdal quant à la relation économie-démographie. Bien que Keynes et Myrdal aient modifié au fil du temps leur vision quant à un accroissement démographique, il n'en demeure pas moins qu'ils conservèrent un argumentaire basé sur les théories malthusiennes. Après avoir examiné les différentes politiques démographiques proposées par ces économistes, une dernière section permet de prendre conscience des développements récents dans l'économie de la population. De plus, les politiques proposées par Malthus, Myrdal et Keynes sont analysées dans une perspective contemporaine où l'Inde et la Chine occupent une place prépondérante. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : John Maynard Keynes, Thomas Robert Malthus, néo-malthusianisme, Karl Gunnar Myrdal, population, redistribution des revenus

L'IDentification par Radio-Fréquences (RFID) permet une identification rapide et efficace des objets. Dans les systèmes de personnalisation de masse, elle promet un apport considérable grâce à sa capacité à gérer des flux d'information complexes caractérisant ce type de systèmes.Dans cette thèse, nous étudions les impacts de la RFID sur les systèmes de configuration à la demande (CTO). Nous nous basons sur un cas réel pour apporter une mesure fiable et directement exploitable. La littérature à ce sujet offre souvent des mesures sommaires, théoriques ou qualitatives, d'où l'originalité de la thèse.L'étude est réalisée par une approche de simulation à évènements discrets et évalue l'apport des technologies RFID à deux niveaux. Le premier concerne des changements directs du système (e.g. accélération des maintes vérifications caractérisant la CTO, libération de ressources...). Ces changements influencent la performance du système en termes de temps de séjour, de taux de retard des commandes, etc. Le deuxième niveau concerne des changements profonds tirant profit d'une visibilité accrue des produits et de la facilité d'une collecte de données rigoureuse. Ces changements se focalisent sur l'allocation dynamique de la charge de travail. La remise en question des processus à l'occasion de l'introduction d'une technologie RFID constitue un point original en raison du manque de publications soulignantsuffisamment cet avantage.Nos expérimentations ont montré que les apports des technologies RFID dans un système CTO sont indéniables. De plus, repenser le fonctionnement du système afin d'exploiter plus profondément le potentiel de la technologie accroit les bénéfices.

La thèse porte sur la répartition des compétences de régulation économique dans le processus de libéralisation du secteur des télécommunications. Dans une première partie, nous définissons la répartition des compétences entre un régulateur indépendant et un régulateur politique en étudiant les directives européennes sous un angle institutionnel. Nous montrons ensuite que la loi française libéralisant le secteur n'a que partiellement tenu compte des préconisations européennes puisque le gouvernement intervient dans le processus de régulation économique, alors que l'État est encore actionnaire de l'opérateur historique. Dans une deuxième partie, nous mettons en évidence, de manière théorique et empirique, les objectifs privés défendus par ces deux régulateurs. En nous appuyant sur les hypothèses de comportement du gouvernement développées par l'école du public choice, nous montrons que les décisions de l'autorité politique sont influencées par l'ancien monopole. En étudiant ensuite les instruments de capture des régulateurs proposées par la littérature économique, nous montrons que les décisions de l'agence de régulation indépendante sont influencées par les nouveaux opérateurs privés. Dans une troisième partie, nous examinons l'impact de ces objectifs privés sur le processus de régulation. Nous montrons que la seule intervention d'un régulateur politique ne permet pas à la concurrence de se développer, au détriment des consommateurs et des opérateurs alternatifs. Parallèlement, la seule intervention d'une autorité indépendante génère une structure de marché exagérément concurrentielle, au détriment des consommateurs et de l'opérateur historique. Nous montrons alors que la meilleure architecture institutionnelle consiste à répartir les compétences de régulation économique entre deux régulateurs poursuivant des objectifs diamétralement opposés.