Author: J. William Robbins
Publisher: Quintessence Publishing Company Incorporated
ISBN: 9780867155235
Category : Dental therapeutics
Languages : en
Pages : 0

Get Book Here

Book Description

Author: G. Lamperti
Publisher: Springer Science & Business Media
ISBN: 9401702578
Category : Computers
Languages : en
Pages : 440

Get Book Here

Book Description
This book is about model-based diagnosis of a class of discrete-event systems called active systems. Roughly, model-based diagnosis is the task of finding out the faulty components of a physical system based on the observed behavior and the system model. An active system is the abstraction of a physical artefact that is modeled as a network of com municating automata. For example, the protection apparatus of a power transmission network can be conveniently modeled as an active system, where breakers, protection devices, and lines are naturally described by finite state machines. The asynchronous occurrence of a short circuit on a line or a bus-bar causes the reaction of the protection devices, which aims to isolate the shorted line. This reaction can be faulty and several lines might be eventually isolated, rather than the shorted line only. The diagnostic problem to be solved is uncovering the faulty devices based the visible part of the reaction. Once the diagnosis task has been on accomplished, the produced results are exploited to fix the apparatus (and also to localize the short circuit, in this sample case). Interestingly, the research presented in this book was triggered a decade ago by a project 011 short circuit localization, conducted by ENEL, the Italian electricity board, along with other industrial and academic European partners.

Author: European Coordinating Committee for Artificial Intelligence
Publisher: IOS Press
ISBN: 160750605X
Category : Computers
Languages : en
Pages : 1184

Get Book Here

Book Description
LC copy bound in 2 v.: v. 1, p. 1-509; v. 2, p. [509]-1153.

Author: Meredith R. Bergey
Publisher: JHU Press
ISBN: 1421423804
Category : Medical
Languages : en
Pages : 416

Get Book Here

Book Description
Graham, Hiroyuki Ito, Fabian Karsch, Victor Kraak, Claudia Malacrida, Lorenzo Montali, Yasuo Murayama, Sebastián Rojas Navarro, Órla O'Donovan, Francisco Ortega, Mónica Peña Ochoa, Brenton J. Prosser, Vololona Rabeharisoa, Patricio Rojas, Tiffani Semach, Ilina Singh, Rachel Spronk, Junko Teruyama, Masatsugu Tsujii, Fan-Tzu Tseng, Manuel Vallée, Rafaela Zorzanelli

Author: José T. de Sousa
Publisher: Springer Science & Business Media
ISBN: 0306479753
Category : Technology & Engineering
Languages : en
Pages : 178

Get Book Here

Book Description
This pioneering text explains how to synthesize digital diagnostic sequences for wire interconnects using boundary-scan, and how to assess the quality of those sequences. It takes a new approach, carefully modelling circuit and interconnect faults, and applying graph techniques to solve problems.

Author: European Coordinating Committee for Artificial Intelligence
Publisher: IOS Press
ISBN: 1586038915
Category : Computers
Languages : en
Pages : 972

Get Book Here

Book Description
Includes subconference "Prestigious Applications of Intelligent Systems (PAIS 2008)."

Author: Volker Gruhn
Publisher: Springer
ISBN: 354069272X
Category : Computers
Languages : en
Pages : 254

Get Book Here

Book Description
This book constitutes the refereed post-proceedings of the Third European Workshop on Software Architecture, EWSA 2006, held in France in September 2006. The 13 revised full research papers and five revised position papers presented together with one invited talk were carefully reviewed and selected. All current aspects of software architectures are addressed ranging from foundational and methodological issues to application issues of practical relevance.

Author: Elisabetta Di Nitto
Publisher: MIT Press
ISBN: 0262042533
Category : Application program interfaces (Computer software)
Languages : en
Pages : 577

Get Book Here

Book Description
Research results from industry-academic collaborative projects in service-oriented computing describe practical, achievable solutions. Service-Oriented Applications and Architectures (SOAs) have captured the interest of industry as a way to support business-to-business interaction, and the SOA market grew by $4.9 billion in 2005. SOAs and in particular service-oriented computing (SOC) represent a promising approach in the development of adaptive distributed systems. With SOC, applications can open themselves to services offered by third parties and accessed through standard, well-defined interfaces. The binding between the applications and the services can be, in this context, extremely loose--enabling the ad hoc creation of new services when the need arises. This book offers an overview of some current research in the field, presenting the results of eighteen research projects funded by the European Community's Information Society Technologies Program (IST). The projects, collaborations between industry and academia, have produced practical, achievable results that point the way to real-world applications and future research. The chapters address such issues as requirement analysis, design, governance, interoperability, and the dependability of systems made up of components owned by third parties. The results are presented in the context of two roadmaps for research, one developed by European industry involved in software development and the other by researchers working in the service area. The contributors report first on the "Infrastructure Layer," then (in the bulk of the book) on the "Service Integration Layer," the "Semantic Layer," and finally on the issues that cut across the different layers. The book concludes by looking at ongoing research on both roadmaps.

Author: Mogens Blanke
Publisher: Springer
ISBN: 3662479435
Category : Technology & Engineering
Languages : en
Pages : 701

Get Book Here

Book Description
Fault-tolerant control aims at a gradual shutdown response in automated systems when faults occur. It satisfies the industrial demand for enhanced availability and safety, in contrast to traditional reactions to faults, which bring about sudden shutdowns and loss of availability. The book presents effective model-based analysis and design methods for fault diagnosis and fault-tolerant control. Architectural and structural models are used to analyse the propagation of the fault through the process, to test the fault detectability and to find the redundancies in the process that can be used to ensure fault tolerance. It also introduces design methods suitable for diagnostic systems and fault-tolerant controllers for continuous processes that are described by analytical models of discrete-event systems represented by automata. The book is suitable for engineering students, engineers in industry and researchers who wish to get an overview of the variety of approaches to process diagnosis and fault-tolerant control. The authors have extensive teaching experience with graduate and PhD students, as well as with industrial experts. Parts of this book have been used in courses for this audience. The authors give a comprehensive introduction to the main ideas of diagnosis and fault-tolerant control and present some of their most recent research achievements obtained together with their research groups in a close cooperation with European research projects. The third edition resulted from a major re-structuring and re-writing of the former edition, which has been used for a decade by numerous research groups. New material includes distributed diagnosis of continuous and discrete-event systems, methods for reconfigurability analysis, and extensions of the structural methods towards fault-tolerant control. The bibliographical notes at the end of all chapters have been up-dated. The chapters end with exercises to be used in lectures.

Author: P. L. Reichertz
Publisher: Springer Science & Business Media
ISBN: 3642811108
Category : Medical
Languages : en
Pages : 719

Get Book Here

Book Description
The modern development of medicine has been characterized by the grow ing use of new technologies in health care delivery and research. As an empirical science, medicine is based on many types and quantities of information to recognize alterations, explore causes and apply cor rective action. Dealing with biological objects, signals have to be collected, processed and interpreted to recognize the state of this object. It is therefore understandable that data processing technology and informatics have been employed to a growing extent in medicine. The increasing economic repercussions of modern medicine lead also to the demand of ways and means to assess the system as such and to develop means for evaluation and regulation. However, the application of data processing to the medical field has very often grown in parallel to and remote from the development of in formatics and data processing in general. Furthermore, difficulties have occurred resulting from the differing concepts of reasoning, deci sion making and methodology. We therefore decided to start a series of seminars with the attempt to bring scientists from both medicine and informatics together to discuss basic principles of informatics and medicine and to attempt a synthesis between the problems in medicine and health care delivery and methods in informatics to approach a solu tion of these problems. This volume contains the lecture notes of the first seminar of this type.