Ein wissensbasierter Ansatz zur automatischen Durchführung von Experimenten in der Logiksimulation:
Gespeichert in:
| Beteilige Person: | |
|---|---|
| Format: | Buch |
| Sprache: | Deutsch |
| Veröffentlicht: |
Düsseldorf
VDI-Verlag
1991
|
| Ausgabe: | Als Manuskript gedruckt |
| Schriftenreihe: | Verein Deutscher Ingenieure: [Fortschritt-Berichte VDI / 20]
49 |
| Schlagwörter: | |
| Links: | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002882224&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| Beschreibung: | Zugl.: München, Techn. Univ., Diss., 1991 |
| Umfang: | 2 Blätter, 178 Seiten graph. Darst. |
| ISBN: | 3181449202 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV004694293 | ||
| 003 | DE-604 | ||
| 005 | 20200506 | ||
| 007 | t| | ||
| 008 | 920129s1991 xx d||| m||| 00||| gerod | ||
| 020 | |a 3181449202 |9 3-18-144920-2 | ||
| 035 | |a (OCoLC)30159423 | ||
| 035 | |a (DE-599)BVBBV004694293 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-91G |a DE-210 |a DE-355 |a DE-862 |a DE-83 |a DE-11 |a DE-188 | ||
| 050 | 0 | |a QA76.9.C65 | |
| 084 | |a QH 500 |0 (DE-625)141607: |2 rvk | ||
| 084 | |a ST 190 |0 (DE-625)143607: |2 rvk | ||
| 084 | |a ZN 5630 |0 (DE-625)157471: |2 rvk | ||
| 084 | |a DAT 789d |2 stub | ||
| 084 | |a DAT 549d |2 stub | ||
| 084 | |a DAT 703d |2 stub | ||
| 100 | 1 | |a Pfaffhausen, Henning |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Ein wissensbasierter Ansatz zur automatischen Durchführung von Experimenten in der Logiksimulation |c Henning Pfaffhausen |
| 250 | |a Als Manuskript gedruckt | ||
| 264 | 1 | |a Düsseldorf |b VDI-Verlag |c 1991 | |
| 300 | |a 2 Blätter, 178 Seiten |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Verein Deutscher Ingenieure: [Fortschritt-Berichte VDI / 20] |v 49 | |
| 500 | |a Zugl.: München, Techn. Univ., Diss., 1991 | ||
| 650 | 4 | |a Computer simulation | |
| 650 | 0 | 7 | |a Logiksimulation |0 (DE-588)4305935-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logische Programmierung |0 (DE-588)4195096-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Simulation |0 (DE-588)4055072-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Experiment |0 (DE-588)4015999-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Wissensbasiertes System |0 (DE-588)4197554-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Logiksimulation |0 (DE-588)4305935-1 |D s |
| 689 | 0 | 1 | |a Wissensbasiertes System |0 (DE-588)4197554-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 1 | 1 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 1 | 2 | |a Simulation |0 (DE-588)4055072-2 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 2 | 1 | |a Experiment |0 (DE-588)4015999-1 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 3 | 1 | |a Simulation |0 (DE-588)4055072-2 |D s |
| 689 | 3 | |5 DE-604 | |
| 810 | 2 | |a 20] |t Verein Deutscher Ingenieure: [Fortschritt-Berichte VDI |v 49 |w (DE-604)BV021786833 |9 49 | |
| 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=002882224&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-002882224 | |
Datensatz im Suchindex
| DE-BY-TUM_call_number | 0701 65 B 276-20,49 |
|---|---|
| DE-BY-TUM_katkey | 540882 |
| DE-BY-TUM_location | Mag |
| DE-BY-TUM_media_number | 040070779243 |
| _version_ | 1821938315351293952 |
| adam_text | Titel: Ein wissensbasierter Ansatz zur automatischen Durchführung von Experimenten in der Logiksimulation
Autor: Pfaffhausen, Henning
Jahr: 1991
Inhalt
1 Einleitung 4
1.1 Allgemeine Problemstellung 4
1.2 Stand der Technik 8
1.2.1 Experimente in der Simulation 8
1.2.2 Automatische Auswertung von Logiksimulationen 9
1.2.3 Steuerung von Logiksimulationen 11
1.2.4 Expertensysteme in der Simulation 12
1.2.5 Allgemeine Ansätze zur Steuerung 14
1.3 Ziel der Arbeit 15
2 Der experimentelle Aspekt in der Simulation 17
2.1 Simulation als Experiment 17
2.2 Experimente in der Systemsimulation 18
2.3 Experimente in der Logiksimulation 22
2.3.1 Anregung des Schaltungsmodells 31
2.3.2 Beobachtung des Experiments 31
2.3.3 Steuerung des Logiksimulators 32
3 Probleme der automatischen Experimentdurchführung 34
3.1 Experimentsteuerung 35
3.1.1 Experimentbeschreibung 36
3.1.1.1 Sollwertbeschreibung 39
3.1.1.2 Virtuelle Signale 40
3.1.2 Experimentdurchführung 42
3.1.2.1 Anbinden der Steuerung 42
3.1.2.2 Steueralgorithmus 43
3.1.2.3 Interaktivität der Steuerung 45
1
3.2 Datenaustausch 48
3.3 Synchronisation 49
3.4 Einfluß auf Designmethodik 55
4 Ansatz zur automatischen Experimentdurchführung 58
4.1 Experimentsteuerung als wissensbasiertes System 58
4.2 Expertensysteme 62
4.3 Logiksimulator als Expertensystem 66
4.3.1 Wissensrepräsentation 68
4.3.2 Inferenzmechanismus 73
4.3.3 Lernfähigkeit 80
4.4 Datenaustausch 87
4.5 Synchronisation 91
4.6 Entwurf einer Architektur 93
4.7 Restriktionen des Ansatzes 94
5 Realisierung des Ansatzes 97
5.1 BMFT-Projekt Simulatorkopplung 98
5.2 Anmerkungen zum Experimentator 99
5.3 Anmerkungen zur Implementierung 103
5.3.1 DACAPO III 104
5.4 Funktionsweise des Experimentators 106
5.4.1 Präprozessor 107
5.4.1.1 Extraktion der Daten 108
5.4.1.2 Vernetzung des Experimentators 109
5.4.1.3 Initialisierung des Verbunds 110
5.4.2 Experimentator 110
5.4.3 Postprozessor 111
5.5 Experimentbeschreibung 112
5.5.1 EXPERIMENT-Modul 112
5.5.2 IMPORT-Sektion 113
5.5.3 SIGNALS-Sektion 114
5.5.4 VIRTUAL-Sektion 116
5.5.5 RULES-Sektion 118
5.5.6 INITIALIZE-Sektion 118
2
5.5.7 BUILD-Sektion 119
5.5.8 COMMAND-Funktion 120
5.5.9 COMMENT-Funktion 121
5.5.10 Syntax-Beispiel 122
5.6 Beschreibung einer Regel-Bibliothek 124
5.6.1 Modellierung 124
5.6.2 Installierung 133
5.7 Regel-Bibliothek 134
5.7.1 Allgemeine Regeln 134
5.7.2 Analoge Regeln 135
5.7.3 Timing-Regeln 136
5.7.4 Breakpoint-Regeln 138
5.7.5 Testerorientierte Regeln 139
5.7.6 Vergleichende Regeln 140
5.7.7 Filternde Regeln 141
5.7.8 Signalgeneratoren 142
5.7.9 Logische Regeln 143
5.7.10 Arithmetische Regeln 144
5.8 Beispiel 145
5.8.1 Zähler-Schaltung 145
5.8.2 Experimentbeschreibung 148
5.8.3 Experimentablauf 162
5.9 Grenzen der Realisierung 166
6 Zusammenfassung 168
3
|
| any_adam_object | 1 |
| author | Pfaffhausen, Henning |
| author_facet | Pfaffhausen, Henning |
| author_role | aut |
| author_sort | Pfaffhausen, Henning |
| author_variant | h p hp |
| building | Verbundindex |
| bvnumber | BV004694293 |
| 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 |
| classification_rvk | QH 500 ST 190 ZN 5630 |
| classification_tum | DAT 789d DAT 549d DAT 703d |
| ctrlnum | (OCoLC)30159423 (DE-599)BVBBV004694293 |
| discipline | Informatik Elektrotechnik / Elektronik / Nachrichtentechnik Wirtschaftswissenschaften |
| edition | Als Manuskript gedruckt |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02742nam a2200649 cb4500</leader><controlfield tag="001">BV004694293</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20200506 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">920129s1991 xx d||| m||| 00||| gerod</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3181449202</subfield><subfield code="9">3-18-144920-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)30159423</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV004694293</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="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-210</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-862</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.C65</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">QH 500</subfield><subfield code="0">(DE-625)141607:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 190</subfield><subfield code="0">(DE-625)143607:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ZN 5630</subfield><subfield code="0">(DE-625)157471:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 789d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 549d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 703d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Pfaffhausen, Henning</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Ein wissensbasierter Ansatz zur automatischen Durchführung von Experimenten in der Logiksimulation</subfield><subfield code="c">Henning Pfaffhausen</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">Als Manuskript gedruckt</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Düsseldorf</subfield><subfield code="b">VDI-Verlag</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">2 Blätter, 178 Seiten</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">Verein Deutscher Ingenieure: [Fortschritt-Berichte VDI / 20]</subfield><subfield code="v">49</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Zugl.: München, Techn. Univ., Diss., 1991</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer simulation</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logiksimulation</subfield><subfield code="0">(DE-588)4305935-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Simulation</subfield><subfield code="0">(DE-588)4055072-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Experiment</subfield><subfield code="0">(DE-588)4015999-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Wissensbasiertes System</subfield><subfield code="0">(DE-588)4197554-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</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">Logiksimulation</subfield><subfield code="0">(DE-588)4305935-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Wissensbasiertes System</subfield><subfield code="0">(DE-588)4197554-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Simulation</subfield><subfield code="0">(DE-588)4055072-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Experiment</subfield><subfield code="0">(DE-588)4015999-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="1"><subfield code="a">Simulation</subfield><subfield code="0">(DE-588)4055072-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">20]</subfield><subfield code="t">Verein Deutscher Ingenieure: [Fortschritt-Berichte VDI</subfield><subfield code="v">49</subfield><subfield code="w">(DE-604)BV021786833</subfield><subfield code="9">49</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=002882224&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-002882224</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV004694293 |
| illustrated | Illustrated |
| indexdate | 2024-12-20T08:21:28Z |
| institution | BVB |
| isbn | 3181449202 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-002882224 |
| oclc_num | 30159423 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-210 DE-355 DE-BY-UBR DE-862 DE-BY-FWS DE-83 DE-11 DE-188 |
| owner_facet | DE-91G DE-BY-TUM DE-210 DE-355 DE-BY-UBR DE-862 DE-BY-FWS DE-83 DE-11 DE-188 |
| physical | 2 Blätter, 178 Seiten graph. Darst. |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| publisher | VDI-Verlag |
| record_format | marc |
| series2 | Verein Deutscher Ingenieure: [Fortschritt-Berichte VDI / 20] |
| spellingShingle | Pfaffhausen, Henning Ein wissensbasierter Ansatz zur automatischen Durchführung von Experimenten in der Logiksimulation Computer simulation Logiksimulation (DE-588)4305935-1 gnd Logische Programmierung (DE-588)4195096-3 gnd Simulation (DE-588)4055072-2 gnd Experiment (DE-588)4015999-1 gnd Wissensbasiertes System (DE-588)4197554-6 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd |
| subject_GND | (DE-588)4305935-1 (DE-588)4195096-3 (DE-588)4055072-2 (DE-588)4015999-1 (DE-588)4197554-6 (DE-588)4033447-8 (DE-588)4113937-9 |
| title | Ein wissensbasierter Ansatz zur automatischen Durchführung von Experimenten in der Logiksimulation |
| title_auth | Ein wissensbasierter Ansatz zur automatischen Durchführung von Experimenten in der Logiksimulation |
| title_exact_search | Ein wissensbasierter Ansatz zur automatischen Durchführung von Experimenten in der Logiksimulation |
| title_full | Ein wissensbasierter Ansatz zur automatischen Durchführung von Experimenten in der Logiksimulation Henning Pfaffhausen |
| title_fullStr | Ein wissensbasierter Ansatz zur automatischen Durchführung von Experimenten in der Logiksimulation Henning Pfaffhausen |
| title_full_unstemmed | Ein wissensbasierter Ansatz zur automatischen Durchführung von Experimenten in der Logiksimulation Henning Pfaffhausen |
| title_short | Ein wissensbasierter Ansatz zur automatischen Durchführung von Experimenten in der Logiksimulation |
| title_sort | ein wissensbasierter ansatz zur automatischen durchfuhrung von experimenten in der logiksimulation |
| topic | Computer simulation Logiksimulation (DE-588)4305935-1 gnd Logische Programmierung (DE-588)4195096-3 gnd Simulation (DE-588)4055072-2 gnd Experiment (DE-588)4015999-1 gnd Wissensbasiertes System (DE-588)4197554-6 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd |
| topic_facet | Computer simulation Logiksimulation Logische Programmierung Simulation Experiment Wissensbasiertes System Künstliche Intelligenz Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002882224&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV021786833 |
| work_keys_str_mv | AT pfaffhausenhenning einwissensbasierteransatzzurautomatischendurchfuhrungvonexperimenteninderlogiksimulation |
Inhaltsverzeichnis
Paper/Kapitel scannen lassen
Paper/Kapitel scannen lassen
Bibliotheksmagazin
| Signatur: |
0701 65 B 276-20,49 Lageplan |
|---|---|
| Exemplar 1 | Ausleihbar Am Standort |