Model Checking Software

Model Checking Software
Author: Alastair Donaldson
Publisher: Springer
Total Pages: 271
Release: 2012-07-18
Genre: Computers
ISBN: 3642317596

This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on Model Checking Software, SPIN 2012, held in Oxford, UK, in July 2012. The 11 revised full papers presented together with 5 tool papers and 4 invited talks were carefully reviewed and selected from 30 submissions. The papers are grouped in topical sections on model checking techniques; parallel model checking; case studies; model checking for concurrency; and tool demonstrations.

Miscellaneous Paper

Miscellaneous Paper
Author: Coastal Engineering Research Center (U.S.)
Publisher:
Total Pages: 62
Release: 1970
Genre: Coasts
ISBN:

Protective Relay Principles

Protective Relay Principles
Author: Anthony M. Sleva
Publisher: CRC Press
Total Pages: 368
Release: 2018-09-03
Genre: Technology & Engineering
ISBN: 142001417X

Improve Failure Detection and Optimize Protection In the ever-evolving field of protective relay technology, an engineer’s personal preference and professional judgment are as important to power system protection as the physical relays used to detect and isolate abnormal conditions. Invaluable Insights from an Experienced Expert Protective Relay Principles focuses on probable power system failure modes and the important characteristics of the protective relays used to detect these postulated failures. The book presents useful new concepts in a way that is easier to understand because they are equally relevant to older, electromechanical and solid-state relays, and newer, more versatile microprocessor-based relays. It introduces the applications, considerations, and setting philosophies used in transmission-line, distribution-line, and substation applications, covering concepts associated with general system operations and fault detection. Topics include relay load limits, cold load pickup, voltage recovery, and arc flash. The author also delves into the philosophies that engineers employ in both urban and rural areas, with a detailed consideration of setpoint function. Analysis of Key Concepts That Are Usually Just Glossed Over This versatile text is ideal for new engineers to use as a tutorial before they open the instruction manuals that accompany multi-function microprocessor-based relays. Guiding readers through the transient loading conditions that can result in relay misoperation, the author elaborates on concepts that are not generally discussed, but can be very helpful in specific applications. Readers will come away with an excellent grasp of important design considerations for working with overcurrent, over- and undervoltage, impedance, distance, and differential type relay functions, either individually or in combination. Also useful for students as a textbook, this book includes practical examples for many applications, and offers guidance for more unusual ones.