17: Digitaltechnik und Entwurfsverfahren, Vorlesung, SS 2016, am 23.06.2016
- 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
| Zugehörige Institution(en) am KIT | Institut für Anthropomatik und Robotik (IAR) |
| Publikationstyp | Audio & Video |
| Publikationsdatum | 01.07.2016 |
| Erstellungsdatum | 23.06.2016 |
| Sprache | Deutsch |
| DOI | 10.5445/DIVA/2016-503 |
| Identifikator | KITopen-ID: 1000114091 |
| Lizenz | KITopen-Lizenz |
| Serie | Digitaltechnik und Entwurfsverfahren, Vorlesung, SS 2016 |
| Folge | 17 |