17: Digitaltechnik und Entwurfsverfahren, Vorlesung, SS 2016, am 23.06.2016

Autor

Uwe D. Hanebeck

Herausgeber

KIT | Webcast

Beteiligtes Institut

Institut für Anthropomatik und Robotik (IAR)

Genre

Vorlesung

Beschreibung

17 |
0:00:00 Starten
0:00:06 Klassifizierung von Hasards
0:00:41 Funktions- und Strukturhasard
0:01:34 Funktionshasard
0:02:26 Strukturhasard
0:03:28 Klassifizierung von Laufzeiteffekten
0:04:13 Analyse von Hasards
0:05:19 Erkennen eines Funktionshasard
0:08:53 Beispiel
0:14:27 Erkennen eines Sturkturhasard
0:17:23 Beispiel
0:19:27 Das strukturspezifische KV-Diagramm
0:23:49 Anderer Übergang im gleichen Schaltnetz
0:29:05 Zeitbedingungen für Hasardfehler
0:31:23 Zeitbedingungen
0:32:32 Beheben von Hasards
0:32:42 Beheben von Funktionshasards
0:33:19 Beheben von Stukturhasards
0:34:16 Behebung statuischer 1-Strukturhasards
0:41:38 Behebung statischer 0-Strukturhasards
0:42:37 Satz von Eichelberger
0:43:35 Beispiel
0:45:25 Behebung dynamischer Stukturhasards
0:45:49 Vorgehensweise
0:46:43 Beispiel
0:55:38 Wieso funktioniert dieses Verfahren?
0:56:16 Regel für zweistufige Schaltnetze in konjunktiver Form
0:56:36 Weitere Modelle und Methoden
0:57:18 Schaltwerke
0:59:01 Einleitung
1:01:32 Formale Grundlagen
1:03:58 Arbeitsweise
1:04:59 Mealy- und Moore-Automat
1:05:03 Moore-Automat
1:05:52 Mealy-Automat
1:06:46 Moore-Automat vs. Mealy-Automat
1:07:44 Unterschiede im Verhalten der beiden Automaten
1:09:30 Darstellungsmöglichkeiten
1:09:35 Formalisierte Beschreibung
1:11:16 Zeitdiagramm
1:13:18 Ablauftabelle
1:14:09 Automatentabelle

Laufzeit (hh:mm:ss)

01:16:00

Serie

Digitaltechnik und Entwurfsverfahren, Vorlesung, SS 2016

Publiziert am

01.07.2016

Fachgebiet

Informatik

Lizenz

KITopen-Lizenz