Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Fiabilité technique et humaine PDF full book. Access full book title Fiabilité technique et humaine by LYONNET Patrick. Download full books in PDF and EPUB format.
Author: LYONNET Patrick Publisher: Lavoisier ISBN: 2743064676 Category : Languages : en Pages : 506
Book Description
De tout temps l’homme a sans doute voulu construire des choses fiables. Mais les évaluations quantifiées, probabilisées ont vu le jour récemment d’abord pour systèmes militaires (missiles, satellites) puis nucléaires, automobiles et les biens d’équipements. On peut citer que dès 1906 les constructeurs de tubes à vides américains se sont préoccupés de fiabilité, de là est née la fiabilité électronique, puis mécanique, informatique et humaine des systèmes et composants. Cette évolution contemporaine a produit de nombreux outils, concepts et méthodes. Ces développements sont au centre de l’ouvrage. Fiabilité Technique et Humaine rassemble les concepts, techniques et outils de la fiabilité des composants et systèmes en considérant toutes les technologies et dimensions, notamment la mécanique, l’électronique, l’informatique et les aspects humains. En effet, les erreurs humaines sont à l’origine de nombreuses défaillances et de ce fait ne peuvent être ignorées lors de la conception ou du maintien des installations. Les diverses formes de fiabilité, prévisionnelle, expérimentale et opérationnelle sont explicitées et illustrées aux travers d’applications industrielles. Les concepts, outils et techniques de fiabilité les plus complexes sont présentés à partir d’exemples permettant au lecteur de se familiariser avec ce domaine. La présentation très didactique de ces concepts, étayée par plus de 100 exercices et problèmes corrigés en fait un ouvrage incontournable pour la maîtrise de la fiabilité technique et humaine.
Author: LYONNET Patrick Publisher: Lavoisier ISBN: 2743064676 Category : Languages : en Pages : 506
Book Description
De tout temps l’homme a sans doute voulu construire des choses fiables. Mais les évaluations quantifiées, probabilisées ont vu le jour récemment d’abord pour systèmes militaires (missiles, satellites) puis nucléaires, automobiles et les biens d’équipements. On peut citer que dès 1906 les constructeurs de tubes à vides américains se sont préoccupés de fiabilité, de là est née la fiabilité électronique, puis mécanique, informatique et humaine des systèmes et composants. Cette évolution contemporaine a produit de nombreux outils, concepts et méthodes. Ces développements sont au centre de l’ouvrage. Fiabilité Technique et Humaine rassemble les concepts, techniques et outils de la fiabilité des composants et systèmes en considérant toutes les technologies et dimensions, notamment la mécanique, l’électronique, l’informatique et les aspects humains. En effet, les erreurs humaines sont à l’origine de nombreuses défaillances et de ce fait ne peuvent être ignorées lors de la conception ou du maintien des installations. Les diverses formes de fiabilité, prévisionnelle, expérimentale et opérationnelle sont explicitées et illustrées aux travers d’applications industrielles. Les concepts, outils et techniques de fiabilité les plus complexes sont présentés à partir d’exemples permettant au lecteur de se familiariser avec ce domaine. La présentation très didactique de ces concepts, étayée par plus de 100 exercices et problèmes corrigés en fait un ouvrage incontournable pour la maîtrise de la fiabilité technique et humaine.
Author: Grzegorz Rozenberg Publisher: Springer Science & Business Media ISBN: 9783540180869 Category : Computers Languages : en Pages : 466
Book Description
The aim of these series of volumes "Advances in Petri Nets" is to present to the general computer science community the most significant recent results with regard to the development in the area. The main source of the papers are the annual European Workshops on Applications and Theory of Petri Nets"; the highest ranked papers from the past workshops are considered for the series, i.e., they are again reviewed and accordingly revised or extended. In addition to the workshop papers, the "Advances" also present invited papers. The present volume Advances in Petri Nets 1987 covers the 7th "European Workshop on Applications and Theory of Petri Nets" held in Oxford, Great Britain, in June 1986. It also contains a survey on complexity of problems related to Petri nets written by R.R. Howell and L.E. Rosier. A special feature of this volume is a bibliography on Petri nets, containing more than 2000 entries.
Author: C. Girault Publisher: Springer Science & Business Media ISBN: 3642683533 Category : Computers Languages : en Pages : 350
Book Description
This volume documents the progress of application and theory of Petri Nets since the Advanced Course on General Net Theory of Processes and Systems, held in Hamburg, October 8-19, 1979, This course presen ted in detail wha t had been achieved in this area since the first studies of concurrent systems 20 years ago, After this course it seemed worthwhile to establish a co-operation between different groups working in the field of Petri N ets, The starting points were the AFCET Special Interest Group "Systemes Paralleles et Distribues" and the Gl Special Interest Group "Petrinetze und verwandte Systemmodelle", Meanwhile, group s of many European countries are involved, A main activity of this co-operation is the realization of workshops in varying European countries, The first workshop of this kind was carried out in Strasbourg (France), September 23-26, 1980, The second one took place in Bad Honnef (Germany) September 28-30, 1981. This volume contains contributions of these two workshops, The 1980 workshop in Strasbourg was partitioned into 6 topics : (1) Application of Nets to Realtime Systems, (2) Programming Languages and Software Engineering, (3) Information Flow and Concurrency, (4) Net Morphisms and High Level Petri Nets, (5) Mathematical Analysis and N et Languages, (6) Reliability and Recovery Issues, In this volume, the chairman of each topic gives a short introduction to his area whict should help to understand its specific problems and to in troduce the presented papers,
Author: Hartmut Ehrig Publisher: Springer ISBN: 3540400222 Category : Computers Languages : en Pages : 466
Book Description
This state-of-the-art survey in the Advances in Petri Nets series reports how various well-established and novel Petri net notions and techniques can be employed for modelling communication-based systems, with a particular focus on workflow management and business processes.The book builds on the success of a special program of the German Science Foundation (DFG) on Petri Net Technology as well as on broad participation from the international Petri net research community.
Author: LYONNET Patrick Publisher: Lavoisier ISBN: 2743063858 Category : Languages : en Pages : 394
Book Description
Permettre de concevoir, développer et utiliser des systèmes de diagnostic, de surveillance et de maintenance prédictive pour systèmes complexes (avions, centrales nucléaires, transport, etc.), afin d'optimiser les performances de la sûreté de fonctionnement : tel est l'objectif de cet ouvrage. Pour cela Fiabilité, diagnostic et maintenance prédictive des systèmes s'appuie sur la modélisation des systèmes (parties commandes et opératives), l'évaluation probabiliste et déterministe du fonctionnement, et la conception de systèmes de surveillance. Cet ouvrage fait le lien entre le diagnostic, la maintenance et la fiabilité des systèmes techniques, du plus simple au plus complexe. Son approche novatrice et sa présentation en font un véritable guide théorique et pratique pour les ingénieurs qui pourront y trouver la réponse à de nombreux problèmes de diagnostic, de surveillance et de maintenance, en particulier grâce à l'analyse vibratoire. Très didactique et accompagné de plus de 100 exercices et problèmes résolus reflétant des situations concrètes, il présente les concepts de base pour concevoir et développer correctement des outils ou des systèmes de diagnostic et de maintenance conditionnelle (prédictive) indispensables aux ingénieurs ou aux élèves ingénieurs en génie industriel, génie mécanique, robotique ou sûreté de fonctionnement dans les domaines les plus variés.
Author: S. Ramesh Publisher: Springer Science & Business Media ISBN: 9783540638766 Category : Computers Languages : en Pages : 364
Book Description
This book constitutes the refereed proceedings of the 17th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'97. The 18 revised full papers presented were selected from a total of 68 submissions. Also included are five invited papers by Ed Clarke, Deepak Kapur, Madhu Sudan, Vijaya Ramachandran, and Moshe Vardi. Among the topics addressed are concurrency, Petri nets, graph computations, program verification, model checking, recursion theory, rewriting, and error-correcting codes.
Author: Hartmut Ehrig Publisher: Springer Science & Business Media ISBN: 9783540544968 Category : Computers Languages : en Pages : 396
Book Description
The algebraic specification of abstract data types is now a well establishedresearch topic in computer science. This area influences both applications and theoretical foundations of methodologies which support the design and formal development of reliable software. The Seventh Workshop on Specification of Abstract Data Types took place in Wusterhausen/Dosse, April17-20, 1990, and was organized in cooperation with the ESPRIT Basic Research Working Group COMPASS. The main topics covered by the workshop were: - Modularization - Object orientation - Higher-order types anddependent types - Inductive completion - Algebraic high-level nets.
Author: LYONNET Patrick
Author: LYONNET Patrick
Author: Grzegorz Rozenberg
Author: 
Author: C. Girault
Author: Hartmut Ehrig
Author: LYONNET Patrick
Author: S. Ramesh
Author: Hartmut Ehrig
Author: K.E. Peterson
Author: Gaston Lefranc