KIT-Bibliothek
Audio-/Videodatei publizieren

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

  • 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

Auflösung 1280 x 720 Pixel
Seitenverhältnis 16:9
Audiobitrate 107260 bps
Audio Kanäle 2
Audio Codec aac
Audio Abtastrate 48000 Hz
Gesamtbitrate 913221 bps
Farbraum yuv420p
Container mov,mp4,m4a,3gp,3g2,mj2
Medientyp video/mp4
Dauer 4560 s
Dateiname DIVA-2016-503_hd.mp4
Dateigröße 4.096 byte
Bildwiederholfrequenz 25
Videobitrate 799865 bps
Video Codec h264

Mediathek-URL

Embed-Code

Digitaltechnik und Entwurfsverfahren, Vorlesung, SS 2016 Folgen 1-23 von 23