Ce travail de thèse présente une méthode originale pour la simulation symbolique des circuits décrits au niveau algorithmique. Tout d'abord, la description VHDL du circuit est modélisée sous le forme d'un ensemble d'équations récurrentes (SER) qui décrivent l'état du système à un instant donné en fonction des états précédents. Après une extraction automatique du SER du circuit, l'algorithme de simulation VHDL est exécuté pendant un nombre fixe de cycles déterminé par le concepteur. Pendant la simulation, un scénario de test et une simplification par règles de substitution sont appliqués pour obtenir les expressions symboliques ou numériques de chaque objet du circuit (registre, signal ou port de sortie). Trois modes de test (raisonnement, exécution et mixte) sont définis et expliqués en se basant sur la distinction entre la partie opérative et la partie contrôle de circuit. Le simulateur symbolique et le compilateur sont implémentés avec l'aide du système Mathematica. <br />Une méthodologie de vérification autour de la simulation symbolique avec SER est proposée. Plusieurs paradigmes de vérification (la correspondance de forme, la démonstration de théorèmes et SAT) sont employés sur les résultats de la simulation symbolique pour valider ou prouver les propriétés du circuit. La méthodologie est montrée sur deux circuits de taille réelle (un filtre numérique et une mémoire) et sur de nombreux cas académiques.

Cette these presente une contribution a la compilation de silicium. Elle traite de l'integration d'un outil de synthese architecturale dans<br />les environnements de CAO existants. Il s'agit de la personnalisation de l'architecture abstraite, resultat de la synthese de haut niveau, pour la<br />generation d'une description compatible avec les outils de simulation et de synthese au niveau transfert de registres. Le but etant d'offrir<br />plusieurs modeles architecturaux utilisant differents modeles de synchronisation afin de couvrir les besoins de differentes applications. Apres<br />une introduction de l'outil de synthese architecturale AMICAL et de plusieurs modeles architecturaux au niveau transfert de registres, cette these<br />presente une methode et un outil pour la personnalisation de l'architecture abstraite generee par AMICAL et la traduction des fichiers de sortie<br />donnes en SOLAR en leurs equivalents VHDL. Finalement, une etude comparative des differents modeles architecturaux sur plusieurs<br />exemples est detaillee. Cette etude montre qu'il faut plusieurs modeles architecturaux pour differentes applications. Ces modeles architecturaux<br />se differencient entre eux par leur structure, leur bibliotheque de macro-composants et leur modele de synchronisation utilise.

Les réseaux électriques ont profondément changé depuis leur apparition. Les petits réseaux locaux du début 20ème Siècle ont pendant longtemps été interconnectés pour former des réseaux plus vastes et fortement centralisés. Mais, les orientations politiques libérales des vingt dernières années ont inversé la tendance et les réseaux électriques sont de plus en plus vus comme des systèmes . intégrateurs de sous-systèmes décentralisés. Face à cette évolution libérale, la question de notre maîtrise de l'énergie est de plus en plus cruciale. Ce mémoire propose quelques pistes et solutions pour y répondre. Partant d'un constat historique et scientifique de l'évolution des réseaux électriques, le mémoire présente tout d'abord une modélisation en rupture des réseaux qui doit faciliter l'analyse des interactions en leur sein .. Afin de répondre aux enjeux d'une maîtrise optimale de l'énergie électrique, une deuxième partie esquisse un processus de conception des réseaux du futur. En conclusion, le mémoire s'ouvre sur les nombreuses perspectives scientifiques qu'offre l'évolution récente des réseaux électriques.

No description available.

Les paliers à roulements sont des pièces mécaniques utilisées dans de nombreux domaines. Leur durée de vie est un paramètre critique pour celle des assemblages dans lesquels ils sont montés. Des méthodes de calcul de la durée de vie des paliers à roulements existent mais ne prennent pas en compte certains paramètres importants tels que le gradient des propriétés mécaniques du matériau et des contraintes résiduelles. Les travaux menés par G. Thoquenne [1] en 2004 ont mis en place une méthode de prévision de durée de vie prenant en compte ces paramètres. Or celle-ci nécessite la connaissance de l'état après rodage du matériau en terme de contraintes résiduelles et de rugosité des surfaces en contact. L'objectif de la thèse présentée ici est de pouvoir prédire l'état après rodage du matériau en terme de rugosité et de contraintes résiduelles. Trois modèles numériques de simulation de la phase de rodage ont été développés sous Castem et Code Aster. Le modèle le plus performant pourra être utilisé en complément de la méthode de prévision de durée de vie. Une étude expérimentale comprenant des essais de rodage sur une machine bi-disque de fatigue de contact a été menée en parallèle pour valider ces modèles numériques. L'effet de la pression de contact, du taux de glissement et de la rugosité des galets en contact ont été particulièrement pris en compte.[1] Prévision des durées de vie en fatigue des roulements, G. Thoquenne, Manuscrit de thèse, école polytechnique, avril 2004.

Cette étude s'inscrit dans une démarche originale consistant à développer un protocole expérimental adapté aux essais de fatigue à grand nombre de cycles. Ce protocole permet de dresser des bilans locaux d'énergie et s'appuie sur des techniques d'imagerie quantitative. Les objectifs étaient de compléter et de valider une méthode de traitement d'images infrarouges permettant d'étudier séparément les mécanismes dissipatifs et les effets thermoélastiques accompagnant la fatigue à grand nombre de cycles des aciers. Un point intéressant de cette méthode est de pouvoir fonctionner alors que les amplitudes des sources thermoélastiques sont très nettement supérieures aux intensités de dissipation. Le deuxième objectif était d'arriver à combiner cette technique infrarouge avec celles mises en place pour accéder aux champs cinématiques par une méthode de corrélation d'images. Ce rapprochement a permis d'estimer l'énergie de déformation localement mise en jeu et de la comparer, sur un cycle de chargement, à l'énergie dissipée.

La compréhension des mécanismes d'agrégation de particules solides en milieu non mouillant revêt une grande importance dans de nombreuses disciplines scientifiques. Pour réaliser cette étude, le système modèle retenu est constitué de particules de silice rendues hydrophobes plongées dans un mélange eau - éthanol. Etant donné le caractère fragile des agrégats, l'agrégation se devait d'être étudiée in-situ ce qui a pu être réalisé grâce a un capteur turbidimétrique développé au laboratoire. Pour connaître la taille finale et la morphologie des agrégats, d'autres méthodes ont également été utilisées ce qui a permis de confronter les résultats entre eux. L'influence de différents paramètres sur l'agrégation ont ensuite été étudiés telles que la vitesse d'agitation, la mouillabilité, la présence ou non d'un milieu désaéré, l'injection de bulles...<br />La modélisation des phénomènes d'agrégation – fragmentation utilise l'approche des bilans de populations et prend en compte l'hydrodynamique de la suspension ainsi que les aspects physico-chimiques propres à la non mouillabilité. L'un des points les plus importants qui ressort de cette étude concerne la diminution de la fragmentation due à la présence de ponts gazeux entre les particules solides plongées dans un milieu liquide non mouillant.

Le sulfure de zinc obtenu par précipitation homogène présente une grande importance dans l'industrie des matériaux à propriétés optiques et électroniques, laquelle souhaiterait maîtriser son procédé de fabrication. Le sulfure de zinc correspondant, qui est sous forme agglomérée, a été choisi pour sa morphologie structurée : chaque agglomérat présente quatre échelles quant à la taille des particules le constituant. Il est préparé via la décomposition thermique de la thioacétamide dans une solution acide contenant le sulfate de zinc.<br />La précipitation est effectuée dans un réacteur fermé et parfaitement agité. Le but de cette étude est de présenter une méthodologie originale pour suivre en continu les concentrations en ions et les caractéristiques du solide formé : la production et la disparition des ions sulfure libérés par la thioacétamide, la consommation des ions zinc, l'évolution de la sursaturation relative au produit précipité ZnS. et les caractéristiques morphologiques des particules de ZnS. Les capteurs utilisés sont des électrodes spécifiques, des cellules conductimétriques et une sonde turbidimétrique. D'autres méthodes d'analyses, telles que la microscopie électronique, la granulométrie et la diffraction des RX, complètent cette étude expérimentale.<br />La morphologie des grains de sulfure de zinc dépend des conditions opératoires : vitesse d'agitation, concentrations initiales en réactifs, pH et température. Le pH est le paramètre qui conduit à la plus grande variabilité morphologique. Nous présentons donc les résultats expérimentaux et l'interprétation correspondante issus de la précipitation de ZnS réalisée à différents pH.

L'apparition des efflorescences sur une construction cimentaire est un phénomène naturel. Il s'agit de la formation d'un dépôt blanc de carbonate de calcium à la surface du matériau, suite à son exposition à des conditions climatiques particulières. Ce phénomène conduit uniquement à une détérioration esthétique qui peut néanmoins engendrer des problèmes économiques importants, car source de litiges client-fournisseur.<br />Cette étude se propose de mieux comprendre ce phénomène, afin de l'atténuer. Pour ce faire, un protocole d'apparition contrôlée des efflorescences primaires a été mis au point, et a été associé à une méthode de quantification des efflorescences.<br />L'atténuation des efflorescences par la substitution d'une partie du ciment par un produit pouzzolanique a été étudiée. L'utilisation de produits très différents a permis d'identifier, à travers de nombreuses caractérisations, les propriétés de ces pouzzolanes qui leur permettent d'atténuer le plus efficacement les efflorescences.

Les composants passifs, représentent actuellement une butée importante en terme de volume occupé, de pertes et de faisabilité de l'intégration. De nouvelles structures électromagnétiques proposent de marier les trois composants habituellement rencontrés dans les convertisseurs sous la forme d'un seul composant baptisé LCT, assurant simultanément trois fonctionnalités : inductance-condensateur-transformateur. Nous avons dimensionné deux structures intégrées de prototypes LCT (bobiné & planar), employant, tous deux, une nouvelle topologie de circuit magnétique. En nous basant sur ces réalisations de composants passifs intégrées ainsi que sur une réalisation discrète, diverses approches sont proposées pour mieux estimer les pertes dans ces composants afin de pouvoir réaliser une étude comparative sur chacun des dispositifs. En particulier, la caractérisation fine du LCT en vue d'obtenir les éléments d'un schéma équivalent constitue un moyen d'atteindre ce résultat.