Concurrent and comparative discrete event simulation:
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Boston u.a.
Kluwer
1994
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | XIII, 186 S. graph. Darst. |
| ISBN: | 0792394119 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV010077115 | ||
| 003 | DE-604 | ||
| 005 | 19950306 | ||
| 007 | t | ||
| 008 | 950306s1994 d||| |||| 00||| eng d | ||
| 020 | |a 0792394119 |9 0-7923-9411-9 | ||
| 035 | |a (OCoLC)29181713 | ||
| 035 | |a (DE-599)BVBBV010077115 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 | ||
| 050 | 0 | |a QA76.9.C65 | |
| 082 | 0 | |a 003/.83/0113 |2 20 | |
| 100 | 1 | |a Ulrich, Ernst G. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Concurrent and comparative discrete event simulation |c by Ernst G. Ulrich ; Vishwani D. Agrawal ; Jack H. Arabian |
| 264 | 1 | |a Boston u.a. |b Kluwer |c 1994 | |
| 300 | |a XIII, 186 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a Systems - Dynamics - Mathematical models | |
| 650 | 7 | |a Simulacao |2 larpcal | |
| 650 | 4 | |a Digital computer simulation | |
| 650 | 4 | |a Discrete-time systems |x Computer simulation | |
| 700 | 1 | |a Agrawal, Vishwani D. |e Verfasser |4 aut | |
| 700 | 1 | |a Arabian, Jack H. |e Verfasser |4 aut | |
| 856 | 4 | 2 | |m GBV Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006688183&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006688183 | ||
Record in the Search Index
| _version_ | 1804124465255153664 |
|---|---|
| adam_text | CONCURRENT AND COMPARATIVE DISCRETE EVENT SIMULATION BY ERNST G. ULRICH
DIGITAL EQUIPMENT CORPORATION VISHWANI D. AGRAWAL A T& T BELL
LABORATORIES JACK II. ARABIAN DIGITAL EQUIPMENT CORPORATION KLUWER
ACADEMIC PUBLISHERS BOSTON / DORDRECHT / LONDON TABLE OF CONTENTS
FOREWORD XIV PREFACE XV ACKNOWLEDGMENTS XVI CHAPTER 1 INTRODUCTION AND
OVERVIEW 1 1.1 COMPARATIVE EXPERIMENTATION 1 1.2 THE EVOLUTION OF
CONCURRENT SIMULATION 2 1.3 HISTORICAL FACTS, MAJOR FEATURES, AND MAJOR
ADVANTAGES OF CCS/MDCCS 3 1.4 CONCEPTUAL OVERVIEWS OF CCS AND MDCCS 6
1.4.1 CCS 6 1.4.2 CCS VS. SERIAL SIMULATION 8 1.4.3 MDCCS 10 1.4.4 MDCCS
VS. CCS EFFICIENCY 12 1.4.5 STORAGE REPLICATION, ANOTHER MDCCS
EFFICIENCY 13 1.5 MULTI-LIST-TRAVERSAL 14 1.6 ORTHOGONAL AND
NON-ORTHOGONAL DOMAINS 15 1.7 STATISTICAL SIMULATION CONTROL 16 1.8
OBSERVATION AND THE USE OF SIGNATURES 16 1.9
SELECTIVE-TRACE/EVENT-DRIVEN SIMULATION 17 1.10 BEHAVIORAL MODELING FOR
CCS AND MDCCS 18 1.11 CONCLUSION 18 1.12 REFERENCES 20 VIII TABLE OF
CONTENTS CHAPTER 2 NEW APPLICATIONS 23 2.1 INTRODUCTION 23 2.2 THE NEW
APPLICATIONS 24 2.2.1 A GENERAL PURPOSE CONCURRENT AND COMPARATIVE
SIMULATOR (GPCCS) 24 2.2.2 MANY-PATTERNS, MANY-FAULTS SIMULATION 24
2.2.3 COMPARATIVE DESIGN SIMULATION FOR DIGITAL LOGIC; INSTRUCTION SET
SIMULATION 25 2.2.4 DIAGNOSTIC PROGRAMS SIMULATION AND CONCURRENT
SOFTWARE SIMULATION (CSS) 25 2.2.5 STORAGE CONSERVATION DUE TO MULTIPLE
ACTIVATION 27 2.2.6 MULTIPLE FAULTS SIMULATION (MFS) 27 2.2.7 STRONGLY
PERVASIVE VS. WEAKLY PERVASIVE FAULTS .28 2.2.8 MIN-MAX TIMING
SIMULATION (MMTS) 28 2.2.9 X-STATE RESOLUTION SIMULATION (XRS) 29 2.2.10
DISTINGUISHING REAL AND PSEUDO LOGIC 29 2.2.11 BLOCKAGE & DISTURBANCE
SIMULATION 29 2.2.12 TOKEN-RING AND OTHER NETWORK SIMULATIONS 29 2.2.13
CONCURRENT TEST GENERATION (CTG) 30 2.2.14 ANIMATION 30 2.2.15 AIR
TRAFFIC AND AIR TRAFFIC CONTROL 31 2.2.16 GRAPH ANALYSIS 31 2.2.17 MACRO
ECONOMICS MODELING AND SIMULATION .31 2.2.18 SIMULATION OF SMALL
BUSINESS MANAGEMENT 31 2.2.19 STATISTICAL DESIGN 31 2.2.20 SYMBOLIC
SIMULATION 32 2.2.21 GAME-PLAYING VIA TREE ANALYSIS 32 2.2.22
MONTE-CARLO SIMULATIONS 32 2.2.23 PROTEIN FOLDING 32 2.2.24
METEOROLOGICAL SIMULATIONS 32 2.2.25 REAL-TIME OPTIMIZATION FOR
AUTOMOBILE ENGINES AND INDUSTRIAL PROCESSES 33 2.2.26 SEARCHING 33
2.2.27 SIMULATION OF NUCLEAR POWERSTATIONS 33 TABLE OF CONTENTS IX 2.3
REFERENCES 33 CHAPTER 3 HISTORY AND BACKGROUND: DIGITAL LOGIC AND FAULT
SIMULATION 35 3.1 INTRODUCTION 35 3.2 LOGIC SIMULATION IN THE 1950S AND
1960S 35 3.3 ACCURACY BASED ON THE X-STATE 36 3.4 COMPILED LOGIC
SIMULATION 36 3.5 SELECTIVE-TRACE AND EVENT-DRIVEN LOGIC SIMULATION
(DISCRETE EVENT SIMULATION) 37 3.6 EVENT SCHEDULING AND EXECUTION 38 3.7
SIMULATION BEYOND THE GATE-LEVEL 39 3.8 SWITCH-LEVEL SIMULATION 39 3.9
MIN-MAX LOGIC SIMULATION AND TIMING VERIFICATION 40 3.10 HARDWARE
SIMULATION ENGINES 41 3.11 TERMINOLOGY FOR DIGITAL LOGIC SIMULATION 41
3.12 MODELING AND PRIMITIVE MODELS 44 3.13 TABLE-LOOKUP 45 3.14 THE
SIMULATION OF MEMORIES 46 3.15 A NEGLECTED VIEWPOINT - INSTRUCTION-LEVEL
MODELING AND SIMUFATION 47 3.16 HIGH-LEVEL LOGIC SIMULATION; EXECUTION
OF COMPUTER PROGRAMS 48 3.17 A REHEARSAL STRATEGY 49 3.18 FAULTS FOR
FAULT AND DESIGN SIMULATION 49 3.19 SIMULTANEOUS FAULT SIMULATION
METHODS 50 3.20 MISCELLANEOUS COMMENTS AND CONCLUSIONS 51 X TABLE OF
CONTENTS 3.21 REFERENCES 53 CHAPTER 4 CONCURRENT FAULT SIMULATION 57 4.1
INTRODUCTION 57 4.2 BASIC CONCURRENT FAULT SIMULATION 58 4.3
CO-DETECTION, SIGNATURES, AND REHEARSAL SIMULATION 60 4.4 TYPES OF
FAULTS 60 4.5 CONCLUSION 61 4.6 REFERENCES 61 CHAPTER 5
MULTI-LIST-TRAVERSAL 63 5.1 INTRODUCTION 63 5.2 MLT VARIATIONS 66 5.3
AXIOMS, FEATURES, AND IMPLEMENTATION STRATEGIES 66 5.3.1 THE
TRIGGER-INHIBITOR CONCEPT 66 5.3.2 DIVERGENCES DUE TO INHIBITION 67
5.3.3 AUXILIARY LISTS AND AUXILIARY EVENTS 68 5.3.4 FRATERNAL
MULTI-LIST-TRAVERSAL 68 5.3.5 LIST ATTRIBUTES AND LIST RECOGNITION 68
5.3.6 FUNCTION LISTS AND FUNCTION CALLING VIA TABLE-LOOKUP 69 5.3.7
C-EXPERIMENTS AND CO-DETECTION 69 5.4 SPECIFICS OF MULTI-LIST-TRAVERSAL
69 5.5 AN MLT-VARIATION BASED ON SELECTIVE TRAVERSAL 73 5.6 CONCLUSION
74 5.7 REFERENCES 75 CHAPTER 6 OBSERVATION 77 6.1 INTRODUCTION 77 TABLE
OF CONTENTS XI 6.2 ADVANTAGES OVER CONVENTIONAL, SERIAL OBSERVATION 77
6.3 SIGNATURES, DISTANCES, SIZES, PROTILES, AND EVENT COUNTS .78 6.4 A
PER-EXPERIMENT ACCESS COUNT 80 6.5 CONCLUSION 80 CHAPTER 7 MULTI-DOMAIN
CONCURRENT AND COMPARATIVE SIMULATION 81 7.1 INTRODUCTION 81 7.2 MDCCS
BASICS 82 7.3 EFFICIENCY THROUGH SIMILARITY 84 7.4 STORAGE REPLICATION
86 7.5 OBSERVATION PRECISION WITH MDCCS 87 7.6 FURTHER EFFICIENCY
CONSIDERATIONS 87 7.7 MULTI-LIST TRAVERSAL 88 7.8 THE MDCCS MULTI-LIST
TRAVERSAL 89 7.9 CONCLUSION 92 7.10 REFERENCES 93 CHAPTER 8 FAULT
SIMULATION OF DIAGNOSTIC PROGRAMS 95 8.1 INTRODUCTION 95 8.2 AN OVERVIEW
OF THE CONCURRENT SIMULATION OF DIAGNOSTIC PROGRAMS; DETECTION AND
ISOLATION 96 8.3 MEMORY SIMULATION; ACCURATE X-STATE SIMULATION FOR
MEMORIES 101 8.4 OBSERVATION AND STATISTICS FOR DIAGNOSTIC INVESTIGATION
104 8.5 CONCLUSION: NEW DIAGNOSTIC STRATEGIES 106 8.6 REFERENCE 108 XII
TABLE OF CONTENTS CHAPTER 9 CONCURRENT SOFTWARE SIMULATION (CSS) 109 9.1
INTRODUCTION 109 9.2 AN EXAMPLE OF CSS 110 9.3 CSS AS A GENERAL PURPOSE
BEHAVIORAL MODELING METHOD .112 9.4 REFERENCE 113 CHAPTER 10 MIN-MAX
SIMULATION 115 10.1 INTRODUCTION 115 10.2 TERMINOLOGY 116 10.3
PHILOSOPHIES, STRATEGIES, AND MISCELLANEOUS FACTS 117 10.4 AMBIGUITY
PROPAGATION 119 10.5 THE S-ALGORITHM; DETECTING FALSE GLITCHES WITH THE
HELP OF S-EXPERIMENTS 121 10.6 REFERENCES 123 CHAPTER 11 CONCURRENT TEST
GENERATION 12 5 11.1 INTRODUCTION 125 11.2 FAULT SIMULATOR USED AS TEST
EVALUATOR 125 11.3 FAULT SIMULATOR USED AS TEST GENERATOR 128 11.4
CONTEST ALGORITHM 129 11.4.1 PHASE 1 - INITIALIZATION 131 11.4.2 PHASE
2-CONCURRENT FAULT DETECTION 133 11.4.3 PHASE 3 -SINGLE FAULT DETECTION
137 11.5 CONTEST TEST GENERATOR 140 11.6 COMPLEXITY OF CONCURRENT TEST
GENERATION 147 11.7 CONCLUSION 148 11.8 REFERENCES 148 TABLE OF CONTENTS
XIII CHAPTER 12 SIMULATION ON MULTIPROCESSORS 151 12.1 INTRODUCTION 151
12.2 PARALLEL PROCESSING 151 12.3 DATA PARALLEL SIMULATION 153 12.3.1
PARALLEL DISCRETE EVENT SIMULATION 155 12.4 CFS ON MARS MULTIPROCESSOR
161 12.4.1 HARDWARE ARCHITECTURE AND PROGRAMMING 161 12.4.2 PIPELINED
EVENT PROCESSOR 162 12.4.3 CFS PIPELINE ORGANIZATION 164 12.4.4 FAULT
PROPAGATION THROUGH MEMORY BLOCKS 169 12.4.5 RESULTS 173 12.5 CONCLUSION
174 12.6 REFERENCES 175 CHAPTER 13 CONCLUSION AND FUTURE WORK 179 13.1
REFERENCES 182 INDEX 183
|
| any_adam_object | 1 |
| author | Ulrich, Ernst G. Agrawal, Vishwani D. Arabian, Jack H. |
| author_facet | Ulrich, Ernst G. Agrawal, Vishwani D. Arabian, Jack H. |
| author_role | aut aut aut |
| author_sort | Ulrich, Ernst G. |
| author_variant | e g u eg egu v d a vd vda j h a jh jha |
| building | Verbundindex |
| bvnumber | BV010077115 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.C65 |
| callnumber-search | QA76.9.C65 |
| callnumber-sort | QA 276.9 C65 |
| callnumber-subject | QA - Mathematics |
| ctrlnum | (OCoLC)29181713 (DE-599)BVBBV010077115 |
| dewey-full | 003/.83/0113 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 003 - Systems |
| dewey-raw | 003/.83/0113 |
| dewey-search | 003/.83/0113 |
| dewey-sort | 13 283 3113 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01367nam a2200361 c 4500</leader><controlfield tag="001">BV010077115</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19950306 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">950306s1994 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0792394119</subfield><subfield code="9">0-7923-9411-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)29181713</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010077115</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.C65</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">003/.83/0113</subfield><subfield code="2">20</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Ulrich, Ernst G.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Concurrent and comparative discrete event simulation</subfield><subfield code="c">by Ernst G. Ulrich ; Vishwani D. Agrawal ; Jack H. Arabian</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Boston u.a.</subfield><subfield code="b">Kluwer</subfield><subfield code="c">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 186 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Systems - Dynamics - Mathematical models</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Simulacao</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Digital computer simulation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Discrete-time systems</subfield><subfield code="x">Computer simulation</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Agrawal, Vishwani D.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Arabian, Jack H.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">GBV Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006688183&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006688183</subfield></datafield></record></collection> |
| id | DE-604.BV010077115 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T17:46:06Z |
| institution | BVB |
| isbn | 0792394119 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006688183 |
| oclc_num | 29181713 |
| open_access_boolean | |
| owner | DE-739 |
| owner_facet | DE-739 |
| physical | XIII, 186 S. graph. Darst. |
| publishDate | 1994 |
| publishDateSearch | 1994 |
| publishDateSort | 1994 |
| publisher | Kluwer |
| record_format | marc |
| spelling | Ulrich, Ernst G. Verfasser aut Concurrent and comparative discrete event simulation by Ernst G. Ulrich ; Vishwani D. Agrawal ; Jack H. Arabian Boston u.a. Kluwer 1994 XIII, 186 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Systems - Dynamics - Mathematical models Simulacao larpcal Digital computer simulation Discrete-time systems Computer simulation Agrawal, Vishwani D. Verfasser aut Arabian, Jack H. Verfasser aut GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006688183&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Ulrich, Ernst G. Agrawal, Vishwani D. Arabian, Jack H. Concurrent and comparative discrete event simulation Systems - Dynamics - Mathematical models Simulacao larpcal Digital computer simulation Discrete-time systems Computer simulation |
| title | Concurrent and comparative discrete event simulation |
| title_auth | Concurrent and comparative discrete event simulation |
| title_exact_search | Concurrent and comparative discrete event simulation |
| title_full | Concurrent and comparative discrete event simulation by Ernst G. Ulrich ; Vishwani D. Agrawal ; Jack H. Arabian |
| title_fullStr | Concurrent and comparative discrete event simulation by Ernst G. Ulrich ; Vishwani D. Agrawal ; Jack H. Arabian |
| title_full_unstemmed | Concurrent and comparative discrete event simulation by Ernst G. Ulrich ; Vishwani D. Agrawal ; Jack H. Arabian |
| title_short | Concurrent and comparative discrete event simulation |
| title_sort | concurrent and comparative discrete event simulation |
| topic | Systems - Dynamics - Mathematical models Simulacao larpcal Digital computer simulation Discrete-time systems Computer simulation |
| topic_facet | Systems - Dynamics - Mathematical models Simulacao Digital computer simulation Discrete-time systems Computer simulation |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006688183&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT ulrichernstg concurrentandcomparativediscreteeventsimulation AT agrawalvishwanid concurrentandcomparativediscreteeventsimulation AT arabianjackh concurrentandcomparativediscreteeventsimulation |