Elektrotechnik und Informationstechnik
|
|
- Dennis Messner
- vor 5 Jahren
- Abrufe
Transkript
1 lektrotechnik und Informationstechnik Institut für Automatisierungstechnik, Professur Prozessleittechnik Basisautomatisierung Verriegelungen VL Prozessleittechnik Professur für Prozessleittechnik
2 Basisautomatisierung DIN N 65- BA: teuerungen, die zur erstellung und zur Aufrechterhaltung h eines bestimmten t Zustandes einer inrichtung oder eines Prozeßzustands dienen Beinhaltet Regelungen, Verriegelungen, Ausnahmefallbehandlungen, diskrete & sequentielle teuerungen Kann auf Prozessbedingen reagieren Kann durch Anweisung des Bedieners oder Prozedur- oder Koordinierungssteuerungen aktiviert, deaktiviert oder geändert werden PLT c Urbas 8- Folie
3 trukturierte Automatisierung Anwendungs-/Produktspezifische AT Rezeptfahrweise andsteuerung quipment-modul / Kontrol-modul Automatisierung mit dem Ziel Qualität Automatisierung mit dem Ziel Komfort Automatisierung mit dem Ziel icherheit Instrumentierungsnah icherheit / Verfügbarkeit von inzelkomponenten 7.4. PLT c Urbas 8- Folie 3
4 lektrotechnik und Informationstechnik Institut für Automatisierungstechnik, Professur Prozessleittechnik Verriegelungen g
5 Beispiele Werkzeugbrucherkennung Optisches chutzgitter Turbinenüberwachung Überlaufschutz von Tanks Leerlaufschutz für Pumpen Reihenfolgenverriegelung g g von Motoren 7.4. PLT c Urbas 8- Folie 5
6 Werkzeugbrucherkennung Bohrerkontrolle mit Lichtschranke: Ist der Bohrer nicht abgebrochen, so wird der Lichtstrahl unterbrochen und ein Freigabesignal für den Bohrvorgang erteilt. Im umgekehrten Fall wird die Freigabe unterdrückt. Bildquelle: ingangsvariable ymbol Datentyp Logische Zuordnung Adresse Lichtschranke BOOL Unterbrochen = I X. Ausgangsvariable Freigabe A BOOL Keine Freigabe A= Q X PLT c Urbas 8- Folie 6
7 Implementierung in den verschiedenen prachen der N IO 63-3 AWL LDN %IX. LD %IX. LD %IX. T %QX4. NOT TN %QX4. T %QX4. T %QX4. := NOT %IX. FUP %IX. NOT %QX4. KOP %IX. %QX4. %IX. %QX / / PLT c Urbas 8- Folie 7
8 Beispiel: optisches chutzgitter Die Presse führt den Arbeitshub nur aus, wenn die Lichtstrahlen nicht unterbrochen sind und der tarttaster betätigt ist. Bildquelle: ingangsvariable ymbol Datentyp Logische Zuordnung Adresse Taster tart Lichtgitter BOOL BOOL Betätigt = Nicht Unterbrochen = IX. IX. Ausgangsvariable Pressenschütz K BOOL Arbeitshub K= QX PLT c Urbas 8- Folie 8
9 Turbinenüberwachung Die Alarmleuchte einer Turbine geht an, wenn die Drehzahl zu hoch oder die Lagertemperatur zu hoch oder der Kühlkreislauf ausgefallen ist Bildquelle: K > n> ingangsvariable ymbol Datentyp Logische Zuordnung Adresse Drehzahl n Lagertemperatur Kühlkreislauf K 3 BOOL BOOL BOOL n zu groß = zu hoch = In Betrieb 3= IX. IX. IX.3 Ausgangsvariable Alarmleuchte BOOL in = QX PLT c Urbas 8- Folie 9
10 ystementwurf für binäre teuerungen Wahrheitstabelle & Normalformen Wahrheitstabelle & Normalformen Minimierungsverfahren
11 Wahrheitstabelle und Normalformen Tabellarische Auflistung aller ystemzustände des ODR-Verknüpfung chaltnetzes A Üblicherweise ingänge links, Ausgang rechts = Wahr; = Falsch; X oder / = don t care Normalformen Disjunktive NF: A= vv Alle Zeilen mit Ausgang =, UND-Verknüpfung der ingänge einer Zeile, ODR-Verknüpfung der Zeilen Konjunktive NF: A = v Alle Zeilen mit Ausgang= ODR-Verknüpfung der ingänge einer Zeile UND-Verknüpfung der Zeilen Konjunktion 7.4. PLT c Urbas 8- Folie
12 Algebraische Minimierung Neutrale lemente Kommutativgesetz Assoziativgesetz 3 3 Reduktionsregeln Distributivgesetz g PLT c Urbas 8- Folie
13 KV-Diagramm Karnaugh-Veitch-ymmetrie-Diagramm: ymmetrischer Aufbau einer Funktionstabelle t durch wechselweises piegeln Ziffern in den Zellen im Octalsystem! 7.4. PLT c Urbas 8- Folie 3
14 Zuordnung Zeilen zu Feldern Nr X3 X X A x PLT c Urbas 8- Folie 4
15 Grafische Minimierung Zusammenfassen von maximal viel -er Feldern: Anzahl der Felder: Potenzen von, d.h.,,4,8 Überlappung erlaubt Wegen ymetrie Fortsetzung über die Ränder, 3!, 3!,!3,!3!! & &!! & PLT c Urbas 8- Folie 5
16 peicherfunktionen, Zeit- und Zählerbausteine
17 peicherfunktion in/austaster für Meldeleuchte : Leuchte wird durch kurzeitiges Betätigen eines IN-Tasters ein, durch kurzzeitiges Betätigen eines AU-Tasters 3 wieder ausgeschaltet werden. Auswirkung auf abhängig Nr von Vorgeschichte: Zwei unterscheidliche Reaktionen auf Zustand inführung einer neuen 3,4 Zustandsvariablen Q für Vorgeschichte 5,6 Nr 7,8 Lampe ist aus Lampe ist ein dominant dominant Q??? dom PLT c Urbas 8- Folie 7
18 Vollständiger ntwurf Nr / 3 4 dom. / 7,8 / 5,6 / 3,4 chütztechnik elbsthaltung dom. / 7,8 L K & K N K 7.4. PLT c Urbas 8- Folie 8 N
19 Gegenseitiges Verriegeln Zwei ignale sollen nicht gleichzeitig ein sein Beispiel -Motor Taster Rechtslauf =An; A =Aus Taster Linkslauf 3=An; 4=Aus -Motor soll nicht gleichzeitig Vorwärts- und Rückwärtslaufsignal bekommen und nicht direkt von Vorwärtslauf in Rückwärtslauf geschaltet t werden Dazwischen muss erst ausgeschaltet werden PLT c Urbas 8- Folie 9
20 Zustandsübergangstabelle M an M aus 3 M an 4 M aus Alles aus et M Reset M et M Reset M M an et M Reset M - Reset M M an - Reset M et M Reset M M & R Q M 3 M & 4 R Q M 7.4. PLT c Urbas 8- Folie
21 Verriegelung von peichern durch etzeingang durch Rücksetzeingang R-FF R-FF etz-befehl wird nur peicher kann nur wirksam, wenn der andere eingeschaltet werden, peicher auf gesetzt ist wenn der andere auf gesetzt ist wg. dominantem R-ingang. & A A A R >= Q A R Q 3 & 3 A 4 A A >= R Q 4 R Q A 7.4. PLT c Urbas 8- Folie
22 Reihenfolgenverriegelung Damit eine peicherfunktion gesetzt werden kann, muss vorher ein anderer gesetzt t sein RV Verriegelung über etz-ingang & RVR Verriegelung über Rücksetzeingang,n 7.4. PLT c Urbas 8- Folie
23 Flankenauswertung rkennen einer ignalpegeländerung FM Positive Flanke Merken des letzten Wertes eines Flankenoperanden FO in Flankenmerker FM etzen des Merkers mit &!FM Rücksetzen des Merkers mit! Negative Flanke Merken des letzten Wertes eines Flankenoperanden FO etzen des Merkers mit Rücksetzen des Merkers mit! & FM FM FO & FO FM R Q 7.4. PLT c Urbas 8- Folie 3
24 Zeitfunktionen Verarbeitung von zeitlicher Information ist essentieller Bestandteil von teuerungen Warte- und Überwachungszeiten, Zeitmessungen, Taktimpulse,... N IO 63-3: drei tandardfunktionsbausteine TP: rzeugen eines Impulses TON: inschaltverzögerung TOF: Ausschaltverzögerung äufig weitere firmenspezifische Bausteine 7.4. PLT c Urbas 8- Folie 4
25 Zeitdiagramm TON 7.4. PLT c Urbas 8- Folie 5
26 Zeitdiagramm TOF 7.4. PLT c Urbas 8- Folie 6
27 Zeitdiagramm TP 7.4. PLT c Urbas 8- Folie 7
28 Zweihandverriegelung mit Feststellungsschutz Die Presse soll in Gang gesetzt werden, wenn die Taster und innerhalb.5 ekunden betätigt werden. Loslassen eines Tasters stoppt die Presse sofort. M K ingangsvariable ymbol Typ Logische Zuordnung Adresse Taster links Taster rechts BOOL BOOL Betätigt = Betätigt = IX. IX. Ausgangsvariable Pressenschütz K BOOL Angezogen K= QX PLT c Urbas 8- Folie 8
29 Ansatz Funktionstabelle inführen einer neuen Variablen, die die rfüllung/nichterfüllung der Zeitbedingung abbildet Deutlich vereinfachter ntwurf der teuerung mit der neuen Variablen ntwurf der Generierungsfunktion für die Zeitbedingung 7.4. PLT c Urbas 8- Folie 9
PLS Detailengineering. Basisautomatisierung Verriegelungslogiken. VL Prozessleittechnik 1 Professur für Prozessleittechnik
Fakultät TIT, Institut für Automatisierungstechnik, Professur für Prozessleittechnik PL Detailengineering Basisautomatisierung Verriegelungslogiken VL Prozessleittechnik Professur für Prozessleittechnik
MehrLogik & Einzelsteuerfunktionen
lektrotechnik und Informationstechnik Institut für Automatisierungstechnik, Professur Prozessleittechnik Basisautomatisierung Logik & inzelsteuerfunktionen VL Prozessleittechnik ( 22) Professur für Prozessleittechnik
MehrProfessur für Prozessleittechnik L. Urbas, A. Krause
Elektrotechnik und Informationstechnik Institut für Automatisierungstechnik, Professur Prozessleittechnik Übung Basisautomatisierung VL Prozessleittechnik I 00 Professur für Prozessleittechnik L. Urbas,
Mehr03 Boolesche Algebra. Technische Grundlagen der Informatik
03 Boolesche Algebra Technische Grundlagen der Informatik Automation Systems Group E183-1 Institute of Computer Aided Automation Vienna University of Technology email: tgi@auto.tuwien.ac.at Inhalt Operationen
MehrÜbung Basisautomatisierung
Elektrotechnik und Informationstechnik Institut für Automatisierungstechnik, Professur Prozessleittechnik Übung Basisautomatisierung VL Prozessleittechnik I (SS 2012) Professur für Prozessleittechnik L.
MehrAutomatisierungstechnik nach internationaler Norm programmieren
Automatisierungstechnik nach internationaler Norm programmieren Autor: Dr. Ulrich Becker Fachzentrum Automatisierungstechnik und vernetzte ysteme im BTZ Rohr-Kloster Mail: Ulrich.Becker@BTZ-Rohr.de Folge
MehrInformationsverarbeitung auf Bitebene
Informationsverarbeitung auf Bitebene Dr. Christian Herta 5. November 2005 Einführung in die Informatik - Informationsverarbeitung auf Bitebene Dr. Christian Herta Grundlagen der Informationverarbeitung
MehrTeil 1: Digitale Logik
Teil 1: Digitale Logik Inhalt: Boolesche Algebra kombinatorische Logik sequentielle Logik kurzer Exkurs technologische Grundlagen programmierbare logische Bausteine 1 Analoge und digitale Hardware bei
MehrEinführung in die Boolesche Algebra
Einführung in die Boolesche Algebra Einführung in Boole' sche Algebra 1 Binäre Größe Eine Größe (eine Variable), die genau 2 Werte annehmen kann mathematisch: falsche Aussage wahre Aussage technisch: ausgeschaltet
MehrGETE DIGITAL TECHNIK CODIERUNG BCD: BINARY CODED DIGITAL. Hr. Houska
GETE DIGITAL TECHNIK Hr. Houska CODIERUNG Codes werden dazu verwendet, um Zahlen, Buchstaben und Zeichen in ander Darstellungsformen zu verwenden. So repräsentieren unterschiedliche Codes die verschiedenen
MehrSatz von De Morgan A B A + B A + B A B A. Transistoren: A B U a A 0 0 Vcc Vcc Vcc V 0
Satz von De Morgan A + = A A A + A + A A 0 0 0 1 1 1 1 0 1 1 0 1 1 0 1 0 1 0 0 1 0 1 1 1 0 0 0 0 Transistoren: A U a A 0 0 Vcc 1 0 1 Vcc 1 1 0 Vcc 1 1 1 0 V 0 eispiel: Schaltung zur Erkennung gültiger
MehrSchaltfunktion, Definition
Schaltfunktion, Definition Sei S = { 0,1}. Dann heißt eine Abbildung f: S n S eine Schaltfunktion. = f(x n-1,x n-2,...,,, ), x n-1, x n-2,...,,, S x i X = (x n-1,x n-2,...,,, ) Eingangsvariable Eingangsvektor
MehrLehrveranstaltung: Digitale Systeme. KS-Praktikums-Vorbereitung Dipl.-Inf. Markus Appel , , ,
Lehrveranstaltung: Digitale Systeme KS-Praktikums-Vorbereitung Dipl.-Inf. Markus Appel 24.04.2012, 25.04.2012, 26.04.2012, 27.04.2012 Übersicht Kombinatorische Schaltungen n-bit-addierer Minimierungsverfahren
MehrTeil 1: Digitale Logik
Teil 1: Digitale Logik Inhalt: Boolesche Algebra kombinatorische Logik sequentielle Logik kurzer Exkurs technologische Grundlagen programmierbare logische Bausteine 1 Analoge und digitale Hardware bei
MehrN Bit binäre Zahlen (signed)
N Bit binäre Zahlen (signed) n Bit Darstellung ist ein Fenster auf die ersten n Stellen der Binär Zahl 0000000000000000000000000000000000000000000000000110 = 6 1111111111111111111111111111111111111111111111111101
MehrBoolesche Algebra (1)
Boolesche Algebra (1) Definition 1: Sei B = Σ 2 = {0,1} das Alphabet mit den Elementen 0 und 1. Seien auf B die 3 Operatoren einer Algebra wie folgt definiert für x,y aus B: x+y := Max(x,y), x y := Min(x,y),
MehrDigitaltechnik. KV-Diagramm
KV-01 ie unterscheidet sich von der Analogtechnik dahingehend, dass sie nur zwei (Spannungs)Zustände kennt: nämlich 0V (binär 0) oder 5V (binär 1). iese beiden Zustände werden durch verschiedene logische
Mehr1. Logische Verknüpfungen
1. Logische Verknüpfungen 1.1 UND - Verknüpfung Mathematik: X = A Schaltzeichen: A & X Wahrheitstabelle: A X 0 0 0 0 1 0 1 0 0 1 1 1 Am Ausgang eines UND Gliedes liegt nur dann der Zustand 1, wenn an allen
Mehr- Speicherprogrammierte Steuerung: Realisierung durch ein Programm, welches auf einem SPS-Baustein ausgeführt wird. Regelungs- und Steuerungstechnik
2 Steuerungstechnik Arten von Steuerungen - Verbindungsprogrammierte Steuerung: Durch geeignete Verbindung von konventionellen Schaltungselementen (Leitungen, Schalter, Relais etc.) wird gewünschtes Steuerungsergebnis
MehrSystemorientierte Informatik 1
Systemorientierte Informatik. Grundlagen Digitaler Schaltungen.8 Schaltnetze aus Gattern und Leitungen.9 Boole sche Algebra. Minimierung Boole scher Funktionen. CMOS Komplegatter Die nächste Funktion,
MehrDarstellung von negativen binären Zahlen
Darstellung von negativen binären Zahlen Beobachtung für eine beliebige Binärzahl B, z.b. B=110010: B + NOT(B) ---------------------------------------------- = B + NOT(B) 1 + (Carry) ----------------------------------------------
MehrW I EO. O~ & ~ Binärer Operationsvorrat der SPS A~ DC. 4.1 Binäre Abfragen und Verknüpfungen Die Negation von Variablen
55 4 Binärer Operationsvorrat der SPS 4.1 Binäre Abfragen und Verknüpfungen Werden binäre Signalzustände von Variablen funktional miteinander verbunden, so spricht man von Verknüpfungen. Alle auch noch
Mehr2. Tutorium Digitaltechnik und Entwurfsverfahren
2. Tutorium Digitaltechnik und Entwurfsverfahren Tutorium Nr. 9 Alexis Tobias Bernhard Fakultät für Informatik, KIT Universität des Landes Baden-Württemberg und nationales Forschungszentrum in der Helmholtz-Gemeinschaft
MehrPeter Beater. Grundkurs der Steuerungstechnik. Mit einer Einführung in Speicherprogrammierbare Steuerungen und DIN EN
Peter Beater Grundkurs der Steuerungstechnik Mit einer Einführung in Speicherprogrammierbare Steuerungen und DIN EN 61131-3 Inhaltsverzeichnis 1 Einführung Steuerungstechnik 1 1.0 Inhalt dieses Kapitels
MehrDuE-Tutorien 17 und 18
DuE-Tutorien 17 und 18 Tutorien zur Vorlesung Digitaltechnik und Entwurfsverfahren Christian A. Mandery TUTORIENWOCHE 3 AM 18.11.2011 KIT Universität des Landes Baden-Württemberg und nationales Forschungszentrum
MehrGrundlagen der Informationsverarbeitung:
Grundlagen der Informationsverarbeitung: Schaltungsentwurf und Minimierungsverfahren Prof. Dr.-Ing. habil. Ulrike Lucke Durchgeführt von Prof. Dr. rer. nat. habil. Mario Schölzel Maximaler Raum für Titelbild
MehrDuE-Tutorien 16 und 17
Tutorien zur Vorlesung Digitaltechnik und Entwurfsverfahren Tutorienwoche 3 am 19.11.2010 1 Christian A. Mandery: KIT Universität des Landes Baden-Württemberg und nationales Grossforschungszentrum in der
MehrU. Ohm, BBS4, Hannover -
U. Ohm, BBS4, Hannover - OHM@BBS4.de Prinzip der SPS-Programmierung: S2 "AUS" S1 "EIN" K1 K1 Alle Befehlsorgane (z.b. Taster, Sensoren, Relais, Lastschütze, Ventilspulen, etc.) werden jeweils einzeln an
Mehr2.4. Das Karnaugh Veitch Diagramm ( KV Diagramm )
2.4. Das Karnaugh Veitch Diagramm ( KV Diagramm ) Mit dem KV-Diagramm sollen Sie ein Verfahren kennen lernen, mit dem Funktionsgleichungen vereinfacht werden können. Dazu wird jeder Eingangskombination
MehrEinführung in die technische Informatik
Einführung in die technische Informatik hristopher Kruegel chris@auto.tuwien.ac.at http://www.auto.tuwien.ac.at/~chris Logische Schaltungen System mit Eingängen usgängen interne Logik die Eingänge auf
MehrEinführung in Computer Microsystems Sommersemester Vorlesung Dr.-Ing. Wolfgang Heenes
Einführung in Computer Microsystems Sommersemester 2010 10. Vorlesung Dr.-Ing. Wolfgang Heenes 16. Juni 2010 TechnischeUniversitätDarmstadt Dr.-Ing. WolfgangHeenes 1 Inhalt 1. Literatur 2. Minimierung
MehrBASISWISSEN FLIPPER-ELEKTRONIK
BASISWISSEN FLIPPER-ELEKTRONIK Ein Service von www.flippermarkt.de Kapitel 2 Version 1.0 17.1.2007 Version 1.01 25.1.2007 Version 1.02 25.5.2007 Schaltungsalgebra und deren Anwendung in digitalen Systemen
MehrDie gängigsten Schützschaltungen
Die gängigsten Schützschaltungen Die folgende Reihe beschäftigt sich mit den gängigsten Schützschaltungen. Wir beginnen mit dem Grundwissen sowie den Grundschaltungen und steigern uns bis hin zu komplexen
MehrProgrammieren eines Drehtellers mit IEC 1131
Programmieren eines Drehtellers mit IEC 1131 Die Ampeln an einer Straßenkreuzung sollen durch eine simulierte SPS gesteuert werden. Die Programmierung der SPS erfolgt mit der Programmiersoftware ACCON
MehrGrundlagen der Informationverarbeitung
Grundlagen der Informationverarbeitung Information wird im Computer binär repräsentiert. Die binär dargestellten Daten sollen im Computer verarbeitet werden, d.h. es müssen Rechnerschaltungen existieren,
MehrTechnische Informatik I
Rechnerstrukturen Dario Linsky Wintersemester 200 / 20 Teil 2: Grundlagen digitaler Schaltungen Überblick Logische Funktionen und Gatter Transistoren als elektronische Schalter Integrierte Schaltkreise
Mehr6. Vorlesung: Minimalformen
6. Vorlesung: Minimalformen Wiederholung Minterme Maxterme Disjunktive Normalform (DN) Konjunktive Normalform (KN) Minimalformen KV-Diagramme 24..26 fällt aus wegen Dozentenfachexkursion 2 Normalformen
MehrNormalformen von Schaltfunktionen
Disjunktive Normalform (DNF) Vorgehen: 2. Aussuchen der Zeilen, in denen die Ausgangsvariable den Zustand 1 hat 3. Die Eingangsvariablen einer Zeile werden UND-verknüpft a. Variablen mit Zustand 1 werden
MehrEingebettete Systeme
Einführung in Eingebettete Systeme Vorlesung 7 Bernd Finkbeiner 03/12/2014 finkbeiner@cs.uni-saarland.de Prof. Bernd Finkbeiner, Ph.D. finkbeiner@cs.uni-saarland.de 1 Schaltfunktionen! Schaltfunktion:
MehrBoolesche (Schalt-) Algebra (1)
Boolesche (Schalt-) Algebra (1) Definition 1: Sei B = SS 2 = 0,1 das Alphabet mit den Elementen 0 und 1. Seien auf BB die folgenden 3 Operatoren definiert für xx, yy B: xx + yy max xx, yy xx yy min xx,
MehrMinimierung von logischen Schaltungen
Minimierung von logischen Schaltungen WAS SIND LOGISCHE SCHALTUNGEN Logische Verknüpfungszeichen: & = Logisches Und-Verknüpfung (Konjunktion). V = Logische Oder-Verknüpfung (Disjunktion). - = Nicht (Negation).
MehrDIGITALTECHNIK 06 SCHALTUNGS- SYNTHESE UND ANALYSE
Seite 1 von 23 DIGITALTECHNIK 06 SCHALTUNGS- SYNTHESE UND ANALYSE Inhalt Seite 2 von 23 1 SCHALTUNGS- SYNTHESE UND ANALYSE... 3 1.1 NORMALFORM... 5 1.2 UND NORMALFORM... 5 1.3 ODER NORMALFORM... 7 1.4
MehrN Bit binäre Zahlen (signed)
N Bit binäre Zahlen (signed) n Bit Darstellung ist ein Fenster auf die ersten n Stellen der Binär Zahl 0000000000000000000000000000000000000000000000000110 = 6 1111111111111111111111111111111111111111111111111101
MehrTG TECHNOLOGISCHE GRUNDLAGEN 17 ELEKTRONIK, DIGITALTECHNIK UND PROGRAMMIERUNG REPETITIONEN 4 DIGITALTECHNIK
Beispiel 1: Schema 0 Zeichnen Sie eine Schaltung Sch 0 (S1) und Verbraucher (Q1). Erstellen Sie die entsprechende Wahrheitstabelle und die digitale Schaltung. Bauen Sie die Schaltung mit den Laborbauteilen
Mehr- Zustandsvariable z i werden durch binäre Speicherelemente Flipflops FF realisiert, die entweder 1 gesetzt oder auf 0 rückgesetzt werden
sequentielle Schaltungen: digitale Schaltung mit inneren Rückführungen sie haben eine zeitsequentielle Arbeitsweise, wobei die einzelnen diskreten Zeitpunkte durch innere Zustände repräsentiert werden
MehrDuE-Tutorien 16 und 17
Tutorien zur Vorlesung Digitaltechnik und Entwurfsverfahren Tutorienwoche 6 am 0.2.200 Christian A. Mandery: KIT Universität des Landes Baden-Württemberg und nationales Grossforschungszentrum in der Helmholtz-Gemeinschaft
Mehr11. Beschreiben Sie die disjunktive und die konjunktive Normalform eines logischen Ausdrucks!
Kapitel 3 Logik Verständnisfragen Sachfragen 1. Was ist eine logische Aussage? 2. Wie ist die Konjunktion und die Disjunktion definiert? 3. Beschreiben Sie das Exklusive Oder, die Implikation und die Äquivalenz!
Mehr1.3 Lernsituation: Installation einer Zwei-Zimmer-Wohnung Installationsplan:
1 Installationsschaltungen Lernsituation 1.3 Lernsituation: Installation einer Zwei-Zimmer-Wohnung Installationsplan: Bad Schlafzimmer Wohn- und Esszimmer Diele offene Küche INSTALLATION DES BADES Übersichtsschaltplan:
Mehr3 Verarbeitung und Speicherung elementarer Daten
3 Verarbeitung und Speicherung elementarer Daten 3.1 Boolsche Algebra Definition: Eine Boolsche Algebra ist eine Menge B mit den darauf definierten zweistelligen Verknüpfungen (+,*) sowie der einstelligen
MehrZeitabhängige binäre Schaltungen. Prof. Metzler 1
Zeitabhängige binäre Schaltungen 1 Bistabile Kippstufe Flipflop Eine bistabile Kippschaltung hat zwei Eingänge und zumeist zwei Ausgänge. Mit einem Signal am Eingang E1 wird das Flipflop in den gesetzten
MehrLiteraturverzeichnis
Literaturverzeichnis 1 G. Wellenreuther, D. Zastrow: Automatisieren mit SPS Theorie und Praxis, Übersichten und Übungsaufgaben, Viewegs Fachbücher der Technik, 2003 2 H. G. Boy, K. Bruckert, B. Wessels:
Mehr6. Tutorium Digitaltechnik und Entwurfsverfahren
6. Tutorium Digitaltechnik und Entwurfsverfahren Tutorium Nr. 13 Alexis Tobias Bernhard Fakultät für Informatik, KIT Universität des Landes Baden-Württemberg und nationales Forschungszentrum in der Helmholtz-Gemeinschaft
Mehrdoc Seifert WS 2007/08 Seite 1 von 20
Technische Fachhochschule Berlin LABOR für REGELUNGSTECHNIK und PROZEßSIMULATION University of Applied Sciences SpeicherProgrammierbare Steuerungen. Ziel und Zweck der Aufgabe Steuerungstechnik Grundprinzip:
Mehrkanonische disjunktive Normalform (KDNF, DKF) Disjunktion einer Menge von Mintermen mit gleichen Variablen
5.6 Normalformen (4) Noch mehr aber besonders wichtige Begriffe kanonische disjunktive Normalform (KDNF, DKF) Disjunktion einer Menge von Mintermen mit gleichen Variablen Beispiel: KDNF zur Funktion f(,,,
MehrC.34 C Normalformen (4) 5.7 Hauptsatz der Schaltalgebra. 5.7 Hauptsatz der Schaltalgebra (2) 5.7 Hauptsatz der Schaltalgebra (3)
5.6 Normalformen (4) Noch mehr aber besonders wichtige Begriffe kanonische disjunktive Normalform (KDNF, DKF) Disjunktion einer Menge von Mintermen mit gleichen Variablen Beispiel: KDNF zur Funktion f(,,,
Mehrdoc Seifert 2011 Seite 1 von 12
Beuth Hochschule für Technik LABOR für REGELUNGSTECHNIK und PROZEßSIMULATION University of Applied Sciences SpeicherProgrammierbare Steuerungen. Ziel und Zweck der Aufgabe Steuerungstechnik Bei einer Steuerung
MehrMathematische Grundlagen I Logik und Algebra
Logik und Algebra Dr. Tim Haga 21. Oktober 2016 1 Aussagenlogik Erste Begriffe Logische Operatoren Disjunktive und Konjunktive Normalformen Logisches Schließen Dr. Tim Haga 1 / 21 Präliminarien Letzte
MehrEinführung in die Informatik I
Einführung in die Informatik I Arithmetische und bitweise Operatoren im Binärsystem Prof. Dr. Nikolaus Wulff Operationen mit Binärzahlen Beim Rechnen mit Binärzahlen gibt es die ganz normalen arithmetischen
MehrTU5 Aussagenlogik II
TU5 Aussagenlogik II Daniela Andrade daniela.andrade@tum.de 21.11.2016 1 / 21 Kleine Anmerkung Meine Folien basieren auf den DS Trainer von Carlos Camino, den ihr auf www.carlos-camino.de/ds findet ;)
MehrAbschlusstest SPS Basis Kurs
Abschlusstest SPS Basis Kurs Datum: Name: Ronald Kleißler Seite 1 06.04.2015 1. Welche Eingansworte werden mit dem Aufruf des 'ED 10' angesprochenen? (Mehrere Antworten sind möglich.) EW 10 EW 11 EW 12
MehrVerwendung eines KV-Diagramms
Verwendung eines KV-Diagramms Ermittlung einer disjunktiven Normalform einer Schaltfunktion Eine Disjunktion von Konjunktionen derart, dass jeder Konjunktion ein Block in dem KV-Diagramm entspricht, der
MehrVerknüpfungssteuerungen mit Zeitverhalten. Verknüpfungssteuerungen mit Zeitverhalten
Verknüpfungssteuerungen mit Zeitverhalten Verknüpfungssteuerungen mit Zeitverhalten Zeitglieder Die Zeitbildung ist eine binäre Grundfunktion der Steuerungstechnik. Programmierbare Zeitglieder haben die
MehrTU9 Aussagenlogik. Daniela Andrade
TU9 Aussagenlogik Daniela Andrade daniela.andrade@tum.de 18.12.2017 1 / 21 Kleine Anmerkung Meine Folien basieren auf den DS Trainer von Carlos Camino, den ihr auf www.carlos-camino.de/ds findet ;) 2 /
MehrAlgebra mit Schaltungen I Städtisches Gymnasium Bad Laasphe
Informatik Gierhardt Algebra mit Schaltungen I Städtisches Gymnasium Bad Laasphe Algebra Der englische Mathematiker George Boole (1815-1864) entwickelte in seinem Buch The Laws of Thought zur systematischen
MehrFlankenbildung. Flankenbildung. Inhaltsübersicht
Lerneinheit SPS-Programmbeispiel Inhaltsübersicht Bedienen von Programmier- und Steuergeräten Erstellen von Symboltabelle, Funktionsplan oder Anweisungsliste Steuerungsprogramme eingeben, in Betrieb nehmen
MehrArbeitsblatt Logische Verknüpfungen Schaltnetzsynthese
Einleitung Zur Aktivitätsanzeige der 3 Gehäuselüfter (Signale a - c) eines PC-Systems soll eine Logikschaltung entwickelt werden, die über drei Signalleuchten (LEDs) anzeigt, ob ein beliebiger (LED1 x),
Mehr2 Vervollständige die Wahrheitstabellen.
Finde die sieben LogikGatter im Rätsel. Die Wörter können von links nach rechts horizontal oder von oben nach unten vertikal versteckt sein. Zur Hilfe ist das erste Wort schon markiert. L B W P F F C G
Mehr2.1 Boole sche Funktionen
. Grundlagen digitaler Schaltungen. Boole sche Funktionen Darstellung Boolescher Funktionen. Boole sche lgebra Sätze der Booleschen lgebra.3 Realisierung von Booleschen Funktionen Normalformen zweistufiger
MehrBisher. minimale DNF. logischen Formeln Booleschen Funktionen Schaltungen
Bisher Klassische Aussagenlogik (Syntax, Semantik) semantische Äquivalenz von Formeln äquivalentes Umformen von Formeln (syntaktisch) Normalformen: NNF, DNF, CNF, kanonische DNF und CNF Ablesen kanonischer
MehrU. Ohm, BBS 4, Hannover
U. Ohm, BBS 4, Hannover UND-Verknüpfungen Funktionsbeschreibung Die UND-Verknüpfung entspricht der Reihenschaltung von Kontakten(Vorlage). Am Ausgang A 8.0 erscheint Signalzustand 1, wenn alle Eingänge
MehrSPS S90U. 1. Grundlagen SPS Funktion
1. Grundlagen SPS 1.1. Funktion SPS bedeutet Speicher-Programmierbare Steuerung. Damit ist auch die Zielsetzung einer SPS erklärt: Über einen Speicher und einen Prozessor soll die Funktion von elektronischen
MehrEinführungsbeispiel in das Programmiersystem CoDeSys
Einführungsbeispiel in das Programmiersystem CoDeSys Um die Vorgehensweise der Projekterstellung in CoDeSys zu verstehen, soll ein ganz einfaches Programm erstellt werden: Zwei binäre Eingangssignale sollen
MehrAussagenlogik. Aussagen und Aussagenverknüpfungen
Aussagenlogik Aussagen und Aussagenverknüpfungen Aussagen sind Sätze, von denen sich sinnvollerweise sagen läßt, sie seien wahr oder falsch. Jede Aussage besitzt also einen von zwei möglichen Wahrheitswerten,
MehrLABOR für REGELUNGSTECHNIK und PROZEßSIMULATION
Technische Fachhochschule Berlin LABOR für REGELUNGSTECHNIK und PROZEßSIMULATION University of Applied Sciences SpeicherProgrammierbare Steuerungen. Ziel und Zweck der Aufgabe Steuerungstechnik Grundprinzip:
MehrÜbung 4: Aussagenlogik II
Übung 4: Aussagenlogik II Diskrete Strukturen im Wintersemester 2013/2014 Markus Kaiser 8. Januar 2014 1/10 Äquivalenzregeln Identität F true F Dominanz F true true Idempotenz F F F Doppelte Negation F
Mehr4 Schaltalgebra. Hochschule für Angewandte Wissenschaften Hamburg FACHBEREICH ELEKTROTECHNIK UND INFORMATIK DIGITALTECHNIK 4-1
4 Schaltalgebra 4. Axiome; Signale und Schaltfunktionen Der Entwurf einer Digitalschaltung mit vorgegebener Funktion erfordert die Manipulation der verschiedenen Eingangssignale auf eine Weise, die in
MehrGRAFCET-Pläne der Mechatroniker Abschlussprüfung Teil 1, Herbst 2015
GRAFCET-Pläne der Mechatroniker Abschlussprüfung Teil 1, Herbst 2015 Nachfolgend finden Sie die 5 Teil-GRAFCETs o. a. Prüfung normgerecht dargestellt und geringfügig optimiert. Der Teil-GRAFCET erhielt
MehrStörungen in Digitalsystemen
Störungen in Digitalsystemen Eine Lernaufgabe von Jost Allmeling Betreuer: Markus Thaler Inhalt und Lernziel: Die Studenten erkennen, dass man durch Einfügen von zusätzlichen Gattern Hazards vermeiden
Mehr4. Übung SPS-Programmierung
Grundlagen der Automatisierungstechnik (Automatisierungstechnik 1) 4. Übung SPS-Programmierung Programmiersprachen nach IEC 61131-3 2 1 Strukturierter Text (ST) Engl.: Structured Text (ST) Höhere Programmiersprache
MehrGrundlagen der Rechnerarchitektur
Grundlagen der Rechnerarchitektur [CS3100.010] Wintersemester 2014/15 Heiko Falk Institut für Eingebettete Systeme/Echtzeitsysteme Ingenieurwissenschaften und Informatik Universität Ulm Kapitel 2 Kombinatorische
MehrDigitalelektronik - Inhalt
Digitalelektronik - Inhalt Grundlagen Signale und Werte Rechenregeln, Verknüpfungsregeln Boolesche Algebra, Funktionsdarstellungen Codes Schaltungsentwurf Kombinatorik Sequentielle Schaltungen Entwurfswerkzeuge
MehrGrundlagen der Automatisierungstechnik für den Studiengang BEL 1. Semester
für den Studiengang BEL 1. Semester 0. Grundlagen 0.1 Grundbegriffe~ 1 ~ 0.1.1 Definition des Begriffs Automatisierung Automatisierung ist Einsatz technischer Einrichtungen zum selbsttätigen Ablauf von
MehrWirtschaftsingenieurwesen Elektronik/Schaltungstechnik Prof. M. Hoffmann FB ETIT Übung 7 Schaltnetze 2
Wirtschaftsingenieurwesen Elektronik/chaltungstechnik Prof. M. Hoffmann FB ETIT Übung 7 chaltnetze 2 Kenntnisse bezüglich der logischen Grundfunktionen sowie der Regeln und Gesetze der chaltalgebra sind
Mehr8 Boolesche Algebra. 8.1 Grundlegende Operationen und Gesetze
82 8 Boolesche Algebra Die Boolesche Algebra ist eine Algebra der Logik, die George Boole (1815 1864) als erster entwickelt hat. Sie ist die Grundlage für den Entwurf von elektronischen Schaltungen und
MehrStichwortverzeichnis. Gerd Wöstenkühler. Grundlagen der Digitaltechnik. Elementare Komponenten, Funktionen und Steuerungen ISBN:
Stichwortverzeichnis Gerd Wöstenkühler Grundlagen der Digitaltechnik Elementare Komponenten, Funktionen und Steuerungen ISBN: 978-3-446-42737-2 Weitere Informationen oder Bestellungen unter http://www.hanser.de/978-3-446-42737-2
Mehrf ist sowohl injektiv als auch surjektiv.
Bemerkungen: Wir erinnern uns an folgende Definitionen: Eine Funktion f : U V heißt injektiv, wenn gilt: ( x, y U)[x y f(x) f(y)] Eine Funktion f : U V heißt surjektiv, wenn gilt: ( y V x U)[y = f(x)]
MehrSS 2017 Torsten Schreiber
14 Wenn man mindestens einen Operator mit einer definierten Menge in Verbindung setzt, dann fällt es unter dem Bereich der Strukturen. Bei der kleinsten möglichen Struktur handelt es sich um eine. Eine
MehrAussagenlogik. Formale Methoden der Informatik WiSe 2010/2011 teil 7, folie 1 (von 50)
Aussagenlogik Formale Methoden der Informatik WiSe 2/2 teil 7, folie (von 5) Teil VII: Aussagenlogik. Einführung 2. Boolesche Funktionen 3. Boolesche Schaltungen Franz-Josef Radermacher & Uwe Schöning,
MehrC Beispiel: Siebensegmentanzeige. Typische Anzeige für Ziffern a. f g. e d. Gesucht: Schaltfunktion für die Ansteuerung des Segmentes d
6.3 Beispiel: Siebensegmentanzeige Typische Anzeige für Ziffern a f g b 0 1 2 3 4 5 6 7 8 9 e d c Schaltfunktionen zur Ansteuerung der Segmente Parameter: binär codierte Zahl bzw. Ziffer Gesucht: Schaltfunktion
MehrDesign und Implementierung eines Tools zur Visualisierung der Schaltfunktionsminimierung
Design und Implementierung eines Tools zur Visualisierung der Schaltfunktionsminimierung mit KV-Diagrammen Design and implementation of an e-learning tool for minimization of boolean functions based on
MehrGrundlagen der diskreten Mathematik
Grundlagen der diskreten Mathematik Prof. Dr. Romana Piat WS 25/6 Allgemeine Informationen Vorlesungen:./C Zug D (Mi., 3. Block + Do., 4. Block, y-raster) Zug E (Di., 5. Block + Do.,. Block, y-raster)
MehrAllgemeingültige Aussagen
Allgemeingültige Aussagen Definition 19 Eine (aussagenlogische) Formel p heißt allgemeingültig (oder auch eine Tautologie), falls p unter jeder Belegung wahr ist. Eine (aussagenlogische) Formel p heißt
MehrAussagenlogik. Formale Methoden der Informatik WiSe 2012/2013 teil 6, folie 1
Aussagenlogik Formale Methoden der Informatik WiSe 22/23 teil 6, folie Teil VI: Aussagenlogik. Einführung 2. Boolesche Funktionen 3. Boolesche Schaltungen Franz-Josef Radermacher & Uwe Schöning, Fakultät
MehrOutline Logik Speicher Synthese Signale/Variablen Packages Generische Designs. Basics. Marc Reichenbach
Basics Marc Reichenbach Informatik 3 / Rechnerarchitektur Universität Erlangen Nürnberg 06/14 1 / 45 Gliederung Kombinatorische Logik Speicher (Latch, DFF, Register) Synthese Signale/Variablen Packages
MehrTeil 1 Digitaltechnik 1 Grundlagen: Zahlensysteme, Dualzahlen und Codes 3 1.1 Dezimalzahlensystem 3 1.2 Bündelung 4 1.3 Das dezimale Positionensystem 6 1.4 Römische Zahlen 7 1.5 Ägyptische Zahlen 8 1.6
Mehr2. Funktionen und Entwurf digitaler Grundschaltungen
2. Funktionen und Entwurf digitaler Grundschaltungen 2.1 Kominatorische Schaltungen Kombinatorische Schaltungen - Grundlagen 1 Grundgesetze der Schaltalgebra UND-Verknüpfung ODER-Verknüpfung NICHT-Verknüpfung
MehrAussagenlogik. Übersicht: 1 Teil 1: Syntax und Semantik. 2 Teil 2: Modellierung und Beweise. Aussagenlogik H. Kleine Büning 1/25
Aussagenlogik Übersicht: 1 Teil 1: Syntax und Semantik 2 Teil 2: Modellierung und Beweise Aussagenlogik H. Kleine Büning 1/25 Einführendes Beispiel Falls Lisa Peter trifft, dann trifft Lisa auch Gregor.
MehrFormelsammlung. Wahrscheinlichkeit und Information
Formelsammlung Wahrscheinlichkeit und Information Ein Ereignis x trete mit der Wahrscheinlichkeit p(x) auf, dann ist das Auftreten dieses Ereignisses verbunden mit der Information I( x): mit log 2 (z)
MehrLernaufgabe: Bandsteuerung Folie 1 Lernaufgabe: Bandsteuerung. Technologieschema. Bedienpult. 1. Aufgabenstellung
Folie 1 1. Aufgabenstellung Technologieschema Mit den Tastern EIN S1 bzw. S2 kann die Steuerung für die Förderbänder gestartet werden. Taster S1 schaltet den Motor M1 (Band 1) ein. Taster S2 schaltet den
Mehr