Les circuits asynchrones suscitent de nombreux intérêts à bien des égards. Cependant la modélisation, l'analyse et l'optimisation des circuits asynchrones constituent des pierres d'achoppement à la diffusion de cette technologie sur un plan commercial. Ce travail vise le développement de modèles de circuits asynchrones capables de retranscrire efficacement les protocoles « poignée de main ». Sur la base de ces modèles, une technique d'analyse rapide et précise des circuits a été développée. Cette technique offre un support complet pour l'analyse de délais statistiquement variables et pour différentes structures de circuit (linéaire / non linéaire, sans / avec condition). Elle permet de réaliser des analyses statiques de timing, de consommation électrique et des effets des variabilités sur les circuits asynchrones. En sus de ces méthodes de modélisation et d'analyse, une technique d'optimisation a été développée. Cette technique d'optimisation est basée sur une réduction du nombre de registres asynchrones à un nombre minimal capable de satisfaire les contraintes de performance. L'utilisation des méthodes proposées a permis l'étude de différents protocoles asynchrones et de leurs impacts sur la vitesse, la consommation et la variabilité des procédés de fabrication. Les méthodes proposées ont été validées grâce à un jeu d'outils logiciels écrits en C + +, Java et Matlab. Ces outils se sont avérés rapides, efficaces et dotés d'une très bonne précision de calcul.

Thèse de doctorat : SCIENCES APPLIQUEES : Metz : 1994. / 1994METZ031S. 57 REF.

Ce travail de thèse concerne l'étude du critère de rupture ductile des matériaux poreux en utilisant les techniques de l'homogénéisation, de l'analyse limite et des méthodes d'optimisation de type point intérieur. La validité du critère de Gurson, le plus utilisé par les codes élasto-plastiques pour les matériaux poreux, est étudiée. On se ramène donc à l'étude d'un Volume Elémentaire Représentatif (VER) dont la matrice, rigide parfaitement plastique, vérifie le critère de von Mises. Comme pour le critère de Gurson, les interactions entre les cavités et la coalescence ne sont pas prises en compte. On utilise les approches statique (ou par borne inférieure) et cinématique (ou par borne supérieure) de l'analyse limite, via une discrétisation en éléments finis du modèle. Le problème d'optimisation résultant est résolu en utilisant des codes d'optimisation commerciaux, XA ou MOSEK. L'utilisation du code XA demande une linéarisation préalable du critère de Mises, ce qui est fait grâce à un algorithme efficace. Son inconvénient est de générer un grand nombre de termes et donc de demander beaucoup de mémoire. Le second code d'optimisation utilisé, MOSEK, permet de résoudre directement (sans termes supplémentaires) le problème d'optimisation non linéaire dit de " programmation conique du second ordre " (SOCP) et ainsi de résoudre des problèmes avec un VER maillé plus finement. La mise en œuvre numérique du problème mécanique à sa formulation numérique est réalisée à l'aide de programmes fortran propres à chaque cas étudié. Pour un matériau à cavités cylindriques, le VER est un tronçon de cylindre creux. Nous avons montré que le critère de plasticité présente un point anguleux en contrainte plane et en déformation plane et qui n'est pas prévu par le critère de Gurson, ce qui n'est pas le cas du critère de Rousselier. En déformation plane généralisée, l'expression analytique de Gurson, en contraintes moyenne et équivalente, est trop restrictive et doit faire apparaître les différents paramètres de chargement. Par contre, dans le cas d'un matériau à cavités sphériques, plus proche d'un matériau réel et traité par le critère de Gurson, ce critère est confirmé pour la première fois par les deux approches de l'analyse limite. Pour cela, nous avons élaboré et mis au point un nouveau modèle complètement tridimentionnel dont l'efficacité a permis de corroborer le critère de Gurson par l'approche statique. Dans le cas d'un VER contenenant plusieurs cavités cylindriques, nous avons confirmé un critère bimodal en déformation plane généralisée de Michet et al. En contrainte plane, les interactions entre les cavités conduisent à des localisations en vitesse de déformation pour chaque cas de chargement et à des critères spécifiques pour chaque VER. Le critère de Gurson étant validé pour un matériau poreux à cavités sphériques, on étudie pour finir un matériau de Gurson homogène. Pour déterminer la borne cinématique, nous avons élaboré une méthode basée sur le champ de contraintes et utilisant un optimiseur convexe à contraintes non linéaires mis au point au CORE (Centre of Operation Research and Econometrics) de Louvain la Neuve en Belgique a été appliquée à un matériau de Gurson homogène. Cette technique constitue ainsi une méthode plus directe pour déterminer la borne cinématique, la seule information à fournir étant le critère de plasticité. Cela ouvre la perspective d'étudier un matériau homogène de tout critère dont la puissance n'est pas analytique ou n'est pas aisément utilisable.

Les exigences de productivité et de qualité dans l’industrie aéronautique imposent d’avoir des machines-outils optimisées en termes de précision, de cinématique et de dynamique. L’objectif des travaux de recherche menés est de proposer de nouvelles méthodologies de conception de machines-outils à haute rigidité pour l’usinage des pièces aéronautique en titane. Dans un premiers temps, la problématique du choix de la configuration structurale la plus adéquate au procédé d’usinage envisagé est traitée en proposant une méthode de synthèse et de sélection basée sur des critères qualitatifs. L’analyse des performances des différentes configurations structurales relatives aux critères qualitatifs adoptés permet de les classer. Les résultats obtenus ont permis d’aboutir à un ensemble restreint de configurations structurales de machines-outils adéquates au procédé d’usinage des pièces aéronautiques en titane. Pour compléter cette méthode, il est alors nécessaire de développer une approche d’analyse quantitative des arrangements structuraux relatifs à chaque configuration structurale. Dans un second temps, une nouvelle approche de sélection des arrangements structuraux de machines-outils est développée. Cette approche consiste tout d’abord à élaborer des modèles réduits des structures de machines-outils considérées. Ensuite, nous mettons en œuvre une optimisation paramétrique en vue de minimiser la masse totale des structures mécaniques de ces machines tout en respectant une contrainte de rigidité cible. Cette optimisation est réalisée par un couplage entre MATLAB et ANSYS APDL. Enfin, le classement des arrangements structuraux selon leurs performances met en évidence ceux les plus appropriés au procédé d’usinage des pièces aéronautiques en titane. Alors ces travaux participent à l'évolution des méthodologies de conception des nouvelles machines d'usinage. / Productivity and quality requirements in the aerospace industry require optimized machine tools in terms of precision, kinematics and dynamics. The objective of this thesis is to propose new methodologies for the design of highly stiffened machine tools for machining titanium aeronautical parts. First, the issue of choosing the most appropriate structural configuration for the machining process is handled by proposing a synthesis and selection method based on qualitative criteria. The performance analysis of the different structural configurations relative to the adopted qualitative criteria makes it possible to classify them. The results obtained have led to a limited set of structural configurations of machine tools suitable for the process of machining titanium aeronautical parts. To complete this method, it is then necessary to develop an approach for quantitative analysis of the structural arrangements corresponding for each structural configuration. In a second step, a new approach for the selection of structural arrangements of machine tools is developed. This approach consists firstly in developing reduced models of considered machine tool structures. Then, we implement a parametric optimization in order to minimize the total mass of the mechanical structures of these machines while under the constraint of a target stiffness. This optimization is achieved by coupling MATLAB and ANSYS APDL. Finally, the classification of structural arrangements according to their performance highlights those most appropriate for the process of machining titanium aeronautical parts. This work contributes to the evolution of design methodologies for new machining machines.