Energieeffiziente adiabatische Multiplizierer
|
|
- Pia Winter
- vor 7 Jahren
- Abrufe
Transkript
1 Energieeffiziente adiabatische Multiplizierer Etienne Kleine FSU Jena 14. Dezember / 28
2 Zu Beginn : ein Vergleich CMOS adiabatisches vorgestelltes MAC MAC Design Gesamtverluste (pj) 17,6 1,57 0,73 nicht adiabatische - 1,12 0,28 Verluste (pj) Pipelinestufen Latenz (Takte) 2 4 1,5 max. Frequenz (MHz) Latches Transistoren Sind diese Werte realistisch? 2 / 28
3 Gliederung 1 Motivation 2 Energieverluste in CMOS-Schaltkreisen 3 geordnete binäre Entscheidungsdiagramme 4 Hardwareumsetzung in einer MAC-Einheit 3 / 28
4 Motivation : Energieeffizienz Verringerung der Wärmeentwicklung Akkulaufzeiten verlängern autonome Sensoren Kostenersparnis Umweltschutz 4 / 28
5 Entropie Wie viel Energie ist mindestens für Berechnungen nötig? 2.Hauptsatz der Thermodynamik : ds = dq dt 0 ds : Entropieänderung Entropie = Unordnung/ Maß für Informationsgehalt dq : Wärmetransport abgegebene Wärme = Energieverlust Löschen von Information (ds 0) führt zwingend zu Wärmeabgabe (dq 0) Theorem Informationsverarbeitung, die auf Verknüpfung von Zuständen basiert, erfordert grundsätzlich keinen Energieaufwand, sofern sie ohne Löschvorgänge stattfindet. 5 / 28
6 Adiabatisches Umladen Grundlagen aus der Elektronik ohmscher Widerstand wandelt elektrische in Wärmeenergie um zeitlich konstant ohmsches Gesetz : R = U R IR Energieumsatz : W R = U R I R = U2 R R Kondensator speichert nach dem Aufladen elektrische Energie der Widerstand nimmt mit der Zeit zu Ladevorgang : U C = U exp [ t ] R C gespeicherte Energie : E C = 1 2 C U2 C 6 / 28
7 Adiabatisches Umladen Warum sind diese Eigenschaften für Schaltungen wichtig? verbleibender Innenwiderstand der Transistoren parasitäre Kapazitäten Gatter ˆ= Kondensator der über Widerstand geladen wird Spannungen teilen sich nach Widerstandsverhältnis auf und es gilt : U = U R + U C 7 / 28
8 Adiabatisches Umladen 8 / 28
9 Adiabatisches Umladen Problem zu Beginn des Ladevorgangs : große Spannung über dem Widerstand Lösung umgesetzte Leistung hängt quadratisch von der Spannung ab es geht viel Energie in Form von Wärme verloren Spannungsverlauf während des Ladevorgangs anpassen idealer Spannungsverlauf : Rampe einfacher zu realisieren : sinusförmige Spannung 9 / 28
10 Adiabatisches Umladen Spannungsverläufe je langsamer der Ladevorgang stattfindet, desto effizienter ist er = die maximale Taktrate ist beschränkt 10 / 28
11 Adiabatische Schaltkreise adiabatische Schaltkreise in CMOS-Logik : in jedem Takt jede Kapazität entladen gespeicherte Energie geht dabei verloren in adiabatischer Logik : nur umgeladen wenn sich Logikpegel ändert es wird versucht Ladung in den Gattern weiter zu nutzen : durch Ladungsrückgewinnung durch verhindern des Entladens 11 / 28
12 Einleitung Ziel : ausnutzen der speziellen Eigenschaften Gattergröße und -komplexität eher zweitrangig Löschen von Information weitestgehend vermeiden wenige Latches, Pipelinestrukturen vermeiden Lösung : geordnete binäre Entscheidungsdiagramme (OBDD) ermöglichen Darstellung und Auswertung logischer Funktionen in vielen Fällen kompakt und einfach zu handhaben leicht mit adiabatischen Gattern umzusetzen 12 / 28
13 Definition Definition (OBDD) gewurzelter, gerichteter, azyklischer Graph mit Knoten V es gibt zwei Typen von Knoten : Terminalknoten : sind die Blätter und besitzen den Wert 1 oder 0 nichtterminale Knoten : besitzen einen Index I [1... n] und zwei Kinder low(v) und high(v); v v I (v ) > I (v) Start an der Wurzel; Vorgehen für Knoten v i : wenn x i = 0 low(v i ) wenn x i = 1 high(v i ) Wert der Funktion ˆ= Wert des Terminalknotens 13 / 28
14 Eigenschaften und Beispiele Eigenschaften Reduktion : isomorphe Teilgraphen entfernen Pfade die bei 1 und 0 zu gleichen Kindknoten führen zusammenfassen reduzierter Graph ist kanonische Darstellung (eindeutig) Ordnungsproblem : Komplexität des Graphen hängt von der Anordnung der Eingangsvariablen ab kein Algorithmus für Ordnung; kann aber mit etwas Erfahrung gut gelöst werden (Heuristiken) es gibt Funktionen die sich nicht gut ordnen lassen 14 / 28
15 Eigenschaften und Beispiele Beispiele 15 / 28
16 Eigenschaften und Beispiele Ordnungsproblem 16 / 28
17 Einleitung Multiply-Accumulate-Einheit Hauptbestandteil von DSP-Systemen Hauptursache für Energieverluste Energierückgewinnung ist hier besonders lohnend besteht aus drei Stufen : Booth-Recoder, Kompressorstufe, Addierer jetzt : nur Überblick über Grundprinzip konkrete Hardwareumsetzung verlangt zusätzliche Anpassungen für adiabatische Logik 17 / 28
18 Einleitung Schematischer Aufbau eines parallelen Multiplizierers 18 / 28
19 Booth-Recoder Booth-Recoder reduziert Anzahl der Partialprodukte von n 2 auf 1 2 n2 klassisch : mit Recoder und 2 Multiplexern umgesetzt adiabatisch : mittels OBDD umgesetzt 19 / 28
20 Booth-Recoder Vergleich 20 / 28
21 Kompressorstufe Kompressorstufe klassisch : meist duch Wallace- bzw. Dadda-Tree umgesetzt massiv parallel adiabatisch : mit 15:4 Zähler umgesetzt Komplexität nimmt nur linear und nicht exponentiell zu 21 / 28
22 Kompressorstufe Vergleich 22 / 28
23 Kompressorstufe 7-Input-Counter 23 / 28
24 Addierer Abschließender Addierer abhängig vom konkreten Problem gibt es verschiedene Implementierungen entscheidend dabei : Anzahl der Stufen, Tiefe einer Stufe als geeignet wird ein Carry-Select-Addierer mit minimaler Höhe der Stufen vorgeschlagen 24 / 28
25 Addierer adiabatischer Ripple-Carry-Addierer 25 / 28
26 Zusammenfassung Das wichtigste kurzgefasst zur Informationsverarbeitung ist prinzipiell keine Energie erforderlich Ladevorgang : langsam mit veränderlicher Spannung CMOS : viele kleine Gatter, die in jedem Takt entladen werden schnell, ineffizient adiabatische Gatter : wenige große Gatter, deren gespeicherte Energie möglichst weiter genutzt wird; langsam; effizient; wenig Latches; keine Pipeline OBDD : kompakte, einfach zu handhabende Darstellung logischer Funktionen; gut geeignet für adiabatische Gatter; Ordnungsproblem; schlecht darstellbare Funktionen 26 / 28
27 Zusammenfassung zum Ende : ein erneuter Vergleich CMOS adiabatisches vorgestelltes MAC MAC Design Gesamtverluste (pj) 17,6 1,57 0,73 nicht adiabatische - 1,12 0,28 Verluste (pj) Pipelinestufen Latenz (Takte) 2 4 1,5 max. Frequenz (MHz) Latches Transistoren Auf Grund der eingesetzten Technologie und Struktur sind diese Ergebnisse durchaus realistisch. 27 / 28
28 Quellen Quellen Suvakovic, Dusan ; Salama, Andre T. : Energy Efficient Adiabatic Multiplier-Accumulator Design Schlachta, Clemens : Ein Verfahren zur Verbesserung der Energieeffizienz durch Ladungsrückgewinnung in Digitalschaltungen, 2007 Bryant, Randal E. : Graph-Based Algorithms for Boolean Function Manipulation 28 / 28
Energieeffiziente MAC-Einheiten
Energieeffiziente MAC-Einheiten adiabatische Logik in der digitalen Signalverarbeitung Wintersemester 2009/10 Friedrich-Schiller-Universität Jena von Etienne Kleine 26. Februar 2010 Seminarleiter : Prof.
MehrPräsentation BDDs Binary Decision Diagrams
Präsentation Binary Decision Diagrams Günther Eder Andreas Weichhart 28.01.2011 1 / 19 Überblick 1/2 Überblick Boolean Expressions Nachteil KNF/DNF Shannon Expansion INF 1. 2. Boolean Expressions 3. Nachteil
MehrShannon Formeln. Formale Systeme. Normierte Shannon Formeln. Eigenschaften des sh-operators
Shannon Formeln Formale Systeme Prof. Dr. Bernhard Beckert Fakultät für Informatik Universität Karlsruhe (TH) Shannon Formeln sind aussagenlogische Formeln, die aufgebaut sind aus dem dreistelligen Operator
Mehr5 BINÄRE ENTSCHEIDUNGS- DIAGRAMME (BDDS)
5 BINÄRE ENTSCHEIDUNGS- DIAGRAMME (BDDS) Sommersemester 2009 Dr. Carsten Sinz, Universität Karlsruhe Datenstruktur BDD 2 1986 von R. Bryant vorgeschlagen zur Darstellung von aussagenlogischen Formeln (genauer:
MehrFormale Systeme. Prof. Dr. Bernhard Beckert. Winter 2008/2009. Fakultät für Informatik Universität Karlsruhe (TH)
Formale Systeme Prof. Dr. Bernhard Beckert Fakultät für Informatik Universität Karlsruhe (TH) Winter 28/29 Prof. Dr. Bernhard Beckert Formale Systeme Winter 28/29 / 32 Shannon Formeln Shannon Formeln sind
MehrFormale Systeme. Binary Decision Diagrams. Prof. Dr. Bernhard Beckert, WS 2017/2018
Formale Systeme Prof. Dr. Bernhard Beckert, WS 27/28 Binary Decision Diagrams KIT I NSTITUT F U R T HEORETISCHE I NFORMATIK www.kit.edu KIT Die Forschungsuniversita t in der Helmholtz-Gemeinschaft Shannon-Formeln
MehrEin- und Ausschaltvorgang am Kondensator ******
6.2.3 ****** Motivation Bei diesem Versuch werden Ein- und Ausschaltvorgänge an RC-Schaltkreisen am PC vorgeführt. 2 Experiment Abbildung : Versuchsaufbau zum Eine variable Kapazität (C = (0 bis 82) nf)
MehrGrundlagen digitaler Systeme WS12
Grundlagen digitaler Systeme WS12 Binary Decision Diagrams Johann Blieberger 183.580, VU 2.0 Automation Systems Group E183-1 Institute of Computer Aided Automation Vienna University of Technology email:
MehrDatenstrukturen Teil 2. Bäume. Definition. Definition. Definition. Bäume sind verallgemeinerte Listen. Sie sind weiter spezielle Graphen
Bäume sind verallgemeinerte Listen Datenstrukturen Teil 2 Bäume Jeder Knoten kann mehrere Nachfolger haben Sie sind weiter spezielle Graphen Graphen bestehen aus Knoten und Kanten Kanten können gerichtet
MehrVerlustleistungsreduzierung in Datenpfaden
Verlustleistungsreduzierung in Datenpfaden F. Grassert, F. Sill, D. Timmermann Inhalt Motivation Analyse der Ausgangssituation Verlustleistung in der Schaltungstechnik Selbstgetaktete dynamische Logiken
MehrBinärer Entscheidungsbaum. für Boole sche Funktionen. (binary decision tree: BDT) Kapitel 4: Binäre Entscheidungsdiagramme
Kapitel 4: Binäre Entscheidungsdiagramme (BDDs) BDDs (binary decision diagrams) wurden aus binären Entscheidungsbäumen für boole sche Funktionen entwickelt. Binärer Entscheidungsbaum (binary decision tree:
MehrDarstellung Boolescher Funktionen
Darstellung Boolescher Funktionen Einführung in die Technische Informatik Univ.-Prof. Dr. Paul Molitor Lehrstuhl für Technische Informatik Institut für Informatik Martin-Luther-Universität Halle-Wittenberg
MehrBinary Decision Diagrams (BDDs) 1
Handout 22.11.2011 Binary Decision Diagrams (BDDs) 1 Übersicht Es gibt viele verschiedene Möglichkeiten um Boole sche Funktionen zu repräsentieren (Boole sche Formeln, Minterme, Wahrheitstabellen, ). Manche
Mehr2.3 Logikoptimierung. Überblick digitale Synthese. Logikoptimierung
2.3 Logikoptimierung Logikoptimierung Überblick digitale Synthese Logikoptimierung Begriffe Mehrstufige Logik Zweistufige Logik:..Exakte Verfahen..Heuristische Verfahren..Expansion/ Reduktion..Streichen
MehrFormale Systeme. Binary Decision Diagrams. Prof. Dr. Bernhard Beckert WS 2010/2011 KIT INSTITUT FÜR THEORETISCHE INFORMATIK
Formale Systeme Prof. Dr. Bernhard Beckert WS / KIT INSTITUT FÜR THEORETISCHE INFORMATIK KIT University of the State of Baden-Württemberg and National Large-scale Research Center of the Helmholtz Association
MehrElectronic Design Automation (EDA) Logikoptimierung
Electronic Design Automation (EDA) Logikoptimierung Überblick digitale Synthese Logikoptimierung Begriffe Mehrstufige Logik Zweistufige Logik: Exakte Verfahren... Heuristische Verfahren... Expansion/Reduktion...
Mehré KFDDs (Kronecker Functional Decision Diagrams) [Drechsler, Sarabi, Becker, Perkowski 1994]
9.2 Weitere DD-Tpen Die wichtigsten... é BDDs [Brant 1986] é KFDDs (Kronecker Functional Decision Diagrams) [Drechsler, Sarabi, Becker, Perkowski 1994] é Word-Level DDs é *BMDs (Multiplicative Binar Moment
MehrADS: Algorithmen und Datenstrukturen 2
ADS: Algorithmen und Datenstrukturen 2 Teil 4 Prof. Dr. Gerhard Heyer Institut für Informatik Abteilung Automatische Sprachverarbeitung Universität Leipzig 24. April 2019 [Letzte Aktualisierung: 24/04/2019,
MehrIsomorphie von Bäumen
Isomorphie von Bäumen Alexandra Weinberger 23. Dezember 2011 Inhaltsverzeichnis 1 Einige Grundlagen und Definitionen 2 1.1 Bäume................................. 3 1.2 Isomorphie..............................
MehrGrundlagen der Elektrotechnik I
Prof. Dr.-Ing. B. Schmülling Musterlösung zur Klausur Grundlagen der Elektrotechnik I im Sommersemester 17 Aufgabe 1: Die Lösungen zu Aufgabe 1 folgen am Ende. Aufgabe : 1. I = 600 ma R a = 5,5 Ω R c =
MehrR C 1s =0, C T 1
Aufgaben zum Themengebiet Aufladen und Entladen eines Kondensators Theorie und nummerierte Formeln auf den Seiten 5 bis 8 Ein Kondensator mit der Kapazität = 00μF wurde mit der Spannung U = 60V aufgeladen
MehrEffizienter Planaritätstest Vorlesung am
Effizienter Planaritätstest Vorlesung am 23.04.2014 INSTITUT FÜR THEORETISCHE INFORMATIK PROF. DR. DOROTHEA WAGNER Satz Gegebenen einen Graphen G = (V, E) mit n Kanten und m Knoten, kann in O(n + m) Zeit
MehrKapitel 4: Dynamische Datenstrukturen. Algorithmen und Datenstrukturen WS 2017/18. Pro f. Dr. Sán do r Fe k e te
Kapitel 4: Dynamische Datenstrukturen Algorithmen und Datenstrukturen WS 2017/18 Pro f. Dr. Sán do r Fe k e te 1 Binärer Suchbaum Außerdem wichtig: Struktur der Schlüsselwerte! 2 Ordnungsstruktur Linker
MehrADS: Algorithmen und Datenstrukturen 2
ADS: Algorithmen und Datenstrukturen 2 Teil 6 Prof. Dr. Gerhard Heyer Institut für Informatik Abteilung Automatische Sprachverarbeitung Universität Leipzig 16. Mai 2018 [Letzte Aktualisierung: 18/05/2018,
Mehr4. OBDDs und Modellüberprüfung
4. OBDDs und Modellüberprüfung OBDD Ordered Binary Decision Diagrams Geordnete binäre Entscheidungsdiagramme Binäres Entscheidungsdiagramm: in der einfachsten Form ein binärer Entscheidungsbaum, in dem
MehrEntscheidungsverfahren für die Software-Verifikation. 4 - BDDs
Entscheidungsverfahren für die Software-Verifikation 4 - BDDs Datenstruktur BDD 1986 von R. Bryant vorgeschlagen zur Darstellung von aussagenlogischen Formeln (genauer: Booleschen Funktionen) Boolesche
MehrRechnernetze und Organisation
Arithmetic Logic Unit ALU Professor Dr. Johannes Horst Wolkerstorfer Cerjak, 9.2.25 RNO VO4_alu Übersicht Motivation ALU Addition Subtraktion De Morgan Shift Multiplikation Gleitkommazahlen Professor Dr.
MehrDokumentation und Auswertung. Labor. Kaiblinger, Poppenberger, Sulzer, Zöhrer. Tiefpass, Hochpass - 1
TGM Abteilung Elektronik und Technische Informatik Übungsbetreuer Dokumentation und Auswertung Prof. Zorn Labor Jahrgang 3BHEL Übung am 20.12.2016 Erstellt am 26.12.2016 von Pascal Zoehrer Übungsteilnehmer
MehrAufgabe 1 - Knotenspannungsanalyse
KLAUSUR Grundlagen der Elektrotechnik 02.03.2011 Prof. Ronald Tetzlaff Dauer: 150 min. Aufgabe 1 2 3 4 5 Σ Punkte 11 7 10 11 11 50 Aufgabe 1 - Knotenspannungsanalyse Gegeben ist das Netzwerk mit den folgenden
MehrEntladen und Aufladen eines Kondensators über einen ohmschen Widerstand
Entladen und Aufladen eines Kondensators über einen ohmschen Widerstand Vorüberlegung In einem seriellen Stromkreis addieren sich die Teilspannungen zur Gesamtspannung Bei einer Gesamtspannung U ges, der
MehrÜbung 4.1: Dynamische Systeme
Übung 4.1: Dynamische Systeme c M. Schlup, 18. Mai 16 Aufgabe 1 RC-Schaltung Zur Zeitpunkt t = wird der Schalter in der Schaltung nach Abb. 1 geschlossen. Vor dem Schliessen des Schalters, betrage die
MehrWas bisher geschah. 1. Zerlegung in monotone Polygone 2. Triangulierung der monotonen Teilpolygone
Was bisher geschah Motivation, Beispiele geometrische Objekte im R 2 : Punkt, Gerade, Halbebene, Strecke, Polygon, ebene Zerlegung in Regionen (planare Graphen) maschinelle Repräsentation geometrischer
MehrQuantum Ordered Binary Decision Diagrams
Quantum Ordered Binary Decision Diagrams Hecke Schrobsdorff BCCN Göttingen Oberseminar Theoretische Informatik WS 5 Inhalt Einführung Wiederholung: Quantumcomputing 3 Wiederholung: OBDDs 4 Quanten Branching
Mehr3.3 Optimale binäre Suchbäume
3.3 Optimale binäre Suchbäume Problem 3.3.1. Sei S eine Menge von Schlüsseln aus einem endlichen, linear geordneten Universum U, S = {a 1,,...,a n } U und S = n N. Wir wollen S in einem binären Suchbaum
MehrElektrodynamik I Elektrische Schaltkreise
Physik A VL35 (7.0.03) Elektrodynamik Elektrische Schaltkreise Strom, Ohm sches Gesetz und Leistung Elektrische Schaltkreise Parallel- und Serienschaltung von Widerständen Messung von Spannungen und Strömen
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
MehrEntladung eines Kondensators
3.11.5 Entladung eines Kondensators Im Gegensatz zu einer Batterie kann mit einem Kondensator innerhalb von kurzer Zeit eine hohe Stromstärke erzeugt werden. Dies wird zum Beispiel beim Blitz eines Fotoapparates
MehrIntegrierte Digitalschaltungen Vom Transistor zu Integrierten Systemen Vorlesung 8,
Integrierte Digitalschaltungen Vom Transistor zu Integrierten Systemen Vorlesung 8, 18.05.2017 Nils Pohl FAKULTÄT FÜR ELEKTROTECHNIK UND INFORMATIONSTECHNIK Lehrstuhl für Integrierte Systeme Organisatorisches
MehrAsynchronous Chain True Single Phase Clock Logik (AC TSPC)
Asynchronous Chain True Single Phase Clock Logik (AC TSPC) F. Grassert, A. Wassatsch, D. Timmermann Übersicht Grundlagen / Stand der Entwicklungen Verlustleistungsreduktion: Latch-freie Strukturen Weiterentwicklung:
Mehr2.2. Schnitte von Liniensegmenten
Wir wenden uns nun dem Problem (2) aus 1 zu. F15 Aus zwei Mengen S1, S2 von Liniensegmenten möchten wir alle Schnittpunkte der Segmente aus S1 mit denen aus S2 ermitteln. Wir legen fest, dass sich zwei
MehrGrundlagen der Elektrotechnik I
Prof. Dr.-Ing. B. Schmülling Musterlösung zur Klausur Grundlagen der Elektrotechnik I im Wintersemester 27 / 28 Aufgabe : Die Lösungen zu Aufgabe folgen am Ende. Aufgabe 2:. U q = 3 V 2. R i = Ω 3. P =
MehrAlgorithmen und Datenstrukturen Heapsort
Algorithmen und Datenstrukturen 2 5 Heapsort In diesem Kapitel wird Heapsort, ein weiterer Sortieralgorithmus, vorgestellt. Dieser besitzt wie MERGE-SORT eine Laufzeit von O(n log n), sortiert jedoch das
Mehr= Dimension: = (Farad)
Kapazität / Kondensator Ein Kondensator dient zur Speicherung elektrischer Ladung Die Speicherkapazität eines Kondensators wird mit der Größe 'Kapazität' bezeichnet Die Kapazität C ist definiert als: Dimension:
MehrSystemtheorie. Vorlesung 17: Berechnung von Ein- und Umschaltvorgängen. Fakultät für Elektro- und Informationstechnik, Manfred Strohrmann
Systemtheorie Vorlesung 7: Berechnung von Ein- und Umschaltvorgängen Fakultät für Elektro- und Informationstechnik, Manfred Strohrmann Ein- und Umschaltvorgänge Einführung Grundlagen der Elektrotechnik
MehrÜbungsblatt 03. PHYS3100 Grundkurs IIIb (Physik, Wirtschaftsphysik, Physik Lehramt) Othmar Marti,
Übungsblatt 03 PHYS3100 Grundkurs IIIb (Physik, Wirtschaftsphysik, Physik Lehramt) Othmar Marti, (othmar.marti@physik.uni-ulm.de) 29. 11. 2004 oder 6. 12. 2004 1 Aufgaben 1. In einer Metall-Hohlkugel (Innenradius
MehrDynamisches Huffman-Verfahren
Dynamisches Huffman-Verfahren - Adaptive Huffman Coding - von Michael Brückner 1. Einleitung 2. Der Huffman-Algorithmus 3. Übergang zu einem dynamischen Verfahren 4. Der FGK-Algorithmus 5. Überblick über
MehrElektrizitätslehre und Magnetismus
Elektrizitätslehre und Magnetismus Othmar Marti 02. 06. 2008 Institut für Experimentelle Physik Physik, Wirtschaftsphysik und Lehramt Physik Seite 2 Physik Klassische und Relativistische Mechanik 02. 06.
MehrIntegrierte Digitalschaltungen Vom Transistor zu Integrierten Systemen Vorlesung 10,
Integrierte Digitalschaltungen Vom Transistor zu Integrierten Systemen Vorlesung 10, 16.06.2016 Nils Pohl FAKULTÄT FÜR ELEKTROTECHNIK UND INFORMATIONSTECHNIK Lehrstuhl für Integrierte Systeme Organisatorisches
MehrVorlesung 04.12.2006: Binäre Entscheidungsdiagramme (BDDs) Dr. Carsten Sinz
Vorlesung 04.12.2006: Binäre Entscheidungsdiagramme (BDDs) Dr. Carsten Sinz Datenstruktur BDD 1986 von R. Bryant vorgeschlagen zur Darstellung von aussagenlogischen Formeln (genauer: Booleschen Funktionen)
Mehrrunekrauss.com Effiziente Implementierung von Binären Entscheidungsdiagrammen
runekrauss.com Effiziente Implementierung von Binären Entscheidungsdiagrammen Einleitung Repräsentation und Manipulation Boolescher Funktionen ist wichtig für viele Applikationen: Symbolische Simulation,
MehrFormelsammlung. Experimentalphysik II. Zur Vorlesung bei Prof. Dr. M. Wuttig, Sommersemester Pascal Del Haye 27.
Formelsammlung Experimentalphysik II Zur Vorlesung bei Prof. Dr. M. Wuttig, Sommersemester 2003 Pascal Del Haye www.delhaye.de 27. Juli 2003 Inhaltsverzeichnis Thermodynamik 3. Ideale Gasgleichung........................
MehrProseminar Statische CMOS- Schaltungen. Thema: CMOS-NOR-Gatter Gehalten von: Björn Fröhlich Prof. Dr. Zehendner SS05 - FSU Jena
Statische CMOS- Schaltungen Thema: CMOS-NOR-Gatter Gehalten von: Björn Fröhlich Prof. Dr. Zehendner SS05 - FSU Jena Inhaltsübersicht 1. allgemeiner Aufbau 2. Gleichstrom Transfer Charakteristik 3. Transiente
MehrGrundbegriffe der Informatik Tutorium 8
Grundbegriffe der Informatik Tutorium 8 Tutorium Nr. 16 Philipp Oppermann 22. Dezember 2014 KARLSRUHER INSTITUT FÜR TECHNOLOGIE KIT Universität des Landes Baden-Württemberg und nationales Forschungszentrum
MehrDiplomprüfung WS 2010/11 Fach: Elektronik, Dauer: 90 Minuten
Diplomprüfung Elektronik Seite 1 von 8 Hochschule München FK 03 Maschinenbau Zugelassene Hilfsmittel: alle eigenen Diplomprüfung WS 2010/11 Fach: Elektronik, Dauer: 90 Minuten Matr.-Nr.: Name, Vorname:
MehrGraphen. Definitionen
Graphen Graphen werden häufig als Modell für das Lösen eines Problems aus der Praxis verwendet, wie wir im Kapitel 1 gesehen haben. Der Schweizer Mathematiker Euler hat als erster Graphen verwendet, um
MehrElectronic Design Automation (EDA) Technology Mapping
Electronic Design Automation (EDA) Technology Mapping Überblick digitale Synthese Technology Mapping Abbildung durch die Abdeckung eines Baumes Partitionierung des DAG Dekomposition und Abdeckung Beispiel
MehrRechnerarithmetik. Vorlesung im Sommersemester Eberhard Zehendner. FSU Jena. Thema: Addierschaltungen
Rechnerarithmetik Vorlesung im Sommersemester 2008 Eberhard Zehendner FSU Jena Thema: Addierschaltungen Eberhard Zehendner (FSU Jena) Rechnerarithmetik Addierschaltungen 1 / 19 Addierer für UInt 2 (l)
MehrADS: Algorithmen und Datenstrukturen
ADS: Algorithmen und Datenstrukturen Teil X Peter F. Stadler & Konstantin Klemm Bioinformatics Group, Dept. of Computer Science & Interdisciplinary Center for Bioinformatics, University of Leipzig 13.
MehrF q. Aufgaben zum elektrischen Feld. Aufgabe 1 - Größenbeziehungen im elektrischen Feld. Aufgabe 2 - Bandgenerator tan. gesucht: Kraft der Kugel
ufgaben zum elektrischen eld ufgabe - Größenbeziehungen im elektrischen eld E,79 0 3 q,5 0 4 gegeben: r 5,0 0 m gesucht: Kraft der Kugel Lösung: E q q E 4 3,5 0,790,69 Berechnung der felderzeugenden Ladung
MehrBachelorprüfung FAB + MBB (Schwerpunkt Mechatronik) / Diplomprüfung MBD Seite 1 von 8. Wintersemester 2015/16 Elektronik
Bachelorprüfung FAB + MBB (Schwerpunkt Mechatronik) / Diplomprüfung MBD Seite 1 von 8 Hochschule München Fakultät 03 Zugelassene Hilfsmittel: alle eigenen, Taschenrechner Matr.-Nr.: Hörsaal: Wintersemester
Mehra) Fügen Sie die Zahlen 39, 38, 37 und 36 in folgenden (2, 3)-Baum ein:
1 Aufgabe 8.1 (P) (2, 3)-Baum a) Fügen Sie die Zahlen 39, 38, 37 und 36 in folgenden (2, 3)-Baum ein: Zeichnen Sie, was in jedem Schritt passiert. b) Löschen Sie die Zahlen 65, 70 und 100 aus folgendem
MehrAbschlussprüfung an Fachoberschulen im Schuljahr 2002/2003
Abschlussprüfung an Fachoberschulen im Schuljahr 00/00 Haupttermin: Nach- bzw. Wiederholtermin: 0.09.00 Fachrichtung: Technik Fach: Physik Prüfungsdauer: 10 Minuten Hilfsmittel: Formelsammlung/Tafelwerk
MehrProgramm heute. Algorithmen und Datenstrukturen (für ET/IT) Übersicht: Graphen. Definition: Ungerichteter Graph. Definition: Ungerichteter Graph
Programm heute Algorithmen und Datenstrukturen (für ET/IT) Sommersemester 07 Dr. Stefanie Demirci Computer Aided Medical Procedures Technische Universität München 7 Fortgeschrittene Datenstrukturen Graphen
MehrKlausur: TI I Grundlagen der Technischen Informatik
Klausur: TI I Grundlagen der Technischen Informatik Wintersemester 2007/2008 1.Bipolarer Transistor Die Verstärkerschaltung soll mit dem im Kennlinienfeld dargestellten Arbeitspunkt konfiguriert werden.
MehrAbschnitt 18: Effizientes Suchen in Mengen
Abschnitt 18: Effizientes Suchen in Mengen 18. Effizientes Suchen in Mengen 18.1 Vollständig ausgeglichene binäre Suchbäume 18.2 AVL-Bäume 18.3 Operationen auf AVL-Bäumen 18.4 Zusammenfassung 18 Effizientes
MehrAlgorithmen und Datenstrukturen II
Algorithmen und Datenstrukturen II Algorithmen zur Textverarbeitung III: D. Rösner Institut für Wissens- und Sprachverarbeitung Fakultät für Informatik Otto-von-Guericke Universität Magdeburg Sommer 2009,
MehrVorlesung Informatik 2 Algorithmen und Datenstrukturen
Vorlesung Informatik 2 Algorithmen und Datenstrukturen (18 Bäume: Grundlagen und natürliche Suchbäume) Prof. Dr. Susanne Albers Bäume (1) Bäume sind verallgemeinerte Listen (jedes Knoten-Element kann mehr
MehrAlgorithmen und Datenstrukturen 13
19. Juli 2012 1 Besprechung Blatt 12 Fragen 2 Bäume AVL-Bäume 3 Graphen Allgemein Matrixdarstellung 4 Graphalgorithmen Dijkstra Prim Kruskal Fragen Fragen zu Blatt 12? AVL-Bäume AVL-Bäume ein AVL-Baum
MehrFriedrich-Alexander Universität Erlangen-Nürnberg Klausur in Grundlagen der Elektrotechnik für Maschinenbauer 19. September 2005
Lehrstuhl für Elektromagnetische Felder Prof Dr-Ing T Dürbaum Friedrich-Alexander niversität Erlangen-Nürnberg Klausur in Grundlagen der Elektrotechnik für Maschinenbauer 9 September 2005 Bearbeitungszeit:
MehrGrundlagen der Elektrotechnik I im Wintersemester 2017 / 2018
+//6+ Prof. Dr.-Ing. B. Schmülling Klausur Grundlagen der Elektrotechnik I im Wintersemester 7 / 8 Bitte kreuzen Sie hier Ihre Matrikelnummer an (von links nach rechts). Vor- und Nachname: 3 4 3 4 3 4
MehrTeil III. Komplexitätstheorie
Teil III Komplexitätstheorie 125 / 160 Übersicht Die Klassen P und NP Die Klasse P Die Klassen NP NP-Vollständigkeit NP-Vollständige Probleme Weitere NP-vollständige Probleme 127 / 160 Die Klasse P Ein
MehrKlausur zu Naturwissenschaftliche Grundlagen und Anwendungen
Prof. Dr. K. Wüst WS 2008/2009 FH Gießen Friedberg, FB MNI Studiengang Informatik Klausur zu Naturwissenschaftliche Grundlagen und Anwendungen 13.2.2009 Aufgabenstellung mit Musterlösungen Punkteverteilung
Mehr1.1.2 Aufladen und Entladen eines Kondensators; elektrische Ladung; Definition der Kapazität
1.1.2 Aufladen und Entladen eines Kondensators; elektrische Ladung; Definition der Kapazität Ladung und Stromstärke Die Einheit der Stromstärke wurde früher durch einen chemischen Prozess definiert; heute
MehrDiplomprüfungsklausur. Hochfrequenztechnik. 04. August 2003
Diplomprüfungsklausur Hochfrequenztechnik 4. August 23 Erreichbare Punktzahl: 1 Name: Vorname: Matrikelnummer: Fachrichtung: Platznummer: Aufgabe Punkte 1 2 3 4 5 6 7 8 9 1 11 12 Aufgabe 1 Gegeben sei
MehrUniversität Potsdam Institut für Informatik Lehrstuhl Maschinelles Lernen. Graphische Modelle. Niels Landwehr
Universität Potsdam Institut für Informatik Lehrstuhl Maschinelles Lernen Graphische Modelle iels Landwehr Überblick: Graphische Modelle Graphische Modelle: Werkzeug zur Modellierung einer Domäne mit verschiedenen
Mehr2 Das elektrostatische Feld
Das elektrostatische Feld Das elektrostatische Feld wird durch ruhende elektrische Ladungen verursacht, d.h. es fließt kein Strom. Auf die ruhenden Ladungen wirken Coulomb-Kräfte, die über das Coulombsche
MehrAufgaben zur Elektrizitätslehre
Aufgaben zur Elektrizitätslehre Elektrischer Strom, elektrische Ladung 1. In einem Metalldraht bei Zimmertemperatur übernehmen folgende Ladungsträger den Stromtransport (A) nur negative Ionen (B) negative
MehrTheoretische Informatik 1
Theoretische Informatik 1 Vollständigkeit 1 David Kappel Institut für Grundlagen der Informationsverarbeitung Technische Universität Graz 20.05.2016 Übersicht Schwere Definition CIRCUIT-VALUE ist P-schwer
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
MehrLernmodul 7 Algorithmus von Dijkstra
Folie 1 von 30 Lernmodul 7 Algorithmus von Dijkstra Quelle: http://www.map24.de Folie 2 von 30 Algorithmus von Dijkstra Übersicht Kürzester Weg von A nach B in einem Graphen Problemstellung: Suche einer
MehrFortgeschrittene Netzwerk- und Graph-Algorithmen
Fortgeschrittene Netzwerk- und Graph-Algorithmen Dr. Hanjo Täubig Lehrstuhl für Effiziente Algorithmen (Prof. Dr. Ernst W. Mayr) Institut für Informatik Technische Universität München Wintersemester 2010/11
MehrEnergie eines bewegten Körpers (kinetische Energie) Energie eines rotierenden Körpers. Energie im elektrischen Feld eines Kondensators
Formeln und Naturkonstanten 1. Allgemeines Energieströme P = v F P = ω M P = U I P = T I S Energiestromstärke bei mechanischem Energietransport (Translation) Energiestromstärke bei mechanischem Energietransport
MehrAn welche Stichwörter von der letzten Vorlesung können Sie sich noch erinnern?
An welche Stichwörter von der letzten Vorlesung können Sie sich noch erinnern? Dielektrika - auf atomarem Niveau lektrischer Strom Stromdichte Driftgeschwindigkeit i i = dq dt = JdA J = nev D Widerstand
MehrADS: Algorithmen und Datenstrukturen 2
ADS: Algorithmen und Datenstrukturen 2 Teil 5 Prof. Peter F. Stadler & Dr. Christian Höner zu Siederdissen Bioinformatik/IZBI Institut für Informatik & Interdisziplinäres Zentrum für Bioinformatik Universität
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(,,,
MehrAnwendung: gedämpfter harmonischer Oszillator (ohne Antrieb) Exponentialansatz: Eigenwertproblem: Charakteristisches Polynom: Zwischenbemerkung:
Anwendung: gedämpfter harmonischer Oszillator (ohne Antrieb) Exponentialansatz: Eigenwertproblem: Charakteristisches Polynom: Zwischenbemerkung: (3q.6) folgt auch direkt, wenn ein exp-ansatz für x(t),
MehrTechnische Universität Clausthal
Technische Universität Clausthal Klausur im Sommersemester 2012 Grundlagen der Elektrotechnik I Datum: 17. September 2012 Prüfer: Prof. Dr.-Ing. Beck Institut für Elektrische Energietechnik Univ.-Prof.
MehrAlgorithmen und Datenstrukturen 1
Algorithmen und Datenstrukturen 1 6. Vorlesung Martin Middendorf / Universität Leipzig Institut für Informatik middendorf@informatik.uni-leipzig.de studla@bioinf.uni-leipzig.de Merge-Sort Anwendbar für
MehrTeil 1: Digitale Logik
Teil 1: Digitale Logik Inhalt: Boolesche Algebra kombinatorische Logik sequentielle Logik kurzer Exkurs: Technologische Grundlagen programmierbare logische Bausteine 1 Halbleiterdiode Bauelement, durch
MehrPraktikum 2: Diode, Logische Schaltungen mit Dioden und Feldeffekttransistoren
PraktikantIn 1 Matrikelnr: PraktikantIn 2 Matrikelnr: Datum: Aufgabe 2 durchgeführt: Aufgabe 3 durchgeführt: Aufgabe 4a durchgeführt: Aufgabe 4b durchgeführt: Aufgabe 4c durchgeführt: Aufgabe 4d durchgeführt:
MehrDer Alpha-Beta-Algorithmus
Der Alpha-Beta-Algorithmus Maria Hartmann 19. Mai 2017 1 Einführung Wir wollen für bestimmte Spiele algorithmisch die optimale Spielstrategie finden, also die Strategie, die für den betrachteten Spieler
MehrTechnische Grundlagen der Informatik
Technische Grundlagen der Informatik WS 2008/2009 3. Vorlesung Klaus Kasper WS 2008/2009 Technische Grundlagen der Informatik Inhalt Wiederholung Kapazität, Induktivität Halbleiter, Halbleiterdiode Wechselspannung
Mehr7. Dynamische Datenstrukturen Bäume. Informatik II für Verkehrsingenieure
7. Dynamische Datenstrukturen Bäume Informatik II für Verkehrsingenieure Übersicht dynamische Datenstrukturen Wozu? Oft weiß man nicht von Beginn an, wieviele Elemente in einer Datenstruktur untergebracht
MehrBinary Decision Diagrams
Dr. Wolfgang Günther BDDs - Binar Decision Diagrams Dr. Wolfgang Günther BDDs - 2 Binar Decision Diagrams Anwendungen in der kombinatorischen und sequentiellen Verifikation bieten eine kanonische Darstellung
Mehr1 DFS-Bäume in ungerichteten Graphen
Praktikum Algorithmen-Entwurf (Teil 3) 06.11.2006 1 1 DFS-Bäume in ungerichteten Graphen Sei ein ungerichteter, zusammenhängender Graph G = (V, E) gegeben. Sei ferner ein Startknoten s V ausgewählt. Startet
Mehr1 DFS-Bäume in ungerichteten Graphen
Praktikum Algorithmen-Entwurf (Teil 3) 31.10.2005 1 1 DFS-Bäume in ungerichteten Graphen Sei ein ungerichteter, zusammenhängender Graph G = (V, E) gegeben. Sei ferner ein Startknoten s V ausgewählt. Startet
MehrTeil 1: Digitale Logik
Teil 1: Digitale Logik Inhalt: Boolesche Algebra kombinatorische Logik sequentielle Logik kurzer Exkurs: Technologische Grundlagen programmierbare logische Bausteine 1 Halbleiterdiode Bauelement, durch
MehrUnterschrift: Hörsaal: Platz-Nr.:
FH München FK 3 Maschinenbau Diplomprüfung Elektronik SS 8 Mittwoch 6.7.8 Prof. Dr. Höcht Zugelassene Hilfsmittel: Alle eigenen Dauer der Prüfung: 9 Minuten Name: Vorname: Sem.: nterschrift: Hörsaal: Platz-Nr.:
Mehr