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 ".

Cette thèse a pour objet la modélisation de systèmes multi-proies-prédateurs. Elle s'intéresse particulièrement à l'influence du comportement d'un prédateur sur les interactions indirectes entre ses proies, i.e. l'effet de l'ajout d'une proie sur la densité des autres. La théorie classique prédit l'occurrence d'effets indirects négatifs entre les proies, ou compétition apparente, résultant de l'interaction avec un prédateur commun ; des résultats plus récents identifient certains mécanismes à même d'atténuer ces effets négatifs. Nos travaux revisitent les hypothèses autour de ces mécanismes dans des systèmes composés de deux proies et de leur prédateur commun. Après avoir fixé le cadre écologique en rappelant les principaux types d'interactions directes et indirectes, nous introduisons les modèles proies-prédateurs classiques. Les travaux se concentrent ensuite sur une famille de modèles présentant de la densité-dépendance négative chez les prédateurs couplés à différentes modélisations du comportement des prédateurs lorsqu'ils sont confrontés à plusieurs types de proies. Nous montrons notamment que les interactions entre ces mécanismes peuvent inverser la compétition apparente et, contre intuitivement, accroître la densité des proies par l'intermédiaire d'un prédateur commun. Nos résultats trouvent pour partie application en lutte biologique, où il est courant de chercher à favoriser les auxiliaires en aménageant leur environnement (apport de nourriture alternative, refuge, ...). Ils suggèrent que de telles pratiques peuvent se révéler contre-productives, le contrôle des ravageurs pouvant être affaibli du fait d'une distraction de leurs prédateurs.

Mean-field approaches successfully reproduce nuclear bulk properties like masses and radii within the Energy Density Functional (EDF) framework. However, complex correlations are missing in mean-field models and several observables related to single-particle and collective nuclear properties cannot be predicted accurately. The necessity to provide a precise description of the available data as well as reliable predictions in the exotic regions of the nuclear chart motivates the use of more sophisticated beyond-mean-field models. Correlations and higher-order corrections (beyond the leading mean-field order) are introduced. A crucial aspect in these calculations is the choice of the effective interaction to be used when one goes beyond the leading order (available effective interactions are commonly adjusted at the mean-field level). In the first part, we deal with the equation of state of nuclear matter evaluated up to the second order with the phenomenological Skyrme force. We analyze the ultraviolet divergence that is related to the zero range of the interaction and we introduce Skyrme-type regularized interactions that can be used at second order for matter. Cutoff regularization and dimen- sional regularization techniques are explored and applied. In the latter case, connections are naturally established between the EDF framework and some techniques employed in Effective Field Theories. In the second part, we check whether the regularized interactions introduced for nuclear matter can be employed also for finite nuclei. As an illustration, this analysis is performed within the particle- vibration model that represents an example of beyond mean-field models where an ultraviolet divergence appears if zero-range forces are used. These first applications suggest several directions to be explored to finally provide regularized interactions that are specially tailored for beyond- mean-field calculations for finite nuclei. Conclusions and perspectives are finally illustrated.