Michael L. Bushnell's Books

Efficient Branch and Bound Search with Application to Computer-Aided Design

By: Xinghao Chen,Michael L. Bushnell

Write a review Read reviews Take a Quiz Solve Book Puzzle

Efficient Branch and Bound Search with Application to Computer-Aided Design

By: Xinghao Chen,Michael L. Bushnell

Branch-and-bound search has been known for a long time and has been widely used in solving a variety of problems in computer-aided design (CAD) and many important optimization problems. In many applications, the classic branch-and-bound search methods perform duplications of computations, or rely on the search decision trees which keep track of the branch-and-bound search processes. In CAD and many other technical fields, the computational cost of constructing branch-and-bound search decision trees in solving large scale problems is prohibitive and duplications of computations are intolerable. Efficient branch-and-bound methods are needed to deal with today's computational challenges. Efficient branch-and-bound methods must not duplicate computations. Efficient Branch and Bound Search with Application to Computer-Aided Design describes an efficient branch-and-bound method for logic justification, which is fundamental to automatic test pattern generation (ATPG), redundancy identification, logic synthesis, minimization, verification, and other problems in CAD. The method is called justification equivalence, based on the observation that justification processes may share identical subsequent search decision sequences. With justification equivalence, duplication of computations is avoided in the dynamic branch-and-bound search process without using search decision trees. Efficient Branch and Bound Search with Application to Computer-Aided Design consists of two parts. The first part, containing the first three chapters, provides the theoretical work. The second part deals with applications, particularly ATPG for sequential circuits. This book is particularly useful to readers who are interested in the design and test of digital circuits.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

151

Publisher

Springer Science & Business Media

Published Date

ISBN 10

1461313295

ISBN 13

9781461313298

Cyber-Security Threats and Response Models in Nuclear Power Plants

By: Carol Smidts,Indrajit Ray,Quanyan Zhu,Pavan Kumar Vaddi,Yunfei Zhao,Linan Huang,Xiaoxu Diao,Rakibul Talukdar,Michael C. Pietrykowski

Write a review Read reviews Take a Quiz Solve Book Puzzle

Cyber-Security Threats and Response Models in Nuclear Power Plants

By: Carol Smidts,Indrajit Ray,Quanyan Zhu,Pavan Kumar Vaddi,Yunfei Zhao,Linan Huang,Xiaoxu Diao,Rakibul Talukdar,Michael C. Pietrykowski

This SpringerBrief presents a brief introduction to probabilistic risk assessment (PRA), followed by a discussion of abnormal event detection techniques in industrial control systems (ICS). It also provides an introduction to the use of game theory for the development of cyber-attack response models and a discussion on the experimental testbeds used for ICS cyber security research. The probabilistic risk assessment framework used by the nuclear industry provides a valid framework to understand the impacts of cyber-attacks in the physical world. An introduction to the PRA techniques such as fault trees, and event trees is provided along with a discussion on different levels of PRA and the application of PRA techniques in the context of cybersecurity. A discussion on machine learning based fault detection and diagnosis (FDD) methods and cyber-attack detection methods for industrial control systems are introduced in this book as well. A dynamic Bayesian networks based method that can be used to detect an abnormal event and classify it as either a component fault induced safety event or a cyber-attack is discussed. An introduction to the stochastic game formulation of the attacker-defender interaction in the context of cyber-attacks on industrial control systems to compute optimal response strategies is presented. Besides supporting cyber-attack response, the analysis based on the game model also supports the behavioral study of the defender and the attacker during a cyber-attack, and the results can then be used to analyze the risk to the system caused by a cyber-attack. A brief review of the current state of experimental testbeds used in ICS cybersecurity research and a comparison of the structures of various testbeds and the attack scenarios supported by those testbeds is included. A description of a testbed for nuclear power applications, followed by a discussion on the design of experiments that can be carried out on the testbed and the associated results is covered as well. This SpringerBrief is a useful resource tool for researchers working in the areas of cyber security for industrial control systems, energy systems and cyber physical systems. Advanced-level students that study these topics will also find this SpringerBrief useful as a study guide.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

100

Publisher

Springer Nature

Published Date

ISBN 10

3031127110

ISBN 13

9783031127113

CTV-The Network That Means Business

By: Michael Nolan

Write a review Read reviews Take a Quiz Solve Book Puzzle

CTV-The Network That Means Business

By: Michael Nolan

Michael Nolan follows the evolution of CTV from a group of small independent television stations across Canada to the powerful network it is today. He chronicles the boardroom struggles within the network as strong personalities clashed over economic and cultural matters.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

444

Publisher

University of Alberta

Published Date

ISBN 10

0888643845

ISBN 13

9780888643841

Design Automation

Automated Full-Custom VLSI Layout Using the ULYSSES Design Environment

By: Michael Bushnell

Write a review Read reviews Take a Quiz Solve Book Puzzle

Design Automation

Automated Full-Custom VLSI Layout Using the ULYSSES Design Environment

By: Michael Bushnell

Design Automation: Automated Full-Custom VLSI Layout Using the ULYSSES Design Environment deals with the use of the Ulysses design environment for an automated full-custom VLSI layout. Topics covered include VLSI chip design and design process, control mechanisms in Ulysses, and the use of artificial intelligence (AI) in design environments. An example design task is also presented. This book is comprised of 10 chapters and begins with an overview of VLSI computer-aided design (CAD), focusing on an expert system based design environment aimed at solving the CAD tool integration problem. An example CAD tool suite for such an environment is presented. The next chapter describes prior attempts at developing an integrated design environment, followed by a discussion on the computer-aided VLSI design process that motivated the development of the Ulysses design environment. The following chapters explore the use of AI techniques within Ulysses; the fundamental architecture of Ulysses; and the control mechanisms that govern the decision to execute various CAD tools, on particular files, within Ulysses. The implementation of Ulysses is also discussed. The final chapter demonstrates the feasibility of a knowledge-based design environment for VLSI chip design applications; the success of Ulysses at further automating the VLSI design process; and the usability of Ulysses as a VLSI design environment. This monograph will be a valuable resource for systems designers and other practitioners in computer science and computer engineering.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

483

Publisher

Elsevier

Published Date

ISBN 10

0323148727

ISBN 13

9780323148726

Book's by Michael L. Bushnell

Efficient Branch and Bound Search with Application to Computer-Aided Design

Efficient Branch and Bound Search with Application to Computer-Aided Design

Cyber-Security Threats and Response Models in Nuclear Power Plants

Cyber-Security Threats and Response Models in Nuclear Power Plants

CTV-The Network That Means Business

CTV-The Network That Means Business

Design Automation

Design Automation

Username

Password

Username

Password

Password again

Birthday

Email