Steuerungsentwicklung
|
|
- Clemens Kohler
- vor 7 Jahren
- Abrufe
Transkript
1 Identifizierungs- und Automatisierungstechnik Steuerungsentwicklung Prof. Dr. Michael ten Hompel Sascha Feldhorst, Hubert Büchter Lehrstuhl für Förder- und Lagerwesen TU Dortmund
2 Steuerungsentwicklung Gliederung Einführung Klassifizierung Verknüpfungssteuerung Endliche Automaten Ablaufsteuerung Petri-Netze 2
3 Einordnung und Lernziele Begrifflichkeiten erlernen Unterschied zwischen Steuerung und Regelung verstehen Verschiedene Methoden und Modelle der Steuerungsentwicklung kennenlernen Verschiedene Realisierungsmöglichkeiten für Steuerungsprogramme kennen 3
4 Einführung: Grundstruktur der Systeme (Wdh.) Automatisierte Systeme bestehen abstrakt aus: Automatisierter Prozess Automatisierungseinrichtung Bediener Zwischen beteiligten Komponenten besteht eine Informationsrückkopplung Nach [Lun07, S.17] 4
5 Einführung: Säulen der Automatisierung Geräte: Sensoren Aktoren Automatisierungsgeräte Methoden: e k d dt + + u Steuerung, z.b. Schaltalgebra Automatentheorie Regelung, z.b. Systemmodellierung Laplace-Transformation Bildquelle: [tfb08] 5
6 Einführung: Szenario Hallentor Beispiel: Hallentor Hallentor geführt in Metallschienen Betätigt durch Zugkette Nachteile: Mühsam Zeitaufwändig Mechanisierte Lösung: Mechanisieren der Torbewegung durch umschaltbaren Motor Einbau von Tastern Steuerung des Heben und Senkens durch Taster Nachteile: Zeitaufwändig Motor geht evtl. kaputt 6
7 Einführung: Szenario Hallentor Einfache Steuerung: Verbauen von Endschaltern Einsatz von Logik Nachteile: Einklemmungsgefahr Keine Zugriffskontrolle Komplexe Steuerung: Verbauen einer Lichtschranke Einsatz eines Schlüssels oder einer Fernbedienung Erweiterung der Logik Autorisierter Zugriff Überwachung des Durchgangsbereichs Bildquelle: [tfb08] 7
8 Einführung: Steuerungstechnik im Alltag Was macht eine Steuerung aus? Geistige Tätigkeiten einem technischen Gerät übertragen Steuerung von mechanisierten Operationen nach vorgegebenen Programmen Steuerungen sind in vielen Bereichen des täglichen Lebens vertreten, z.b. Motorsteuerung in Kraftfahrzeugen Garagentoröffner Jalousiesteuerung Wasch-/Spülmaschinen Steuerungsentwicklung ist eine Ingenieursdisziplin 8
9 Einführung: Beteiligte Disziplinen (Wdh.) Informatik (I) Maschinenbau (M) Elektrotechnik (E) Automatisierung ist ein ingenieurwissenschaftliches Fachgebiet Es vereint Methoden und Technologien verschiedener Disziplinen, z.b. Aktorik (E+M) Sensorik (E+M) Prozessrechentechnik (E+I) Kinematik (M) Modellierung Boolesche Algebra (I+E) Endliche Automaten (I+E) Petrinetze (I+E) Enge Verbindung mit Mechatronik 9
10 Einführung : Begriffliches Nach DIN gilt: Steuern ist der Vorgang in einem System, bei dem eine oder mehrere variable Eingangsgrößen andere variable Ausgangsgrößen auf Grund der dem System eigenen Gesetzmäßigkeiten beeinflussen. Häufige Steuerungsaufgaben in der Logistik: Zielsteuerung Konfliktauflösung Positionierung Punkt-zu-Punkt-Steuerung 10
11 Klassifizierung: Hierarchischer Aufbau Steuerungen können verschiedene Zuständigkeitsbereiche haben Nach DIN Einzelsteuerung Gruppensteuerung Leit- und Hauptsteuerung Unterschiede: Informationsbedarf Zeitlicher Horizont 11
12 Klassifizierung: Zugehörige Systemebenen Steuerungen sind auf der Feld- und Prozessleitebene angesiedelt: Reaktionszeiten Ebenen zeitliche Reichweite Bildquelle: [tfb08, S.123] 12
13 Klassifizierung: Steuerung & Regelung Steuerungen werden auch als offene Steuerungsketten bezeichnet Regelungen dagegen arbeiten mit einer direkten Rückkopplung In der englischen Terminologie besser abzugrenzen Steuerung (= open-loop control) Regelung (= closed-loop control) Bildquelle: [tfb08] 13
14 Klassifizierung: Zustandslos und Zustandsbehaftet (Wdh.) Eine Steuerung kann über Gedächtnis verfügen Das Gedächtnis wird auch als Systemzustand bezeichnet Der Zustand setzt sich aus mehreren Zustandsgrößen zusammen Man kann Steuerungen einteilen in Zustandslose Steuerungen Eine Reihe von Eingangswerten führt immer zu den gleichen Ausgangswerten Zustandsbehaftete Steuerungen Die Ausgangswerte hängen immer von den Eingangswerten und den Zustandsgrößen ab Bildquelle; Grandel 14
15 Klassifizierung: Struktur Koordinierungskomponente Kommunikationssystem Kommunikationssystem Zentralsteuerung... dezentrale Steuerungskomponenten... dezentrale Steuerungskomponenten Prozess Prozess Prozess Zentral Hierarchisch Dezentral 15
16 Klassifizierung: Realisierungen Steuerungen können auf verschiedene Weisen realisiert werden, z.b. Als Schaltung Festverdrahtete Steuerung (Elektronische Schaltung) Verknüpfungssteuerung Als Programm in einem Mikrocontroller Als Programm in einer Speicherprogrammierbaren Steuerung (SPS) 16
17 Verknüpfungssteuerung: Allgemeines Bezeichnet die Verknüpfung binärer Signale auf Basis der Schaltalgebra Merkmale: Kombinatorische Verknüpfung von Eingängen zur Bestimmung von Ausgängen Quasi-gleichzeitiges Durchlaufen aller Signalpfade Ohne Rückführung oder FlipFlop zustandslos Einsatzbeispiele: Verhindern unerlaubter Prozesszustände Sicherheitstechnik Zustandslose Steuerungen 17
18 Verknüpfungssteuerung: Grundfunktionen und ihre Gatter (Wdh.) Bezeichnung Gleichung Wahrheitstabelle Venn- Diagramm Schaltsymbol Umkehrung Negation A = E E A E A UND Konjunktion A = E 1 E 2 E1 E2 A E1 E2 & A E1 E2 A ODER Disjunktion A = E 1 E E1 E2 1 A
19 Verknüpfungssteuerung: Zusammengesetzte Operationen In der Praxis werden auch zusammengesetzte Operationen eingesetzt Beispiel: Exklusiv-ODER (Antivalenz) Beispiel: Äquivalenz Bildquelle: [tfb08] 19
20 Verknüpfungssteuerung: Speichern von Zuständen Zustände können durch Rückführungen in den logischen Schaltungen gespeichert werden Beispiel: Bildquelle: [tfb08] 20
21 Verknüpfungssteuerung: Realisierungsmöglichkeiten Als Schaltung, z.b. Relaisschaltung Zusammenschaltung logischer Gatter, meist in Form von Integrierten Schaltkreisen (ICs) Als Programm, z.b. In Form eines Funktionsplans Bildquelle: Audrius Meskauskas (unteres Bild) 21
22 Verknüpfungssteuerung: Realisierung der Hallentorsteuerung Benötigt werden zwei RS-Flip-Flops als Zustandsspeicher Signale: Eingang: E 1 = Endschalter unten gesetzt E 2 = Endschalter oben gesetzt T heben = Taster Heben gedrückt T senken = Taster Senken gedrückt L = Lichtschranke Durchgang gesetzt Ausgang: M heben = Motor in Vorwärtsrichtung starten M senken = Motor in Rückwärtsrichtung starten Bildquelle: [tfb08] 22
23 Verknüpfungssteuerung: Vereinfachung mit Verknüpfungsregeln Lange boolesche Terme führen zu komplexen Schaltnetzen z.b. (A B) (A B) Vereinfachung durch Anwendung der Verknüpfungsregeln: nach Morgan schem Gesetz: (A B) (A B) = (A B) (A B) aus A = A folgt: = (A B) (A B) nach Distributivgesetz: = A (B B) aus B B = 0 folgt: = A 0 nach Definition von : = A 23
24 Verknüpfungssteuerung: Vereinfachung mit Wahrheitstabellen Vereinfachung auch mithilfe von Wahrheitstabellen möglich, z.b. A B (A B) Nr. A B A (A B) (A B) (A B) (A B) (A B)
25 Verknüpfungssteuerung: Vereinfachung mit KV-Diagrammen Wahrheitstabelle) A B S DNF) S = (A B) (A B) KNF) S = (A B) (A B) KV-Diagramm) A B Vereinfachte DNF) S = A Vereinfachte KNF) S = A 25
26 Verknüpfungssteuerung: Regeln für KV-Diagramme (DNF-Sicht) Vorgehen: 1. Aus Term Wahrheitstabelle erstellen 2. DNF oder KNF bestimmen 3. KV-Diagramm zeichnen und füllen 4. Überdeckungen einzeichnen 5. Resultierenden Term ablesen Gruppen sind Überdeckungen von Zellen im KV-Diagramm Zusammen decken alle Gruppen alle Zellen mit Wert 1 ab Äußere Zellen eines KV-Diagramms können zu Gruppen miteinander verbunden werden Für eine Gruppe gilt: Enthält keine Zellen mit Wert 0 Verläuft nur horizontal und/oder vertikal (nicht diagonal) Anzahl überdeckter Zelle ist eine 2er- Potenz (2 n ) Ist möglichst groß (möglichst wenig Gruppen) Kann sich mit anderen Gruppen überlappen 26
27 Verknüpfungssteuerung: KV-Diagramme mit 3 Parametern Wahrheitstabelle) A B C S DNF) S = (A B C) (A B C ) (A B C) (A B C ) (A B C) KNF) S = (A B C) (A B C ) (A B C) 27
28 Verknüpfungssteuerung: KV-Diagramme mit 3 Parametern lösen AB C Vereinfachte DNF) S = A (B C) Vereinfachte KNF) S = (A B) (A C) 28
29 Endliche Automaten: Allgemeines Ein Automat ist ein abstraktes Modell einer Maschine (Schaltwerk) Merkmale: Sequentielles Schaltwerk, d.h. die Bearbeitung der Eingangssignale erfolgt schrittweise Besteht aus Zuständen und Übergängen Gedächtnis" vorhanden (Zustandsbehaftet) Ausprägungen: Allgemeine Form (kurz: DEA) Mealy-Automaten Moore-Automaten 29
30 Endliche Automaten: Mealy-Automat Spezielle Form eines endlichen Automaten Hauptunterschied zu DEA: Ausgabefunktion abhängig von Eingabe u. Zustand Definiert durch 6-Bestandteile Symbol S Beschreibung Endliche Zustandsmenge Endliche Menge von Eingabezeichen Endliche Menge von Ausgabezeichen Übergangsfunktion Ausgabefunktion s 0 Startzustand Bildquelle: Nikolaus Mayer (wikipedia.de) 30
31 Endliche Automaten: Realisierung der Hallentorsteuerung Steuerung des Hallentors lässt sich als Mealy-Automat darstellen Hier einfache Steuerungslogik (s. Folie 7) Bestandteile und Darstellung: Symbol Inhalt S 1, 2, 3, 4 T h, T s,e 1, E 2 M h, M s s 0 1 Übergangs- und Ausgabefunktionen können der Abbildung entnommen werden 31
32 Endliche Automaten: Realisierung als Mealy-Automat 32
33 Endliche Automaten: Moore-Automat Spezielle Form eines endlichen Automaten Hauptunterschied zu Mealy-Automat: Ausgabefunktion nur abhängig vom Zustand Definiert durch 6-Bestandteile Symbol S Beschreibung Endliche Zustandsmenge Endliche Menge von Eingabezeichen Endliche Menge von Ausgabezeichen Übergangsfunktion Ausgabefunktion s 0 Startzustand Bildquelle: Nikolaus Mayer (wikipedia.de) 33
34 Endliche Automaten: Realisierung der Hallentorsteuerung Einfache Torsteuerung auch als Moore-Automat darstellbar Bestandteile und Darstellung: Symbol Inhalt S 1, 2, 3, 4 T h, T s,e 1, E 2 M h, M s s 0 1 Übergangs- und Ausgabefunktionen können der Abbildung entnommen werden 34
35 Endliche Automaten: Realisierung als Moore-Automat 35
36 Ablaufsteuerung: Allgemeines Ablaufsteuerung (oder Schrittkette) ist ein verbreitetes Konzept zur Steuerungsentwicklung Ähnlichkeit zu Bedingungs-Ereignis-Netzen Für komplexere Fälle oft besser geeignet als Verknüpfungssteuerung Endliche Automaten Bestandteile: Schritte Transitionen (Schaltbedingung: Logische Verknüpfung) Bildquelle: [tfb08] 36
37 Ablaufsteuerung: Schaltregeln Ein Schritt entspricht einem Zustand Schritt wird ausgeführt, wenn Vorangehender Schritt ausgeführt ist Vorgelagerte Weiterschaltbedingung erfüllt ist Ablaufvarianten: Linearer Ablauf Verzweigungen Alternativ (obere Abb.) Parallel (untere Abb.) Schleifen Realisierung häufig als Programm Ablaufsprache (AS) nach IEC Bildquelle: [tfb08] 37
38 Ablaufsteuerung: Realisierung der Hallentorsteuerung 38
39 Petri-Netze: Allgemeines Erweiterung von endlichen Automaten Unterstützten nicht nur einen Zustand, sondern auch Nebenläufigkeit Betrachtete Petri-Netz-Variante: Bedingungs-Ereignis-Netz (BE-Netz) Bestandteile: Knoten Bedingungen (oder Stelle) Transitionen Gerichtete Kanten Marken Bildquelle: [tfb08] 39
40 Petri-Netze: Regeln Pfeile sind nur zwischen unterschiedlichen Knotentypen erlaubt, z.b. Transition -> Bedingung Schaltregeln: Eine Transition kann nur schalten, wenn alle Vorbedingungen erfüllt sind Transition erfolgt ohne Zeitverzug Aus n Marken der Vorbedingungen werden m Marken der Nachbedingung Bildquelle: [tfb08] 40
41 Petri-Netze: Beispiel RBG liefert Paletten an Verteilwagen Übergabeplatz darf maximal eine Palette (Marke) enthalten RBG und Verteilwagen können unabhängig von einander arbeiten (Nebenläufigkeit) Falls mehrere Transitionen schaltbar sind, wird zufällig eine ausgewählt Bildquelle: Frei nach [tfb08] 41
42 Zusammenfassung: Jeder Anwendung ihre Methode Kein Gedächtnis Verknüpfungssteuerung (ohne Rückführung) Gedächtnis DEA Mealy Moore Gedächtnis + Nebenläufigkeit Ablaufsteuerung Petrinetze Die richtige Methode für die gegebene Anwendung 42
43 Ergänzende Literatur [Fav04] Favre-Bulle, Bernard (2004): Automatisierung komplexer Industrieprozesse. Systeme, Verfahren und Informationsmanagement: Springer Wien. [Lun07] Lunze, Jan (2007): Automatisierungstechnik. Methoden für die Überwachung und Steuerung kontinuierlicher und ereignisdiskreter Systeme. Oldenbourg. [BHT+05] Heinrich, Berthold et al. (2005): Messen - Steuern - Regeln. Elemente der Automatisierungstechnik. Vieweg + Teubner. 43
44 Vielen Dank für Ihre Aufmerksamkeit!
45 Ansprechpartner Lehrstuhl für Förder- und Lagerwesen LogistikCampus Joseph-von-Fraunhofer-Str Dortmund Telefon: Fax: Prof. Dr. Michael ten Hompel Mojtaba Masoudinejad, M.Sc. Telefon: Lehrstuhl für Förder-und Lagerwesen Technische Universität Dortmund Prof. Dr. Michael ten Hompel 45
Grundlagen 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
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
MehrOutline Automaten FSM Synthesis FSM in VHDL FSM auf FPGA. State Machines. Marc Reichenbach und Michael Schmidt
State Machines Marc Reichenbach und Michael Schmidt Informatik 3 / Rechnerarchitektur Universität Erlangen Nürnberg 05/11 1 / 34 Gliederung Endliche Automaten Automaten Synthese FSM Beschreibung in VHDL
MehrBoolesche (Schalt-) Algebra (8)
Boolesche (Schalt-) Algebra (8) Karnaugh-Diagramm ist eine graphische Technik zur Darstellung und Vereinfachung von Booleschen Ausdrücken ist eine andere, zweidimensionale Darstellung von Wahrheitstabellen
MehrInformationsdarstellung
Informationsdarstellung Signale und Logik Grundzüge der Booleschen Algebra Signale und Logik (2) Grundzüge d. Informationstheorie [Logarithmen-Repetitorium] Zahlensysteme und ihre Anwendung Signale und
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
Mehr13. Ablaufsteuerung. Lernziele. Begriff Schrittkettenprogrammierung / Ablaufsteuerung. Beziehung zu Petrinetzen? S7-Graph. Anwendungsbeispiel
13. Ablaufsteuerung ST.ppt / Folie 243 Lernziele Begriff Schrittkettenprogrammierung / Ablaufsteuerung Beziehung zu Petrinetzen? S7-Graph Anwendungsbeispiel NEU: Praktische Vorführung S7-Graph ST.ppt /
MehrAutomatisierungstechnik im
Automatisierungstechnik im Technikunterricht Anwendung der didaktischen Reduktion in unterschiedlichen Bildungskonteten Universität Duisburg Essen Universitätsstraße 15 45141 Essen Phone: 0201/1832633
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),
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
Mehr2.6 Verdeutlichung verwendeter Begriffe
2.6 Verdeutlichung verwendeter Begriffe endlich/finit: die Mengen der Zustände und der Ein- bzw. Ausgabezeichen sind endlich synchron: die Ausgabezeichen erscheinen synchron mit dem Einlauf der Eingabezeichen
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
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
MehrRechnerstrukturen, Teil 1. Vorlesung 4 SWS WS 15/16
Rechnerstrukturen, Teil Vorlesung 4 SWS WS 5/6 Dr. Lars Hildebrand Fakultät für Informatik Technische Universität Dortmund lars.hildebrand@tu-.de http://ls-www.cs.tu-.de Übersicht. Organisatorisches 2.
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
MehrGrundlagen der Technischen Informatik. 6. Übung. Christian Knell Keine Garantie für Korrekt-/Vollständigkeit
Grundlagen der Technischen Informatik 6. Übung Christian Knell Keine Garantie für Korrekt-/Vollständigkeit 6. Übungsblatt Themen Aufgabe 1: Aufgabe 2: Aufgabe 3: Aufgabe 4: Relais-Schaltnetze Entwicklungssatz
MehrGrundlagen der Informationsverarbeitung:
Grundlagen der Informationsverarbeitung: Boolesche Funktionen, Schaltnetze und Schaltwerke Prof. Dr.-Ing. habil. Ulrike Lucke Durchgeführt von Prof. Dr. rer. nat. habil. Mario Schölzel Maximaler Raum für
MehrAufgabe 1 Minimieren Sie mit den Gesetzen der Booleschen Algebra 1.1 f a ab ab 1 = + + Aufgabe 2. Aufgabe 3
Logischer Entwurf Digitaler Systeme Seite: 1 Übungsblatt zur Wiederholung und Auffrischung Aufgabe 1 Minimieren Sie mit den Gesetzen der Booleschen Algebra 1.1 f a ab ab 1 = + + 1.2 f ( ) ( ) ( ) 2 = c
MehrEin Signal ist eine zeitlich veränderliche physikalische Größe, die eine auf sie abgebildete Information trägt.
4. Technische Realisierung Sie erinnern sich: Ein Signal ist eine zeitlich veränderliche physikalische Größe, die eine auf sie abgebildete Information trägt. Hier: physikalische Größe = elektrische Spannung
MehrEinführung in die Informatik
Universität Innsbruck - Institut für Informatik Datenbanken und Informationssysteme Prof. Günther Specht, Eva Zangerle 24. November 28 Einführung in die Informatik Übung 7 Allgemeines Für die Abgabe der
MehrRechnerstrukturen, Teil 1. Vorlesung 4 SWS WS 14/15
Rechnerstrukturen, Teil 1 Vorlesung 4 SWS WS 14/15 Prof. Dr Jian-Jia Chen Dr. Lars Hildebrand Fakultät für Informatik Technische Universität Dortmund lars.hildebrand@tu-.de http://ls1-www.cs.tu-.de Übersicht
MehrAufgabe 3.1 Schaltalgebra - Schaltnetze
Aufgabe 3.1 Schaltalgebra - Schaltnetze Zeichnen Sie die folgenden Funktionen als Zusammenschaltung von AND-, OR- und Invertergattern: a) b) F = X ( Y Z) F = EN ( X Y) ( Y Z) zur Lösung 3.1 Aufgabe 3.2
MehrBasisinformationstechnologie I
Basisinformationstechnologie I Wintersemester 2013/14 22. Januar 2014 Kurzwiederholung / Klausurvorbereitung II Universität zu Köln. Historisch-Kulturwissenschaftliche Informationsverarbeitung Jan G. Wieners
MehrEndliche Automaten 1 WS 00/01. Steuerautomaten
Endliche Automaten 1 WS 00/01 Steuerautomaten Steuerautomaten dienen zur Erzeugung von Steuersignalen. Die erzeugten Steuersignale hängen vom Bearbeitungsstand ("Zustand") der Aufgabe und von Eingangsgrößen
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:
MehrVU Grundlagen digitaler Systeme
VU Grundlagen digitaler Systeme Übung 4. Übung 183.580, 2014W Übungsgruppen: Fr., 05.12.2014 Hinweis: Verwenden Sie für Ihre Lösungen keinen Taschenrechner und geben Sie die einzelnen Lösungsschritte an,
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:
MehrSignale und Logik (3)
Signale und Logik (3) Zwischenbilanz der bisherigen Erkenntnisse: Prof. Dr. A. Christidis SS 205 Energieformen (z.b. Elektrizität) können auch als Signale (=Informationsträger) genutzt werden (vgl. Telegraph).
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
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
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:
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) ----------------------------------------------
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
MehrKapitel 2. Elementare Schaltwerke. 2.1 RS-Flipflop
Kapitel 2 Elementare Schaltwerke 2.1 RS-Flipflop Unter dem Gesichtspunkt der Stabilität betrachtet, wird der zweistufige analoge Transistorverstärker des Bildes 2.1 dann instabil, wenn die gestrichelt
MehrAufbau und Funktionsweise eines Computers - II
Aufbau und Funktionsweise eines Computers - II Schaltwerke Schaltwerke Bei Schaltnetzen: Ausgabe hängt nur von der aktuellen Eingabe ab. Bei Schaltwerken: Ausgabe hängt zusätzlich von endlich vielen vorausgegangenen
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,
MehrRückblick. Erweiterte b-adische Darstellung von Kommazahlen. 7,1875 dargestellt mit l = 4 und m = 4 Bits. Informatik 1 / Kapitel 2: Grundlagen
Rückblick Erweiterte b-adische Darstellung von Kommazahlen 7,1875 dargestellt mit l = 4 und m = 4 Bits 66 Rückblick Gleitkommazahlen (IEEE Floating Point Standard 754) lassen das Komma bei der Darstellung
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(,,,
MehrSequentielle Schaltungen 37 SS 96. Steuerpfad
Sequentielle Schaltungen 37 SS 96 Steuerpfad Der Steuerpfad dient zur Erzeugung von Steuersignalen. Die erzeugten Steuersignale hängen vom Bearbeitungsstand ("Zustand") der Aufgabe und von Eingangsgrößen
MehrLABOR für REGELUNGSTECHNIK und PROZEßSIMULATION
Beuth Hochschule für Technik LABOR für REGELUNGSTECHNIK und PROZEßSIMULATION University of Applied Sciences SpeicherProgrammierbare Steuerungen. Ziel und Zweck der Aufgabe Steuerungstechnik Grundprinzip:
MehrDigitale Systeme und Schaltungen
Zusammenfassung meines Vortrages vom 26. Jänner 2017 Digitale Systeme und Schaltungen Andreas Grimmer Pro Scientia Linz Johannes Kepler Universität Linz, Austria andreas.grimmer@jku.at In dieser Zusammenfassung
MehrRückblick. Erweiterte b-adische Darstellung von Kommazahlen. 7,1875 dargestellt mit l = 4 und m = 4 Bits. Informatik 1 / Kapitel 2: Grundlagen
Rückblick Erweiterte b-adische Darstellung von Kommazahlen 7,1875 dargestellt mit l = 4 und m = 4 Bits 66 Rückblick Gleitkommazahlen (IEEE Floating Point Standard 754) lassen das Komma bei der Darstellung
MehrDigitaltechnik II SS 2007
Digitaltechnik II SS 27 Vorlesung mit begleitendem Praktikum Klaus Kasper Achtung! Vorlesung am 3.4.27 fällt aus! Nächste Vorlesung am 2.4.27! Organisation des Praktikums Betreuung: Michael Müller, Klaus
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),
MehrTeil IV. Schaltwerke
Teil IV Schaltwerke 1 Teil IV.1 Flip Flops 2 Bistabile Kippstufe Ziel: Speichere Ausgabe einer Schaltung. Ansatz: Leite Ausgabe wieder als Eingabe in die Schaltung. x t & Q Q = x + P t + t t t y t & P
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
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
Mehra) Wandeln sie die Dezimalzahl 77 in eine Dualzahl um (2P) b) Bilden Sie die Differenz aus und der Dualzahl aus Aufgabenteil a) (3P)
Aufgabe 1: Zahlensysteme (5P) a) Wandeln sie die Dezimalzahl 77 in eine Dualzahl um (2P) b) Bilden Sie die Differenz aus 01100001 und der Dualzahl aus Aufgabenteil a) (3P) Aufgabe 2: Boolesche Algebra
MehrVorlesung Rechnerstrukturen Winter 2002/03. 3b. Endliche Automaten. Modellierung und Realisierung von Steuerungen
Rechnerstrukturen 3b. Endliche Automaten Ziele Modellierung und Realisierung von Steuerungen Beispiele Autoelektronik: ABS-System Consumer: Kamera, Waschmaschine, CD-Player, Steuerung technischer Anlagen
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
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
MehrGRAFCET-Kurs. Lehrbrief für das Arbeiten mit GRAFCET
Lehrbrief für das Arbeiten mit GRAFCET Stand: 09.01.2013 4 KAFTAN-media 1. Auflage Januar 2013 Alle Rechte, auch der Übersetzung, vorbehalten. Kein Teil des Werkes darf in irgendeiner Form (Druck, Fotokopie,
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
MehrÜbungen zu Informatik 1
Übungen zu Informatik Technische Grundlagen der Informatik - Übung 9 Ausgabedatum: 2. November 22 Besprechung: Übungsstunden in der Woche ab dem 9. November 22 ) Schaltungen und Schaltnetze Communication
MehrRechnerstrukturen. Michael Engel und Peter Marwedel WS 2013/14. TU Dortmund, Fakultät für Informatik
Rechnerstrukturen Michael Engel und Peter Marwedel TU Dortmund, Fakultät für Informatik WS 2013/14 Folien a. d. Basis von Materialien von Gernot Fink und Thomas Jansen 21. Oktober 2013 1/33 1 Boolesche
MehrII. Grundlagen der Programmierung
II. Grundlagen der Programmierung II.1. Zahlenssteme und elementare Logik 1.1. Zahlenssteme 1.1.1. Ganze Zahlen Ganze Zahlen werden im Dezimalsstem als Folge von Ziffern 0, 1,..., 9 dargestellt, z.b. 123
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
Mehr1. Grundlagen der Informatik Boolesche Algebra / Aussagenlogik
1. Grundlagen der Informatik Boolesche Algebra / Aussagenlogik Inhalt Grundlagen digitaler Systeme Boolesche Algebra / Aussagenlogik Organisation und Architektur von Rechnern Algorithmen, Darstellung von
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
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,
MehrEreignisdiskrete Systeme
2008 AGI-Information Management Consultants May be used for personal purporses only or by libraries associated to dandelon.com network. Ereignisdiskrete Systeme Modellierung und Analyse dynamischer Systeme
MehrSpeicherprogrammierbare Steuerungen
Speicherprogrammierbare Steuerungen Von den Grundlagen der Prozessautomatisierung bis zur vertikalen Integration Bearbeitet von Matthias Seitz 1. Auflage 2003. Buch. 240 S. Hardcover ISBN 978 3 446 22174
MehrInformatik I Tutorium WS 07/08
Informatik I Tutorium WS 07/08 Vorlesung: Prof. Dr. F. Bellosa Übungsleitung: Dipl.-Inform. A. Merkel Tutorium: 2 Tutor: Jens Kehne Tutorium 7: Dienstag,. Dezember 2007 Agenda des heutigen Tutoriums Übersicht
MehrBOOLSCHE ALGEBRA / SCHALTUNGSALGEBRA
BOOLSCHE ALGEBRA / SCHALTUNGSALGEBRA 1. Digitale Grundschaltungen 1.1 UND/AND-SCHALTUNG 0 0 0 1 0 0 0 1 0 1 1 1 x = a /\ b 1.2 ODER/OR-SCHALTUNG 0 0 0 0 1 1 1 0 1 1 1 1 x = a \/ b NICHT/NOT-SCHALTUNG A
Mehrx x y x y Informatik II Schaltkreise Schaltkreise Schaltkreise Rainer Schrader 3. November 2008
Informatik II Rainer Schrader Zentrum für Angewandte Informatik Köln 3. November 008 1 / 47 / 47 jede Boolesche Funktion lässt mit,, realisieren wir wollen wir uns jetzt in Richtung Elektrotechnik und
Mehr6. Minimierung Boolescher Polynome
H.J. Oberle Boolesche Algebra WiSe 2006/07 6. Minimierung Boolescher Polynome An Beispiel (5.11) c) erkennt man, dass die DNF eines Booleschen Polynoms i. Allg. ungünstig in Bezug auf die Anzahl der Auftretenden
MehrEVA. Datenverarbeitung. Verarbeitung. Stromversorgung
Steuerung: Das Steuern die Steuerung ist der Vorgang in einem System, bei dem eine oder mehrere Größen als Ausgangsgrößen aufgrund der dem System eigentümlichen Gesetzesmäßigkeiten beeinflusst werden.
MehrFachhochschule Köln Institut für Produktion Labor für Automatisierungstechnik
1. Kontakttechnik Fachhochschule Köln Institut für Produktion Labor für Automatisierungstechnik 2. Praktikum Steuerungs- und Regelungstechnik (SR) im SS 2007 Durchführung des Praktikums Aufgabenstellung
MehrLogik (Teschl/Teschl 1.1 und 1.3)
Logik (Teschl/Teschl 1.1 und 1.3) Eine Aussage ist ein Satz, von dem man eindeutig entscheiden kann, ob er wahr (true, = 1) oder falsch (false, = 0) ist. Beispiele a: 1 + 1 = 2 b: Darmstadt liegt in Bayern.
MehrRechnerstrukturen WS 2012/13
Rechnerstrukturen WS 202/3 Boolesche Funktionen und Schaltnetze Repräsentationen boolescher Funktionen (Wiederholung) Normalformen boolescher Funktionen (Wiederholung) Repräsentation boolescher Funktionen
MehrTechnische Grundlagen der Informatik
Technische Grundlagen der Informatik WS 2008/2009 6. Vorlesung Klaus Kasper WS 2008/2009 Technische Grundlagen der Informatik Inhalt Wiederholung Boolesche Gesetze Boolesche Kürzungsregeln Antivalenz und
MehrDigital Design. Digital Design SS Prof. Dr. Richard Roth. 6 SWS SU und Übungen
SS 2005 Prof. Dr. Richard Roth 6 SWS SU und Übungen Richard Roth / FB Informatik und Mathematik Schaltungstechnische Grundlagen 1 Literatur zur Vorlesung DD [1] PERNARDS, P..; Digitaltechnik Hüthig, 1992
MehrEndliche Automaten. Im Hauptseminar Neuronale Netze LMU München, WS 2016/17
Endliche Automaten Im Hauptseminar Neuronale Netze LMU München, WS 2016/17 RS- Flipflop RS-Flipflop Ausgangszustand 0 1 0 1 0 1 Set Reset neuer Zustand 0 0 0 0 0 1 1 0 1 1 0 1 0 1 0 0 1 0 Was ist ein endlicher
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
MehrWas bisher geschah: klassische Aussagenlogik
Was bisher geschah: klassische Aussagenlogik klassische Aussagenlogik: Syntax, Semantik Äquivalenz zwischen Formeln ϕ ψ gdw. Mod(ϕ) = Mod(ψ) wichtige Äquivalenzen, z.b. Doppelnegation-Eliminierung, DeMorgan-Gesetze,
MehrMultiplexer und Schieberegister
Hard- und Softwaretechnik Schaltwerke Multiplexer und Schieberegister Andreas Zbinden Gewerblich- Industrielle Berufsschule Bern Inhaltsverzeichnis 1 Multiplexer, Demultiplexer 2 2 Schieberegister 6 2.1
MehrHochschule Emden / Leer. Ausarbeitung. Speicherung digitaler Signale
Hochschule Emden / Leer Ausarbeitung Thema: Speicherung digitaler Signale eingereicht von: Jens Fresenborg Inhaltsverzeichnis 1 Speicherung Digitaler Signale 1 2 Asynchrone Speicherelemente 1 2.1 RS-Flip-Flop
MehrCarry Lookahead Adder
Carry Lookahead Adder Mittels der Generate und Propagate Ausdrücke lässt ich dann für jede Stelle i der Carry (Übertrag) für die Stelle i+1 definieren: Für einen 4 Stelligen Addierer ergibt sich damit:
MehrD.42 D Synchroner Zähler. 6.3 Synchroner Zähler (2) 6.3 Synchroner Zähler (4) 6.3 Synchroner Zähler (3) Einsatz von JK-Flip-Flops
6.3 Synchroner Zähler Unmittelbarer Übergang aller beteiligten Flip-Flops pro Taktzyklus Mögliche eines dreistelligen Binärzählers 000 111 001 110 010 Übergänge pro Takt unbedingte Übergänge 101 011 6.3
MehrKapitel 4 Ereignisdiskrete Systeme (V)
Systemmodellierung Teil 1: Ereignisdiskrete Systeme Kapitel 4 Ereignisdiskrete Systeme (V) Petrinetze ctnd. Eigenschaften von Petrinetzen (BE-Netze) Konflikt Kontakt Livelock, Deadlock Lebendigkeit Reversibilität
MehrKapitel 3 Ereignisdiskrete Systeme (III)
Systemmodellierung Teil 1: Ereignisdiskrete Systeme Kapitel 3 Ereignisdiskrete Systeme (III) Modellierung mit E/A-Automaten Modellbildung mit Automaten Verfeinerte Modellbildung Beispiel: Fahrstuhltür
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
MehrSpeicherprogammierbare Steuerungen als Bausteine verteilter Automatisierung
SPS Speicherprogammierbare Steuerungen als Bausteine verteilter Automatisierung von Prof. Eberhard E. Grätsch, M.Sc, AUTlab der Fachhochschule Würzburg-Schweinfurt und Steinbeis-Transferzentrum Würzburg
MehrDigitalelektronik - Inhalt
Digitalelektronik - Inhalt Grundlagen Signale und Werte Rechenregeln, Verknüpfungsregeln Boolesche Algebra, Funktionsdarstellungen Codes Schaltungsentwurf Kombinatorik Sequentielle Schaltungen Entwurfswerkzeuge
MehrEin ROM soll aus mehreren ROMs (vgl. Abbildung rechts: Enable-Leitung EN, Adressleitungen ADDR, Datenleitungen DATA) aufgebaut werden.
VU Technische Grundlagen der Informatik Übung 4: Schaltwerke 183.579, 2015W Übungsgruppen: Mo., 23.11. Mi., 25.11.2015 Aufgabe 1: ROM-Erweiterung Ein 256 64 ROM soll aus mehreren 128 16 ROMs (vgl. Abbildung
Mehr3 Boole'sche Algebra und Aussagenlogik
3 Boole'sche Algebra und Aussagenlogik 3- Boole'sche Algebra Formale Grundlagen der Informatik I Herbstsemester 22 Robert Marti Vorlesung teilweise basierend auf Unterlagen von Prof. emer. Helmut Schauer
MehrModellierungsansatz für die realitätsnahe Abbildung der technischen Verfügbarkeit
Modellierungsansatz für die realitätsnahe Abbildung der technischen Verfügbarkeit intralogistischer Systeme Dipl.-Logist. Eike-Niklas Jung Seite 1 / 20 Gliederung Motivation & Zielsetzung Grundlagen Merkmale
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:
Mehr4^ Springer Vi eweg. SPS-Programmierung. nach IEC in Anweisungsliste. und handlungsorientierte Einführung. Hans-Joachim Adam Mathias Adam
Hans-Joachim Adam Mathias Adam SPS-Programmierung in Anweisungsliste nach IEC 61131-3 Eine systematische und handlungsorientierte Einführung in die strukturierte Programmierung 4., bearbeitete Auflage
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 (RO)
Technische Informatik (RO) Informationskodierung (1) Boolesche Algebren: BMA, BAA (2,3) Kombinatorische Schaltungen (4) Automaten (5) Sequentielle Schaltungen (6,7) Ablaufsteuerung (8) Fortsetzung Teil
MehrEreignisdiskrete Systeme
Ereignisdiskrete Systeme Modellierung und Analyse dynamischer Systeme mit Automaten, Markovketten und Petrinetzen von Jan Lunze Mit 340 Abbildungen, 80 Anwendungsbeispielen und 110 Übungsaufgaben Oldenbourg
MehrTeil III. Schaltnetze und ihre Optimierung
Teil III Schaltnetze und ihre Optimierung 1 Teil III.1 Schaltnetze 2 Beispiel 1 Schaltnetz für xor mit {+,, } x y x y 0 0 0 0 1 1 1 0 1 1 1 0 DNF: x y = xy + xy 3 Beispiel 2 xor mittels nand-verknüpfung;
MehrInformatik I WS 07/08 Tutorium 24
Info I Tutorium 24 Informatik I WS 07/08 Tutorium 24 3.2.07 astian Molkenthin E-Mail: infotut@sunshine2k.de Web: http://infotut.sunshine2k.de Organisatorisches / Review is zum 2.2 müssen alle Praxisaufgaben
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
Mehr5. Vorlesung: Normalformen
5. Vorlesung: Normalformen Wiederholung Vollständige Systeme Minterme Maxterme Disjunktive Normalform (DNF) Konjunktive Normalform (KNF) 1 XOR (Antivalenz) X X X X X X ( X X ) ( X X ) 1 2 1 2 1 2 1 2 1
Mehr