Modeling and verification of material handling systems:
Gespeichert in:
1. Verfasser: | |
---|---|
Format: | Abschlussarbeit Buch |
Sprache: | English |
Veröffentlicht: |
2013
|
Schlagworte: | |
Online-Zugang: | Inhaltsverzeichnis |
Beschreibung: | XIV, 116 S. Ill., graph. Darst. |
Internformat
MARC
LEADER | 00000nam a2200000 c 4500 | ||
---|---|---|---|
001 | BV041458148 | ||
003 | DE-604 | ||
005 | 20131204 | ||
007 | t | ||
008 | 131203s2013 ad|| m||| 00||| eng d | ||
035 | |a (OCoLC)874057484 | ||
035 | |a (DE-599)BVBBV041458148 | ||
040 | |a DE-604 |b ger |e rakwb | ||
041 | 0 | |a eng | |
049 | |a DE-634 | ||
082 | 0 | |a 658.781 |2 22/ger | |
100 | 1 | |a Klotz, Thomas |d 1983- |e Verfasser |0 (DE-588)1044014253 |4 aut | |
245 | 1 | 0 | |a Modeling and verification of material handling systems |c von Thomas Klotz |
264 | 1 | |c 2013 | |
300 | |a XIV, 116 S. |b Ill., graph. Darst. | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
502 | |a Dresden, Techn. Univ., Diss., 2013 | ||
655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
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=026904560&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
999 | |a oai:aleph.bib-bvb.de:BVB01-026904560 |
Datensatz im Suchindex
_version_ | 1804151586498281473 |
---|---|
adam_text | CONTENTS
1 INTRODUCTION 1
1.1 MOTIVATION 1
1.2 AIM OF THE THESIS 3
2 RELATED WORK 7
2.1 PETRI NET-BASED APPROACHES 8
2.2 VALIDATION OF MHS 10
2.3 FORMAL VERIFICATION OF MHS 11
2.4 FORMAL VERIFICATION OF PLC PROGRAMS 11
3 FORMAL VERIFICATION 15
3.1 MODELS 15
3.2 COMPUTATION TREE LOGIC 18
3.3 MODEL CHECKING 21
3.4 COMPOSITIONAL VERIFICATION 23
4 MODELING OF MHS 29
4.1 PRELIMINARIES 29
4.2 MHS ELEMENTS 31
4.3 MHS ELEMENTS WITH MATERIAL FLOW CONTROL 35
4.4 INTERCONNECTION OF MHS ELEMENTS 36
4.5 EXAMPLES OF MHS ELEMENTS 38
4.5.1 EARLY CLEAR CONVEYOR 38
4.5.2 PUSHER 41
4.6 APPROACH TO THE VERIFICATION OF MHS ELEMENTS 43
4.6.1 ENVIRONMENT OF AN MHS ELEMENT 43
4.6.2 EXAMPLE: VERIFICATION OF THE EARLY CLEAR CONVEYOR 46
5 VERIFICATION OF MHS 49
5.1 INTRODUCTION WITH AN ILLUSTRATIVE EXAMPLE 49
5.1.1 DESCRIPTION OF THE EXAMPLE 49
5.1.2 FORMAL VERIFICATION OF THE EXAMPLE 50
5.1.3 COMPLEXITY DISCUSSION 53
HTTP://D-NB.INFO/1045325015
X CONTENTS
5.2 PARTITIONING OF MHS NETWORKS 55
5.3 FINDING OF AN APPROPRIATE PARTITIONING 57
5.4 COMPOSITIONAL VERIFICATION OF ROUTING IN MHS 58
5.4.1 DESCRIPTION OF PARTITIONED MHS NETWORKS 58
5.4.2 VERIFICATION METHOD 59
5.4.3 DESCRIPTION OF THE ALGORITHMS 61
5.4.4 VERIFICATION RESULTS 63
5.4.5 CORRECTNESS OF THE LOOP CUT 64
5.5 COMPOSITIONAL VERIFICATION OF ARBITRARY PROPERTIES 65
5.5.1 EXTENDED DESCRIPTION OF PARTITIONED MHS NETWORK 65
5.5.2 TOPOLOGICAL SORTING 66
5.5.3 VERIFICATION METHOD 67
5.5.4 DESCRIPTION OF THE ALGORITHMS 70
5.6 VERIFICATION WORKFLOW 74
5.7 IMPLEMENTATION 75
6 EVALUATION 81
6.1 BHS OF AN INTERNATIONAL AIRPORT 81
6.1.1 DESCRIPTION OF FUNCTIONALITY 81
6.1.2 VERIFICATION OF THE EXAMPLE 83
6.1.3 IMPACT OF PARTITIONING 84
6.2 MHS OF A DISTRIBUTION CENTER 86
6.2.1 DESCRIPTION OF FUNCTIONALITY 87
6.2.2 VERIFICATION OF THE EXAMPLE 91
7 CONCLUSION 95
7.1 SUMMARY 95
7.2 FUTURE WORK 96
A FURTHER EXAMPLES OF MHS ELEMENTS 99
A.L CARGO SOURCE 99
A.2 CARGO SINK 100
A.3 CONNECTOR 100
A.4 TURNTABLE 101
A.5 TURNTABLE WITH MERGE FUNCTION 102
A.6 WORKING STATION 105
A.7 ACCUMULATIVE CONVEYOR 106
BIBLIOGRAPHY 109
|
any_adam_object | 1 |
author | Klotz, Thomas 1983- |
author_GND | (DE-588)1044014253 |
author_facet | Klotz, Thomas 1983- |
author_role | aut |
author_sort | Klotz, Thomas 1983- |
author_variant | t k tk |
building | Verbundindex |
bvnumber | BV041458148 |
ctrlnum | (OCoLC)874057484 (DE-599)BVBBV041458148 |
dewey-full | 658.781 |
dewey-hundreds | 600 - Technology (Applied sciences) |
dewey-ones | 658 - General management |
dewey-raw | 658.781 |
dewey-search | 658.781 |
dewey-sort | 3658.781 |
dewey-tens | 650 - Management and auxiliary services |
discipline | Wirtschaftswissenschaften |
format | Thesis Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01084nam a2200289 c 4500</leader><controlfield tag="001">BV041458148</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20131204 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">131203s2013 ad|| m||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)874057484</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV041458148</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">658.781</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Klotz, Thomas</subfield><subfield code="d">1983-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1044014253</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Modeling and verification of material handling systems</subfield><subfield code="c">von Thomas Klotz</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 116 S.</subfield><subfield code="b">Ill., 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="502" ind1=" " ind2=" "><subfield code="a">Dresden, Techn. Univ., Diss., 2013</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="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=026904560&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-026904560</subfield></datafield></record></collection> |
genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
genre_facet | Hochschulschrift |
id | DE-604.BV041458148 |
illustrated | Illustrated |
indexdate | 2024-07-10T00:57:10Z |
institution | BVB |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-026904560 |
oclc_num | 874057484 |
open_access_boolean | |
owner | DE-634 |
owner_facet | DE-634 |
physical | XIV, 116 S. Ill., graph. Darst. |
publishDate | 2013 |
publishDateSearch | 2013 |
publishDateSort | 2013 |
record_format | marc |
spelling | Klotz, Thomas 1983- Verfasser (DE-588)1044014253 aut Modeling and verification of material handling systems von Thomas Klotz 2013 XIV, 116 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Dresden, Techn. Univ., Diss., 2013 (DE-588)4113937-9 Hochschulschrift gnd-content DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026904560&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
spellingShingle | Klotz, Thomas 1983- Modeling and verification of material handling systems |
subject_GND | (DE-588)4113937-9 |
title | Modeling and verification of material handling systems |
title_auth | Modeling and verification of material handling systems |
title_exact_search | Modeling and verification of material handling systems |
title_full | Modeling and verification of material handling systems von Thomas Klotz |
title_fullStr | Modeling and verification of material handling systems von Thomas Klotz |
title_full_unstemmed | Modeling and verification of material handling systems von Thomas Klotz |
title_short | Modeling and verification of material handling systems |
title_sort | modeling and verification of material handling systems |
topic_facet | Hochschulschrift |
url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026904560&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
work_keys_str_mv | AT klotzthomas modelingandverificationofmaterialhandlingsystems |