Schaltungen, Schaltwerke und Automaten

Slides:



Advertisements
Ähnliche Präsentationen
Technische Informatik I Vorlesung 3: Bool'sche Algebra Mirco Hilbert Universität Bielefeld Technische Fakultät.
Advertisements

Sortieren I - Bubblesort -
Theoretische Grundlagen der Informatik Prof. Dr. Michael Löwe
Diskrete Mathematik II Marc Zschiegner
Grenzen endlicher Automaten
Institut für Informatik Abt. Intelligente Systeme
Christian Schindelhauer
Welches sind die beiden Kirchhoffschen Gesetze, die mit der hier dargestellten Schaltung verifiziert werden können und wie lauten diese?   Kirchhofsche.
1 Computergestützte Verifikation Symbolisches Model Checking 4.1 CTL Model Checking mit Binary Decision Diagrams (1. Systeme 2. Spezifikationen.
Vorlesung Informatik 3 Einführung in die Theoretische Informatik (02 – Endliche Automaten) Prof. Dr. Th. Ottmann.
Analoge vs. Digitale Informationen
Rechneraufbau & Rechnerstrukturen, Folie 1.1 © W. Oberschelp, G. Vossen W. Oberschelp G. Vossen Kapitel 1.
Rechneraufbau & Rechnerstrukturen, Folie 3.1 © 2006 W. Oberschelp, G. Vossen.
Rechneraufbau & Rechnerstrukturen, Folie 1.1 © 2006 W. Oberschelp, G. Vossen.
Rechneraufbau & Rechnerstrukturen, Folie 5.1 © 2006 W. Oberschelp, G. Vossen.
Aussagenlogische Modelle
2. Univariate Regressionsanalyse 2.1 Das statische Regressionsmodell
Torsteuerung Entwicklung der Logik.
Preispolitik im Polypol (vollkommener Markt)
Technische Informatik I
Technische Informatik I
6. Zusammengesetzte Daten (Verbund)
Rechneraufbau & Rechnerstrukturen, Folie 0.1 © W. Oberschelp, G. Vossen W. Oberschelp G. Vossen Übersicht.
Grenzen der Regularität
Technische Informatik II (INF 1211) Aufgabenteil (mit Unterlagen)
Beispiel Getränkeautomat
Basisinformationstechnologie HK-Medien
3.1 Gates und boolesche Algebra
1 SR-Latch 3.3 Speicher Latches © Béat Hirsbrunner, University of Fribourg, Switzerland, 31. Oktober 2007 S Q Q R Q Q 1-bit Speicher.
3.3 Speicher Latches (1/4) SR-Latch S Q Q R Q Q
Speichern von Informationen
Technische Informatik II Vorlesung 3: Kombinatorische Schaltungen
Speichern von Informationen
Rechnersysteme: Halbzeit Marcel Waldvogel. Marcel Waldvogel, IBM Zurich Research Laboratory, Universität Konstanz, , 2 Daten und Information.
Schaltnetze und Schaltwerke Marcel Waldvogel
Technische Informatik II
Technische Informatik II
Technische Informatik II
Technische Informatik II Übung 7: Automaten Implementierungsaspekte
Technische Informatik II
Seite 1 IDA, Technische Universität BraunschweigTechnische Informatik II (INF 1211) Quellen: Zum Teil aus den Unterlagen Digitale Systeme, Prof. Schimmler,
Technische Informatik II
Technische Informatik II (INF 1211) Aufgabenteil (Mit Unterlagen)
Seite 1 Technische Informatik II (INF 1211) – Kurzfragenteil (Ohne Unterlagen) Am Prof. W. Adi Zeit: (20 Minuten) Bitte schreiben Sie die Lösung.
Seite 1 Technische Informatik II (INF 1211) – Kurzfragenteil (Ohne Unterlagen) Am Prof. W. Adi Zeit: (20 Minuten) Bitte schreiben Sie die Lösung.
Von der Schaltfunktion zur Schaltung
Informatik III Christian Schindelhauer Wintersemester 2006/07
SWT-Übung WS 11/ SA-SA/RT.
1 Albert-Ludwigs-Universität Freiburg Rechnernetze und Telematik Prof. Dr. Christian Schindelhauer Informatik III Christian Schindelhauer Wintersemester.
1 Albert-Ludwigs-Universität Freiburg Rechnernetze und Telematik Prof. Dr. Christian Schindelhauer Informatik III Christian Schindelhauer Wintersemester.
B A Materialien für den Technik-Unterricht Bereich: Steuerungstechnik
Rechnerstrukturen 3b. Endliche Automaten.
Lernplan BMI6C Physik für den
Technische Informatik II
Technische Informatik II (INF 1211) Aufgabenteil (Mit Unterlagen)
Technische Informatik I Vorlesung 4: Vereinfachung von Schaltfunktionen Mirco Hilbert Universität Bielefeld Technische Fakultät.
Kapitel 3: Boolesche Algebra Inhalt: 3
Vertiefungsstoff zum Thema Logik und Schaltalgebra
Aufgabe 1. Herausforderungen I Persistente Datenspeicherung: Möchte man jeden Morgen alle Käufe und Verkäufe neu zusammensuchen? Sehr große Datenmengen:
X. Übungsblatt – Aufgabe X Die Zahlendarstellung im IEEE Standard 754 (single precision): Allgemein gilt: Z = (-1) V * (1 + M) * 2 (E - BIAS) a)Welche.
X. Übungsblatt – Aufgabe X Bestimmen Sie jeweils die disjunktive Normalform (DNF) der Folgenden Funktionen: a)f 1 = b)f 2 = c)Bestimmen Sie die primären.
X. Übungsblatt – Aufgabe X In dieser Aufgabe sollen die Eigenschaften ausgesuchter Flipflopschaltungen untersucht werden. Die Verzögerungszeit eines jeden.
X. Übungsblatt – Aufgabe X a)Entwerfen Sie eine digitale Schaltung, die bei einer logischen 0 des Steuereinganges S den logischen Wert des Eingangs x 0.
X. Übungsblatt – Aufgabe X Die gegebene Schaltfunktion y = f(d, c, b, a) soll mit Hilfe des Entwicklungssatzes entwickelt werden: a)Entwickeln Sie die.
Übung zu Grundlagen der Technischen Informatik
z0 – kein Geld eingeworfen
Technische Informatik II
Technische Informatik II Vorlesung 3: Kombinatorische Schaltungen
Technische Informatik II
Grundlagen der Rechnerarchitektur [CS ]
 Präsentation transkript:

Schaltungen, Schaltwerke und Automaten Ingo Höpping Informatik in 13/II: Wahlthema Technische Informatik; Weilburg XI/10

Schaltnetz vs. Schaltwerk logische Schaltung Ausgangszustände hängen ausschließlich von Schaltzuständen der Eingänge ab Schaltwerk: Ausgangszustände hängen von Eingangs-zuständen und früheren Eingaben ab Schaltung „mit Gedächtnis“ Informatik in 13/II: Wahlthema Technische Informatik; Weilburg XI/10 2

Schaltnetz vs. Schaltwerk Informatik in 13/II: Wahlthema Technische Informatik; Weilburg XI/10 3

Schaltnetz vs. Schaltwerk Schaltnetz Schaltwerk Informatik in 13/II: Wahlthema Technische Informatik; Weilburg XI/10 4

Analyse von Schaltnetzen Gesucht: boolescher Term (1) Analyse (2) Schaltwerttabelle Informatik in 13/II: Wahlthema Technische Informatik; Weilburg XI/10 5

Aufstellen von Schaltnetzen Eine Maschine soll so überwacht werden, dass ein Warnsignal abgegeben wird, wenn eine Störung eintritt und während der Störung der Aufsichtsposten nicht besetzt ist und eine Resettaste nicht gedrückt ist. Weiterhin soll das Warnsignal gegeben werden, wenn die Resettaste betätigt ist, obwohl keine Störung vorliegt. Festlegungen: Warnsignal aktiv: w = 1 Störung eingetreten: s = 1 Aufsicht anwesend: a = 1 Resettaste gedrückt: r = 1 Disjunktive Normalform (Minterm): Konjunktive Normalform (Maxterm): Informatik in 13/II: Wahlthema Technische Informatik; Weilburg XI/10 6

Aufstellen von Schaltnetzen Disjunktive Normalform (Minterm): Konjunktive Normalform (Maxterm): Informatik in 13/II: Wahlthema Technische Informatik; Weilburg XI/10 7

Minimieren von Schaltnetzen Ziel: einfache minimale Schaltnetze Möglichkeiten: (1) Boolesche Algebra (2) Minimierungsverfahren - Quine-McCluskey-Verfahren - Karnaugh-Veitch (KV-Diagramme) Informatik in 13/II: Wahlthema Technische Informatik; Weilburg XI/10 8

Minimieren mit Boolescher Algebra Konjunktive Normalform (Maxterm): Informatik in 13/II: Wahlthema Technische Informatik; Weilburg XI/10 9

Minimieren mit KV-Diagrammen Disjunktive Normalform (Minterm): KV-Diagramm Minimierter Term: Informatik in 13/II: Wahlthema Technische Informatik; Weilburg XI/10 10

Anwendung: Trinkwasser Zur Trinkwasserversorgung eines Hochhauses ist auf dem Dach ein Vorratsbehälter installiert. Das Wasser wird durch eine Hauptpumpe bzw. bei deren Versagen durch eine Reservepumpe in den Vorratsbehälter gepumpt. Zur automatischen Steuerung der Pumpen sind an diesen und am Behälter Sensoren angebracht, die melden, wenn dieser nicht mehr ausreichend gefüllt ist bzw. die Pumpen defekt sind. Außerdem soll bei Versagen beider Pumpen ein Alarmsignal gegeben werden. Festlegungen: Behälter leer: B = 1 Hauptpumpe defekt: H = 1 Reservepumpe defekt: R = 1 Hauptpumpe einschalten: h = 1 Reservepumpe einschalten: r = 1 Alarmmeldung: a = 1 Informatik in 13/II: Wahlthema Technische Informatik; Weilburg XI/10 11

Anwendung: Trinkwasser Alternativer Ansatz: Informatik in 13/II: Wahlthema Technische Informatik; Weilburg XI/10 12

Automaten als Schaltwerk Grundlage: Definition von DEA Bestandteile des Schaltwerkes: Schaltnetz zur Realisierung der Übergangsfunktion Schaltnetz zur Realisierung der Ausgabefunktion Speicher, der den Momentanzustand bis zum nächsten Takt erhält Schrittfolge zum Schaltwerk: Modellierung des Automaten Vereinbarungen / Codierung Schaltwertabelle Schaltfunktion Binäre Schaltung Informatik in 13/II: Wahlthema Technische Informatik; Weilburg XI/10 13

Automat: Modellierung Ein Kaugummiautomat liefert gegen Einwurf von 2€ ein Päckchen Kaugummis. Der Automat erlaubt die Eingabe von 1€-Stücken. Nach Drücken eines Rückgabeknopfes gibt er bereits eingeworfenes Geld zurück. Sind 2€ erreicht, wir die Ware automatisch ausgegeben. Informatik in 13/II: Wahlthema Technische Informatik; Weilburg XI/10 14

Automat: Vereinbarungen / Codierung Eingabe (2 Werte): x = 1  1€ eingeworfen  1 x = r  Restetaste  0 Ausgabe (3 Werte): y = n  keine Ausgabe  00 y = 1  1€ zurück  01 y = w  Ware ausgeben  10 Zustände (2 Werte): z = z0  0 z = z1  1 Informatik in 13/II: Wahlthema Technische Informatik; Weilburg XI/10 15

Automat: Schaltwerttabelle / -funktion Eingabe (2 Werte): x = 1  1€ eingeworfen  1 x = r  Restetaste  0 Ausgabe (3 Werte): y = n  keine Ausgabe  00 y = 1  1€ zurück  01 y = w  Ware ausgeben  10 Zustände (2 Werte): z = z0  0 z = z1  1 Schaltwerttabelle: Schaltfunktionen: Übergangsfunktion: Ausgabefunktion: Informatik in 13/II: Wahlthema Technische Informatik; Weilburg XI/10 16

Automat: binäres Schaltwerk Schaltfunktionen: Übergangsfunktion: Ausgabefunktion: Überführungsfunktion Ausgabefunktion Informatik in 13/II: Wahlthema Technische Informatik; Weilburg XI/10 17