Ein analytisches Lösungsverfahren für DSPN-Modelle:
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | German |
| Published: |
Berlin
Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4
1991
|
| Series: | Forschungsberichte des Fachbereichs Informatik / Technische Universität Berlin
1991,22 |
| Subjects: | |
| Links: | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003424743&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| Item Description: | Literaturverz. Bl. 57 - 59 |
| Physical Description: | 59 Bl. graph. Darst. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV005470256 | ||
| 003 | DE-604 | ||
| 005 | 19921006 | ||
| 007 | t| | ||
| 008 | 920713s1991 gw d||| |||| 00||| ger d | ||
| 035 | |a (OCoLC)46151794 | ||
| 035 | |a (DE-599)BVBBV005470256 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-12 |a DE-83 |a DE-188 | ||
| 100 | 1 | |a German, Reinhard |d 1964- |e Verfasser |0 (DE-588)113051646 |4 aut | |
| 245 | 1 | 0 | |a Ein analytisches Lösungsverfahren für DSPN-Modelle |c Reinhard German ; Christoph Lindemann. Technische Universität Berlin, Fachbereich 20, Informatik |
| 264 | 1 | |a Berlin |b Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4 |c 1991 | |
| 300 | |a 59 Bl. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Forschungsberichte des Fachbereichs Informatik / Technische Universität Berlin |v 1991,22 | |
| 500 | |a Literaturverz. Bl. 57 - 59 | ||
| 650 | 0 | 7 | |a Petri-Netz |0 (DE-588)4045388-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Markov-Kette |0 (DE-588)4037612-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Markov-Kette |0 (DE-588)4037612-6 |D s |
| 689 | 0 | 1 | |a Petri-Netz |0 (DE-588)4045388-1 |D s |
| 689 | 0 | |5 DE-188 | |
| 700 | 1 | |a Lindemann, Christoph |d 1961- |e Verfasser |0 (DE-588)111728681 |4 aut | |
| 810 | 2 | |a Technische Universität Berlin |t Forschungsberichte des Fachbereichs Informatik |v 1991,22 |w (DE-604)BV000001083 |9 1991,22 | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003424743&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-003424743 | |
Record in the Search Index
| _version_ | 1819280530186698752 |
|---|---|
| adam_text | Inhaltsverzeichnis
1 Einleitung 1
2 DSPN-Modelle und ihre numerische Lösung 4
2.1 Definition des DSPN-Modells 4
2.2 Berechnung der stationären Lösung 6
2.3 Beispiel: Fehlertolerantes Uhrensystem mit einem Uhrenmodul 11
3 Transiente Analyse von azyklischen Markoff-Ketten 18
3.1 Allgemeines 18
3.2 Laplace-Transformierte der Zustandswahrscheinlichkeiten 19
3.2.1 Notation und Hilfsformeln 19
3.2.2 Sequenz 22
3.2.3 Verzweigung 23
3.2.4 Baum 25
3.2.5 Azyklischer Graph 27
3.2.6 Zyklischer Graph 28
3.3 Rücktransformation 29
3.4 Das ACE-Verfahren 32
3.5 Integration der Zustandswahrscheinlichkeiten 36
3.6 Kombination mit dem DSPN-Lösungsverfahren 37
3.7 Beispiel 38
4 Anwendungen des analytischen Lösungsverfahrens 44
4.1 Fehlertolerantes Uhrensystem mit zwei Uhrenmoduln 44
? 4.2EI/D/1/K-Warteschlange 49
5 Zusammenfassung 56
Literaturverzeichnis 57
|
| any_adam_object | 1 |
| author | German, Reinhard 1964- Lindemann, Christoph 1961- |
| author_GND | (DE-588)113051646 (DE-588)111728681 |
| author_facet | German, Reinhard 1964- Lindemann, Christoph 1961- |
| author_role | aut aut |
| author_sort | German, Reinhard 1964- |
| author_variant | r g rg c l cl |
| building | Verbundindex |
| bvnumber | BV005470256 |
| ctrlnum | (OCoLC)46151794 (DE-599)BVBBV005470256 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01722nam a2200373 cb4500</leader><controlfield tag="001">BV005470256</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19921006 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">920713s1991 gw d||| |||| 00||| ger d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)46151794</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV005470256</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">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">German, Reinhard</subfield><subfield code="d">1964-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)113051646</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Ein analytisches Lösungsverfahren für DSPN-Modelle</subfield><subfield code="c">Reinhard German ; Christoph Lindemann. Technische Universität Berlin, Fachbereich 20, Informatik</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">59 Bl.</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="490" ind1="1" ind2=" "><subfield code="a">Forschungsberichte des Fachbereichs Informatik / Technische Universität Berlin</subfield><subfield code="v">1991,22</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. Bl. 57 - 59</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Petri-Netz</subfield><subfield code="0">(DE-588)4045388-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Markov-Kette</subfield><subfield code="0">(DE-588)4037612-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Markov-Kette</subfield><subfield code="0">(DE-588)4037612-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Petri-Netz</subfield><subfield code="0">(DE-588)4045388-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-188</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Lindemann, Christoph</subfield><subfield code="d">1961-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)111728681</subfield><subfield code="4">aut</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Technische Universität Berlin</subfield><subfield code="t">Forschungsberichte des Fachbereichs Informatik</subfield><subfield code="v">1991,22</subfield><subfield code="w">(DE-604)BV000001083</subfield><subfield code="9">1991,22</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ 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=003424743&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-003424743</subfield></datafield></record></collection> |
| id | DE-604.BV005470256 |
| illustrated | Illustrated |
| indexdate | 2024-12-20T08:34:07Z |
| institution | BVB |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-003424743 |
| oclc_num | 46151794 |
| open_access_boolean | |
| owner | DE-12 DE-83 DE-188 |
| owner_facet | DE-12 DE-83 DE-188 |
| physical | 59 Bl. graph. Darst. |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| publisher | Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4 |
| record_format | marc |
| series2 | Forschungsberichte des Fachbereichs Informatik / Technische Universität Berlin |
| spellingShingle | German, Reinhard 1964- Lindemann, Christoph 1961- Ein analytisches Lösungsverfahren für DSPN-Modelle Petri-Netz (DE-588)4045388-1 gnd Markov-Kette (DE-588)4037612-6 gnd |
| subject_GND | (DE-588)4045388-1 (DE-588)4037612-6 |
| title | Ein analytisches Lösungsverfahren für DSPN-Modelle |
| title_auth | Ein analytisches Lösungsverfahren für DSPN-Modelle |
| title_exact_search | Ein analytisches Lösungsverfahren für DSPN-Modelle |
| title_full | Ein analytisches Lösungsverfahren für DSPN-Modelle Reinhard German ; Christoph Lindemann. Technische Universität Berlin, Fachbereich 20, Informatik |
| title_fullStr | Ein analytisches Lösungsverfahren für DSPN-Modelle Reinhard German ; Christoph Lindemann. Technische Universität Berlin, Fachbereich 20, Informatik |
| title_full_unstemmed | Ein analytisches Lösungsverfahren für DSPN-Modelle Reinhard German ; Christoph Lindemann. Technische Universität Berlin, Fachbereich 20, Informatik |
| title_short | Ein analytisches Lösungsverfahren für DSPN-Modelle |
| title_sort | ein analytisches losungsverfahren fur dspn modelle |
| topic | Petri-Netz (DE-588)4045388-1 gnd Markov-Kette (DE-588)4037612-6 gnd |
| topic_facet | Petri-Netz Markov-Kette |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003424743&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000001083 |
| work_keys_str_mv | AT germanreinhard einanalytischeslosungsverfahrenfurdspnmodelle AT lindemannchristoph einanalytischeslosungsverfahrenfurdspnmodelle |