Interval-based discrete-event simulation:
Saved in:
| Main Author: | |
|---|---|
| Format: | Thesis Book |
| Language: | English |
| Published: |
Tönning [u.a.]
<<Der>> Andere Verl.
2010
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | XVI, 220 S. graph. Darst. 21 cm |
| ISBN: | 9783862470129 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV037293637 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 110322s2010 d||| m||| 00||| eng d | ||
| 015 | |a 10,N25 |2 dnb | ||
| 015 | |a 11,A08 |2 dnb | ||
| 016 | 7 | |a 1003460321 |2 DE-101 | |
| 020 | |a 9783862470129 |c kart. : EUR 49.90 |9 978-3-86247-012-9 | ||
| 024 | 3 | |a 9783862470129 | |
| 035 | |a (OCoLC)703883328 | ||
| 035 | |a (DE-599)DNB1003460321 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29T | ||
| 082 | 0 | |a 003.3 |2 22/ger | |
| 084 | |a 510 |2 sdnb | ||
| 084 | |a 000 |2 sdnb | ||
| 084 | |a 004 |2 sdnb | ||
| 100 | 1 | |a Peschlow, Patrick |e Verfasser |0 (DE-588)141488530 |4 aut | |
| 245 | 1 | 0 | |a Interval-based discrete-event simulation |c Patrick Peschlow |
| 264 | 1 | |a Tönning [u.a.] |b <<Der>> Andere Verl. |c 2010 | |
| 300 | |a XVI, 220 S. |b graph. Darst. |c 21 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 502 | |a Zugl.: Bonn, Univ., Diss., 2010 | ||
| 650 | 0 | 7 | |a Diskretes Ereignissystem |0 (DE-588)4196828-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Computersimulation |0 (DE-588)4148259-1 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Computersimulation |0 (DE-588)4148259-1 |D s |
| 689 | 0 | 1 | |a Diskretes Ereignissystem |0 (DE-588)4196828-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=021206159&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-021206159 | ||
Record in the Search Index
| _version_ | 1804143928813813760 |
|---|---|
| adam_text | CONTENTS LIST OF ABBREVIATIONS XV 1. INTRODUCTION 1 1.1. SIMULATION 2
1.1.1. DIFFERENT WAYS TO STUDY THE BEHAVIOR OF A SYSTEM 2 1.1.2.
SIMULATION MODELS 4 1.2. DISCRETE-EVENT SIMULATION 4 1.2.1. COMPONENTS
OF A DISCRETE-EVENT SIMULATION MODEL 4 1.2.2. EVENT SCHEDULING ALGORITHM
6 1.3. DISCRETE-EVENT SIMULATION STUDIES 7 1.3.1. INDEPENDENT
REPLICATIONS 7 1.3.2. INPUT MODELING 7 1.3.3. OUTPUT ANALYSIS 8 1.4.
SIMULTANEOUS EVENTS 8 1.4.1. TIE-BREAKING 9 1.4.2. BRANCHING 9 1.4.3.
CRITIQUE OF BRANCHING 10 1.5. MOTIVATION FOR THE THESIS 11 1.5.1.
TEMPORAL UNCERTAINTY AND INTERVAL BRANCHING 11 1.5.2. ADVANCED INTERVAL
BRANCHING CONCEPTS 12 1.5.3. OBJECTIVES OF THE THESIS 13 1.6. OUTLINE OF
THE THESIS 13 2. INTERVAL BRANCHING 15 2.1. INTERVAL-BASED
DISCRETE-EVENT SIMULATION 15 2.2. A SIMPLE INTERVAL BRANCHING ALGORITHM
18 2.2.1. OVERLAPPING EVENTS 18 2.2.2. DISCRETE-EVENT SIMULATION WITH
BRANCHING 22 2.2.3. THE BRANCHING PROCEDURE 23 2.3. TIMESTAMP
DEPENDENCIES 26 2.3.1. AFFINE ARITHMETIC 28 2.3.2. AFFINE TIMESTAMPS 30
2.3.3. USING AFFINE TIMESTAMPS IN INTERVAL BRANCHING 31 2.3.4.
RESPECTING TIMESTAMP DEPENDENCIES 31 2.4. THE EFFECTS OF ORDERING
DECISIONS 35 2.4.1. CONSTRAINT CHECKING ALGORITHM 37 BIBLIOGRAFISCHE
INFORMATIONEN HTTP://D-NB.INFO/1003460321 DIGITALISIERT DURCH 2.4.2.
TIMESTAMP UPDATE ALGORITHM 44 2.4.3. THE COMPLETE BRANCHING PROCEDURE 46
2.5. RELATED WORK 47 2.5.1. TEMPORAL UNCERTAINTY AND BRANCHING 47 2.5.2.
TEMPORAL UNCERTAINTY IN DISCRETE-EVENT SIMULATION 49 2.5.3. OTHER
BRANCHING APPROACHES IN DISCRETE-EVENT SIMULATION 50 2.5.4.
DISCRETE-EVENT SIMULATION AND VERIFICATION 51 2.5.5. INTERVALS IN
CONTINUOUS SIMULATION 52 2.6. CHAPTER SUMMARY 53 3. BRANCH PROBABILITY
CALCULATION 55 3.1. NOTATION 55 3.2. BRANCH PROBABILITY CALCULATION IN
THE GENERAL CASE 56 3.2.1. ASSOCIATED RANDOM VARIABLES OF UNCERTAINTY
TERMS AND EVENTS ... 56 3.2.2. FORMALIZATION OF BRANCH PROBABILITY
CALCULATION 57 3.2.3. EVALUATING THE PROBABILITY INTEGRAL 59 3.3.
PERFORMANCE STUDY OF BRANCH PROBABILITY CALCULATION 61 3.3.1. RESULTS 61
3.3.2. CONCLUSIONS 64 3.4. BRANCH PROBABILITY CALCULATION IN CASE OF
MULTIVARIATE NORMAL DISTRIBUTION 64 3.4.1. THE UNIVARIATE NORMAL
DISTRIBUTION 64 3.4.2. THE MULTIVARIATE NORMAL DISTRIBUTION 65 3.4.3.
UNCERTAINTY TERMS AND NORMAL RANDOM VARIABLES 65 3.4.4. INTEGRATING THE
MULTIVARIATE NORMAL DENSITY OVER A CONVEX POLYHEDRON 66 3.5. PERFORMANCE
STUDY OF NPOL AND MVDIST 68 3.5.1. RESULTS 68 3.5.2. CONCLUSIONS AND
DISCUSSION 70 3.6. THE SPECIAL CASE OF PRECISE EVENTS 72 3.7. RELATED
WORK 73 3.7.1. PROBABILITY CALCULATION IN DISCRETE-EVENT SIMULATION WITH
BRANCHING 73 3.7.2. PROBABILITY CALCULATION IN MODEL CHECKING 74 3.7.3
4.3.3. EXPLORING SPECIFIC (RARE) MODEL BEHAVIOR 85 4.4. AN INTERVAL
BRANCHING SIMULATION LANGUAGE 89 4.4.1. USER INTERFACE 89 4.4.2. MODEL
INTERFACE 90 4.5. RELATED WORK 92 4.5.1. BRANCH ELIMINATION IN
DISCRETE-EVENT SIMULATION 92 4.5.2. RARE EVENT SIMULATION 93 4.6.
CHAPTER SUMMARY 94 5. CASE STUDIES 95 5.1. SIMULATOR IMPLEMENTATION 95
5.2. AIR TRAFFIC CONTROL 96 5.2.1. THE RUNWAY CAPACITY VS. SAFETY
TRADE-OFF 97 5.2.2. ONGOING RESEARCH ON SEPARATION STANDARDS 99 5.2.3.
RUNWAY SIMULATION MODEL 100 5.2.4. EXPERIMENTS WITH THE RUNWAY MODEL 103
5.2.5. EXTENDED SIMULATION MODEL 105 5.2.6. EXPERIMENTS WITH THE
EXTENDED MODEL 107 5.2.7. PERFORMANCE COMPARISON WITH TRADITIONAL
DISCRETE-EVENT SIMULATION 110 5.2.8. RELATED WORK 113 5.2.9. DISCUSSION
114 5.3. NETWORK SIMULATION 115 5.3.1. SIMULATION MODEL 116 5.3.2.
EXPERIMENTS 119 5.3.3. DISCUSSION 122 5.4. CHAPTER SUMMARY 123 6.
PARALLEL INTERVAL BRANCHING 125 6.1. REVIEW OF PARALLEL SIMULATION
APPROACHES 125 6.1.1. INDEPENDENT REPLICATIONS IN PARALLEL 126 6.1.2.
PARALLEL DISCRETE-EVENT SIMULATION 126 6.1.3. ENVIRONMENT PARTITIONING
128 6.2. PARALLEL SIMULATION TECHNIQUES FOR INTERVAL BRANCHING 129
6.2.1. PARALLEL INTERVAL BRANCHING WITH LOCAL BRANCH QUEUES 130 6.2.2.
SHARED BRANCH QUEUE 134 6.2.3. DISTRIBUTED SIMULATION 135 6.3
BIBLIOGRAPHY 189 6.4.3. MULTIREPLICATION DATA TYPES 143 6.4.4. RELATED
WORK 143 6.5. CHAPTER SUMMARY 144 7. SUMMARY AND OUTLOOK 145 A. BRIEF
REVIEW OF THE SIMPLEX ALGORITHM 151 A.I. CANONICAL FORM 151 A.2.
STANDARD FORM 151 A.3. THE TWO-PHASE APPROACH 152 A.3.1. PHASE 1 152
A.3.2. PHASE 2 153 A.3.3. IMPLEMENTATION 155 B. BRANCH PROBABILITY
CALCULATION CONTINUED 157 B.I. BASIC PROBABILITY THEORY AND NOTATION 157
B.I.I. RANDOM VARIABLES AND EVENTS 157 B.1.2. DISTRIBUTION FUNCTION,
DENSITY FUNCTION, AND MASS FUNCTION 157 B.1.3. GENERAL FUNDAMENTALS 158
B.1.4. UNIFORM DISTRIBUTION 158 B.2. DISCRETE APPROXIMATION ALGORITHM
159 B.2.1. DISCRETE APPROXIMATION 159 B.2.2. THE JOINT PROBABILITY MASS
FUNCTIONS OF UNCERTAINTY TERMS 160 B.2.3. BRANCH PROBABILITY CALCULATION
162 B.2.4. PRECISE EVENTS 164 B.2.5. SUMMARY 164 B.3. SIMPLE PROBABILITY
ESTIMATION 166 B.3.1. INDEPENDENCE ASSUMPTION 166 B.3.2. ASSOCIATED
NORMAL RANDOM VARIABLES OF EVENTS 166 B.3.3. BRANCH PROBABILITY
CALCULATION 167 B.3.4. CONDITIONAL DENSITIES 168 B.3.5. NORMAL
APPROXIMATION OF CONDITIONAL DISTRIBUTIONS 170 B.3.6. SUMMARY OF SIMPLE
PROBABILITY ESTIMATION 179 B.3.7. PERFORMANCE EVALUATION 179 B.3.8.
DISCUSSION 181 B.3.9. RELATED WORK 182 B.3.10. SUMMARY 185 B.3.11.PROOFS
185
|
| any_adam_object | 1 |
| author | Peschlow, Patrick |
| author_GND | (DE-588)141488530 |
| author_facet | Peschlow, Patrick |
| author_role | aut |
| author_sort | Peschlow, Patrick |
| author_variant | p p pp |
| building | Verbundindex |
| bvnumber | BV037293637 |
| ctrlnum | (OCoLC)703883328 (DE-599)DNB1003460321 |
| dewey-full | 003.3 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 003 - Systems |
| dewey-raw | 003.3 |
| dewey-search | 003.3 |
| dewey-sort | 13.3 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Allgemeines Informatik Mathematik |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01655nam a2200445 c 4500</leader><controlfield tag="001">BV037293637</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">110322s2010 d||| m||| 00||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">10,N25</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">11,A08</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1003460321</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783862470129</subfield><subfield code="c">kart. : EUR 49.90</subfield><subfield code="9">978-3-86247-012-9</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783862470129</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)703883328</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1003460321</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-29T</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">003.3</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">510</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">000</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Peschlow, Patrick</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)141488530</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Interval-based discrete-event simulation</subfield><subfield code="c">Patrick Peschlow</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Tönning [u.a.]</subfield><subfield code="b"><<Der>> Andere Verl.</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVI, 220 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">21 cm</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="502" ind1=" " ind2=" "><subfield code="a">Zugl.: Bonn, Univ., Diss., 2010</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Diskretes Ereignissystem</subfield><subfield code="0">(DE-588)4196828-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Computersimulation</subfield><subfield code="0">(DE-588)4148259-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Computersimulation</subfield><subfield code="0">(DE-588)4148259-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Diskretes Ereignissystem</subfield><subfield code="0">(DE-588)4196828-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB 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=021206159&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-021206159</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV037293637 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T22:55:27Z |
| institution | BVB |
| isbn | 9783862470129 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-021206159 |
| oclc_num | 703883328 |
| open_access_boolean | |
| owner | DE-29T |
| owner_facet | DE-29T |
| physical | XVI, 220 S. graph. Darst. 21 cm |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | <<Der>> Andere Verl. |
| record_format | marc |
| spelling | Peschlow, Patrick Verfasser (DE-588)141488530 aut Interval-based discrete-event simulation Patrick Peschlow Tönning [u.a.] <<Der>> Andere Verl. 2010 XVI, 220 S. graph. Darst. 21 cm txt rdacontent n rdamedia nc rdacarrier Zugl.: Bonn, Univ., Diss., 2010 Diskretes Ereignissystem (DE-588)4196828-1 gnd rswk-swf Computersimulation (DE-588)4148259-1 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Computersimulation (DE-588)4148259-1 s Diskretes Ereignissystem (DE-588)4196828-1 s DE-604 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=021206159&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Peschlow, Patrick Interval-based discrete-event simulation Diskretes Ereignissystem (DE-588)4196828-1 gnd Computersimulation (DE-588)4148259-1 gnd |
| subject_GND | (DE-588)4196828-1 (DE-588)4148259-1 (DE-588)4113937-9 |
| title | Interval-based discrete-event simulation |
| title_auth | Interval-based discrete-event simulation |
| title_exact_search | Interval-based discrete-event simulation |
| title_full | Interval-based discrete-event simulation Patrick Peschlow |
| title_fullStr | Interval-based discrete-event simulation Patrick Peschlow |
| title_full_unstemmed | Interval-based discrete-event simulation Patrick Peschlow |
| title_short | Interval-based discrete-event simulation |
| title_sort | interval based discrete event simulation |
| topic | Diskretes Ereignissystem (DE-588)4196828-1 gnd Computersimulation (DE-588)4148259-1 gnd |
| topic_facet | Diskretes Ereignissystem Computersimulation Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=021206159&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT peschlowpatrick intervalbaseddiscreteeventsimulation |