Software Performability: From Concepts to Applications

Software Performability: From Concepts to Applications

Author: Ann T. Tai

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 207

ISBN-13: 1461313252

DOWNLOAD EBOOK

Computers are currently used in a variety of critical applications, including systems for nuclear reactor control, flight control (both aircraft and spacecraft), and air traffic control. Moreover, experience has shown that the dependability of such systems is particularly sensitive to that of its software components, both the system software of the embedded computers and the application software they support. Software Performability: From Concepts to Applications addresses the construction and solution of analytic performability models for critical-application software. The book includes a review of general performability concepts along with notions which are peculiar to software performability. Since fault tolerance is widely recognized as a viable means for improving the dependability of computer system (beyond what can be achieved by fault prevention), the examples considered are fault-tolerant software systems that incorporate particular methods of design diversity and fault recovery. Software Performability: From Concepts to Applications will be of direct benefit to both practitioners and researchers in the area of performance and dependability evaluation, fault-tolerant computing, and dependable systems for critical applications. For practitioners, it supplies a basis for defining combined performance-dependability criteria (in the form of objective functions) that can be used to enhance the performability (performance/dependability) of existing software designs. For those with research interests in model-based evaluation, the book provides an analytic framework and a variety of performability modeling examples in an application context of recognized importance. The material contained in this book will both stimulate future research on related topics and, for teaching purposes, serve as a reference text in courses on computer system evaluation, fault-tolerant computing, and dependable high-performance computer systems.


Pulse-width Modulated DC-DC Power Converters

Pulse-width Modulated DC-DC Power Converters

Author: Marian K. Kazimierczuk

Publisher: John Wiley & Sons

Published: 2008-09-15

Total Pages: 808

ISBN-13: 0470694653

DOWNLOAD EBOOK

This book studies switch-mode power supplies (SMPS) in great detail. This type of converter changes an unregulated DC voltage into a high-frequency pulse-width modulated (PWM) voltage controlled by varying the duty cycle, then changes the PWM AC voltage to a regulated DC voltage at a high efficiency by rectification and filtering. Used to supply electronic circuits, this converter saves energy and space in the overall system. With concept-orientated explanations, this book offers state-of-the-art SMPS technology and promotes an understanding of the principle operations of PWM converters, as well as enabling the readers to evaluate their characteristics. Design-orientated analysis (including a steady-state analysis for both continuous and discontinuous conduction modes) and numerous real-world practical examples (including circuit models of the PWM converters) demonstrate how to design these from scratch. The book provides an in-depth presentation of topologies of PWM DC-DC power converters, voltage- and current-mode control of PWM DC–DC power converters, considers power losses in all components, device stresses, output voltage ripple, converter efficiency and power factor correction (PFC). It also includes extensive coverage of the following: topologies of high-efficiency switching-mode PWM and soft-switching DC-DC power converters; DC voltage transfer functions (conversion ratios), component values, losses, efficiency, and stresses; small-signal averaged circuit models; current-mode and voltage-mode feedback controls; metal-oxide-semiconductor field-effect power transistors (MOSFETs); silicon (Si) and silicon carbide (SiC) power semiconductor devices. Before now, there has been no book that covers silicon carbide devices. Pulse-width Modulated DC-DC Power Converters is a comprehensive textbook for senior undergraduate and graduate students in the areas of electrical, electronics, and telecommunications engineering. It includes end-of-chapter review questions, problems, and thorough summaries of the key concepts to aid learning, and a Solutions Manual is available for professors. Scientists and practicing design engineers working with SMPS, within such applications as computers, telecommunications, industrial systems, automobile electronics, medical equipment, aerospace power technology, and radars (amongst others) will also find this text insightful.


Aerospace Medicine and Biology

Aerospace Medicine and Biology

Author:

Publisher:

Published: 1993

Total Pages: 84

ISBN-13:

DOWNLOAD EBOOK

A selection of annotated references to unclassified reports and journal articles that were introduced into the NASA scientific and technical information system and announced in Scientific and technical aerospace reports (STAR) and International aerospace abstracts (IAA).