Book Cover
E-book
Author Birmingham, William P., author.

Title Automating the design of computer systems : the MICON Project / William P. Birmingham, Anurag P. Gupta, and Daniel P. Siewiorek
Published Boca Raton, FL : CRC Press, 2018
Online access available from:
ProQuest Ebook Central    View Resource Record  

Copies

Description 1 online resource : illustrations
Contents Cover -- Half Title -- Title Page -- Copyright Page -- Dedication -- Contents -- Preface -- Acknowledgements -- I: The Process of Design -- Chapter 1: Introduction -- 1.1 Motivation for the Automation of Computer Design -- 1.2 Subtasks in Computer Design -- 1.3 History of the Automation of Computer Design -- 1.4 System-Level Synthesis -- Chapter 2: The MICON System -- 2.1 Overview -- 2.2 Design Domain -- 2.3 Related Knowledge-Based Design Tools -- 2.4 Project History -- II: Automated System-Level Synthesis -- Chapter 3: An Introduction to Synthesis -- 3.1 The Design Synthesis Problem -- 3.2 The Design Model -- 3.3 An Illustrative Example -- Chapter 4: An Architecture for Automated Design Synthesis -- 4.1 Design Representation -- 4.2 The Design Process -- 4.3 Putting It All Together -- Chapter 5: The M1 System -- 5.1 Knowledge-Based Implementation -- 5.2 Knowledge Base -- 5.3 The MICON Database -- 5.4 Knowledge Utilization Example -- Chapter 6: Failure Handling -- 6.1 Failure Handling Mechanisms -- 6.2 Failure Characterization -- 6.3 Specification Failure Correction -- 6.4 A Failure Correction Example -- 6.5 Resource Failures -- III: Knowledge Acquisition -- Chapter 7: An Introduction to Automated Knowledge Acquisition -- 7.1 Expert System Development -- 7.2 Specialized Knowledge-Acquisition Tools -- 7.3 Knowledge-Acquisition Tool Development Issues -- Chapter 8: Knowledge Gathering in CGEN -- 8.1 The Problem -- 8.2 Presupposing M1 -- 8.3 Gathering Knowledge -- Chapter 9: Generalization Technique -- 9.1 Problem Definition -- 9.2 The Generalization Approach -- 9.3 An Example -- 9.4 Issues in Generalization -- 9.5 The Nature of Generalization Knowledge -- Chapter 10: Modeling M1 -- 10.1 Engineering M1's Knowledge Base -- 10.2 The Models -- 10.3 The Development Model -- 10.4 The Rule Form Model -- 10.5 The Syntax Model
10.6 A Rule Generation Example -- 10.7 Discussion -- IV: Examples, Experiments, and Experiences -- Chapter 11: A Complete Example -- 11.1 Developing a Part Model -- 11.2 Synthesis Using M1 -- 11.3 Getting Prompted for Knowledge Acquisition -- 11.4 Knowledge Acquisition Using CGEN -- 11.5 Continuing with Synthesis -- 11.6 Another Training Session Using CGEN -- 11.7 Completing Synthesis Using M1 -- Chapter 12: CGEN Experimentation -- 12.1 Overview -- 12.2 Experimental Set-Up -- 12.3 Experimental Results -- Chapter 13: M1 Experimentation -- 13.1 Design Space -- 13.2 Capabilities and Limitations -- 13.3 Other Designs -- Chapter 14: Experience Using MICON -- 14.1 General Observations -- 14.2 User Experience -- V: Extension to Other Domains -- Chapter 15: Making MICON Domain-Independent -- 15.1 Portable Design Tools -- 15.2 The M1DI and CGENDI Architectures -- 15.3 Applications -- 15.4 Summary -- Chapter 16: ASSURE: Automated Design for Dependability -- 16.1 Introduction -- 16.2 Design for Dependability Methodology -- 16.3 ASSURE: Operation -- 16.4 ASSURE: Implementation -- 16.5 Experimental Results -- A: The MICON and DEMETER Design Models -- A.1 The DEMETER Design Model -- A.2 The MICON Design Model -- A.3 Mapping Summary -- B: Rule-Base Programming -- Bibliography -- Index
Bibliography Includes bibliographical references and index
Notes Print version record
Subject MICON Project.
MICON Project.
Computer-aided design
System design
Computer-aided design.
System design.
TECHNOLOGY & ENGINEERING / Mechanical.
Form Electronic book
Author Gupta, Anurag P., author.
Siewiorek, Daniel P., author.
ISBN 1439865655
9781439865651