Download or read book Properties of Memory Faults in Sequential Machines written by Stanford University Stanford Electronics Laboratories. Digital Systems Laboratory and published by . This book was released on 1972 with total page 62 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Fault Equivalence in Sequential Machines written by Stanford University Stanford Electronics Laboratories and published by . This book was released on 1971 with total page 74 pages. Available in PDF, EPUB and Kindle. Book excerpt: It is shown that for output faults (i.e., faults that do not affect state behavior), fault equivalence is related to the existence of an automorphism of the state table. For the same class of faults, the relation between dominance and equivalence is considered and some properties are pointed out. Another class of possible faults is also considered, namely, memory faults (i.e., faults in the logic feedback lines). These clearly affect the state behavior of the machine, and their influence on machine properties, such as being strongly connected, is discussed. It is proven that there exist classes of machines for which this property of being strongly connected is destroyed by every possible single fault. Further results on both memory and output faults are also presented.

Download or read book Equivalence and Dominance Relations Between Output Faults in Sequential Machines written by Stanford University Stanford Electronics Laboratories. Digital Systems Laboratory and published by . This book was released on 1972 with total page 100 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book The Evolution of Fault Tolerant Computing written by A. Avizienis and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 467 pages. Available in PDF, EPUB and Kindle. Book excerpt: For the editors of this book, as well as for many other researchers in the area of fault-tolerant computing, Dr. William Caswell Carter is one of the key figures in the formation and development of this important field. We felt that the IFIP Working Group 10.4 at Baden, Austria, in June 1986, which coincided with an important step in Bill's career, was an appropriate occasion to honor Bill's contributions and achievements by organizing a one day "Symposium on the Evolution of Fault-Tolerant Computing" in the honor of William C. Carter. The Symposium, held on June 30, 1986, brought together a group of eminent scientists from all over the world to discuss the evolu tion, the state of the art, and the future perspectives of the field of fault-tolerant computing. Historic developments in academia and industry were presented by individuals who themselves have actively been involved in bringing them about. The Symposium proved to be a unique historic event and these Proceedings, which contain the final versions of the papers presented at Baden, are an authentic reference document.

Download or read book Sequential Logic Testing and Verification written by Abhijit Ghosh and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 224 pages. Available in PDF, EPUB and Kindle. Book excerpt: In order to design and build computers that achieve and sustain high performance, it is essential that reliability issues be considered care fully. The problem has several aspects. Certainly, considering reliability implies that an engineer must be able to analyze how design decisions affect the incidence of failure. For instance, in order design reliable inte gritted circuits, it is necessary to analyze how decisions regarding design rules affect the yield, i.e., the percentage of functional chips obtained by the manufacturing process. Of equal importance in producing reliable computers is the detection of failures in its Very Large Scale Integrated (VLSI) circuit components, caused by errors in the design specification, implementation, or manufacturing processes. Design verification involves the checking of the specification of a design for correctness prior to carrying out an implementation. Implementation verification ensures that the manual design or automatic synthesis process is correct, i.e., the mask-level description correctly implements the specification. Manufacture test involves the checking of the complex fabrication process for correctness, i.e., ensuring that there are no manufacturing defects in the integrated circuit. It should be noted that all the above verification mechanisms deal not only with verifying the functionality of the integrated circuit but also its performance.

Download or read book NBS Special Publication written by and published by . This book was released on 1968 with total page 398 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Power Systems Modelling and Fault Analysis written by Nasser Tleis and published by Academic Press. This book was released on 2019-06-12 with total page 942 pages. Available in PDF, EPUB and Kindle. Book excerpt: Power Systems Modelling and Fault Analysis: Theory and Practice, Second Edition, focuses on the important core areas and technical skills required for practicing electrical power engineers. Providing a comprehensive and practical treatment of the modeling of electrical power systems, the book offers students and professionals the theory and practice of fault analysis of power systems, covering detailed and advanced theories and modern industry practices. The book describes relevant advances in the industry, such as international standards developments and new generation technologies, such as wind turbine generators, fault current limiters, multi-phase fault analysis, the measurement of equipment parameters, probabilistic short-circuit analysis, and more. - Includes a fully up-to-date guide to the analysis and practical troubleshooting of short-circuit faults in electricity utilities and industrial power systems - Presents sections on generators, transformers, substations, overhead powerlines and industrial systems - Covers best-practice techniques, safety issues, power system planning and economics

Download or read book Condition Monitoring of Rotating Electrical Machines written by Peter Tavner and published by IET. This book was released on 2008-07-12 with total page 306 pages. Available in PDF, EPUB and Kindle. Book excerpt: "A first edition of Condition Monitoring of Electrical Machines, written by Tavner and Penman, was published in 1987. The economics of industry have now changed, as a result of the privatisation and deregulation of the energy industry, placing emphasis on the importance of reliable operation of plant, throughout the whole life cycle, regardless of first cost. The availability of advanced electronics and software in powerful instrumentation, computers, and digital signal processors (DSP) has simplified our ability to instrument and analyse machinery. As a result condition monitoring is now being applied to a wider range of systems from fault-tolerant drives of a few hundred watts in the aerospace industry, to machinery of a few hundred megawatts in major capital plant." "In this new book the original authors have been joined by Ran, an expert in power electronics and control, and Sedding, an expert in the monitoring of electrical insulation systems. Together the authors have revised and expanded the earlier book, merging their own experience with that of machine analysts to bring it up to date."--BOOK JACKET.

Download or read book Concurrent Error Detection with Latency in Sequential Circuits written by Lawrence Paul Holmquist and published by . This book was released on 1989 with total page 386 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Coding Approaches to Fault Tolerance in Combinational and Dynamic Systems written by Christoforos N. Hadjicostis and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 202 pages. Available in PDF, EPUB and Kindle. Book excerpt: Coding Approaches to Fault Tolerance in Combinational and Dynamic Systems describes coding approaches for designing fault-tolerant systems, i.e., systems that exhibit structured redundancy that enables them to distinguish between correct and incorrect results or between valid and invalid states. Since redundancy is expensive and counter-intuitive to the traditional notion of system design, the book focuses on resource-efficient methodologies that avoid excessive use of redundancy by exploiting the algorithmic/dynamic structure of a particular combinational or dynamic system. The first part of Coding Approaches to Fault Tolerance in Combinational and Dynamic Systems focuses on fault-tolerant combinational systems providing a review of von Neumann's classical work on Probabilistic Logics (including some more recent work on noisy gates) and describing the use of arithmetic coding and algorithm-based fault-tolerant schemes in algebraic settings. The second part of the book focuses on fault tolerance in dynamic systems. Coding Approaches to Fault Tolerance in Combinational and Dynamic Systems also discusses how, in a dynamic system setting, one can relax the traditional assumption that the error-correcting mechanism is fault-free by using distributed error correcting mechanisms. The final chapter presents a methodology for fault diagnosis in discrete event systems that are described by Petri net models; coding techniques are used to quickly detect and identify failures. From the Foreword: "Hadjicostis has significantly expanded the setting to processes occurring in more general algebraic and dynamic systems... The book responds to the growing need to handle faults in complex digital chips and complex networked systems, and to consider the effects of faults at the design stage rather than afterwards." George Verghese, Massachusetts Institute of Technology Coding Approaches to Fault Tolerance in Combinational and Dynamic Systems will be of interest to both researchers and practitioners in the area of fault tolerance, systems design and control.

Download or read book Artificial Intelligence Driven Circuits and Systems written by Biswajit Mishra and published by Springer Nature. This book was released on 2021-12-14 with total page 167 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book highlights selected papers presented at the 10th International Symposium on Embedded Computing and System Design (ISED) 2021. This symposium provides a platform for researchers to share the latest scientific achievements of embedded computing and system design. The book is divided into three broad sections. The first section discusses topics like VLSI and testing, circuits and systems with a focus on emerging technologies. The second section discusses topics like embedded hardware and software systems and novel applications. The final section discusses the state-of-the-art technologies involving IoT, artificial intelligence, green and edge computing that demonstrates the issues currently.

Download or read book Scientific and Technical Aerospace Reports written by and published by . This book was released on 1994 with total page 1038 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Issues in Robotics and Automation 2013 Edition written by and published by ScholarlyEditions. This book was released on 2013-05-01 with total page 1160 pages. Available in PDF, EPUB and Kindle. Book excerpt: Issues in Robotics and Automation / 2013 Edition is a ScholarlyEditions™ book that delivers timely, authoritative, and comprehensive information about Computing Information and Control. The editors have built Issues in Robotics and Automation: 2013 Edition on the vast information databases of ScholarlyNews.™ You can expect the information about Computing Information and Control in this book to be deeper than what you can access anywhere else, as well as consistently reliable, authoritative, informed, and relevant. The content of Issues in Robotics and Automation: 2013 Edition has been produced by the world’s leading scientists, engineers, analysts, research institutions, and companies. All of the content is from peer-reviewed sources, and all of it is written, assembled, and edited by the editors at ScholarlyEditions™ and available exclusively from us. You now have a source you can cite with authority, confidence, and credibility. More information is available at http://www.ScholarlyEditions.com/.

Download or read book Switching and Finite Automata Theory written by Zvi Kohavi and published by Cambridge University Press. This book was released on 2010 with total page 630 pages. Available in PDF, EPUB and Kindle. Book excerpt: Understand the structure, behavior, and limitations of logic machines with this thoroughly updated third edition. Many new topics are included, such as CMOS gates, logic synthesis, logic design for emerging nanotechnologies, digital system testing, and asynchronous circuit design, to bring students up-to-speed with modern developments. The intuitive examples and minimal formalism of the previous edition are retained, giving students a text that is logical and easy to follow, yet rigorous. Kohavi and Jha begin with the basics, and then cover combinational logic design and testing, before moving on to more advanced topics in finite-state machine design and testing. Theory is made easier to understand with 200 illustrative examples, and students can test their understanding with over 350 end-of-chapter review questions.

Download or read book EDA for IC System Design Verification and Testing written by Louis Scheffer and published by CRC Press. This book was released on 2018-10-03 with total page 593 pages. Available in PDF, EPUB and Kindle. Book excerpt: Presenting a comprehensive overview of the design automation algorithms, tools, and methodologies used to design integrated circuits, the Electronic Design Automation for Integrated Circuits Handbook is available in two volumes. The first volume, EDA for IC System Design, Verification, and Testing, thoroughly examines system-level design, microarchitectural design, logical verification, and testing. Chapters contributed by leading experts authoritatively discuss processor modeling and design tools, using performance metrics to select microprocessor cores for IC designs, design and verification languages, digital simulation, hardware acceleration and emulation, and much more. Save on the complete set.

Download or read book Reliability Abstracts and Technical Reviews written by United States. National Aeronautics and Space Administration. Office of Reliability and Quality Assurance and published by . This book was released on 1970 with total page 532 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Power System Engineering written by R. K. Rajput and published by Firewall Media. This book was released on 2006 with total page 1118 pages. Available in PDF, EPUB and Kindle. Book excerpt: