Microtechnologies and their corresponding CAD tools havemeanwhile reached alevel of sophistication that requiresthe application of theoretical means on all modelling levelsof design and analysis. Also, there is a growing need for ascientific approach in modelling again. Many conceptsprovided by Systems Theory again turn out to be of majorimportance. This is especially valid for the design of"machines with intelligent behaviour".When dealing with complex systems, the engineering designhas to be supported by CAD tools. Consequently, the methodsof Systems Theory must also get computerized. The…mehr
Microtechnologies and their corresponding CAD tools havemeanwhile reached alevel of sophistication that requiresthe application of theoretical means on all modelling levelsof design and analysis. Also, there is a growing need for ascientific approach in modelling again. Many conceptsprovided by Systems Theory again turn out to be of majorimportance. This is especially valid for the design of"machines with intelligent behaviour".When dealing with complex systems, the engineering designhas to be supported by CAD tools. Consequently, the methodsof Systems Theory must also get computerized. The newlyestablished field of "Computer Aided Systems Theory" (CAST)is a first effort in this direction. The goal of CASTresearch and development isto provide "Systems TheoryMethod Banks" which can be used in education and to providea platform for the migration of CAST methods into existingCAD tools.This book, basing on different research and developmentprojects in CAST, is written for engineers who areinterested in using and developing CAST systems,particularly in thefield of Information and SystemsEngineering.
1 Introduction.- 1.1 Problem-Solving by Models.- 1.2 Systems Theory Instrumented Modelling.- 1.3 CAST - Computer Aided Systems Theory.- 1.4 CAST Methods in Modelling: An Overview.- References - Chapter 1.- 2 Cast Method Bank Systems.- 2.1 CAST Method Bank System Design.- 2.2 CAST.FSM - Finite State Machine Method Bank System.- 2.3 CAST.FOURIER - Method Bank for Generalized Spectral Techniques.- 2.4 CAST.LISAS - Simulation Tool for Regular Networks of Finite State Machines.- 2.5 CAST.PN - An Editor and Simulation Tool for Petri Nets.- 2.6 CAST Applications.- References - Chapter 2.- 3 Modelling and Simulation.- 3.1 Introduction.- 3.2 System Specification Formalisms.- 3.3 Abstract Simulator Concepts.- 3.4 Implementations of Modelling and Simulation Environments.- 3.5 Multifacetted Modelling.- 3.6 Towards Variable Structure Modelling and Simulation.- References - Chapter 3.- 4 Machine Vision.- 4.1 Introduction.- 4.2 CAST and Machine Vision.- 4.3 Modelling Objects for Visual Recognition.- 4.4 Spontaneous Recognition of Structured Objects.- 4.5 An Integrated Development Tool for Machine Vision.- References - Chapter 4.- 5 Implementation Issues.- 5.1 Software Development for CAST.- 5.2 Building Class Hierarchies.- 5.3 Browsers for CAST Tools.- 5.4 Implementing Data Persistency in LISP.- 5.5 Direct Embedding of Procedural Code in LISP.- References - Chapter 5.- Appendix: CAST.FSM User's Guide.- A.1 CAST.FSM Background.- A.2 System Requirements.- A.2.1 Hardware.- A.2.2 Software.- A.3 CAST.FSM Installation.- A.4 Starting a CAST Session and Browsing.- A.4.1 The CAST Class Browser.- A.4.2 The CAST Instance Browser.- A.4.3 Defining a System.- A.4.4 Petri Nets Make the Difference.- A.5 Table Editing.- A.6 Analysis Operations.- A.6.1 I/O-Experiment.- A.6.2Lattice.- A.6.3 Others.- A.7 Synthesis, System Transformations and the Realization Tree.- A.8 Living with a Prototype: Errors and Breaks.- A.8.1 Beginners and casual CAST.FSM Users.- A.8.2 Power Users.- A.9 Saving Realizations on Files.- References - Appendix.
1 Introduction.- 1.1 Problem-Solving by Models.- 1.2 Systems Theory Instrumented Modelling.- 1.3 CAST - Computer Aided Systems Theory.- 1.4 CAST Methods in Modelling: An Overview.- References - Chapter 1.- 2 Cast Method Bank Systems.- 2.1 CAST Method Bank System Design.- 2.2 CAST.FSM - Finite State Machine Method Bank System.- 2.3 CAST.FOURIER - Method Bank for Generalized Spectral Techniques.- 2.4 CAST.LISAS - Simulation Tool for Regular Networks of Finite State Machines.- 2.5 CAST.PN - An Editor and Simulation Tool for Petri Nets.- 2.6 CAST Applications.- References - Chapter 2.- 3 Modelling and Simulation.- 3.1 Introduction.- 3.2 System Specification Formalisms.- 3.3 Abstract Simulator Concepts.- 3.4 Implementations of Modelling and Simulation Environments.- 3.5 Multifacetted Modelling.- 3.6 Towards Variable Structure Modelling and Simulation.- References - Chapter 3.- 4 Machine Vision.- 4.1 Introduction.- 4.2 CAST and Machine Vision.- 4.3 Modelling Objects for Visual Recognition.- 4.4 Spontaneous Recognition of Structured Objects.- 4.5 An Integrated Development Tool for Machine Vision.- References - Chapter 4.- 5 Implementation Issues.- 5.1 Software Development for CAST.- 5.2 Building Class Hierarchies.- 5.3 Browsers for CAST Tools.- 5.4 Implementing Data Persistency in LISP.- 5.5 Direct Embedding of Procedural Code in LISP.- References - Chapter 5.- Appendix: CAST.FSM User's Guide.- A.1 CAST.FSM Background.- A.2 System Requirements.- A.2.1 Hardware.- A.2.2 Software.- A.3 CAST.FSM Installation.- A.4 Starting a CAST Session and Browsing.- A.4.1 The CAST Class Browser.- A.4.2 The CAST Instance Browser.- A.4.3 Defining a System.- A.4.4 Petri Nets Make the Difference.- A.5 Table Editing.- A.6 Analysis Operations.- A.6.1 I/O-Experiment.- A.6.2Lattice.- A.6.3 Others.- A.7 Synthesis, System Transformations and the Realization Tree.- A.8 Living with a Prototype: Errors and Breaks.- A.8.1 Beginners and casual CAST.FSM Users.- A.8.2 Power Users.- A.9 Saving Realizations on Files.- References - Appendix.
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Internetauftritt der buecher.de internetstores GmbH
Geschäftsführung: Monica Sawhney | Roland Kölbl | Günter Hilger
Sitz der Gesellschaft: Batheyer Straße 115 - 117, 58099 Hagen
Postanschrift: Bürgermeister-Wegele-Str. 12, 86167 Augsburg
Amtsgericht Hagen HRB 13257
Steuernummer: 321/5800/1497
USt-IdNr: DE450055826