Search

International audience; Cet exposé fait suite à l'appel de partage de bonnes pratiques: "ceux qui ont souffert (en thèse) en utilisant des outils/langages mal adaptés pour la RO sont invités à présenter leur expériences et surtout leurs solutions". Pour ma part, j'ai été très satisfait d'utiliser OPL, le modeleur de Cplex, sur des problèmes d'optimisation industriels. Je partage ici des pratiques d'implémentation avec OPL qui m'ont été profitables. Des cadres d'utilisations adaptées pour OPL seront énoncés, mais aussi les limites de l'utilisation d'OPL dans ces différents contextes. Des alternatives avec d'autres modeleurs ou bibliothèques de modélisation de PLNE telles que Julia JuMP et Python-MIP apparus depuis seront également mentionnées.

Since 2005, the scaling of memory devices, which used to follow Moore's law, slowed down. This lead researchers to conduct multiple approaches in order to keep improving memory devices. Among these approaches, the pathway on ferroelectric components seems very promising. In 2011, a research team from the NamLab in Dresden, Germany, discovered that Si-doped HfO2 could become ferroelectric with an insulating layer of only 10 nm, which resolves the compatibility issue of perovskite-structured materials with CMOS industry. Since then, other dopants have been investigated. However, new issues are now slowing down the emergence of HfO2-based ferroelectric devices on the market. Understanding the mechanisms behind the ferroelectric properties of these materials has, therefore, become a major industrial issue. In this manuscript, we study (Hf,Zr)O2 (HZO), and we perform an under-utilized technique to elaborate this kind of material: magnetron sputtering. The goal of this thesis is to establish connections between the growth conditions of this material and the electrical properties, to understand the mechanisms behind them, as well as to make the memory devices viable. During the fabrication of the capacitors, we demonstrate that the particular cristallochemical properties are essential to obtain ferroelectricity, and that novel HZO properties are discovered. Afterwards, we seek to cross the state of the art. The results we obtain by sputtering are among the best in the world. The industrial endurance and retention tests are pushed beyond what has been done in the literature so far. Particularly, the influence of electrical stress conditions is thoroughly detailed, and we put to evidence the presence of a relaxation during the different tests that could turn out to become problematic for the emergence of industrial applications. It does not seem that this problem has been identified beforehand.; Depuis 2005, la miniaturisation des composants mémoires, qui, auparavant, suivait la loi de Moore, a ralenti. Ceci a conduit les chercheurs à multiplier les approches pour continuer à améliorer les dispositifs mémoires. Parmi ces approches, la piste des composants ferroélectriques semble très prometteuse. En 2011, une équipe du NamLab, à Dresde, en Allemagne, a découvert que le HfO2 dopé Si pouvait devenir ferroélectrique, avec une couche isolante de seulement 10 nm, ce qui résout le problème de compatibilité avec l’industrie CMOS des matériaux de structure pérovskite. Depuis, d’autres dopants ont été découverts. Cependant, de nouveaux problèmes freinent désormais l’apparition sur le marché des dispositifs ferroélectriques à base de HfO2. Comprendre les mécanismes qui régissent les propriétés ferroélectriques de ces matériaux est alors devenu un enjeu industriel majeur. Dans ce manuscrit, nous étudions le (Hf,Zr)O2 (HZO), et nous employons une technique peu utilisée pour élaborer ce type de matériau : la pulvérisation cathodique magnétron. L’objectif de cette thèse est d’établir des relations entre les conditions de croissance des différents matériaux et les propriétés électriques, de comprendre les mécanismes qui les régissent, ainsi que de rendre viable les dispositifs mémoires. Lors de l’élaboration de condensateurs, nous démontrons que des propriétés cristallochimiques particulières sont indispensables pour obtenir la ferroélectricité, et de nouvelles propriétés du HZO sont découvertes. Ensuite, nous cherchons à dépasser l’état de l’art. Par pulvérisation, nous obtenons parmi les meilleurs résultats au monde. Les tests industriels d’endurance et de rétention sont poussés au-delà de ce qui avait été fait auparavant dans la littérature. En particulier, l’influence des conditions de contraintes électriques y est décrite en détail, et nous mettons en évidence la présence d’une relaxation au cours des différents tests pouvant s’avérer problématique pour l’avènement d’applications industriels. Ce problème ne semble jamais avoir été clairement identifié auparavant.

Since 2005, the scaling of memory devices, which used to follow Moore's law, slowed down. This lead researchers to conduct multiple approaches in order to keep improving memory devices. Among these approaches, the pathway on ferroelectric components seems very promising. In 2011, a research team from the NamLab in Dresden, Germany, discovered that Si-doped HfO2 could become ferroelectric with an insulating layer of only 10 nm, which resolves the compatibility issue of perovskite-structured materials with CMOS industry. Since then, other dopants have been investigated. However, new issues are now slowing down the emergence of HfO2-based ferroelectric devices on the market. Understanding the mechanisms behind the ferroelectric properties of these materials has, therefore, become a major industrial issue. In this manuscript, we study (Hf,Zr)O2 (HZO), and we perform an under-utilized technique to elaborate this kind of material: magnetron sputtering. The goal of this thesis is to establish connections between the growth conditions of this material and the electrical properties, to understand the mechanisms behind them, as well as to make the memory devices viable. During the fabrication of the capacitors, we demonstrate that the particular cristallochemical properties are essential to obtain ferroelectricity, and that novel HZO properties are discovered. Afterwards, we seek to cross the state of the art. The results we obtain by sputtering are among the best in the world. The industrial endurance and retention tests are pushed beyond what has been done in the literature so far. Particularly, the influence of electrical stress conditions is thoroughly detailed, and we put to evidence the presence of a relaxation during the different tests that could turn out to become problematic for the emergence of industrial applications. It does not seem that this problem has been identified beforehand., Depuis 2005, la miniaturisation des composants mémoires, qui, auparavant, suivait la loi de Moore, a ralenti. Ceci a conduit les chercheurs à multiplier les approches pour continuer à améliorer les dispositifs mémoires. Parmi ces approches, la piste des composants ferroélectriques semble très prometteuse. En 2011, une équipe du NamLab, à Dresde, en Allemagne, a découvert que le HfO2 dopé Si pouvait devenir ferroélectrique, avec une couche isolante de seulement 10 nm, ce qui résout le problème de compatibilité avec l’industrie CMOS des matériaux de structure pérovskite. Depuis, d’autres dopants ont été découverts. Cependant, de nouveaux problèmes freinent désormais l’apparition sur le marché des dispositifs ferroélectriques à base de HfO2. Comprendre les mécanismes qui régissent les propriétés ferroélectriques de ces matériaux est alors devenu un enjeu industriel majeur. Dans ce manuscrit, nous étudions le (Hf,Zr)O2 (HZO), et nous employons une technique peu utilisée pour élaborer ce type de matériau : la pulvérisation cathodique magnétron. L’objectif de cette thèse est d’établir des relations entre les conditions de croissance des différents matériaux et les propriétés électriques, de comprendre les mécanismes qui les régissent, ainsi que de rendre viable les dispositifs mémoires. Lors de l’élaboration de condensateurs, nous démontrons que des propriétés cristallochimiques particulières sont indispensables pour obtenir la ferroélectricité, et de nouvelles propriétés du HZO sont découvertes. Ensuite, nous cherchons à dépasser l’état de l’art. Par pulvérisation, nous obtenons parmi les meilleurs résultats au monde. Les tests industriels d’endurance et de rétention sont poussés au-delà de ce qui avait été fait auparavant dans la littérature. En particulier, l’influence des conditions de contraintes électriques y est décrite en détail, et nous mettons en évidence la présence d’une relaxation au cours des différents tests pouvant s’avérer problématique pour l’avènement d’applications industriels. Ce problème ne semble jamais avoir été clairement identifié auparavant.

The major goal of this work is to establish a robust, reliable and efficient modeling technique so as to describe ductile tearing over a distance of several centimeters in industrial cases. The GTN damage model expressed in the context of finite strains is chosen to model ductile damage. Generally, the model leads to strain localization in agreement with experimental observations. The characteristic length scale of this phenomenon is introduced into the constitutive equations through the use of a nonlocal formulation.On a numerical ground, the nonlocal model controls the width of the localization band as soon as the mesh is sufficiently refined. Besides, the issue of volumetric-locking associated with plastic incompressibility is handled using a mixed finite element formulation. Finally, the distortion of broken elements (i.e. without any stiffness), which may affect the computational convergence of numerical simulations, is treated using a viscoelastic regularization.The improved GTN model is applied to simulate crack propagation under small-scale yielding conditions, so as to establish a relation with the global (J-Δa) approach. Crack tip blunting, crack initiation and (large) crack propagation are well captured. The model is also applied to a full-scale metallic pipe in the framework of the UE project Atlas+. After a phase of parameter calibration based on the experimental results on some small specimens, the global and local responses of other small specimens and of the full-scale pre-cracked pipe are compared with the experimental results. The results illustrates the robustness, the reliability and the efficiency of the current model.; Cette étude a pour objectif principal d’établir une stratégie de modélisation robuste, fiable et performante pour décrire des propagations de fissures d’échelle centimétrique en régime ductile dans des composants industriels. Le modèle d’endommagement de GTN écrit en grandes déformations est utilisé pour modéliser l’endommagement ductile. Ce modèle conduit généralement à une localisation de la déformation, conformément à l’expérience. L’échelle caractéristique de ce phénomène est introduite dans les équations de comportement via l’adoption d’une formulation non locale.Sur le plan numérique, ce modèle non local rend bien compte de la localisation dans une bande d’épaisseur donnée lorsqu’on raffine suffisamment le maillage. Par ailleurs, le problème de verrouillage numérique associé au caractère initialement isochore de la déformation plastique est limité en utilisant une formulation à base d’éléments finis mixtes. Enfin, la distorsion des éléments totalement cassés (i.e. sans rigidité apparente), qui pourrait nuire à la bonne convergence des simulations numériques, est traitée par une régularisation viscoélastique.L’ensemble de ces ingrédients sont appliqués pour simuler la propagation de fissure dans un milieu infini plasticité confinée), de sorte à établir un lien avec les approches globales en J-Δa. L’émoussement, l’amorçage et la (grande) propagation de fissure sont bien prédits. Le modèle est également appliqué à une tuyauterie métallique testée en grandeur réelle dans le cadre du projet européen Atlas+. Après une phase d’identification des paramètres sur éprouvette, les réponses globales et locales d’autres éprouvettes et du tube sont confrontés aux résultats expérimentaux. Ces résultats illustrent le degré de robustesse, de fiabilité et de performance qu’on peut attendre du modèle.

The major goal of this work is to establish a robust, reliable and efficient modeling technique so as to describe ductile tearing over a distance of several centimeters in industrial cases. The GTN damage model expressed in the context of finite strains is chosen to model ductile damage. Generally, the model leads to strain localization in agreement with experimental observations. The characteristic length scale of this phenomenon is introduced into the constitutive equations through the use of a nonlocal formulation.On a numerical ground, the nonlocal model controls the width of the localization band as soon as the mesh is sufficiently refined. Besides, the issue of volumetric-locking associated with plastic incompressibility is handled using a mixed finite element formulation. Finally, the distortion of broken elements (i.e. without any stiffness), which may affect the computational convergence of numerical simulations, is treated using a viscoelastic regularization.The improved GTN model is applied to simulate crack propagation under small-scale yielding conditions, so as to establish a relation with the global (J-Δa) approach. Crack tip blunting, crack initiation and (large) crack propagation are well captured. The model is also applied to a full-scale metallic pipe in the framework of the UE project Atlas+. After a phase of parameter calibration based on the experimental results on some small specimens, the global and local responses of other small specimens and of the full-scale pre-cracked pipe are compared with the experimental results. The results illustrates the robustness, the reliability and the efficiency of the current model.; Cette étude a pour objectif principal d’établir une stratégie de modélisation robuste, fiable et performante pour décrire des propagations de fissures d’échelle centimétrique en régime ductile dans des composants industriels. Le modèle d’endommagement de GTN écrit en grandes déformations est utilisé pour modéliser l’endommagement ductile. Ce modèle conduit généralement à une localisation de la déformation, conformément à l’expérience. L’échelle caractéristique de ce phénomène est introduite dans les équations de comportement via l’adoption d’une formulation non locale.Sur le plan numérique, ce modèle non local rend bien compte de la localisation dans une bande d’épaisseur donnée lorsqu’on raffine suffisamment le maillage. Par ailleurs, le problème de verrouillage numérique associé au caractère initialement isochore de la déformation plastique est limité en utilisant une formulation à base d’éléments finis mixtes. Enfin, la distorsion des éléments totalement cassés (i.e. sans rigidité apparente), qui pourrait nuire à la bonne convergence des simulations numériques, est traitée par une régularisation viscoélastique.L’ensemble de ces ingrédients sont appliqués pour simuler la propagation de fissure dans un milieu infini plasticité confinée), de sorte à établir un lien avec les approches globales en J-Δa. L’émoussement, l’amorçage et la (grande) propagation de fissure sont bien prédits. Le modèle est également appliqué à une tuyauterie métallique testée en grandeur réelle dans le cadre du projet européen Atlas+. Après une phase d’identification des paramètres sur éprouvette, les réponses globales et locales d’autres éprouvettes et du tube sont confrontés aux résultats expérimentaux. Ces résultats illustrent le degré de robustesse, de fiabilité et de performance qu’on peut attendre du modèle.

Mixed reality brings some advantages to industrial applications. It can, among others, facilitate visualizing and validating projects or assist operators during specific tasks. Projection-based Systems (PBS), such as CAVEs or spatial augmented reality provide a mixed reality environment enabling straightforward collaboration with external users. In this thesis, we aim at improving the usage of PBS for industrial applications by considering two main challenges: (1) improving the technical components of PBS and (2) improving the user experience when using PBS. As a first technical challenge, we propose to address the improvement of the tracking component. We introduce an approach that enables increasing the workspace of optical tracking systems by using two methods. As a first method, we propose to use monocular tracking. As a second method, we propose to use controlled cameras that follow the targets across the workspace. The resulting system provides acceptable performances for mixed reality applications while considerably increasing the workspace. Such a tracking system can make it easier to use large projection-based displays and can widen the range of available interactions. As a second technical challenge, we design an “all-in-one” headset for mobile spatial augmented reality on tangible objects. The headset gathers both a projection and a tracking system that are embedded on the user’s head. With such a system, the users are able to move around tangible objects and to manipulate them directly by hand while projecting virtual content over them. We illustrate our system with two industrial use cases: virtual prototyping and medical visualization. Finally, we address the challenge that aims at improving the user experience when using PBS. We introduce a method that provides virtual embodiment and increases the spatial perception of the users when using PBS. To do so we add the user’s virtual shadow in immersive projection-based systems. The virtual shadow is dynamically mapped to users’ movements in order to make them perceive the shadow as if it was their own. We then carry out an experiment to study the influence of the presence of the virtual shadow on the user experience and behavior.; La réalité mixte apporte certains avantages aux applications industrielles. Elle peut, entre autres, faciliter la visualisation et validation de projets ou assister des opérateurs durant des tâches spécifiques. Les systèmes de projection (PBS), tels que les CAVE ou la réalité augmentée spatiale, fournissent un environnement de réalité mixte permettant une collaboration directe avec des utilisateurs externes. Dans cette thèse, nous visons à améliorer l'utilisation des systèmes de projection pour des applications industrielles en abordant deux défis majeurs: (1) améliorer les composantes techniques des PBS et (2) augmenter l'expérience utilisateur dans les PBS. En tant que premier défi technique, nous visons à améliorer les systèmes de suivi de mouvements optiques. Nous proposons une approche permettant d’élargir l’espace de travail de ces systèmes grâce à deux méthodes. La première permet de suivre les mouvements à partir d’une seule caméra tandis ce que la deuxième permet de contrôler les caméras et suivre les objets dans l’espace de travail. Le système qui en résulte fournit des performances acceptables pour des applications en réalité mixte tout en augmentant considérablement l'espace de travail. Un tel système de suivi de mouvement peut permettre de mieux exploiter le potentiel des systèmes de projection et d’élargir le champ possible des interactions. En tant que deuxième défi technique, nous concevons un casque « tout-en-un » pour la réalité augmentée spatiale mobile. Le casque rassemble à la fois un système de projection et un système de suivi de mouvements qui sont embarqués sur la tête de l'utilisateur. Avec un tel système, les utilisateurs sont capables de se déplacer autour d'objets tangibles et de les manipuler directement à la main tout en projetant du contenu virtuel par-dessus. Nous illustrons notre système avec deux cas d'utilisation industriels: le prototypage virtuel et la visualisation médicale. Enfin, nous abordons le défi qui vise à améliorer l’expérience utilisateur dans les PBS. Nous proposons une approche permettant d’incarner un personnage virtuel et d’augmenter la perception spatiale des utilisateurs dans les PBS. Pour ce faire, nous ajoutons l’ombre virtuelle des utilisateurs dans les systèmes de projection immersifs. L'ombre virtuelle est directement corrélée aux mouvements des utilisateurs afin qu'ils la perçoivent comme si c'était la leur. Nous avons effectué une expérience afin d'étudier l'influence de la présence de l'ombre virtuelle sur le comportement des utilisateurs.

Mixed reality brings some advantages to industrial applications. It can, among others, facilitate visualizing and validating projects or assist operators during specific tasks. Projection-based Systems (PBS), such as CAVEs or spatial augmented reality provide a mixed reality environment enabling straightforward collaboration with external users. In this thesis, we aim at improving the usage of PBS for industrial applications by considering two main challenges: (1) improving the technical components of PBS and (2) improving the user experience when using PBS. As a first technical challenge, we propose to address the improvement of the tracking component. We introduce an approach that enables increasing the workspace of optical tracking systems by using two methods. As a first method, we propose to use monocular tracking. As a second method, we propose to use controlled cameras that follow the targets across the workspace. The resulting system provides acceptable performances for mixed reality applications while considerably increasing the workspace. Such a tracking system can make it easier to use large projection-based displays and can widen the range of available interactions. As a second technical challenge, we design an “all-in-one” headset for mobile spatial augmented reality on tangible objects. The headset gathers both a projection and a tracking system that are embedded on the user’s head. With such a system, the users are able to move around tangible objects and to manipulate them directly by hand while projecting virtual content over them. We illustrate our system with two industrial use cases: virtual prototyping and medical visualization. Finally, we address the challenge that aims at improving the user experience when using PBS. We introduce a method that provides virtual embodiment and increases the spatial perception of the users when using PBS. To do so we add the user’s virtual shadow in immersive projection-based systems. The virtual shadow is dynamically mapped to users’ movements in order to make them perceive the shadow as if it was their own. We then carry out an experiment to study the influence of the presence of the virtual shadow on the user experience and behavior.; La réalité mixte apporte certains avantages aux applications industrielles. Elle peut, entre autres, faciliter la visualisation et validation de projets ou assister des opérateurs durant des tâches spécifiques. Les systèmes de projection (PBS), tels que les CAVE ou la réalité augmentée spatiale, fournissent un environnement de réalité mixte permettant une collaboration directe avec des utilisateurs externes. Dans cette thèse, nous visons à améliorer l'utilisation des systèmes de projection pour des applications industrielles en abordant deux défis majeurs: (1) améliorer les composantes techniques des PBS et (2) augmenter l'expérience utilisateur dans les PBS. En tant que premier défi technique, nous visons à améliorer les systèmes de suivi de mouvements optiques. Nous proposons une approche permettant d’élargir l’espace de travail de ces systèmes grâce à deux méthodes. La première permet de suivre les mouvements à partir d’une seule caméra tandis ce que la deuxième permet de contrôler les caméras et suivre les objets dans l’espace de travail. Le système qui en résulte fournit des performances acceptables pour des applications en réalité mixte tout en augmentant considérablement l'espace de travail. Un tel système de suivi de mouvement peut permettre de mieux exploiter le potentiel des systèmes de projection et d’élargir le champ possible des interactions. En tant que deuxième défi technique, nous concevons un casque « tout-en-un » pour la réalité augmentée spatiale mobile. Le casque rassemble à la fois un système de projection et un système de suivi de mouvements qui sont embarqués sur la tête de l'utilisateur. Avec un tel système, les utilisateurs sont capables de se déplacer autour d'objets tangibles et de les manipuler directement à la main tout en projetant du contenu virtuel par-dessus. Nous illustrons notre système avec deux cas d'utilisation industriels: le prototypage virtuel et la visualisation médicale. Enfin, nous abordons le défi qui vise à améliorer l’expérience utilisateur dans les PBS. Nous proposons une approche permettant d’incarner un personnage virtuel et d’augmenter la perception spatiale des utilisateurs dans les PBS. Pour ce faire, nous ajoutons l’ombre virtuelle des utilisateurs dans les systèmes de projection immersifs. L'ombre virtuelle est directement corrélée aux mouvements des utilisateurs afin qu'ils la perçoivent comme si c'était la leur. Nous avons effectué une expérience afin d'étudier l'influence de la présence de l'ombre virtuelle sur le comportement des utilisateurs.

For heating and quenching operations occurring during material forming processes, thermal radiation is the the predominant physical phenomenon. Hence, when one tries to simulate such processes, it is important to have at disposal powerful tools for the numerical modelling of thermal radiation.The numerical simulation of these processes often rises numerous problems and questions, as the representation of a complex environment, involving several components ( ingots, burners, nozzles, walls), to deal with different coupled physical phenomena ( flow, heat transfer, boiling, thermal radiation). In this regard, some “immersed” numerical methods, allows a generalist treatment of these different problems, have gained popularity and drag interest of the scientific community in the recent years.The Thost project, aiming to produce a software for heat transfer during material forming processes, fits in the framework, and this PhD is part of this project. The goal is therefore to design tools for numerical modelling of thermal radiation within the immersed volume method of the Thost software. Two approaches are presented: one consisting in the adaptation of an existing method to the context of the immersed volume method, another concerning the development of a formulation for a specific model of radiation. These methods are then tested on industrial applications provided by our partners.; Dans le cadre des procédés de chauffage et de trempe réalisés lors d’opération de mise en forme des matériaux, le rayonnement thermique joue un rôle prépondérant. Lors de l’élaboration de modèles numériques permettant la simulation de ces procédés, il est donc nécessaire de disposer d’outils performants pour simuler ce phénomène.La simulation numérique de tels procédés soulèvent de nombreuses problématiques, comme la représentation d’un environnement complexe impliquant plusieurs composants (pièces, bruleurs, buses d’injection, parois), la gestion des divers phénomènes physiques couplés (écoulement, transfert thermiques, ébullition, rayonnement). Dans cette perspective, les méthodes dites « d’immersion », permettant un traitement généraliste de ces divers problèmes, rencontrent depuis quelques années un intérêt grandissant dans la communauté scientifique.C’est dans ce contexte que s’inscrit le projet Thost, au sein duquel est réalisée cette thèse. L’objectif est donc de développer des outils pour la modélisation du rayonnement dans le contexte d’immersion de volume propre au logiciel Thost. Deux approches sont développées : l’une consistant en l’adaptation d’une méthode existante au contexte de l’immersion de volume, l’autre explorant l’élaboration d’une formulation pour un modèle particulier de rayonnement. Les outils développés sont ensuite mis à l’épreuve sur des simulations de cas industriels fournis par nos partenaires.

Many works can be found in the literature concerning the vibroacoustic modelling of submerged stiffened cylindrical shells, because of high interest in the industrial domain, in particular for aeronautical or naval applications. However, only a few of them take into account non-axisymmetric internal frames, as for instance engine foundations or floor partitions, that can play a role on the vibroacoustic behavior of the system. That is why a substructuring approach called the Condensed Transfer Function (CTF) approach is proposed in the first part of this thesis. The aim is to take advantage of both analytical models and element-based models, in order to be able to deal with the geometrical complexity, and to calculate at higher frequencies than with element-based methods only. The substructuring method is developed in the general case of thin mechanical structures coupled along curves. A set of orthonormal functions called condensation functions, which depend on the curvilinear abscissa along the coupling line, is considered. This set is then used as a basis for approximating and decomposing the displacements and the applied forces at the line junctions. Thanks to the definition and calculation of condensed transfer functions for each uncoupled subsystem and by using the superposition principle for passive linear systems, the behavior of the coupled subsystems can be obtained. The method is first developed and validated for plates and convergence criteria are defined in relation with the size of the basis of condensation functions. The CTF method is then applied to the case of a submerged stiffened cylindrical shell with non-axisymmetric internal frames. The system is partitioned in 3 types of subsystems: the submerged shell, the axisymmetric frames (stiffeners, bulkheads) and the non-axisymmetric frames. The submerged shell is described by a semi-analytical method based on the Flügge equations in the spectral domain. The axisymmetric frames are described by axisymmetric Finite Element models and the non-axisymmetric frames by Finite Element models. The CTF method is applied to different test cases in order to highlight the influence of non-axisymmetric internal frames on the vibroacoustic behavior of a submerged stiffened cylindrical shell, for different excitations particularly relevant in the naval domain: a point force, an acoustic plane wave, and a random pressure field (such as a diffuse sound field or a turbulent boundary layer for instance)., De nombreux travaux dans la littérature se sont concentrés sur la modélisation vibro-acoustique de coques cylindriques raidies immergées, du fait des nombreuses applications industrielles, en particulier dans le domaine aéronautique ou naval. Cependant, peu d'entre elles prennent en compte des structures internes non-axisymétriques telles que des supports moteurs, des planchers ou des carlingages, qui peuvent avoir une influence importante sur le comportement vibro-acoustique du système. C'est pourquoi une méthode de sous-structuration baptisée CTF est présentée dans cette thèse. Elle est développée dans le cas général de deux structures minces couplées le long d'une ligne. Un ensemble de fonctions orthonormées, baptisées fonctions de condensation, est défini afin d'approximer les forces et déplacements à la jonction entre les sous-systèmes. Des fonctions de transfert condensées sont définies pour chaque sous-système découplé. L'utilisation du principe de superposition, de l'équilibre des forces et de la continuité des déplacements permet de déduire le comportement des sous-systèmes couplés. La méthode est d'abord développée et validée dans le cas de plaques, puis ensuite appliquée au cas d'une coque cylindrique raidie immergée couplée à des structures internes non-axisymétriques. Le système est dans ce cas décomposé en 3 familles de sous-systèmes : la coque cylindrique immergée décrite par une méthode semi-analytique basée sur la résolution des équations de Flügge dans le domaine des nombres d’onde, les structures internes axisymétriques (raidisseurs, cloisons) décrites par éléments finis axisymétriques et les structures non-axisymétriques décrites pas des modèles éléments finis. La méthode CTF est appliquée à différents cas tests afin de montrer l'influence des structures internes non-axisymétriques sur le comportement vibro-acoustique d'une coque cylindrique pour différents types d'excitations pertinents dans le domaine naval : une force ponctuelle, une onde plane acoustique et un champ de pression aléatoire (tel qu'un champ acoustique diffus ou une couche limite turbulente).

The present report aims to make the Institute and Observatory of Geophysics of Antananarivo I.O.G.A thereference center of geomagnetism in Madagascar, where available data and models are listed and their metadataknown, and the specific objective is the exploitation and valorization of the geomagnetic data of Madagascar.The manuscript includes five chapters. The first two chapters are devoted to the attitude of the geomagneticfield and its modeling in Madagascar, in order to characterize its spatial and temporal variations. The thirdchapter gives the results of the geomagnetic field modeling and leads to the development of the Madagascargeomagnetic database called MAGEDAB or « Madagascar Geomagnetic DAtaBase » which contains allavailable geomagnetic data in Madagascar. In the fourth chapter, we presented discussions on the relevance ofmagnetic modeling in Madagascar, on the contribution of Madagascar to the World Digital Magnetic AnomalyMap project and on the inversion of the geomagnetic field. Until now, global model IGRF(InternationalGeomagnetic Reference Field) seems to be the most relevant model for Madagascar because there is a perfectcorrelation between real data and synthetic data. But the disadvantage of this model is that if we want to havethe finest details of the variations of geomagnetic field in Madagascar, the coverage of the model is too broaderfor Madagascar because its wavelength is approximately 4000km. Madagascar will be able to observe theincrease in the intensity of the geomagnetic field which is useful for the study of the inversion of thisgeomagnetic field, because a new magnetic observatory has just been installed. Finally, the fifth chapter evokedthe applications of the geomagnetic field in industries in particular mining and oil industries, It also talks aboutthe space weather as well as protections of the infrastructures such as electric networks, pipelines, submarinecables..., Le présent travail vise à faire de l'Institut et Observatoire de Géophysique d'Antananarivo I.O.G.A le centre deréférence du géomagnétisme à Madagascar, où les données et modèles disponibles sont répertoriés et leursméta-data connues, et le but en est l'exploitation et valorisation des données géomagnétiques de Madagascar lagrande île.L'ouvrage comprend cinq chapitres. Les deux premiers sont consacré au comportement du champgéomagnétique et sa modélisation à Madagascar, pour bien caractériser ses variations spatiales et temporelles.Le troisième chapitre donne les résultats des modélisations de ce champ et conduit à l'élaboration de la base dedonnées géomagnétiques propre à Madagascar appelée MAGEDAB « MAdagascar GEomagnetic DAtaBase »qui contient toutes les données géomagnétiques disponibles à Madagascar. Dans le quatrième chapitre, nousavons présenté des discussions sur la pertinence de modélisation magnétique à Madagascar, sur la contributionde Madagascar au projet de création de carte d'anomalies magnétiques mondiale « World Digital MagneticAnomaly Map » et sur l'inversion du champ géomagnétique. Jusqu'aujourd'hui, le modèle global IGRF noussemble le plus pertinent pour Madagascar car il existe une parfaite corrélation entre les données réelles et lesdonnées synthétiques. Mais l’inconvénient de ce modèle est qu'on ne peut pas avoir des détails plus fins duchamp géomagnétique à Madagascar car sa longueur d'onde est voisine de 4000km et donc sa couverture estplus large comparée à la taille de la grande île. Madagascar peut observer l'augmentation de l'intensité du champgéomagnétique qui est utile pour l'étude de l'inversion de ce champ car un nouvel observatoire magnétique vientd'être installé. Finalement, le cinquième chapitre a évoqué les applications du champ magnétique aux industriesnotamment les industries minières et pétrolières et aussi a parlé de la météorologie de l'espace ainsi que lesprotections des infrastructures comme les réseaux électriques, les pipelines et les câbles sous marin...

Nous sommes confrontés à des problématiques industrielles de plus en plus complexes, nécessitant l'utilisation de techniques d'optimisation toujours plus avancées (hybridations, décompositions, ...) alors que parallèlement le besoin métier peut être parfois imprécis et que les attentes de "simplicité d'utilisation" sont toujours plus grandes. En s'appuyant sur deux ou trois exemples d'applications réelles, cet exposé décrira les approches projets ayant permis de créer de "beaux logiciels".

National audience

In this thesis, we focused on the development of heuristic approaches for solvingvehicle routing problems. We exploited researches conducted on interval graphsand dominance properties of saturated tours to deal more efficiently with selectivevehicle routing problems. An adaptation of a particle swarm optimization algorithmand a memetic algorithm is proposed. The metaheuristics that we developed arebased on effective techniques such as optimal split, genetic crossover operatorsand local searches. We are also interested in classical vehicle problems with timewindows. Various pre-processing methods are introduced to obtain lower boundson the number of vehicles. These methods are based on many approaches usinggraph models, scheduling problems and bin packing problems with conflicts. Wealso showed the effectiveness of the developed methods with an industrial applicationby implementing a portal of mobility services.; Dans cette thèse, nous nous sommes intéressés à la résolution approchée de problèmes de tournées de véhicules. Nous avons exploité des travaux menés sur les graphes d'intervalles et des propriétés de dominance relatives aux tournées saturées pour traiter les problèmes de tournées sélectives plus efficacement. Des approches basées sur un algorithme d'optimisation par essaim particulaire et un algorithme mémétique ont été proposées. Les métaheuristiques développées font appel à un ensemble de techniques particulièrement efficaces telles que le découpage optimal, les opérateurs de croisement génétiques ainsi que des méthodes de recherches locales. Nous nous sommes intéressés également aux problèmes de tournées classiques avec fenêtres de temps. Différents prétraitements ont été introduits pour obtenir des bornes inférieures sur le nombre de véhicules. Ces prétraitements s'inspirent de méthodes issues de modèles de graphes, de problème d'ordonnancement et de problèmes de bin packing avec conflits. Nous avons montré également l'utilité des méthodes développées dans un contexte industriel à travers la réalisation d'un portail de services mobilité.

In this thesis, we focused on the development of heuristic approaches for solvingvehicle routing problems. We exploited researches conducted on interval graphsand dominance properties of saturated tours to deal more efficiently with selectivevehicle routing problems. An adaptation of a particle swarm optimization algorithmand a memetic algorithm is proposed. The metaheuristics that we developed arebased on effective techniques such as optimal split, genetic crossover operatorsand local searches. We are also interested in classical vehicle problems with timewindows. Various pre-processing methods are introduced to obtain lower boundson the number of vehicles. These methods are based on many approaches usinggraph models, scheduling problems and bin packing problems with conflicts. Wealso showed the effectiveness of the developed methods with an industrial applicationby implementing a portal of mobility services., Dans cette thèse, nous nous sommes intéressés à la résolution approchée de problèmes de tournées de véhicules. Nous avons exploité des travaux menés sur les graphes d'intervalles et des propriétés de dominance relatives aux tournées saturées pour traiter les problèmes de tournées sélectives plus efficacement. Des approches basées sur un algorithme d'optimisation par essaim particulaire et un algorithme mémétique ont été proposées. Les métaheuristiques développées font appel à un ensemble de techniques particulièrement efficaces telles que le découpage optimal, les opérateurs de croisement génétiques ainsi que des méthodes de recherches locales. Nous nous sommes intéressés également aux problèmes de tournées classiques avec fenêtres de temps. Différents prétraitements ont été introduits pour obtenir des bornes inférieures sur le nombre de véhicules. Ces prétraitements s'inspirent de méthodes issues de modèles de graphes, de problème d'ordonnancement et de problèmes de bin packing avec conflits. Nous avons montré également l'utilité des méthodes développées dans un contexte industriel à travers la réalisation d'un portail de services mobilité.

Nous présentons les résultats d’une étude sur des mortiers renforcés de fibres de lin. Une brève étude bibliographique montre notamment que le lin en tant que renfort a fait l’objet de peu de travaux malgré une disponibilité importante, un coût peu élevé et de bonnes propriétés spécifiques. Nous montrons ensuite que, du point de vue de la mise en oeuvre et du comportement mécanique, les conditionnements de la fibre de lin sous forme de fibres courtes ou de grilles apparaissent comme les plus adaptés à une utilisation industrielle. Les différents composites réalisés sont caractérisés en flexion. Il en ressort que les fibres courtes améliorent sensiblement le comportement post-pic alors que les grilles confèrent une réelle ductilité au composite. De plus, le pourcentage en masse optimal des fibres courtes est à ce jour, sans traitement préalable des fibres, voisin de 1. Pour ce taux de renfort, le rapport E/C doit être compris entre 0.38 et 0.50 pour un rapport S/C variant entre 1 et 2. Finalement, nous démontrons alors la faisabilité en laboratoire d’applications possibles, avec des fibres courtes et des grilles, comme la réalisation de regards, de panneaux sandwichs ou de renforts de murs en briques.

Global overview of the history of production and uses of natural dyes and discussion of the present issues connected with the revival of interest and uses of natural colorants, Synthèse historique de la production et des usages des teintures naturelles dans le monde entier et des enjeux du renouveau actuel d'intérêt pour les applications industrielles des colorants naturels

There has been a very strong development of the sensors based on surface plasmon resonance during the last thirty years, mostly for biological and biomedical applications. If the first experiments in this field were carried out at the beginning of the 20t century, it would have been necessary to wait for the end of the sixties to see the first devices performing accurate measurements of the refractive indices of gas and liquid samples. Indeed, the surface plasmon resonance phenomenon allows to measure refractive index variations with a high sensitivity that is hardly obtained with other optical measurement techniques. The basic principle consists of exciting the free electrons of a metallic layer with light, which induces the formation of a surface wave called surface plasmon. This resonant phenomenon depends on the wavelength of the excitation light and the refractive indices of the metallic layer and the material located close to the metallic layer. A variation of the refractive index of the latter induces a variation of the resonance condition, which allows to realize optical sensors designed to measure determined samples. An appropriate calibration allows to set a relationship between the variation of the concentration of the sample and the measured refractive index value. Among the various parameters that describe the performances of the sensor, one of the most important is the sensitivity. It is possible to demonstrate that the excitation wavelength has an impact on the sensitivity of the system : the latter increases if the measured sample has an absorption peak at a wavelength close to the excitation wavelength. The main goal of this thesis is to explore this sensitivity enhancement technique based on the absorption properties of the probed medium. A proof-of-principle is experimentally demonstrated with an optical setup constituted of laser sources working in the visible range of the electromagnetic spectrum. However, many materials have absorption peaks located in the mid-infrared range due to their fundamental molecular vibrations. Therefore, the realization of a plasmonic sensor working in the mid-infrared could allow to measure these materials with an increased sensitivity. To the best of our knowledge, surface plasmon resonance based sensors have never been developed above the near-infrared. This thesis presents for the first time the design and realization of a plasmonic sensor working in the mid-infrared range able to measure refractive index variations of gas and liquids samples. Even if the optical sources, components and detectors designed for the mid-infrared are clearly different from the ones designed for the visible range, it has been possible to successfully realize two systems working in the mid-infrared range during this project. The first is able to perform gas measurements. As the excitation wavelength depends on the measured sample, it was necessary to select a laser source that had a wavelength located close to the absorption peak of the gas under measurement. For this purpose, we designed a plasmonic sensor working at a 4.4 µm wavelength able to measure carbon dioxide (CO2) absorbing at 4.3 µm. It has been demonstrated that the experimental sensitivity of this system is five times higher than the theoretical sensitivity obtained with a system working in the visible range at a 633 nm wavelength. The second has been conceived to measure liquid samples in order to measure variations of concentration of CO2 dissolved in water. If measurements of refractive index variations (without using the sensitivity enhancement technique) could be performed successfully with variations of concentration of alcohol in water, further work is necessary to get decisive results for CO2 dissolved in water. This project was carried out in collaboration with an industrial partner in order to take into account some industrial constraints during the development of the sensor. Therefore, particular care has been taken in order to design a system that is compact, mechanically robust, without any mechanical moving parts, cheap and easily reproducible. The technological development presented in this thesis finds many applications mainly in the chemical, biological and biomedical fields. Indeed, many proteins show absorption peaks in the mid-infrared. It could be possible to measure their concentration or the modification of their properties – like their composition or structure – with an increased sensitivity. The interest of surface plasmons is that the measurement is not a transmission-based technique, but rather a "reflection-based technique", as the light does not go through the gas or liquid sample. This measurement technique is also adapted for high volume samples that are present in industrial production processes like water or soft drink quality control.

pour le champs 'auteurs', les Directeurs de publications apparaissent en premier puis le Directeur de collection.; International audience; P. 11|I, Physique et applications atmosphériques des filaments de plasma générés par des impulsions laser ultrabrèves / Jérôme Kasparian, Jean Pierre Wolf.|II, Systèmes d analyse|P. 53|II-1, Spectroscopie d émission optique sur plasma induit par laser : Principe et applications / Patrick Mauchien, Catherine Gallou, Jean Luc Lacour, Laurent Salmon|P. 67|II-2, Spectroscopie de fluorescence induite par diodes laser : Application au diagnostic des plasmas / Stéphane Mazouffre|P. 97|II-3, Un capteur de flux d énergie dans les plasmas / A.-L. Thomann, N. Semmar, R. Dussart, L. Bedra, J. Mathias, Y. Tessier et S. Mazouffre|III, Modélisation|P. 121|III-1, Modélisation de la photoionisation dans les plasmas d air non-thermiques à la pression atmosphérique / Anne Bourdon, Sébastien Célestin, Julien Capeillère et Pierre Ségur|P. 151|III-2, Modélisation des plasmas produits par interaction laser-matière / Tatiana E. Itina|IV, Rayonnement - Lampes - Chimie|P. 173|IV-1, Propriétés et transferts radiatifs dans les plasmas / M.Y. Perrin, A. Soufiani, Ph. Riviere|P. 205|IV-2, Modifications induites en surface de polymères par traitement laser / Patricia Laurens, Sophie Petit|P. 223|IV-3, Lampes fluorescentes sans mercure, à la recherche de l efficacité énergétique / Eric Robert, Sébastien Point, Sébastien Dozias, Christophe Cachoncinlle, Raymond Viladrosa et Jean Michel Pouvesle|P. 245|IV-4, Sources plasmas de rayonnement X créées par laser / Fabien Dorchies|V, Plasmas thermiques et chauds.|P. 285|V-1, Importance du rayonnement dans les procédés thermiques industriels / Yann Cressault, Philippe Teulet, Jean-Jacques Gonzalez, Alain Gleizes|P. 327|V-2, La spectroscopie optique appliquée à l'étude des disjoncteurs / Dunpin Hong, Jean-Marc Bauchire et François Gentils|P. 351|V-3, Exemples de micro plasmas à haute densité : Electroérosion et ouverture de contacts électriques / Jean-Luc Dorier, Antoine Descoeudres, Christoph Hollenstein|P. 377|V-4, Chauffage et génération de courant par ondes dans les tokamaks / Gérard Bonhomme

pour le champs 'auteurs', les Directeurs de publications apparaissent en premier puis le Directeur de collection.; International audience; P. 9|Préface / Agnès Granier.|P. 11|I, Histoire(s) de plasma froid / André Bouchoule.|II, Nouvelles sources de plasmas froids.|P. 41|II-1, Plasmas capacitifs double fréquence / Pascal Chabert.|P. 51|II-2, Application de la spectroscopie d’émission à l’étude des décharges électriques dans les milieux denses / Nelly Bonifaci.|P. 85|II-3, Des sources plasma micro-onde dipolaires aux plasmas matriciels / Tran Tan Vinh, Stéphane Béchu, Alexandre Bes, Louis Latrasse, Ana Lacoste et Jacques Pelletier.|III, Plasmas thermiques : systèmes et procédés.|P. 125|III-1, Calcul des coeffi cients de transport et du rayonnement pour les plasmas thermiques / Alain Gleizes.|P. 155|III-2, Fonctionnement des Fusibles MT. Études expérimentales et théoriques / William Bussière.|P. 197|III-3, Le disjoncteur basse tension et l’arc électrique / Jean-Marc Bauchire, Dunpin Hong et François Gentils.|P. 215|III-4, Systèmes de coupure de courant : Disjoncteurs basse tension. Diagnostic magnétique de l’expansion et du mouvement de l’arc électrique dans un disjoncteur basse tension / Jean-Pierre Toumazet.|P. 227|III-5, La découpe des métaux par plasma / Pierre Freton et Philippe Teulet.|IV, Plasmas et Génie des Procédés.|P. 269|IV-1, Un aperçu des traitements de particules par plasma hors équilibre / Fabienne Poncin-Epaillard.|P. 291|IV-2, Traitement de poudres en lit fluidisé et autres procédés assistés par plasma froid / Hubert Caquineau et Brigitte Caussat.|P. 317|IV-3, Traitement de tôles d’acier au défi é par Décharge à Barrière Diélectrique / DBD) impulsionnelle (Vincent Puech.|P. 337|IV-4, Plasmas électrolytiques : application à l’oxydation de l’aluminium / Thierry Czerwiec, Gérard Henrion, Flore Jaspard, Alain Viola et Thierry Belmonte.|P. 355|IV-5, Combustion assistée par décharges nanosecondes répétitives pulsées / Christophe O. Laux.

Une procédure de synthèse des régulateurs PID numériques pour les systèmes d'ordre élevé est présentée. Cette procédure est basée sur la réduction directe de la complexité d'un régulateur robuste calculé sur la base du modèle du système. L'estimation des paramètres du PID est faite par un algorithme du type identification en boucle fermée. La méthodologie est illustrée et comparée à d'autres techniques de réglage du PID à travers deux applications. La première application est une transmission souple, caract érisée par deux modes vibratoires faiblement amortis et un retard, et l'autre est un système amorti avec un retard pur important.

pour le champs 'auteurs', les Directeurs de publications apparaissent en premier puis le Directeur de collection.; International audience; P. 9|Préface / Yvan Ségui.|P. 11|I, Plasmas et Astrophysique.|P. 13|I-1, Les Plasmas du Système Solaire et de l'Univers / Hervé de Feraudy.|P. 33|I-2, Instrumentation Plasma pour l'étude des Plasmas du Système Solaire / Jean-Jacques Berthelier.|P. 65|II, Plasmas et Aérospatial.|P. 67|II-1, La Propulsion électrique dans l'espace: Pourquoi, Comment ? Les développements en France / André Bouchoule.|P. 105|II-2, Propulsion Plasma - Nouveaux Concepts / Laurent Garrigues.|P. 123|II-3, Application des plasmas non thermiques au contrôle « électrofluidodynamique » des écoulements / Eric Moreau, Luc Léger, Alexandre Labergue, Guillermo Artana, Maxime Forte, Jérôme Pons, Christophe Louste, Gérard Touchard.|P. 179|III, Plasmas et Environnement.|P. 181|III-1, Association des plasmas non-thermiques à la catalyse: applications et verrous technologiques / Stéphane Pasquiers et Jean-Michel Tatibouët.|P. 215|III-2, Traitement de déchets en plasma d'arc: quelques exemples / Jean-Marie Baronnet.|P. 227|III-3, Sources de lumière du futur: Quels enjeux scientifiques, énergétiques, économiques et sociétaux ? / Georges Zissis et Jean-Baptiste Rouffet.|P. 247|IV, Plasmas et Biologie.|P. 249|IV-1, Les biofilms microbiens dans les bio-industries / R. Briandet, F. Dubois-Brissonnet, M. Naitali, T. Meylheuc, J.-M. Henry, A. Boubetra, M.N. Bellon-Fontaine.|P. 263|IV-2, Fonctionnalisation et structuration comme outils d'élaboration d'interfaces pour la fabrication de biocapteurs / F. Brétagnol, A. Valsesia, M. Lejeune, G. Ceccone, D. Gilliland, P. Colpo, F. Rossi.|P. 279|IV-3, Matériaux et dépôts ostéointégrables pour implants chirurgicaux, notamment orthopédiques : enjeux, défis et perspectives / Ghislain Montavon.|P. 323|V, Plasmas et Nanomatériaux.|P. 325|V-1, Potentialités des procédés PECVD et plasmas d'arc pour la synthèse de nanotubes et nanofibres de carbone / Tiberiu M. Minea, Manitra Razafinimanana, Jean-Jacques Gonzalez, Marc Monthioux.|P. 383|V-2, Agrégats et films nanostructurés par ablation laser / F. Dumas-Bouchiat, Corinne Champeaux, G. Trolliard, F. Rossignol, A. Catherinot.|P. 413|V-3, Nanoélectronique silicium Les plasmas froids : un excellent outil pour le nano / Pere Roca i Cabarrocas, Iran Thuat Nguyen.

The aim of this thesis is to develop an integrated methodology for the systemidentification and control design of industrial systems. In the first part the controldesign problem for industrial applications is studied and a method that allows adirect design of robust controllers for a large number of practical applications is presented.This method is based on : I/O acquisition, system identification, controllerdesign. The second part is devoted to the study of monovariable linear industrialsystems. A procedure based on the interaction between closed loop identificationand control design is presented. A method for tuning PID controllers in the caseof high-order systems is also proposed. The identification of a special class of nonlinearmodels is the third part of the thesis. By analogy with the linear case, amethod for system identification and a technique for control design are presented., L'objectif de cette thèse est d'apporter des contributions à une méthodologieintégrée pour l'identification et la commande des systèmes industriels. La premièrepartie analyse les problématiques de la commande des systèmes industriels et proposeune méthode qui conduit rapidement au calcul d'un régulateur robuste pourun large nombre d'applications réelles en suivant les trois étapes fondamentales :données E/S, identification du modèle, calcul du régulateur. La deuxième partie estdédiée à l'étude des systèmes industriels linéaires monovariable. On présente uneprocédure basée sur l'interaction entre la commande et l'identification en bouclefermée. Une méthode pour l'ajustement des régulateurs PID destinés aux systèmesd'ordre élevé est aussi proposée. La modélisation et identification d'une classe demodèles non-linéaires constituent l'objet de la troisième partie de la thèse.

pour le champs 'auteurs', les Directeurs de publications apparaissent en premier puis le Directeur de collection.; International audience; I, Cinétiques électronique, chimique et ionique.|P. 15|I-1, Détermination de sections efficaces et paramètres de transport électroniques. / M.C.Bordage.|P. 47|I-2, Attachement électronique et recombinaison dissociative: études expérimentales et bases théoriques. / J.B.A. Mitchell, C. Rebrion-Rowe.|P. 69|I-3, Cinétique de réaction entre espèces neutres. / J.-L. Jauberteau, I. Jauberteau, J. Aubreton.|P. 85|I-4, Construction et réduction de schémas cinétiques complexes. / A. Dollet, S. de Persis, F. Teyssandier.|P. 127|I-5, Transport et instabilités dans les plasmas électronégatifs à basse pression. / P. Chabert.|II, Transports et Transferts.|P. 149|II-1, Hydrodynamique (principes de base et références). / E.Climent.|P. 165|II-2, Étude des couplages entre transport, chimie et transfert d'énergie dans les plasmas de décharge. / A. Bourdon, K. Hassouni, W. Morscheidt, G. Hagelaar, S. Longo, T.A. Grotjohn, G. Lombardi, X. Duten, F. Silva, A. Gicquel, F. Aréfi-Khonsari, M. Capitelli .|P. 243|II-3, Transfert d'énergie en plasmas thermiques. / P. Freton, J.-J. Gonzalez.|III, Nouvelles applications des Plasmas.|P. 261|III-1, Procédés plasma pour l'élaboration de piles à combustible à membrane électrolyte polymère. / S. Roualdès, J. Durand, P. Sistat, P. Brault, A. Gaillard, A.L. Thomann, J. Mathias, C. Charles, R. Boswell, T. Sauvage, R. Berjoan.|P. 283|III-2, Projection plasma de suspensions de particules submicroniques pour la réalisation de piles à combustible à électrolyte solide (SOFC). / V. Rat, C. Delbos, J.-F. Coudert, T. Chartier, P. Fauchais, L. Blanchi.|P. 299|III-3, Stérilisation du matériel médical. / S. Villeger, J.-P. Sarrette, A. Ricard.|P. 321|III-4, Plasma et catalyse pour la dépollution. / A. Khacef.

Colloque avec actes et comité de lecture. internationale.; International audience; This paper describes the 3D geometric modelling of a nuclear waste room using the interactive vision software Pyramide. Pyramide was developed at CEA a few years ago for robotics applications. Therefore, models provided can be used straight to prepare and execute telerobotics missions. Modelling with Pyramide is made from video images. The software is strongly oriented to provide interactive functions. This allows the operator to adapt its modelling strategy according to the circumstances. Pyramide appeared to be well suited to this modelling application in reason of its versatility. Constraints on the modelling were indeed very strong: great number of parts, highly reflective material, restrained access and radioactive environment. Pyramide allowed to adapt modelling strategy and to take into account at the same time, a-priori knowledge on the scene, data captured on-line and unpredictable situation.

Colloque sans acte à diffusion restreinte. nationale.; National audience; Il s'agit de chercher à optimiser simultanément la productivité de l'atelier et l'utilisation des ressources humaines dans un contexte très contraint d'application réelle de grande taille.

ISBN: 2-7462-0433-9; La conjonction de l'évolution des technologies de fabrication des circuits intégrés et de la nature du marché des systèmes électroniques fait que l'on est amené à concevoir des circuits de plus en plus complexes (plusieurs millions) de transistors en un temps de plus en plus court (quelques mois). Ce phénomène a entraîné une métamorphose du processus de conceptiuon. Si le principe de la conception reste le même (il s'agit de générer une réalisation physique sous forme d'une puce en partant d'une spécification système), les outils mis en œuvre et l'organisation du travail durant le processus de conception ont, en revanche, beaucoup évolué. Ainsi, on est passé de la conception où l'on dessinait les masques du circuit sur du papier spécial, à une conception quasi automatique qui part d'une description du comportement du circuit sous forme d'un programme dans un langage de haut niveau. Cet ouvrage a pour but de décrire les méthodes et les outils d'aide à la conception de haut niveau des systèmes électroniques digitaux intégrés. Après une présentation des éléments de base nécessaires à l'étude des langages, des méthodes et des outils de conception (chapitre 2), le lecteur trouvera une description des concepts et des techniques utilisés pour la conception comportementale (chapitre 3). Il s'agit de raffiner un modèle de haut niveau décrivant les opérations de calcul, de contrôle et de communication d'une application donnée, en un où les fonctions sont découpées en calculs élémentaires pouvant être réalisés en un seul cycle d'horloge (conception logique). Le chapitre 4 est consacré aux concepts et aux techniques utilisés pour la conception système. Elle consiste à réaliser le découpage logiciel/matériel pour transposer une spécification fonctionnelle en langage de haut niveau, sur une architecture composée de circuits spécialisés et de processeurs généreaux (ou specialisés interconnectés). Pour contrôler la qualité de la conception il faut s'assurer que les spécifications initiales décrivent bien la fonctionnalité souhaitée, puis il faut vérifier que les différentes étapes de raffinement préservent cette fonctionnalité. Dans le chapitre 5, la vérification d'équivalence, la vérification de propriétés, la simulation symbolique et la démonstration de théorèmes sont donc abordées. Le chapitre 6 de l'ouvrage traite du domaine émergeant qui a rendu possible l'intégration de systèmes complexes sur une puce : la conception des systèmes hétérogènes. Il s'agit de systèmes pouvant comporter des parties provenant de plusieurs équipes utilisant des méthodes de conception différentes.

ISBN: 2746204339; La conjonction de l'évolution des technologies de fabrication des circuits intégrés et de la nature du marché des systèmes électroniques fait que l'on est amené à concevoir des circuits de plus en plus complexes (plusieurs millions) de transistors en un temps de plus en plus court (quelques mois). Ce phénomène a entraîné une métamorphose du processus de conceptiuon. Si le principe de la conception reste le même (il s'agit de générer une réalisation physique sous forme d'une puce en partant d'une spécification système), les outils mis en œuvre et l'organisation du travail durant le processus de conception ont, en revanche, beaucoup évolué. Ainsi, on est passé de la conception où l'on dessinait les masques du circuit sur du papier spécial, à une conception quasi automatique qui part d'une description du comportement du circuit sous forme d'un programme dans un langage de haut niveau. Cet ouvrage a pour but de décrire les méthodes et les outils d'aide à la conception de haut niveau des systèmes électroniques digitaux intégrés. Après une présentation des éléments de base nécessaires à l'étude des langages, des méthodes et des outils de conception (chapitre 2), le lecteur trouvera une description des concepts et des techniques utilisés pour la conception comportementale (chapitre 3). Il s'agit de raffiner un modèle de haut niveau décrivant les opérations de calcul, de contrôle et de communication d'une application donnée, en un où les fonctions sont découpées en calculs élémentaires pouvant être réalisés en un seul cycle d'horloge (conception logique). Le chapitre 4 est consacré aux concepts et aux techniques utilisés pour la conception système. Elle consiste à réaliser le découpage logiciel/matériel pour transposer une spécification fonctionnelle en langage de haut niveau, sur une architecture composée de circuits spécialisés et de processeurs généreaux (ou specialisés interconnectés). Pour contrôler la qualité de la conception il faut s'assurer que les spécifications initiales décrivent bien la fonctionnalité souhaitée, puis il faut vérifier que les différentes étapes de raffinement préservent cette fonctionnalité. Dans le chapitre 5, la vérification d'équivalence, la vérification de propriétés, la simulation symbolique et la démonstration de théorèmes sont donc abordées. Le chapitre 6 de l'ouvrage traite du domaine émergeant qui a rendu possible l'intégration de systèmes complexes sur une puce : la conception des systèmes hétérogènes. Il s'agit de systèmes pouvant comporter des parties provenant de plusieurs équipes utilisant des méthodes de conception différentes.

NUMBER OF PAGES : 224; La conjonction de l'évolution des technologies de fabrication des circuits intégrés et de la nature du marché des systèmes électroniques fait que l'on est amené à concevoir des circuits de plus en plus complexes (plusieurs millions) de transistors en un temps de plus en plus court (quelques mois). Ce phénomène a entraîné une métamorphose du processus de conceptiuon. Si le principe de la conception reste le même (il s'agit de générer une réalisation physique sous forme d'une puce en partant d'une spécification système), les outils mis en œuvre et l'organisation du travail durant le processus de conception ont, en revanche, beaucoup évolué. Ainsi, on est passé de la conception où l'on dessinait les masques du circuit sur du papier spécial, à une conception quasi automatique qui part d'une description du comportement du circuit sous forme d'un programme dans un langage de haut niveau. Cet ouvrage a pour but de décrire les méthodes et les outils d'aide à la conception de haut niveau des systèmes électroniques digitaux intégrés. Après une présentation des éléments de base nécessaires à l'étude des langages, des méthodes et des outils de conception (chapitre 2), le lecteur trouvera une description des concepts et des techniques utilisés pour la conception comportementale (chapitre 3). Il s'agit de raffiner un modèle de haut niveau décrivant les opérations de calcul, de contrôle et de communication d'une application donnée, en un où les fonctions sont découpées en calculs élémentaires pouvant être réalisés en un seul cycle d'horloge (conception logique). Le chapitre 4 est consacré aux concepts et aux techniques utilisés pour la conception système. Elle consiste à réaliser le découpage logiciel/matériel pour transposer une spécification fonctionnelle en langage de haut niveau, sur une architecture composée de circuits spécialisés et de processeurs généreaux (ou specialisés interconnectés). Pour contrôler la qualité de la conception il faut s'assurer que les spécifications initiales décrivent bien la fonctionnalité souhaitée, puis il faut vérifier que les différentes étapes de raffinement préservent cette fonctionnalité. Dans le chapitre 5, la vérification d'équivalence, la vérification de propriétés, la simulation symbolique et la démonstration de théorèmes sont donc abordées. Le chapitre 6 de l'ouvrage traite du domaine émergeant qui a rendu possible l'intégration de systèmes complexes sur une puce : la conception des systèmes hétérogènes. Il s'agit de systèmes pouvant comporter des parties provenant de plusieurs équipes utilisant des méthodes de conception différentes.

ISBN 2746204339; La conjonction de l'évolution des technologies de fabrication des circuits intégrés et de la nature du marché des systèmes électroniques fait que l'on est amené à concevoir des circuits de plus en plus complexes (plusieurs millions) de transistors en un temps de plus en plus court (quelques mois). Ce phénomène a entraîné une métamorphose du processus de conceptiuon. Si le principe de la conception reste le même (il s'agit de générer une réalisation physique sous forme d'une puce en partant d'une spécification système), les outils mis en œuvre et l'organisation du travail durant le processus de conception ont, en revanche, beaucoup évolué. Ainsi, on est passé de la conception où l'on dessinait les masques du circuit sur du papier spécial, à une conception quasi automatique qui part d'une description du comportement du circuit sous forme d'un programme dans un langage de haut niveau. Cet ouvrage a pour but de décrire les méthodes et les outils d'aide à la conception de haut niveau des systèmes électroniques digitaux intégrés. Après une présentation des éléments de base nécessaires à l'étude des langages, des méthodes et des outils de conception (chapitre 2), le lecteur trouvera une description des concepts et des techniques utilisés pour la conception comportementale (chapitre 3). Il s'agit de raffiner un modèle de haut niveau décrivant les opérations de calcul, de contrôle et de communication d'une application donnée, en un où les fonctions sont découpées en calculs élémentaires pouvant être réalisés en un seul cycle d'horloge (conception logique). Le chapitre 4 est consacré aux concepts et aux techniques utilisés pour la conception système. Elle consiste à réaliser le découpage logiciel/matériel pour transposer une spécification fonctionnelle en langage de haut niveau, sur une architecture composée de circuits spécialisés et de processeurs généreaux (ou specialisés interconnectés). Pour contrôler la qualité de la conception il faut s'assurer que les spécifications initiales décrivent bien la fonctionnalité souhaitée, puis il faut vérifier que les différentes étapes de raffinement préservent cette fonctionnalité. Dans le chapitre 5, la vérification d'équivalence, la vérification de propriétés, la simulation symbolique et la démonstration de théorèmes sont donc abordées. Le chapitre 6 de l'ouvrage traite du domaine émergeant qui a rendu possible l'intégration de systèmes complexes sur une puce : la conception des systèmes hétérogènes. Il s'agit de systèmes pouvant comporter des parties provenant de plusieurs équipes utilisant des méthodes de conception différentes.

La conjonction de l'évolution des technologies de fabrication des circuits intégrés et de la nature du marché des systèmes électroniques fait que l'on est amené à concevoir des circuits de plus en plus complexes (plusieurs millions) de transistors en un temps de plus en plus court (quelques mois). Ce phénomène a entraîné une métamorphose du processus de conceptiuon. Si le principe de la conception reste le même (il s'agit de générer une réalisation physique sous forme d'une puce en partant d'une spécification système), les outils mis en œuvre et l'organisation du travail durant le processus de conception ont, en revanche, beaucoup évolué. Ainsi, on est passé de la conception où l'on dessinait les masques du circuit sur du papier spécial, à une conception quasi automatique qui part d'une description du comportement du circuit sous forme d'un programme dans un langage de haut niveau. Cet ouvrage a pour but de décrire les méthodes et les outils d'aide à la conception de haut niveau des systèmes électroniques digitaux intégrés. Après une présentation des éléments de base nécessaires à l'étude des langages, des méthodes et des outils de conception (chapitre 2), le lecteur trouvera une description des concepts et des techniques utilisés pour la conception comportementale (chapitre 3). Il s'agit de raffiner un modèle de haut niveau décrivant les opérations de calcul, de contrôle et de communication d'une application donnée, en un où les fonctions sont découpées en calculs élémentaires pouvant être réalisés en un seul cycle d'horloge (conception logique). Le chapitre 4 est consacré aux concepts et aux techniques utilisés pour la conception système. Elle consiste à réaliser le découpage logiciel/matériel pour transposer une spécification fonctionnelle en langage de haut niveau, sur une architecture composée de circuits spécialisés et de processeurs généreaux (ou specialisés interconnectés). Pour contrôler la qualité de la conception il faut s'assurer que les spécifications initiales décrivent bien la fonctionnalité souhaitée, puis il faut vérifier que les différentes étapes de raffinement préservent cette fonctionnalité. Dans le chapitre 5, la vérification d'équivalence, la vérification de propriétés, la simulation symbolique et la démonstration de théorèmes sont donc abordées. Le chapitre 6 de l'ouvrage traite du domaine émergeant qui a rendu possible l'intégration de systèmes complexes sur une puce : la conception des systèmes hétérogènes. Il s'agit de systèmes pouvant comporter des parties provenant de plusieurs équipes utilisant des méthodes de conception différentes.

NUMBER OF PAGES : 224; La conjonction de l'évolution des technologies de fabrication des circuits intégrés et de la nature du marché des systèmes électroniques fait que l'on est amené à concevoir des circuits de plus en plus complexes (plusieurs millions) de transistors en un temps de plus en plus court (quelques mois). Ce phénomène a entraîné une métamorphose du processus de conceptiuon. Si le principe de la conception reste le même (il s'agit de générer une réalisation physique sous forme d'une puce en partant d'une spécification système), les outils mis en œuvre et l'organisation du travail durant le processus de conception ont, en revanche, beaucoup évolué. Ainsi, on est passé de la conception où l'on dessinait les masques du circuit sur du papier spécial, à une conception quasi automatique qui part d'une description du comportement du circuit sous forme d'un programme dans un langage de haut niveau. Cet ouvrage a pour but de décrire les méthodes et les outils d'aide à la conception de haut niveau des systèmes électroniques digitaux intégrés. Après une présentation des éléments de base nécessaires à l'étude des langages, des méthodes et des outils de conception (chapitre 2), le lecteur trouvera une description des concepts et des techniques utilisés pour la conception comportementale (chapitre 3). Il s'agit de raffiner un modèle de haut niveau décrivant les opérations de calcul, de contrôle et de communication d'une application donnée, en un où les fonctions sont découpées en calculs élémentaires pouvant être réalisés en un seul cycle d'horloge (conception logique). Le chapitre 4 est consacré aux concepts et aux techniques utilisés pour la conception système. Elle consiste à réaliser le découpage logiciel/matériel pour transposer une spécification fonctionnelle en langage de haut niveau, sur une architecture composée de circuits spécialisés et de processeurs généreaux (ou specialisés interconnectés). Pour contrôler la qualité de la conception il faut s'assurer que les spécifications initiales décrivent bien la fonctionnalité souhaitée, puis il faut vérifier que les différentes étapes de raffinement préservent cette fonctionnalité. Dans le chapitre 5, la vérification d'équivalence, la vérification de propriétés, la simulation symbolique et la démonstration de théorèmes sont donc abordées. Le chapitre 6 de l'ouvrage traite du domaine émergeant qui a rendu possible l'intégration de systèmes complexes sur une puce : la conception des systèmes hétérogènes. Il s'agit de systèmes pouvant comporter des parties provenant de plusieurs équipes utilisant des méthodes de conception différentes.

NUMBER OF PAGES : 224; La conjonction de l'évolution des technologies de fabrication des circuits intégrés et de la nature du marché des systèmes électroniques fait que l'on est amené à concevoir des circuits de plus en plus complexes (plusieurs millions) de transistors en un temps de plus en plus court (quelques mois). Ce phénomène a entraîné une métamorphose du processus de conceptiuon. Si le principe de la conception reste le même (il s'agit de générer une réalisation physique sous forme d'une puce en partant d'une spécification système), les outils mis en œuvre et l'organisation du travail durant le processus de conception ont, en revanche, beaucoup évolué. Ainsi, on est passé de la conception où l'on dessinait les masques du circuit sur du papier spécial, à une conception quasi automatique qui part d'une description du comportement du circuit sous forme d'un programme dans un langage de haut niveau. Cet ouvrage a pour but de décrire les méthodes et les outils d'aide à la conception de haut niveau des systèmes électroniques digitaux intégrés. Après une présentation des éléments de base nécessaires à l'étude des langages, des méthodes et des outils de conception (chapitre 2), le lecteur trouvera une description des concepts et des techniques utilisés pour la conception comportementale (chapitre 3). Il s'agit de raffiner un modèle de haut niveau décrivant les opérations de calcul, de contrôle et de communication d'une application donnée, en un où les fonctions sont découpées en calculs élémentaires pouvant être réalisés en un seul cycle d'horloge (conception logique). Le chapitre 4 est consacré aux concepts et aux techniques utilisés pour la conception système. Elle consiste à réaliser le découpage logiciel/matériel pour transposer une spécification fonctionnelle en langage de haut niveau, sur une architecture composée de circuits spécialisés et de processeurs généreaux (ou specialisés interconnectés). Pour contrôler la qualité de la conception il faut s'assurer que les spécifications initiales décrivent bien la fonctionnalité souhaitée, puis il faut vérifier que les différentes étapes de raffinement préservent cette fonctionnalité. Dans le chapitre 5, la vérification d'équivalence, la vérification de propriétés, la simulation symbolique et la démonstration de théorèmes sont donc abordées. Le chapitre 6 de l'ouvrage traite du domaine émergeant qui a rendu possible l'intégration de systèmes complexes sur une puce : la conception des systèmes hétérogènes. Il s'agit de systèmes pouvant comporter des parties provenant de plusieurs équipes utilisant des méthodes de conception différentes.

ISBN: 2746204347; La conjonction de l'évolution des technologies de fabrication des circuits intégrés et de la nature du marché des systèmes électroniques fait que l'on est amené à concevoir des circuits de plus en plus complexes (plusieurs millions) de transistors en un temps de plus en plus court (quelques mois). Ce phénomène a entraîné une métamorphose du processus de conception. Si le principe de la conception reste le même (il s'agit de générer une réalisation physique sous forme d'une puce en partant d'une spécification système), les outils mis en œuvre et l'organisation du travail durant le processus de conception ont, en revanche, beaucoup évolué. Ainsi, on est passé de la conception où l'on dessinait les masques du circuit sur du papier spécial, à une conception quasi automatique qui part d'une description du comportement du circuit sous forme d'un programme dans un langage de haut niveau. Cet ouvrage a pour but de décrire les méthodes et les outils d'aide à la conception logique et physique des systèmes électroniques digitaux intégrés. Le chapitre 2 présente les fondements de la synthèse de circuits logiques à partir de modèles écrits dans des langages de description de matériel (VHDL / Verilog). Le lecteur aura ainsi les connaissances nécessaires pour devenir un utilisateur averti des outils de synthèse logique et un concepteur-programmeur. Le chapitre suivant est consacré à la conception physique, l'étape ultime dans une chaîne de conception de circuits intégrés, celle de l'implémentation en vue de l'obtention des dessins de masques servant à la fabrication du circuit intégré. Ses principales méthodologies (placement et routage automatiques, synthèse automatique d'arbre d'horloge, etc.) seront donc décrites ainsi que les différentes étapes de la vérification physique (extraction des composants parasites, etc.). L'accroissement en complexité des circuits intégrés et la nécessité croissante de réduire les temps de mise sur le marché exigent la mise en place d'une stratégie de test de la qualité du produit fini. Le chapitre 4 traite du test des circuits en décrivant les concepts et les outils nécessaires à la mise en place d'une telle stratégie. Le concept de communication asynchrone, très en vogue en ce moment, repose sur le concept de découplage des différents modules constituant un système. Ce principe, qui est à la base de toutes les approches modulaires développées pour maîtriser la complexité, peut amener des solutions plus efficaces en termes de performance et de consommation. Les concepts qui régissent le fonctionnement et l'implémentation des circuits asynchrones sont présentés dans le chapitre 5 ainsi que les formalismes et les méthodes utilisés pour la synthèse de circuits asynchrones. En conclusion, le lecteur trouvera une liste des principaux outils de CAO de circuits et systèmes existants. Le chapitre 6 passe en revue quelques outils du commerce s'intégrant dans le flot de conception des circuits et systèmes, en mettant l'accent en particulier sur les outils et les nouvelles méthodes de conception à base d'IP (composants virtuels ou «propriété intellectuelle».

ISBN: 2746204339; La conjonction de l'évolution des technologies de fabrication des circuits intégrés et de la nature du marché des systèmes électroniques fait que l'on est amené à concevoir des circuits de plus en plus complexes (plusieurs millions) de transistors en un temps de plus en plus court (quelques mois). Ce phénomène a entraîné une métamorphose du processus de conceptiuon. Si le principe de la conception reste le même (il s'agit de générer une réalisation physique sous forme d'une puce en partant d'une spécification système), les outils mis en œuvre et l'organisation du travail durant le processus de conception ont, en revanche, beaucoup évolué. Ainsi, on est passé de la conception où l'on dessinait les masques du circuit sur du papier spécial, à une conception quasi automatique qui part d'une description du comportement du circuit sous forme d'un programme dans un langage de haut niveau. Cet ouvrage a pour but de décrire les méthodes et les outils d'aide à la conception de haut niveau des systèmes électroniques digitaux intégrés. Après une présentation des éléments de base nécessaires à l'étude des langages, des méthodes et des outils de conception (chapitre 2), le lecteur trouvera une description des concepts et des techniques utilisés pour la conception comportementale (chapitre 3). Il s'agit de raffiner un modèle de haut niveau décrivant les opérations de calcul, de contrôle et de communication d'une application donnée, en un où les fonctions sont découpées en calculs élémentaires pouvant être réalisés en un seul cycle d'horloge (conception logique). Le chapitre 4 est consacré aux concepts et aux techniques utilisés pour la conception système. Elle consiste à réaliser le découpage logiciel/matériel pour transposer une spécification fonctionnelle en langage de haut niveau, sur une architecture composée de circuits spécialisés et de processeurs généreaux (ou specialisés interconnectés). Pour contrôler la qualité de la conception il faut s'assurer que les spécifications initiales décrivent bien la fonctionnalité souhaitée, puis il faut vérifier que les différentes étapes de raffinement préservent cette fonctionnalité. Dans le chapitre 5, la vérification d'équivalence, la vérification de propriétés, la simulation symbolique et la démonstration de théorèmes sont donc abordées. Le chapitre 6 de l'ouvrage traite du domaine émergeant qui a rendu possible l'intégration de systèmes complexes sur une puce : la conception des systèmes hétérogènes. Il s'agit de systèmes pouvant comporter des parties provenant de plusieurs équipes utilisant des méthodes de conception différentes.

NUMBER OF PAGES : 224; La conjonction de l'évolution des technologies de fabrication des circuits intégrés et de la nature du marché des systèmes électroniques fait que l'on est amené à concevoir des circuits de plus en plus complexes (plusieurs millions) de transistors en un temps de plus en plus court (quelques mois). Ce phénomène a entraîné une métamorphose du processus de conceptiuon. Si le principe de la conception reste le même (il s'agit de générer une réalisation physique sous forme d'une puce en partant d'une spécification système), les outils mis en œuvre et l'organisation du travail durant le processus de conception ont, en revanche, beaucoup évolué. Ainsi, on est passé de la conception où l'on dessinait les masques du circuit sur du papier spécial, à une conception quasi automatique qui part d'une description du comportement du circuit sous forme d'un programme dans un langage de haut niveau. Cet ouvrage a pour but de décrire les méthodes et les outils d'aide à la conception de haut niveau des systèmes électroniques digitaux intégrés. Après une présentation des éléments de base nécessaires à l'étude des langages, des méthodes et des outils de conception (chapitre 2), le lecteur trouvera une description des concepts et des techniques utilisés pour la conception comportementale (chapitre 3). Il s'agit de raffiner un modèle de haut niveau décrivant les opérations de calcul, de contrôle et de communication d'une application donnée, en un où les fonctions sont découpées en calculs élémentaires pouvant être réalisés en un seul cycle d'horloge (conception logique). Le chapitre 4 est consacré aux concepts et aux techniques utilisés pour la conception système. Elle consiste à réaliser le découpage logiciel/matériel pour transposer une spécification fonctionnelle en langage de haut niveau, sur une architecture composée de circuits spécialisés et de processeurs généreaux (ou specialisés interconnectés). Pour contrôler la qualité de la conception il faut s'assurer que les spécifications initiales décrivent bien la fonctionnalité souhaitée, puis il faut vérifier que les différentes étapes de raffinement préservent cette fonctionnalité. Dans le chapitre 5, la vérification d'équivalence, la vérification de propriétés, la simulation symbolique et la démonstration de théorèmes sont donc abordées. Le chapitre 6 de l'ouvrage traite du domaine émergeant qui a rendu possible l'intégration de systèmes complexes sur une puce : la conception des systèmes hétérogènes. Il s'agit de systèmes pouvant comporter des parties provenant de plusieurs équipes utilisant des méthodes de conception différentes.

ISBN: 2746204347; La conjonction de l'évolution des technologies de fabrication des circuits intégrés et de la nature du marché des systèmes électroniques fait que l'on est amené à concevoir des circuits de plus en plus complexes (plusieurs millions) de transistors en un temps de plus en plus court (quelques mois). Ce phénomène a entraîné une métamorphose du processus de conception. Si le principe de la conception reste le même (il s'agit de générer une réalisation physique sous forme d'une puce en partant d'une spécification système), les outils mis en œuvre et l'organisation du travail durant le processus de conception ont, en revanche, beaucoup évolué. Ainsi, on est passé de la conception où l'on dessinait les masques du circuit sur du papier spécial, à une conception quasi automatique qui part d'une description du comportement du circuit sous forme d'un programme dans un langage de haut niveau. Cet ouvrage a pour but de décrire les méthodes et les outils d'aide à la conception logique et physique des systèmes électroniques digitaux intégrés. Le chapitre 2 présente les fondements de la synthèse de circuits logiques à partir de modèles écrits dans des langages de description de matériel (VHDL / Verilog). Le lecteur aura ainsi les connaissances nécessaires pour devenir un utilisateur averti des outils de synthèse logique et un concepteur-programmeur. Le chapitre suivant est consacré à la conception physique, l'étape ultime dans une chaîne de conception de circuits intégrés, celle de l'implémentation en vue de l'obtention des dessins de masques servant à la fabrication du circuit intégré. Ses principales méthodologies (placement et routage automatiques, synthèse automatique d'arbre d'horloge, etc.) seront donc décrites ainsi que les différentes étapes de la vérification physique (extraction des composants parasites, etc.). L'accroissement en complexité des circuits intégrés et la nécessité croissante de réduire les temps de mise sur le marché exigent la mise en place d'une stratégie de test de la qualité du produit fini. Le chapitre 4 traite du test des circuits en décrivant les concepts et les outils nécessaires à la mise en place d'une telle stratégie. Le concept de communication asynchrone, très en vogue en ce moment, repose sur le concept de découplage des différents modules constituant un système. Ce principe, qui est à la base de toutes les approches modulaires développées pour maîtriser la complexité, peut amener des solutions plus efficaces en termes de performance et de consommation. Les concepts qui régissent le fonctionnement et l'implémentation des circuits asynchrones sont présentés dans le chapitre 5 ainsi que les formalismes et les méthodes utilisés pour la synthèse de circuits asynchrones. En conclusion, le lecteur trouvera une liste des principaux outils de CAO de circuits et systèmes existants. Le chapitre 6 passe en revue quelques outils du commerce s'intégrant dans le flot de conception des circuits et systèmes, en mettant l'accent en particulier sur les outils et les nouvelles méthodes de conception à base d'IP (composants virtuels ou «propriété intellectuelle».

ISBN: 2-7462-0434-7; La conjonction de l'évolution des technologies de fabrication des circuits intégrés et de la nature du marché des systèmes électroniques fait que l'on est amené à concevoir des circuits de plus en plus complexes (plusieurs millions) de transistors en un temps de plus en plus court (quelques mois). Ce phénomène a entraîné une métamorphose du processus de conception. Si le principe de la conception reste le même (il s'agit de générer une réalisation physique sous forme d'une puce en partant d'une spécification système), les outils mis en œuvre et l'organisation du travail durant le processus de conception ont, en revanche, beaucoup évolué. Ainsi, on est passé de la conception où l'on dessinait les masques du circuit sur du papier spécial, à une conception quasi automatique qui part d'une description du comportement du circuit sous forme d'un programme dans un langage de haut niveau. Cet ouvrage a pour but de décrire les méthodes et les outils d'aide à la conception logique et physique des systèmes électroniques digitaux intégrés. Le chapitre 2 présente les fondements de la synthèse de circuits logiques à partir de modèles écrits dans des langages de description de matériel (VHDL / Verilog). Le lecteur aura ainsi les connaissances nécessaires pour devenir un utilisateur averti des outils de synthèse logique et un concepteur-programmeur. Le chapitre suivant est consacré à la conception physique, l'étape ultime dans une chaîne de conception de circuits intégrés, celle de l'implémentation en vue de l'obtention des dessins de masques servant à la fabrication du circuit intégré. Ses principales méthodologies (placement et routage automatiques, synthèse automatique d'arbre d'horloge, etc.) seront donc décrites ainsi que les différentes étapes de la vérification physique (extraction des composants parasites, etc.). L'accroissement en complexité des circuits intégrés et la nécessité croissante de réduire les temps de mise sur le marché exigent la mise en place d'une stratégie de test de la qualité du produit fini. Le chapitre 4 traite du test des circuits en décrivant les concepts et les outils nécessaires à la mise en place d'une telle stratégie. Le concept de communication asynchrone, très en vogue en ce moment, repose sur le concept de découplage des différents modules constituant un système. Ce principe, qui est à la base de toutes les approches modulaires développées pour maîtriser la complexité, peut amener des solutions plus efficaces en termes de performance et de consommation. Les concepts qui régissent le fonctionnement et l'implémentation des circuits asynchrones sont présentés dans le chapitre 5 ainsi que les formalismes et les méthodes utilisés pour la synthèse de circuits asynchrones. En conclusion, le lecteur trouvera une liste des principaux outils de CAO de circuits et systèmes existants. Le chapitre 6 passe en revue quelques outils du commerce s'intégrant dans le flot de conception des circuits et systèmes, en mettant l'accent en particulier sur les outils et les nouvelles méthodes de conception à base d'IP (composants virtuels ou «propriété intellectuelle».

Ce rapport a pour but de présenter la démarche générale élaborée à l'IRISA en matière de surveillance d'installations industrielles pour la maintenance conditionnelle. Cette démarche permet, pour une large classe de modèles, la conception systématique des algorithmes nécessaires, à partir de la donnée de la structure du modèle adéquat pour le système surveillé. Nous rappelons les deux principaux exemples d'application qui illustrent sa pertinence. Puis nous décrivons les extensions en cours, concernant l'application d'une part aux modèles de type réseaux de neurones ou d'ondelettes, et d'autre part à des modèles dynamiques hybrides numérique/symbolique. Nous indiquons une organisation possible des logiciels correspondants et des commentaires sur les références citées. Puis nous décrivons les fondements théoriques des techniques présidant aux différentes étapes de la conception de l'algorithmique correspondante.

La conduite et la maintenance de procédés industriels nécessitent l'analyse de leur comportement tel qu'il est perçu par les divers capteurs. Il s'agit essentiellement de détecter, localiser et diagnostiquer toute déviation par rapport à un comportement de référence. Nous présentons des méthodes statistiques du traitement du signal et des méthodes de l'intelligence artificielle permettant la génération des alarmes et leur interprétation. Nous les illustrons par des exemples tirés d'applications industrielles. Nous nous efforçons de montrer la complémentarité de ces approches

pour le champs 'auteurs', les Directeurs de publications apparaissent en premier puis le Directeur de collection.; International audience; 15|Préface / Alix Gicquel.|19|Préface « France-Québec » / Alain Denoirjean.|23|Le Réseau « Plasmas Froids ».|33|Plasma-Québec, regroupement stratégique en science et applications des plasmas.|Plasma et son environnement.|47|1- Plasmas & liquides.|49|Phénomènes prédisruptifs dans les liquides : « modes » de propagation et mécanismes / Olivier Lesaint.|77|La gazéification de biomasse en ambiance plasma sur bain de verre / I. Carlesi, M. Mabrouk, C. Lafon, F.Lemont, J.M. Baronnet.|113|2- Plasmas & milieux poreux.|115|Décharges hors-équilibre à pression atmosphérique dans les milieux confinés, poreux ou alvéolaires / Pierre Tardiveau, Stéphane Pasquiers.|137|Transport / adsorption / diffusion / agrégation d’atomes pulvérisés par plasma dans les matériaux poreux. Expériences et modélisations / Pascal Brault, Jean-Marc Bauchire, Amaël Caillard, Anne-Lise Thomann, Sujuan Wu, François James, Christophe Josserand.|159|3- Plasmas & parois.|161|Pourquoi et comment est-ce que les parois des réacteurs contrôlent la chimie des plasmas basse pression ? / Gilles Cunge.|185|4- Sources & couplage sources - plasmas.|187|Plasma Micro-onde: Sources et techniques de couplage / François Silva, Khaled Hassouni.|229|Diagnostics électriques et alimentations des décharges / Nicolas Naudé, Jean Paillol, Antoine Belinger, Roland Subileau.|265|Matériaux piézoélectriques dédiés à la génération de plasmas froids : principes, applications et investigations récentes / François Pigache, Thierry Callegari.|293|5- Plasmas / surfaces.|295|Emission électronique sous impact d'électrons de basse énergie / Thomas Tondu, Mohammed Belhaj, Julien Roupie.|311|6- 1ère Journée Francophone.|313|Synthèse de films minces par condensation de vapeur réactive en régime de forte ionisation / Stephanos Konstantinidis, Rony Snyders.|329|Plasmas Froids en France et au Québec.|331|Plasmas d’entrée atmosphérique : problématique et enjeux / Arnaud Bultel, Julien Annaloro.|363|Les microdécharges / Rémi Dussart, Antoine Rousseau, Pascal Chabert, Vincent Puech, Leanne Pitchford, Nader Sadeghi, Thierry Belmonte, Caroline Boisse Laporte, Eric Robert.|407|Plasmas induits par laser pour la génération de photons « extrêmes » / Tsuneyuki Ozaki.|429|La Physique de l’interaction des impulsions laser relativistes avec la matière / Vladimir T. Tikhonchuk