From news@cis.ufl.edu Wed Apr 19 08:04:45 1995 Return-Path: Received: from mx4.u.washington.edu by stein2.u.washington.edu (5.65+UW95.02/UW-NDC Revision: 2.32 ) id AA17615; Wed, 19 Apr 95 08:04:45 -0700 Received: from hitl-new.hitl.washington.edu by mx4.u.washington.edu (5.65+UW95.02/UW-NDC Revision: 2.31 ) id AA28806; Wed, 19 Apr 95 08:04:44 -0700 Received: from no-names.nerdc.ufl.edu (root@no-names.nerdc.ufl.edu [128.227.128.26]) by hitl.hitl.washington.edu (8.6.12/8.6.12) with ESMTP id IAA26656 for ; Wed, 19 Apr 1995 08:00:15 -0700 Received: from sand.cis.ufl.edu by no-names.nerdc.ufl.edu (8.6.10/4.08) id LAA26764; Wed, 19 Apr 1995 11:04:36 -0400 Received: by sand.cis.ufl.edu (8.6.12/cis.ufl.edu) id LAA12085; Wed, 19 Apr 1995 11:04:29 -0400 To: sci-virtual-worlds@no-names.nerdc.ufl.edu Path: fishwick From: fishwick@cis.ufl.edu (Paul Fishwick) Newsgroups: sci.virtual-worlds Subject: BOOK: Building Synthetic Worlds Date: 19 Apr 1995 15:04:28 GMT Organization: Univ. of Florida CIS Dept. Lines: 277 Distribution: world Message-Id: <3n38ps$bpi@sand.cis.ufl.edu> Nntp-Posting-Host: fish.cis.ufl.edu Status: OR +-------------------+ |NEW SIMULATION BOOK| +-------------------+ BOOK: Simulation Model Design & Execution: Building Digital Worlds AUTHOR: Paul Fishwick PUBLISHER: Prentice Hall PHONE: (800) 947-7700 ISBN: 013-098609-7 DATE: January 1995 This book focusses on model design (using an extension of object-oriented design -- called multimodeling) and algorithms for serial and parallel model execution. The SimPack simulation toolkit is also discussed and a chapter is devoted to using SimPack programs. The Introduction Chapter, with embedded figures, in online in World Wide Web (WWW) format in my home page. This chapter will give you a good idea of the book's content and philosophy. You will need to use a WWW client program such as Mosaic, Netscape, Cello or Lynx to view the chapter. My home page is: http://www.cis.ufl.edu/~fishwick Book Table of Contents Brief Version ------------- 1 Introduction 2 Foundations 3 Conceptual Modeling 4 Declarative Modeling 5 Functional Modeling 6 Constraint Modeling 7 Spatial Modeling 8 Multimodeling 9 Parallel & Distributed Simulation 10 SimPack Toolkit Long Version ------------ 1 Introduction 1.1 Overview 1.2 Types of Simulation 1.3 The Simulation Process 1.3.1 Phases 1.3.2 Model Engineering 1.4 Approach 1.4.1 Philosophy 1.4.2 Comparisons with Other Simulation Methods 1.4.3 For the Student 1.4.4 For the Instructor 1.5 Role of Simulation 1.6 Modeling Example 1.7 Object Oriented Model Design 1.8 Book Organization 1.9 How and Where to Use this Book 1.10 Exercises 1.11 Projects 1.11.1 How to do Re-Search 1.11.2 Where to find Information for the Projects? 1.11.3 Some Projects to Start Off 1.12 Further Reading 1.13 Software 1.13.1 SimPack Simulation Toolkit 1.13.2 Other Software and Online Simulation Information 2 Foundations 2.1 Overview 2.2 Model Design 2.2.1 Data: The Observables 2.2.2 Model Components 2.2.3 Model Definition & Basic Categories 2.3 Serial Model Execution 2.3.1 Time Slicing 2.3.2 Basic Event Scheduling 2.3.3 Structured Event Scheduling 2.4 Behavioral Modeling 2.5 Financial Applications 2.6 Exercises 2.7 Projects 2.8 Further Reading 3 Conceptual Modeling 3.1 Overview 3.2 Text to Object Translation 3.2.1 Nouns and Pronouns 3.2.2 Adjectives and Adverbs 3.2.3 Verbs 3.2.4 Prepositions 3.2.5 Conjunctions 3.3 Picture to Object Translation 3.3.1 Sketches: No Explicit Rules 3.3.2 Conceptual Graphs: Some Explicit Rules 3.3.3 Schematics: All Explicit Rules 3.4 Mapping Conceptual Models to C++ Code 3.4.1 Class Structure 3.4.2 Methods and Message Passing 3.5 Exercises 3.6 Projects 3.7 Further Reading 3.8 Software 4 Declarative Modeling 4.1 Overview 4.2 State-Based Approach 4.2.1 Deterministic Automata 4.2.2 Nondeterministic Automata 4.2.3 Production-Based Models 4.3 Event-Based Approach 4.3.1 Finite Event Automata 4.3.2 Keyframe Animation 4.3.3 Augmented Event Graphs 4.4 Hybrid State-Event Methods 4.4.1 State-Event Graphs 4.4.2 Inventory Control 4.4.3 Petri Networks 4.5 Exercises 4.6 Projects 4.7 Further Reading 4.8 Software 5 Functional Modeling 5.1 Overview 5.2 Function-Based Approach 5.2.1 Block Models 5.2.2 Automatic Vehicle Control 5.2.3 Coupled Water Tanks 5.2.4 Encoding Functional Network Structure 5.2.5 Digital Logic Circuits 5.2.6 Queuing Models 5.3 Variable-Based Approach 5.3.1 Signal Flow Graphs 5.3.2 Kinetic Graphs 5.3.3 Pulse Processes 5.3.4 System Dynamics 5.3.5 Compartmental Modeling 5.4 Exercises 5.5 Projects 5.6 Further Reading 5.7 Software 6 Constraint Modeling 6.1 Overview 6.2 Equation Based Approach 6.2.1 Discrete Delays in C 6.2.2 Fibonacci Growth 6.2.3 Difference Equation Coding with Circular Queues 6.2.4 Canonical Form Difference Equations 6.2.5 Differential Equation Algorithms 6.2.6 Predator/Prey Ecological Model 6.2.7 Ballistics 6.2.8 Harmonic Motion 6.2.9 Chaotic Behavior: The Lorenz System 6.2.10 Mathematical Expression Handling 6.2.11 Delay Differential Equations 6.3 Graph Based Approach 6.3.1 Electrical Networks 6.3.2 Bond Graphs 6.4 Exercises 6.5 Projects 6.6 Further Reading 6.7 Software 7 Spatial Modeling 7.1 Overview 7.2 Space-Based Approach 7.2.1 Overview 7.2.2 Percolation 7.2.3 Cellular Automata 7.2.4 Ising Models 7.2.5 Partial Differential Equations 7.3 Entity-Based Approach 7.3.1 Overview 7.3.2 L-Systems 7.3.3 Gas Dynamics with Time Slicing 7.3.4 Gas Dynamics with Discrete Events 7.3.5 Planetary Orbital Mechanics 7.3.6 Particle System Algorithms 7.3.7 Rigid Body Mechanics 7.4 Exercises 7.5 Projects 7.6 Further Reading 7.7 Software 8 Multimodeling 8.1 Overview 8.2 Aggregation & Decomposition 8.3 Abstraction & Refinement 8.4 Abstraction as Homomorphic Simplification 8.5 Refining Aggregate Vectors 8.6 Discontinuity and Integration 8.7 Refining Declarative and Functional Models 8.8 Pendulum Phase Space 8.9 The Two Jug System 8.10 The Dining Philosophers Revisited 8.11 Industrial Plant Control 8.12 Boiling Liquids 8.12.1 Overview 8.12.2 Two Homogeneous Refinements 8.12.3 A Heterogeneous Refinement 8.12.4 Execution Results 8.12.5 Question Answering and Choice of Model 8.13 Refining Petri Nets 8.13.1 Two Flasks of Boiling Water 8.13.2 Robot Operations 8.14 Exercises 8.15 Projects 8.16 Further Reading 8.17 Software 9 Parallel & Distributed Simulation 9.1 Overview 9.2 Architecture Styles 9.3 Suitable Model Types for Parallelization 9.4 Functional Models 9.4.1 Causality 9.4.2 Synchronous Method 9.4.3 Conservative Asynchronous Method 9.4.4 Optimistic Asynchronous Method 9.5 Spatial Models 9.5.1 Space Based Approach 9.5.2 Entity-Based Approach 9.6 Exercises 9.7 Projects 9.8 Further Reading 10 SimPack Toolkit 10.1 Overview 10.2 Copyright and License 10.3 Event Scheduling 10.4 Declarative Model Simulators 10.4.1 FSA Simulator 10.4.2 Markov Simulator 10.4.3 Temporal Logic Simulator 10.4.4 Timed Petri Net Simulator 10.5 Functional Model Simulators 10.5.1 Time Slicing Block Simulator 10.5.2 A Clock 10.5.3 Digital Logic Network Simulator 10.5.4 Queuing Model Library 10.5.5 Grocery Store I 10.5.6 Grocery Store II 10.5.7 Single Server System 10.5.8 CPU/Disk System 10.5.9 Sample Traces for the CPU/Disk Problem 10.5.10 Blocking in Queuing Networks 10.5.11 General Network Simulator 10.5.12 Communications Network Simulator 10.5.13 Pulse Processes 10.5.14 Optimal Path Route Simulator 10.5.15 A Mini GPSS Compiler 10.5.16 Xsimcode 10.6 Constraint Models 10.6.1 Difference Equations 10.6.2 Ordinary Differential Equations 10.6.3 Delay Differential Equations 10.7 Spatial Models 10.7.1 Gas Dynamics 10.7.2 Diffusion Paul A. Fishwick E-Mail: fishwick@cis.ufl.edu Dept. of Computer Science Phone & FAX: (904) 392-1414 University of Florida WWW: http://www.cis.ufl.edu/~fishwick CSE 301, Gainesville, FL 32611 -- Paul A. Fishwick E-Mail: fishwick@cis.ufl.edu Dept. of Computer Science Phone & FAX: (904) 392-1414 University of Florida WWW: http://www.cis.ufl.edu/~fishwick CSE 301, Gainesville, FL 32611