Le contexte général de cette thèse se situe dans le domaine de la synthèse RTL (Register Transfer Level). Une spécification initiale en termes de transferts de registres décrite dans un langage de haut niveau (VHDL, Verilog) définit l'ordre des opérations. A partir de cette spécification, le système de synthèse RTL génère une description structurelle fonctionnellement équivalente interconnectant des portes de base et des macro blocs de la cible technologique. Le langage de description considéré ici est le langage VHDL standardisé par le groupe IEEE en 1987. Ce choix est justifié par une étude comparative entre différents langages. Les principales caractéristiques du langage VHDL ainsi que les améliorations apportées par la nouvelle norme de 1992 sont évoquées. Dans une seconde partie, les limitations du langage VHDL pour son utilisation en synthèse et le flot de conception à partir d'une spécification RTL sont présentés. Plusieurs modèles VHDL d'éléments simples et de macro blocs sont décrits pour la synthèse. Le flot général de conception utilisant ces macro blocs est analysé et détaillé pour deux cas pratiques: l'utilisation des générateurs XBLOX de Xilinx et ACTgen d'Actel dans le logiciel de synthèse ASYL+. La dernière partie s'attache plus précisément à la modélisation d'éléments de bibliothèques en vue de leur utilisation en synthèse. Un format de bibliothèque, permettant de décrire tout aussi bien des portes simples que des macro blocs, est défini. Le nouveau format de bibliothèque standard VITAL est analysé ainsi que ses perspectives d'utilisation en simulation et en synthèse. La norme LPM qui définit un ensemble d'éléments standards indépendants de la technologie est également présentée. Cette dernière partie a conduit à la définition d'un nouveau flot de synthèse unifié utilisant les macro blocs et à la mise en place de plusieurs optimisations basées sur la notion de dérivation

Technique récente, la microscopie à rayons X offre aujourd'hui une résolution spatiale supérieure à celle de la microscopie optique (20 nm contre 200 nm en microscopie optique confocal laser). Elle offre également un meilleur pouvoir de pénétration que la microscopie électronique (jusqu'à 10 μm contre 1 μm en microscopie électronique à moyenne et haute tension). Ainsi, la microscopie à rayons X mous (longueurs d'onde comprises entre 2,4 et 4,3 nanomètres) permet l'analyse à haute résolution en 2 ou 3 dimensions d'échantillons biologiques placés dans des conditions proches de leur milieu naturel (contrairement aux microscopes électroniques classiques qui imposent une préparation des échantillons). Cependant, la réduction de la dose absorbée par l'échantillon nécessite des durées d'expositions aussi courtes que possible. Or, effectuer une acquisition avec peu de photons se fait au détriment du rapport signal sur bruit des images. Un de nos objectifs a été le développement d'outils pour l'amélioration et la restauration de ces images. La première partie de nos travaux a consisté à déterminer la fonction de transfert du microscope à rayons X en transmission et à comparer les résultats obtenus avec le modèle théorique de la formation des images. Dans la seconde partie, nous avons complété les modèles existants liant le nombre de photons et le contraste, en prenant en compte le mode de formation des images dans le microscope. La troisième partie de ces travaux concerne le développement de techniques de traitement numérique des images dans le but d'améliorer et de restaurer des images obtenues par microscopie à rayons X avec de faibles temps d'exposition. Ces processus ont été appliqués à l'étude par microscopie à rayons X de différents types d'échantillons biologiques

Les outils informatiques prennent une place de plus en plus importante dans la conception de circuits VLSI. Les langages de description de matériel constituent l'interface entre ces outils et les utilisateurs. Parmi ceux-ci, il existe un standard qui est VHDL, destiné à la description de systèmes numériques. Actuellement une extension analogique est en cours de normalisation. Les deux premiers chapitres de cette thèse sont consacrés l'un aux langages de description de matériel et à une présentation de VHDL, ainsi que des remarques et analyses à propos de son extension analogique. Le second thème de cette thèse est la mise en évidence de l'importance de la simulation en mode mixte numérique-analogique. Le troisième chapitre présente les principes généraux de la simulation mixte; différentes implémentations de simulateurs mixtes sont présentés. Enfin, le dernier chapitre est consacré à la réalisation d'un simulateur mixte dont la partie numérique est un simulateur VHDL. Cette réalisation repose sur une approche de description qui permet d'utiliser la souplesse de description structurelle de VHDL pour des systèmes analogiques et mixtes

Indépendance d'un logiciel graphique par rapport à son contexte d'utilisation. Conception et réalisation d'un logiciel graphique basé sur le concept de "console virtuelle". La première génération de GRIGRI. La conception du logiciel GRIGRI. La réalisation du logiciel GRIGRI. Etude des deux types d'interpréteurs. Directives pour l'insertion du logiciel dans un contexte quelconque

Cette thèse porte sur l'étude de la structure et de la réactivité d'agrégats de palladium déposés sur une surface d'alumine, qui sont des modèles de catalyseurs. L'enjeu de ce travail est de dégager l'effet du support sur la nucléation et la réactivité de la phase métallique tout en prenant en compte de façon explicite l'hydratation des surfaces de l'alumine. Des agrégats de 1 à 13 atomes ont été étudiés. Une première partie concerne l'exploration de la structure des agrégats sur la surface. Deux modes d'interaction ont été révélés par le calcul. Les petits agrégats (<3 atomes) montrent une interaction forte avec la surface, induisant une déformation marquée de celle-ci. Pour des plus grosses tailles, la thèse montre que les agrégats développent une interaction faible avec le support, et que la structure est dominée par les interactions Pd-Pd. La réactivité des agrégats de taille 4 a été également étudiée par adsorption de CO et d'éthylène. Cette étude permet de démontrer à la fois les effets liés à la taille de l'agrégat et à l'interaction avec le support d'alumine. Plusieurs concepts qualitatifs importants ressortent de ce travail.

Après les « lois mathématiques » (19ème siècle) et les « modèles mathématiques » (années 1930), les sciences dites « non-exactes » recourent aux simulations numériques (années 1950) puis informatiques (années 1970). À cela, plusieurs raisons : la complexité des objets, l'évolution de la référence que représente la physique avec ses nouveaux formalismes, l'évolution conjointe des techniques de calcul (matérielles et formelles), enfin l'émergence de l'ordinateur et des langages évolués. Or, la modélisation puis la simulation imposèrent des réévaluations du rôle épistémique dévolu aux formalismes depuis la mécanique rationnelle. Pour livrer un pan d'histoire des sciences et des techniques de modélisation, une histoire intégrative et compréhensive est nécessaire. Avec cet angle de vue, sensible aux philosophies de l'époque, aux ontologies des acteurs, comme aux contraintes techniques des formalismes, des instruments et des institutions, on peut voir trois grandes époques dans le destin récent des formalisations des plantes : un déracinement par rapport à la classique supposition d'un fondement dans le réel des lois mathématiques (1922-1937) ; une dispersion des formalismes et une expansion des modèles théoriques et pragmatiques (1938-1967) ; enfin une convergence des formalismes et des axiomatiques autour des infrastructures informatiques pluriformalisées (à partir de 1967). Notre thèse historique et épistémologique est celle-ci : l'ordinateur, après avoir amplifié la dispersion des formalismes, tend à la neutraliser en offrant un nouveau terrain d'expérimentation. Le rejet des représentations fidèles (iconoclasme) des actuelles épistémologies est à rectifier en profondeur.

Ce travail de thèse est une étude théorique et numérique du processus de transfert de charge résonnant(TCR), entre un atome (ion) et une surface métallique pendant une collision. Le TCR correspond au passage d'un électron de l'atome vers le métal, sans changer d'énergie. On étudie le TCR dans des systèmes à plusieurs états électroniques. Ces états peuvent être localisés sur un projectile, ou sur un projectile et sur une impureté de la surface. Une attention particulière est portée aux transitions induites entre différents états du système par le mouvement du projectile. La Méthode de Propagation de Paquets d'Ondes, qui consiste en une solution directe sur une grille de l'équation de Schrödinger dépendant du temps, est utilisée dans ce travail. Dans la première partie de la thèse, on étudie les perturbations locales du TCR entre le projectile (un ion H-) et la surface métallique (Al ou Cu(111)), induits par la présence d'un adsorbat alcalin (Li ou Cs). Un intérêt particulier est porté au caractère 3-corps du TCR (l'électron interagit avec le projectile, l'adsorbat et le substrat). Les résultats pour Cu(111), qui possède une bande interdite projetée dans la direction normale à la surface, sont très différents des résultats pour Al, qui est un prototype du métal à électrons libres. Dans la deuxième partie de la thèse, on étudie le TCR entre des atomes de Rydberg (Xe) et une surface métallique, dans un champ électrique extérieur. Les transitions induites par la collision avec la surface entre les différents états de projectile influencent le TCR. Ces résultats permettent d'expliquer les résultats expérimentaux récents du groupe de F.B. Dunning, Houston, USA. Ce travail de thèse montre l'importance d'une étude explicite de la dynamique de TCR entre un atome (ion) et une surface métallique pour la compréhension des interactions atome (ion) - surface.

Caractérisation générale de la superplasticité et du procédé de mise en forme des tôles par pression gazeuse. Présentation d'une modélisation numérique permettant une meilleure maîtrise de ce procédé de fabrication notamment utilisé dans l'industrie aéronautique pour le formage de pièces de structures en tôles d'alliages de titane ou d'aluminium.

On fait en première partie le point sur les calculs existants concernant le creusement de trous ou de tranchées dans le sol au moyen de jets liquides. On est amené à s'intéresser au problème particulier du découpage d'une tranchée rectiligne de profondeur constante dans un sol, à l'aide d'un jet quasi-continu d'eau pressurisée à quelques dizaines de MPa. Le modèle adopté est décrit dans la deuxième partie où on se donne le comportement du jet libre dans l'air et celui du sol, ainsi que l'expression des conditions au contact entre le jet et le sol. L'exploitation du modèle dans le cas bidimensionnel et pour un sol où la phase est initialement discontinue fait l'objet de la 3ème partie. Après résolution des équations, on vérifie les diverses approximations faites et on compare les prévisions théoriques du modèle aux résultats d'expérience de laboratoire. La 4ème partie est consacrée aux extensions possibles du modèle.

Le projet d'une " théorie générale des systèmes " fut avancé à partir de 1937 par le philosophe et biologiste autrichien Ludwig von Bertalanffy (1901-1972). Une histoire en est entreprise dans la présente thèse, décrivant cette " théorie " comme une science générale de l'interprétation systémique du " réel ", ou " systémologie générale ". L'enquête généalogique ici menée révèle les origines des valeurs et de schèmes conceptuels qui structurèrent le projet bertalanffien, ainsi que la problématique initiale dont il fut issu. Les dynamiques intellectuelles ayant présidé à sa genèse sont ensuite considérées : l'attention est focalisée sur la théorie " perspectiviste " de la connaissance de von Bertalanffy, sur les conséquences qui en découlèrent pour sa philosophie des sciences et son concept de système, et sur ses multiples contributions à la biologie théorique (en particulier à la biologie mathématique). Les premières publications sur la " systémologie générale " sont analysées, et il est rendu compte de la rapide transformation de celle-ci en un projet collectif au milieu des années 1950. Il suscita la création aux États-Unis de la Society for General Systems Research, où convergèrent les diverses composantes d'un " mouvement systémique ". Sont mises en évidence les difficultés des promoteurs de la " systémologie générale " à trouver les voies de son actualisation dans cette société scientifique. Mais il est aussi montré que ce projet a jusqu'aux années 1970 bénéficié de contributions significatives. Un cadre systématique est proposé, qui établit leur complémentarité et leur unité tout en clarifiant la structure et les fonctions de ce qui est nommé ici l'" herméneutique systémologique ".