Automatische Sensibilisierung unabhängiger Bitpfade für den Modultest in synchronen Schaltwerken:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
1993
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Duisburg, Univ., Diss., 1993 |
| Beschreibung: | V, 108 S. graph. Darst. |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV009704472 | ||
| 003 | DE-604 | ||
| 007 | t | ||
| 008 | 940629s1993 gw d||| m||| 00||| ger d | ||
| 016 | 7 | |a 941097218 |2 DE-101 | |
| 035 | |a (OCoLC)46255143 | ||
| 035 | |a (DE-599)BVBBV009704472 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-355 |a DE-91 |a DE-29T |a DE-11 | ||
| 084 | |a ELT 468d |2 stub | ||
| 100 | 1 | |a Keutner, Konstantin |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Automatische Sensibilisierung unabhängiger Bitpfade für den Modultest in synchronen Schaltwerken |c von Konstantin Keutner |
| 264 | 1 | |c 1993 | |
| 300 | |a V, 108 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Duisburg, Univ., Diss., 1993 | ||
| 650 | 0 | 7 | |a Synchrones Schaltwerk |0 (DE-588)4293676-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Pfadalgorithmus |0 (DE-588)4323782-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Testmuster |0 (DE-588)4241057-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Synchrones Schaltwerk |0 (DE-588)4293676-7 |D s |
| 689 | 0 | 1 | |a Testmuster |0 (DE-588)4241057-5 |D s |
| 689 | 0 | 2 | |a Pfadalgorithmus |0 (DE-588)4323782-4 |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=006418928&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-006418928 | |
Datensatz im Suchindex
| _version_ | 1807682600761819136 |
|---|---|
| adam_text |
INHALTSVERZEICHNIS
ZUSAMMENFASSUNG
III
ABKUERZUNGEN
UND
FORMELZEICHEN
IV
1.
EINLEITUNG
1
1.1.
PRODUKTIONSTEST
DIGITALER
SCHALTUNGEN
2
1.2.
MODULARE
TESTERSTELLUNG
5
1.3.
SENSIBILISIERUNG
VON
PFADEN
7
1.4.
STAND
DER
TECHNIK
8
1.5.
ZIELE
DER
ARBEIT
10
2.
GRUNDLAGEN
12
2.1.
MODELLIERUNG
DIGITALER
SCHALTUNGEN
12
2.1.1.
SCHALTUNGSBESCHREIBUNG
ALS
DATENFLUSSGRAPH
13
2.1.2.
SCHALTUNGSBESCHREIBUNG
ALS
ENDLICHER
AUTOMAT
15
2.1.3.
MODELLIERUNG
DES
ZEITVERHALTENS
SYNCHRONER
SCHALTWERKE
17
2.1.4.
MODELLIERUNG
VON
MODULEN
18
2.2.
FORMALE
DARSTELLUNG
EINES
TESTMUSTERSATZES
19
2.3.
PFADKLASSIFIZIERUNG
21
2.3.1.
INJEKTIVE,
SURJEKTIVE
UND
BIJEKTLVE
PFADE
22
2.3.2.
EINFACHE
UND
REKONVERGENTE
BITPFADE
24
2.4.
SPEZIELLE
MODELLIERUNGEN
27
2.4.1.
MODELLIERUNG
VON
BIDIREKTIONALEN
BUSSEN
28
2.4.2.
MODELLIERUNG
DER
TAKTSTEUERUNG
SEQUENTIELLER
ELEMENTE
28
3.
VERFAHREN
ZUM
TEST
HETEROGENER
SCHALTUNGEN
31
3.1.
ERSTELLUNG
VON
MODULTESTMUSTERSAETZEN
31
3.1.1.
ERSCHOEPFENDER
TEST
32
3.1.2.
MANUELLE
TESTERSTELLUNG
32
3.1.3.
ZUFALLSTESTMUSTER
32
3.1.4.
GATTERSCHALTUNGEN
33
3.1.5.
REGELMAESSIGE
GATTERSTRUKTUREN
35
3.1.6.
RAM
35
3.1.7.
PLA
36
3.1.8.
IFA
36
3.2.
TRANSFORMATION
VON
MODULTESTMUSTERN
IN
36
SYSTEMTESTMUSTER
3.2.1.
KOMBINATORISCHE
EINBETTUNG
37
3.2.2.
SEQUENTIELLE
EINBETTUNG
40
4.
AUTOMATISCHE
SENSIBILISIERUNG
UNABHAENGIGER
BITPFADE
43
4.1.
PFADSENSIBILISIERUNG
ALS
SUCHVERFAHREN
45
4.2.
ENTSCHEIDUNGSBAUM
UND
BACKTRACKING
46
4.3.
DAS
SENSIBILISIERUNGSWERTEMODELL
47
4.3.1.
DIE
BASISWERTE
48
4.3.2.
DIE
ZUSAMMENGESETZTEN
LOGIKWERTE
50
4.3.3.
DIE
LOGIKWERTE
BEI
BUS-KONSTRUKTEN
53
4.4.
DER
ZIELBAUM
54
4.4.1.
DIE
JUSTIFIKATIONSZIELE
56
4.4.2.
DIE
BEOBACHTUNGSZIELE
57
4.4.3.
DIE
EINSTELLZIELE
58
4.5.
BESTIMMUNG
OBLIGATORISCHER
WERTZUWEISUNGEN
59
4.5.1.
IMPLIKATION
60
4.5.1.1.
VORWAERTSIMPLIKATION
61
4.5.1.2.
RUECKWAERTSIMPLIKATION
62
4.5.2.
EINDEUTIGE
SENSIBILISIERUNG
64
4.5.3.
BERUECKSICHTIGUNG
DES
ZEITEBENENINTERVALLS
66
4.6.
ENTSCHEIDUNGSFINDUNG
67
4.6.1.
TESTBARKEITSMASSE
68
4.6.2.
ENTSCHEIDUNG
FUER
WERTZUWEISUNG
75
4.6.2.1.
DIE
MENGE
DER
INITIALEN
WERTEINSTELLUNGSZIELE
76
4.6.2.2.
RUECKWAERTSFORTPFLANZUNG
DER
WERTEINSTELLUNGSZIELE
77
4.6.2.3.
BESTIMMUNG
EINES
ENTSCHEIDUNGS-
78
SIGNALES
UND
-WERTES
4.6.3.
ENTSCHEIDUNG
FUER
ZIELFRONTIER
79
5.
EXPERIMENTELLE
ERGEBNISSE
80
5.1.
KOMBINATORISCHE
BENCHMARKSCHALTUNGEN
81
5.2.
SEQUENTIELLE
BENCHMARKSCHALTUNGEN
86
5.3.
INDUSTRIELLE
SCHALTUNGEN
92
5.3.1.
AMD
2901
92
5.3.2.
TDC
94
6.
ZUSAMMENFASSUNG
UND
AUSBLICK
97
7.
LITERATURVERZEICHNIS
100 |
| any_adam_object | 1 |
| author | Keutner, Konstantin |
| author_facet | Keutner, Konstantin |
| author_role | aut |
| author_sort | Keutner, Konstantin |
| author_variant | k k kk |
| building | Verbundindex |
| bvnumber | BV009704472 |
| classification_tum | ELT 468d |
| ctrlnum | (OCoLC)46255143 (DE-599)BVBBV009704472 |
| discipline | Elektrotechnik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV009704472</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940629s1993 gw d||| m||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">941097218</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)46255143</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009704472</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-355</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ELT 468d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Keutner, Konstantin</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Automatische Sensibilisierung unabhängiger Bitpfade für den Modultest in synchronen Schaltwerken</subfield><subfield code="c">von Konstantin Keutner</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">V, 108 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="500" ind1=" " ind2=" "><subfield code="a">Duisburg, Univ., Diss., 1993</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Synchrones Schaltwerk</subfield><subfield code="0">(DE-588)4293676-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Pfadalgorithmus</subfield><subfield code="0">(DE-588)4323782-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Testmuster</subfield><subfield code="0">(DE-588)4241057-5</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">Synchrones Schaltwerk</subfield><subfield code="0">(DE-588)4293676-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Testmuster</subfield><subfield code="0">(DE-588)4241057-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Pfadalgorithmus</subfield><subfield code="0">(DE-588)4323782-4</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=006418928&sequence=000001&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-006418928</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV009704472 |
| illustrated | Illustrated |
| indexdate | 2024-08-18T00:21:08Z |
| institution | BVB |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006418928 |
| oclc_num | 46255143 |
| open_access_boolean | |
| owner | DE-355 DE-BY-UBR DE-91 DE-BY-TUM DE-29T DE-11 |
| owner_facet | DE-355 DE-BY-UBR DE-91 DE-BY-TUM DE-29T DE-11 |
| physical | V, 108 S. graph. Darst. |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| record_format | marc |
| spelling | Keutner, Konstantin Verfasser aut Automatische Sensibilisierung unabhängiger Bitpfade für den Modultest in synchronen Schaltwerken von Konstantin Keutner 1993 V, 108 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Duisburg, Univ., Diss., 1993 Synchrones Schaltwerk (DE-588)4293676-7 gnd rswk-swf Pfadalgorithmus (DE-588)4323782-4 gnd rswk-swf Testmuster (DE-588)4241057-5 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Synchrones Schaltwerk (DE-588)4293676-7 s Testmuster (DE-588)4241057-5 s Pfadalgorithmus (DE-588)4323782-4 s DE-604 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006418928&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Keutner, Konstantin Automatische Sensibilisierung unabhängiger Bitpfade für den Modultest in synchronen Schaltwerken Synchrones Schaltwerk (DE-588)4293676-7 gnd Pfadalgorithmus (DE-588)4323782-4 gnd Testmuster (DE-588)4241057-5 gnd |
| subject_GND | (DE-588)4293676-7 (DE-588)4323782-4 (DE-588)4241057-5 (DE-588)4113937-9 |
| title | Automatische Sensibilisierung unabhängiger Bitpfade für den Modultest in synchronen Schaltwerken |
| title_auth | Automatische Sensibilisierung unabhängiger Bitpfade für den Modultest in synchronen Schaltwerken |
| title_exact_search | Automatische Sensibilisierung unabhängiger Bitpfade für den Modultest in synchronen Schaltwerken |
| title_full | Automatische Sensibilisierung unabhängiger Bitpfade für den Modultest in synchronen Schaltwerken von Konstantin Keutner |
| title_fullStr | Automatische Sensibilisierung unabhängiger Bitpfade für den Modultest in synchronen Schaltwerken von Konstantin Keutner |
| title_full_unstemmed | Automatische Sensibilisierung unabhängiger Bitpfade für den Modultest in synchronen Schaltwerken von Konstantin Keutner |
| title_short | Automatische Sensibilisierung unabhängiger Bitpfade für den Modultest in synchronen Schaltwerken |
| title_sort | automatische sensibilisierung unabhangiger bitpfade fur den modultest in synchronen schaltwerken |
| topic | Synchrones Schaltwerk (DE-588)4293676-7 gnd Pfadalgorithmus (DE-588)4323782-4 gnd Testmuster (DE-588)4241057-5 gnd |
| topic_facet | Synchrones Schaltwerk Pfadalgorithmus Testmuster Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006418928&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT keutnerkonstantin automatischesensibilisierungunabhangigerbitpfadefurdenmodultestinsynchronenschaltwerken |