Leistungsbewertung rekonfigurierbarer Verbindungsnetze für Multiprozessorsysteme

Größe: px
Ab Seite anzeigen:

Download "Leistungsbewertung rekonfigurierbarer Verbindungsnetze für Multiprozessorsysteme"

Transkript

1 Dietmar Tutsch SPP Rekonfigurierbare Rechensysteme 1 Leistungsbewertung rekonfigurierbarer Verbindungsnetze für Multiprozessorsysteme Günter Hommel und Dietmar Tutsch Institut für Technische Informatik und Mikroelektronik DietmarT@cs.tu-berlin.de

2 Dietmar Tutsch SPP Rekonfigurierbare Rechensysteme 2 Überblick 1. Einleitung 2. Multistage Interconnection Networks 3. Bidirectional Multistage Interconnection Networks 4. Rekonfigurierung 5. Modellierung 6. Zusammenfassung

3 Dietmar Tutsch SPP Rekonfigurierbare Rechensysteme 3 Einleitung Multiprozessorsysteme erlangen immer wieder neue Einsatzfelder z.b. SunRay-System benötigt (idealerweise) Multiprozessorsystem zur Bedienung von SunRay-Terminals aber auch klassische Anwendungen z.b. Hochleistungsrechnen im wissenschaftlichen Bereich

4 Dietmar Tutsch SPP Rekonfigurierbare Rechensysteme 4 Einleitung (Forts.) Multiprozessorarchitekturen Gegenstand der Forschung insbesondere: deren Kommunikationsnetze zahlreiche Kommunikationsnetze dienen als Verbindungsnetz zwischen den Prozessoren Bus Ring Crossbar Multistage Interconnection Network

5 Dietmar Tutsch SPP Rekonfigurierbare Rechensysteme 5 Multistage Interconnection Network (MIN) dtsch.: mehrstufiges Verbindungsnetz mehrstufige Koppelanordnungen (Fernmeldetechnik) theoretische Untersuchungen durch Beneš in 60er Jahren verbindet hohe Zahl von Kommunikationsteilnehmern, z.b. hohe Zahl von Prozessoren in Stufen angeordnete Crossbars mit spezieller Zwischenleitungsführung

6 Dietmar Tutsch SPP Rekonfigurierbare Rechensysteme 6 Multistage Interconnection Network (Forts.) Crossbar Kreuzschienenverteiler, Koppelvielfach jeder Eingang kann mit jedem Ausgang verbunden werden Verbindung läuft über einen Schalter 4 4-Crossbar N N-Crossbar: N 2 Kreuzungspunkte skalierbar, aber quadratisches Ansteigen der Komplexität Multistage Interconnection Networks

7 Dietmar Tutsch SPP Rekonfigurierbare Rechensysteme 7 Multistage Interconnection Networks (Forts.) Parameter eines Multistage Interconnection Networks: c c Crossbars (Switching Elements, SE) Netzgröße N N Vermittlungsart Pufferungsart Puffergröße Verlust/Backpressure Taktung spez. Eigenschaften (Banyan, Delta, etc.) Stage

8 Dietmar Tutsch SPP Rekonfigurierbare Rechensysteme 8 Multistage Interconnection Networks (Forts.) Multicast (Mehrfachsendung) durch interne Vervielfachung (CRWR) Stage weniger Pakete in den ersten Netzstufen Anzahl der Pakete wächst von der ersten zur letzten Stufe an

9 Dietmar Tutsch SPP Rekonfigurierbare Rechensysteme 9 Multistage Interconnection Networks (Forts.) MIN mit zusätzlichen Stufen fehlertolerant nichtblockierend Beispiel: Beneš-Netz Leitungsvermittlung: umdirigierend nichtblockierend Paketvermittlung: nichtblockierend

10 Dietmar Tutsch SPP Rekonfigurierbare Rechensysteme 10 Bidirectional Multistage Interconnection Networks bidirektionale Leitungen bidirektionales MIN Verwendung von Turnaround-Crossbars mit 3 Modi vorwärts rückwärts umkehr Turnaround-MIN

11 Dietmar Tutsch SPP Rekonfigurierbare Rechensysteme 11 Bidirectional Multistage Interconnection Networks (Forts.) Lokalität der Nachrichtenübertragungen

12 Dietmar Tutsch SPP Rekonfigurierbare Rechensysteme 12 Rekonfigurierung Verschieben der Leitungen bei neuer Aufgabe, so dass Lokalität entsteht Rekonfigurierung des MIN offene Fragen Zeitpunkt der Rekonfigurierung (alte Pakete!) transientes Verhalten während der Rekonfigurierung Leistungsgewinn durch Rekonfigurierung Beurteilung durch Leistungsbewertung Messung Modellierung P1 T1 P2

13 Dietmar Tutsch SPP Rekonfigurierbare Rechensysteme 13 Modellierung Modellierung Simulation mathematische Analyse Simulation Softwaremodell (keine Hardware) schnell änderbar stochastische Einflüsse: Zuverlässigkeit der Ergebnisse lange Simulationslaufzeiten Konfidenzintervall, relativer Fehler

14 Dietmar Tutsch SPP Rekonfigurierbare Rechensysteme 14 Modellierung (Forts.) mathematische Analyse Markow-Ketten (CTMC, DTMC) λ 0 1 µ zeitbehaftete Petri-Netze P1 T1 P2 Warteschlangensysteme λ µ

15 Dietmar Tutsch SPP Rekonfigurierbare Rechensysteme 15 Modellierung (Forts.) viele Werkzeuge vorhanden dennoch häufig Handarbeit * komplexe Gleichungserstellung * hohe Entwicklungszeit * Lösung: automatische Generierung der Gleichungen über Regeln

16 Dietmar Tutsch SPP Rekonfigurierbare Rechensysteme 16 Modellierung (Forts.) bisher: Multistage Interconnection Network Modellierung als zeitdiskrete Markow-Kette Annahmen zur Reduzierung des Zustandsraums gleichförmiger Verkehr Unabhängigkeit der Pakete Puffer: zwei Zustandsräume vorderstes Paket Anzahl der Pakete Stufe Stufe 0 1 2

17 Dietmar Tutsch SPP Rekonfigurierbare Rechensysteme 17 Modellierung (Forts.) Hunderte von Zustandsübergängen Übergänge nach gleichem Muster innerhalb bestimmter Zustandsgruppen Beispiel: Übergang (Paketanzahl): 4 Pakete 3 Pakete gleich zu: 3 Pakete 2 Pakete Idee: Entwicklung von Regeln, wie Gleichungen aufzustellen sind automatische Gleichungsgenerierung leichte Änderung der Regeln bei Variation des Netzes ungleichförmiger Verkehr und bidirektionale MIN: erhöhte Anzahl der Regeln, aber Struktur der Regeln bleibt

18 Dietmar Tutsch SPP Rekonfigurierbare Rechensysteme 18 Modellierung (Forts.) Vergleich verschiedener Modellierungsmethoden Modell Entwicklung Auswertung Genauigkeit Speicher Petri-Netz 100 Personenstunden > 2 Wochen 3,0% 8,6 MByte iteratives Petri-Netz 200 Personenstunden 20 Stunden 4,7% 5,5 MByte C++/Akaroa 400 Personenstunden 4 Stunden 7,1 MByte Analyse 1500 Personenstunden < 1 Sekunde 3,1% 0,9 MByte generierte Analyse 400 Personenstunden < 1 Sekunde 3,1% 0,9 MByte

19 Dietmar Tutsch SPP Rekonfigurierbare Rechensysteme 19 Zusammenfassung und Ausblick Multistage Interconnection Network als Kommunikationsnetz eines Multiprozessorsystems oder Multi-FPGA-Systems Rekonfigurierung je nach benötigter Lokalität Arbeitsschritte der ersten Phase mathematisches Modell eines bidirektionalen MIN ungleichförmiger und transienter Verkehr Validierung durch Simulation spätere Phase Konzepte zur Verkehrsvorhersage Hardware-Realisierung

Messung und Modellierung paralleler und verteilter Rechensysteme

Messung und Modellierung paralleler und verteilter Rechensysteme Messung und Modellierung paralleler und verteilter Rechensysteme Von Dr.-Ing. Rainer Klar Dipl.-Inf. Peter Dauphin Dr.-Ing. Franz Hartleb Dr.-Ing. Richard Hofmann Dr.-Ing. Bernd Mohr Dr.-Ing. Andreas Quick

Mehr

Agenda. Theorie und Einsatz von Verbindungseinrichtungen in parallelen Rechnersystemen. Agenda. Dynamische Verbindungsnetzwerke

Agenda. Theorie und Einsatz von Verbindungseinrichtungen in parallelen Rechnersystemen. Agenda. Dynamische Verbindungsnetzwerke Agenda Center for Information Services and High Performance Computing (ZIH) Einführung Theorie und Einsatz von Verbindungseinrichtungen in parallelen Rechnersystemen Dynamische Verbindungsnetzwerke 9.

Mehr

Foliensatz. Theorie und Einsatz von Verbindungseinrichtungen in parallelen Rechnersystemen

Foliensatz. Theorie und Einsatz von Verbindungseinrichtungen in parallelen Rechnersystemen Foliensatz Center for Information Services and High Performance Computing (ZIH) Theorie und Einsatz von Verbindungseinrichtungen in parallelen Rechnersystemen Dynamische Verbindungsnetzwerke 8. Juni Verfügbarkeit

Mehr

Skalierbare Rechensysteme für Echtzeitanwendungen

Skalierbare Rechensysteme für Echtzeitanwendungen Skalierbare Rechensysteme für Echtzeitanwendungen Institut für Informatik TU Clausthal Echtzeit 2011: Herausforderungen durch Echtzeitbetrieb 3. und 4. November 2011 in Boppard am Rhein Multitasking Task

Mehr

Modellierung und Bewertung von Verfahren zur Datenverbreitung in Ad Hoc Netzen

Modellierung und Bewertung von Verfahren zur Datenverbreitung in Ad Hoc Netzen Modellierung und Bewertung von Verfahren zur Datenverbreitung in Ad Hoc Netzen Oliver P. Waldhorst Basierend auf gemeinsamen Arbeiten mit Christoph Lindemann, Universität Leipzig, Mobile Ad-Hoc Netze (MANET)

Mehr

Modellierungsansatz für die realitätsnahe Abbildung der technischen Verfügbarkeit

Modellierungsansatz 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

Mehr

Foliensatz. Theorie und Einsatz von Verbindungseinrichtungen in parallelen Rechnersystemen

Foliensatz. Theorie und Einsatz von Verbindungseinrichtungen in parallelen Rechnersystemen Foliensatz Center for Information Services and High Performance Computing (ZIH) Theorie und Einsatz von Verbindungseinrichtungen in parallelen Rechnersystemen Dynamische Verbindungsnetzwerke. Juli Verfügbarkeit

Mehr

Grundlagen der Informatik III Wintersemester 2010/ Vorlesung Dr.-Ing. Wolfgang Heenes

Grundlagen der Informatik III Wintersemester 2010/ Vorlesung Dr.-Ing. Wolfgang Heenes Grundlagen der Informatik III Wintersemester 2010/2011 28. Vorlesung Dr.-Ing. Wolfgang Heenes int main() { printf("hello, world!"); return 0; } msg: main:.data.asciiz "Hello, world!".text.globl main la

Mehr

Einführung in die Simulation. Dr. Christoph Laroque Wintersemester 11/12. Dresden,

Einführung in die Simulation. Dr. Christoph Laroque Wintersemester 11/12. Dresden, Fakultät Informatik, Institut für Angewandte Informatik, Professur Modellierung und Simulation Einführung in die Simulation Dr. Christoph Laroque Wintersemester 11/12 Dresden, 11.10.2011 11.10.2011 Einführung

Mehr

1-, 2-, 3D-Modelle: Überblick, Vergleich und Anwendung

1-, 2-, 3D-Modelle: Überblick, Vergleich und Anwendung Fakultät Informatik > Angewandte Informatik > Technische Informationssysteme Studentischer Vortrag 1-, 2-, 3D-Modelle: Überblick, Vergleich und Anwendung Mai, Tuan Linh Dresden, 17.Jan.2011 Inhalt 1. Motivation

Mehr

Schwerpunktprogramm 1148 Rekonfigurierbare Rechensysteme. Rekonfigurierbare Controller

Schwerpunktprogramm 1148 Rekonfigurierbare Rechensysteme. Rekonfigurierbare Controller Schwerpunktprogramm 1148 Rekonfigurierbare Rechensysteme Rekonfigurierbare Controller Roland Kasper Thomas Reinemann Institut für Mechatronik und Antriebstechnik Otto-von-Guericke-Universität Magdeburg

Mehr

Generierung von Steuerungsprogrammcode für SPS und μc aus Petri-Netz-Modellen

Generierung von Steuerungsprogrammcode für SPS und μc aus Petri-Netz-Modellen Fachhochschule Köln Cologne University of Applied Sciences Fakultät für Informations-, Medien- und Elektrotechnik Institut für Automatisierungstechnik Labor für Informations- und Automatisierungstechnik

Mehr

Prozeßautomatisierung

Prozeßautomatisierung Prozeßautomatisierung Aufgabenstellung, Realisierung und Anwendungsbeispiele Von Dr.-Ing. Gunter Bolch Universität Erlangen-Nürnberg und Dipl.-Inform. Martina-Maria Seidel, Berkeley 2., überarbeitete und

Mehr

Kapitel 4 Ereignisdiskrete Systeme (V)

Kapitel 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

Mehr

Animation vielfältiger Prozeßabläufe mit Hilfe von Petri-Netzen

Animation vielfältiger Prozeßabläufe mit Hilfe von Petri-Netzen Animation vielfältiger Prozeßabläufe mit Hilfe von Petri-Netzen Georg Hohmann, Matthias Schleinitz Bauhaus-Universität Weimar, Fakultät Bauingenieurwesen Professur Computergestützte Techniken Coudraystraße

Mehr

Vorlesung Hochleistungsrechnen SS 2010 (c) Thomas Ludwig 16

Vorlesung Hochleistungsrechnen SS 2010 (c) Thomas Ludwig 16 Vorlesung Hochleistungsrechnen SS 2010 (c) Thomas Ludwig 16 Vorlesung Hochleistungsrechnen SS 2010 (c) Thomas Ludwig 17 Die beiden Zitate sind dem Buch von Bauke/Mertens über Cluster Computing entnommen.

Mehr

Aktuelle Trends bei der Simulation mechatronischer Systeme

Aktuelle Trends bei der Simulation mechatronischer Systeme Hauptseminar Technische Informationssysteme Dresden,18.06.2009 Gliederung Einleitung Modellierungssprache MODELICA Trends bei der Simulation VHDL-AMS Projekt MODELISAR Zusammenfassung Folie 2 Einleitung

Mehr

Abkürzungen. Kapitel 1 - Einleitung Stand der Automobilelektronik Historische Entwicklung Gegenwärtige Probleme 2

Abkürzungen. Kapitel 1 - Einleitung Stand der Automobilelektronik Historische Entwicklung Gegenwärtige Probleme 2 Inhalt Abkürzungen X Kapitel 1 - Einleitung 1 1.1 Stand der Automobilelektronik 1 1.1.1 Historische Entwicklung 1 1.1.2 Gegenwärtige Probleme 2 1.2 Zielsetzung 5 1.3 Aufbau der Arbeit 6 1.4 Veröffentlichungen

Mehr

Erweiterung eines Verfahrens zur automatisierten Parameteridentifikation eines Fahrzeugmodells

Erweiterung eines Verfahrens zur automatisierten Parameteridentifikation eines Fahrzeugmodells Erweiterung eines Verfahrens zur automatisierten Parameteridentifikation eines Fahrzeugmodells Sebastian Wildfeuer Parameteridentifikation > 23. September 2008 > Folie 1 Themenübersicht Ausgangssituation,

Mehr

Validierung von Strukturmodellen mit Messdaten aus natürlicher Erregung

Validierung von Strukturmodellen mit Messdaten aus natürlicher Erregung Validierung von Strukturmodellen mit Messdaten aus natürlicher Erregung Gerrit Übersicht Antwortmessung unter natürlicher Erregung Systemidentifikation mit ARMA-Modellen Modellvalidierung mit iterativen

Mehr

Software Engineering in der Praxis

Software Engineering in der Praxis Software Engineering in der Praxis Praktische Übungen Marc Spisländer Josef Adersberger Lehrstuhl für Software Engineering Friedrich-Alexander-Universität Erlangen-Nürnberg 10. November 2008 Inhalt Nachlese

Mehr

Vortrag zum Hauptseminar Hardware/Software Co-Design

Vortrag zum Hauptseminar Hardware/Software Co-Design Fakultät Informatik Institut für Technische Informatik, Professur für VLSI-Entwurfssysteme, Diagnostik und Architektur Vortrag zum Hauptseminar Hardware/Software Co-Design Robert Mißbach Dresden, 02.07.2008

Mehr

Kapitel 4: Analyse von Petrinetzen

Kapitel 4: Analyse von Petrinetzen Kapitel 4: Analyse von Petrinetzen 1. Beispiele 2. Analyseansatz 3. Markierungsgraph 4. Beschränktheit 5. State Space Explosion: Beispiel 6. Komplementbildung 7. Zusammenhängend 8. Tot, lebendig, verklemmungsfrei

Mehr

ABSICHERUNGS- UND BEWERTUNGSMETHODEN FÜR KOOPERATIVE HOCHAUTOMATISIERTE FAHRZEUGE

ABSICHERUNGS- UND BEWERTUNGSMETHODEN FÜR KOOPERATIVE HOCHAUTOMATISIERTE FAHRZEUGE ABSICHERUNGS- UND BEWERTUNGSMETHODEN FÜR KOOPERATIVE HOCHAUTOMATISIERTE FAHRZEUGE AAET-2017, Braunschweig Sven Hallerbach, Ulrich Eberle (Adam Opel AG) Frank Köster (DLR) www.opel.com MOTIVATION Kooperatives

Mehr

Rechnernetze I. Rechnernetze I. 1 Einführung SS Universität Siegen Tel.: 0271/ , Büro: H-B 8404

Rechnernetze I. Rechnernetze I. 1 Einführung SS Universität Siegen Tel.: 0271/ , Büro: H-B 8404 Rechnernetze I SS 2012 Universität Siegen rolanda.dwismuellera@duni-siegena.de Tel.: 0271/740-4050, Büro: H-B 8404 Stand: 20. April 2012 Betriebssysteme / verteilte Systeme Rechnernetze I (1/12) i Rechnernetze

Mehr

HS Technische Informatik

HS Technische Informatik Technische Universität Dresden Fakultät Informatik Institut Technische Informatik HS Technische Informatik Architektur eines dynamisch rekonfigurierbaren Rechnersystems Johannes.Goerner@mailbox.tu-dresden.de

Mehr

Industrie Workshop Optische Messtechnik für Präzisionswerkzeuge

Industrie Workshop Optische Messtechnik für Präzisionswerkzeuge Industrie Workshop Optische Messtechnik für Präzisionswerkzeuge Optisches Messen von geometrischen Kenngrößen an Präzisionswerkzeugen mittels neuartigem Messverfahren 7. Juni 2011 Holger Hage Inhalt 1.

Mehr

Grundlagen der Wirtschafts informatik

Grundlagen der Wirtschafts informatik Andreas Fink Gabriele Schneidereit Stefan Voß Grundlagen der Wirtschafts informatik Zweite, überarbeitete Auflage mit 78 Abbildungen und 16 Tabellen Physica-Verlag Ein Unternehmen von Springer Vorwort

Mehr

Die Erweiterung des Internets zum mobilen Teilnehmer

Die Erweiterung des Internets zum mobilen Teilnehmer Die Erweiterung des Internets zum mobilen Teilnehmer Ansätze zur zur verkehrstheoretischen Dimensionierung paketvermittelnder Funknetze ITG Workshop IP Netzplanung, IP Netzmanagement und Optimierung Würzburg,

Mehr

Modell zur Einflussanalyse Ein Modell zur Einflussanalyse von Methodenänderungen in Entwicklungsprozessen

Modell zur Einflussanalyse Ein Modell zur Einflussanalyse von Methodenänderungen in Entwicklungsprozessen Modell zur Einflussanalyse Ein Modell zur Einflussanalyse von Methodenänderungen in Entwicklungsprozessen Roland Koppe, Stefan Häusler, Axel Hahn 2 Übersicht Einleitung und Motivation Ansatz und Methodik

Mehr

Systemtheorie 1. Einführung Systemtheorie 1 Formale Systeme 1 # WS 2006/2007 Armin Biere JKU Linz Revision: 1.4

Systemtheorie 1. Einführung Systemtheorie 1 Formale Systeme 1 # WS 2006/2007 Armin Biere JKU Linz Revision: 1.4 Einführung intro 1 Grobklassifizierung r Methoden in der Informatik intro 2 Systemtheorie 1 Systeme 1 #342234 http://fmv.jku.at/fs1 WS 2006/2007 Johannes Kepler Universität Linz, Österreich Univ. Prof.

Mehr

10 Statistisches Schätzen

10 Statistisches Schätzen 10 Statistisches Schätzen 620 10 Statistisches Schätzen 10.1 Punktschätzung 623 10.1.1 Schätzer und ihre Gütekriterien 623 10.1.2 Erwartungstreue 627 10.1.3 Erwartete quadratische Abweichung (MSE) 634

Mehr

Protokoll-Erkennung. Andreas Floß Seminar: Internet Measurement Berlin, den 30. Juli 2007

Protokoll-Erkennung. Andreas Floß Seminar: Internet Measurement Berlin, den 30. Juli 2007 Protokoll-Erkennung Andreas Floß Seminar: Internet Measurement Berlin, den 30. Juli 2007 Technische Universität Berlin Fakultät IV Elektrotechnik und Informatik Intelligente Netze und Management verteilter

Mehr

WAGO BACnet-Controller. Der Controller für die Gebäudeautomation

WAGO BACnet-Controller. Der Controller für die Gebäudeautomation WAGO BACnet-Controller Der Controller für die Gebäudeautomation Der BACnet-Building Controller Leistungsstark und flexibel für alle Anwendungen Der WAGO BACnet-Controller verbindet die Vorteile des vielfach

Mehr

Hardware Logik-Analysatoren

Hardware Logik-Analysatoren Hardware Logik-Analysatoren Dr.-Ing. Matthias Sand Lehrstuhl für Informatik 3 (Rechnerarchitektur) Friedrich-Alexander-Universität Erlangen-Nürnberg WS 2010/2011 Hardware Logik-Analysatoren 1/24 2010-10-12

Mehr

Systemtheorie 1. Formale Systeme 1 # WS 2006/2007 Johannes Kepler Universität Linz, Österreich

Systemtheorie 1. Formale Systeme 1 # WS 2006/2007 Johannes Kepler Universität Linz, Österreich Einführung 1 Systemtheorie 1 Formale Systeme 1 #342234 http://fmv.jku.at/fs1 WS 2006/2007 Johannes Kepler Universität Linz, Österreich Univ. Prof. Dr. Armin Biere Institut für Formale Modelle und Verifikation

Mehr

Inhaltsverzeichnis. Teil I Grundlagen 1

Inhaltsverzeichnis. Teil I Grundlagen 1 xv Teil I Grundlagen 1 1 Modelle und Modellierung 3 1.1 Modelle, die uns umgeben.................................. 3 1.2 Modelltheorie........................................... 5 1.3 Ziele beim Einsatz

Mehr

Paketvermittlung (1/9)

Paketvermittlung (1/9) Paketvermittlung (1/9) 1 Daten- und Telekommunikationsnetze sind traditionell leitungsvermittelt Leitungsvermittelte Netze Switching Networks, z.b. Telefonnetzwerk Kommunikationspartnern wird stehende

Mehr

Musterklausur 2 für PMfE

Musterklausur 2 für PMfE Musterklausur 2 für PMfE (Hauptklausur SS '94) Aufgabe (9 Punkte) Fragenkatalog a) Erläutern Sie die Begriffe mittlere Lebensdauer (MTTF), mittlere Ausfalldauer (MTTR) und mittlerer Ausfallsabstand (MTBF).

Mehr

6. Kontinuierliche Zufallsgrößen. Beispiel 1: Die Exponentialverteilungen Sei λ > 0. Setzen

6. Kontinuierliche Zufallsgrößen. Beispiel 1: Die Exponentialverteilungen Sei λ > 0. Setzen 6. Kontinuierliche Zufallsgrößen Definition: Eine Z. G. ξ ist absolut stetig mit (Wahrscheinlichkeits-) Dichte f : R R, wenn gilt: P ( a ξ < b ) = b a f(x) dx (a < b) allgem. Eigenschaften einer Dichte

Mehr

Warum Modellierung? OE-Vorlesung 2016 Einführung in Petrinetze. Was ist ein Modell? Und warum Petrinetze? Petrinetze sind ein Modellierungswerkzeug.

Warum Modellierung? OE-Vorlesung 2016 Einführung in Petrinetze. Was ist ein Modell? Und warum Petrinetze? Petrinetze sind ein Modellierungswerkzeug. Warum Modellierung? OE-Vorlesung 016 Einführung in Petrinetze Dr. Lawrence Cabac cabac@informatik.uni-hamburg.de Folien: Dr. Frank Heitmann Fachbereich Informatik Universität Hamburg Petrinetze sind ein

Mehr

Einführung. Rechnerarchitekturen Entwicklung und Ausführung von Programmen Betriebssysteme

Einführung. Rechnerarchitekturen Entwicklung und Ausführung von Programmen Betriebssysteme Teil I Einführung Überblick 1 2 Geschichte der Informatik 3 Technische Grundlagen der Informatik Rechnerarchitekturen Entwicklung und Ausführung von Programmen Betriebssysteme 4 Daten, Informationen, Kodierung

Mehr

Distributed Memory Computer (DMC)

Distributed Memory Computer (DMC) Distributed Memory Computer (DMC) verteilter Speicher: jeder Prozessor kann nur auf seinen lokalen Speicher zugreifen Kopplung mehrerer Prozessoren über E/A-Schnittstellen und Verbindungsnetzwerk, nicht

Mehr

Ereignisdiskrete Systeme

Ereignisdiskrete 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

Mehr

Software Engineering

Software Engineering Jochen Ludewig Horst Lichter Software Engineering Grundlagen, Menschen, Prozesse, Techniken 3., korrigierte Auflage dpunkt.verlag Teil i Grundlagen 1 1 Modelle und Modellierung 3 1.1 Modelle, die uns umgeben

Mehr

Serientaugliche quadratisch optimale Regelung für

Serientaugliche quadratisch optimale Regelung für TECHNISCHE UNIVERSITÄT MÜNCHEN Lehrstuhl für Regelungstechnik Serientaugliche quadratisch optimale Regelung für semiaktive Pkw-Fahrwerke Andreas F. Unger Vollständiger Abdruck der von der Fakultät für

Mehr

Der Einsatz von Promotions als Mittel der Verkaufsförderung

Der Einsatz von Promotions als Mittel der Verkaufsförderung Mag. (FH) Katrin Voppichler, MSc Der Einsatz von Promotions als Mittel der Verkaufsförderung Eine Kosten-Nutzen-Analyse VDM Verlag Dr. Müller INHALTSVERZEICHNIS ABKÜRZUNGSVERZEICHNIS ABBILDUNGSVERZEICHNIS

Mehr

Rekonfigurierbare Komponenten für anwendungsspezifische Prozessorarchitekturen

Rekonfigurierbare Komponenten für anwendungsspezifische Prozessorarchitekturen Rekonfigurierbare Komponenten für anwendungsspezifische Prozessorarchitekturen Lehrstuhl für Allgemeine Elektrotechnik und DV-Systeme RWTH Aachen Übersicht Motivation Vorarbeiten exemplarische Optimierungen

Mehr

Evaluation of Switch-to-Switch Header Flit Protection Schemes in Networks-on-Chip

Evaluation of Switch-to-Switch Header Flit Protection Schemes in Networks-on-Chip Evaluation of Switch-to-Switch Header Flit Protection Schemes in Networks-on-Chip Martin Gag, Philipp Gorski, Tim Wegner, Dirk Timmermann Universität Rostock Institut für Angewandte Mikroelektronik und

Mehr

Petri-Netzbasierte Modellierung und Analyse von Risikoaspekten in Geschäftsprozessen

Petri-Netzbasierte Modellierung und Analyse von Risikoaspekten in Geschäftsprozessen Petri-Netzbasierte Modellierung und Analyse von Risikoaspekten in Geschäftsprozessen Zur Erlangung des akademischen Grades eines Doktors der Wirtschaftswissenschaften (Dr. rer. pol.) von der Fakultät für

Mehr

Simulationsbasierte Maximum-Likelihood Schätzung epidemiologischer Parameter

Simulationsbasierte Maximum-Likelihood Schätzung epidemiologischer Parameter Simulationsbasierte Maximum-Likelihood Schätzung epidemiologischer Parameter Hans-Peter Dürr Martin Eichner, Klaus Dietz 20. Juni 2001 Institut für Medizinische Biometrie Universität Tübingen Universitätsklinikum

Mehr

4 Stand der Forschung... 45

4 Stand der Forschung... 45 Inhaltsverzeichnis VII Inhaltsverzeichnis Vorwort... V Inhaltsverzeichnis... VII Abbildungsverzeichnis... XIII Abkürzungsverzeichnis...XIX Symbolverzeichnis...XXI 1 Einleitung... 1 1.1 Ausgangssituation...

Mehr

1 Einleitung Hintergründe der Arbeit Zielsetzung und Aufbau der Arbeit 8. 2 Definitionen und Grundlagen 11

1 Einleitung Hintergründe der Arbeit Zielsetzung und Aufbau der Arbeit 8. 2 Definitionen und Grundlagen 11 Inhaltsverzeichnis 1 Einleitung 1 1.1 Hintergründe der Arbeit 1 1.2 Zielsetzung und Aufbau der Arbeit 8 2 Definitionen und Grundlagen 11 2.1 Überblick 12 2.2 Externe und bankinterne Stresstests 12 2.2.1

Mehr

Projekte im Fachgebiet Elektronische Mess- und Diagnosetechnik

Projekte im Fachgebiet Elektronische Mess- und Diagnosetechnik Projekte im Fachgebiet Elektronische Mess- und Diagnosetechnik Prof. Dr.-Ing. Clemens Gühmann, Noushin Mokhtari, Mateusz Grzeszkowski, Hauke Brunken, Dengfeng Shen, José-Luis Bote-Garcia Technische Universität

Mehr

Modellierung und Validierung von LVRT-Simulationsmodellen Dezentraler Erzeugungseinheiten

Modellierung und Validierung von LVRT-Simulationsmodellen Dezentraler Erzeugungseinheiten Modellierung und Validierung von LVRT-Simulationsmodellen Dezentraler Erzeugungseinheiten Norbert Essl Herwig Renner IFEA, TU Graz 1 Inhalt Einleitung Zertifizierung von Erzeugungseinheiten und anlagen

Mehr

Diskrete Ereignis Simulation. Proseminar: Algorithmen der Verkehrssimulation Jörg Blank

Diskrete Ereignis Simulation. Proseminar: Algorithmen der Verkehrssimulation Jörg Blank Diskrete Ereignis Simulation Proseminar: Algorithmen der Verkehrssimulation Jörg Blank Definitionen zeitdiskrete Simulation System: Auschnitt der Realität Ereignis: Zustandsänderungen in Systemen Simulation:

Mehr

Einführungsphase. Grundlegende Eigenschaften von Potenz-, Ganzrationale-, Exponential- und Sinusfunktionen

Einführungsphase. Grundlegende Eigenschaften von Potenz-, Ganzrationale-, Exponential- und Sinusfunktionen Einführungsphase Unterrichtsvorhaben I Thema : Beschreibung der Eigenschaften von Funktionen und deren Nutzung im Kontext (E-A1) Zentrale Kompetenzen: Werkzeuge nutzen Inhaltsfeld: Funktionen und Analysis

Mehr

Perzeptronen. Katrin Dust, Felix Oppermann Universität Oldenburg, FK II - Department für Informatik Vortrag im Rahmen des Proseminars 2004

Perzeptronen. Katrin Dust, Felix Oppermann Universität Oldenburg, FK II - Department für Informatik Vortrag im Rahmen des Proseminars 2004 Perzeptronen Katrin Dust, Felix Oppermann Universität Oldenburg, FK II - Department für Informatik Vortrag im Rahmen des Proseminars 2004 1/25 Gliederung Vorbilder Neuron McCulloch-Pitts-Netze Perzeptron

Mehr

DynaTraffic Modelle und mathematische Prognosen. Simulation der Verteilung des Verkehrs mit Hilfe von Markov-Ketten

DynaTraffic Modelle und mathematische Prognosen. Simulation der Verteilung des Verkehrs mit Hilfe von Markov-Ketten DynaTraffic Modelle und mathematische Prognosen Simulation der Verteilung des Verkehrs mit Hilfe von Markov-Ketten Worum geht es? Modelle von Verkehrssituationen Graphen: Kanten, Knoten Matrixdarstellung

Mehr

Überblick. Einleitung. Befehlsschnittstelle Mikroarchitektur Speicherarchitektur Ein-/Ausgabe Multiprozessorsysteme,...

Überblick. Einleitung. Befehlsschnittstelle Mikroarchitektur Speicherarchitektur Ein-/Ausgabe Multiprozessorsysteme,... Überblick Einleitung Lit., Motivation, Geschichte, v.neumann- Modell, VHDL Befehlsschnittstelle Mikroarchitektur Speicherarchitektur Ein-/Ausgabe Multiprozessorsysteme,... Kap.6 Multiprozessorsysteme Einsatz

Mehr

THESPIS.DIGITAL. Johannes A. Löcker-Herschkowitz. Christian Wagner

THESPIS.DIGITAL. Johannes A. Löcker-Herschkowitz. Christian Wagner THESPIS.DIGITAL Prototyp eines webbasierten digitalen Archivs für die Wandertruppenforschung im deutschsprachigen Raum Johannes A. Löcker-Herschkowitz j.a.loecker-herschkowitz@univie.ac.at Christian Wagner

Mehr

Das Unmessbare messen Softsensoren zur Prozessanalyse und Qualitätskontrolle. Christoph Kugler, Thomas Hochrein 26. Mai 2011

Das Unmessbare messen Softsensoren zur Prozessanalyse und Qualitätskontrolle. Christoph Kugler, Thomas Hochrein 26. Mai 2011 Das Unmessbare messen Softsensoren zur Prozessanalyse und Qualitätskontrolle Christoph Kugler, Thomas Hochrein 26. Mai 2011 Das in Echtzeit und inline Unmessbare messen Softsensoren zur Prozessanalyse

Mehr

BACHELORSTUDIUM MATHEMATIK

BACHELORSTUDIUM MATHEMATIK Kooperationsprojekt NAWI-GRAZ BACHELORSTUDIUM MATHEMATIK Matrikel-Nr. Name, Vorname(n) Kennzeichnung des Studiums B 0 3 3 3 2 1 Grundbegriffe der Mathematik 6,5 9,5 Einführung in das Studium der Mathematik*

Mehr

Neuronale Neize. Eine Einfuhrung in die Neuroinfomnatik selbstorganisierender Netzwerke ADDISON-WESLEY PUBLISHING COMPANY

Neuronale Neize. Eine Einfuhrung in die Neuroinfomnatik selbstorganisierender Netzwerke ADDISON-WESLEY PUBLISHING COMPANY Helge Ritter/Thomas Marrineiz/Klaus Schulten Neuronale Neize Eine Einfuhrung in die Neuroinfomnatik selbstorganisierender Netzwerke Technische Hochschule Darmstadt FACHBEREICH INFORMATIK B! B k±ojjtlus

Mehr

Multicore in Echtzeitsystemen (1)

Multicore in Echtzeitsystemen (1) Multicore in Echtzeitsystemen (1) Liyuan Zhang Hauptseminar AKSS im SS 2009 Ausgewählte Kapitel der Systemsoftware: Multicore- und Manycore-Systeme Überblick Einleitung Uniprozessor in Echtzeitsystemen

Mehr

Verhaltensbeschreibung und Spezifikationssprachen

Verhaltensbeschreibung und Spezifikationssprachen TECHNISCHE UNIVERSITÄT ILMENAU Integrierte Kommunikationssysteme http://www.tu-ilmenau.de/iks Verhaltensbeschreibung und Spezifikationssprachen Verhaltensmodelle Zustandsautomaten (FSM) Nicht-deterministische

Mehr

Management von Unscharfen in der Produktentstehung

Management von Unscharfen in der Produktentstehung Reihe: Produktionswirtschaft und Industriebetriebslehre Band 16 Herausgegeben von Prof. Dr. Jörg Schlüchtermann, Bayreuth Dr. Heike Rausch Management von Unscharfen in der Produktentstehung Dargestellt

Mehr

Seminar Stochastische Unternehmensmodelle Varianzreduzierende Techniken

Seminar Stochastische Unternehmensmodelle Varianzreduzierende Techniken Seminar Stochastische Unternehmensmodelle Varianzreduzierende Techniken 25. Juni 2015 1 / 37 Übersicht 1. Ziel des Vortrags 2. Einleitung 3. Varianzreduzierende Techniken Bedingtes Monte Carlo Importance

Mehr

Numerische Methoden. Thomas Huckle Stefan Schneider. Eine Einführung für Informatiker, Naturwissenschaftler, Ingenieure und Mathematiker.

Numerische Methoden. Thomas Huckle Stefan Schneider. Eine Einführung für Informatiker, Naturwissenschaftler, Ingenieure und Mathematiker. Thomas Huckle Stefan Schneider Numerische Methoden Eine Einführung für Informatiker, Naturwissenschaftler, Ingenieure und Mathematiker 2. Auflage Mit 103 Abbildungen und 9 Tabellen 4Q Springer Inhaltsverzeichnis

Mehr

Einfacher und effektiver Einstieg in die Datenanalyse in der Smart Maintenance

Einfacher und effektiver Einstieg in die Datenanalyse in der Smart Maintenance Einfacher und effektiver Einstieg in die Datenanalyse in der Smart Maintenance Science Center der maintenance 2018 in Dortmund In diesem Vortrag untersuchen wir die folgenden Fragen: Was bedeutet Smart

Mehr

Energiemodelle für Komponenten vernetzter eingebetteter Systeme

Energiemodelle für Komponenten vernetzter eingebetteter Systeme Energiemodelle für Komponenten vernetzter eingebetteter Systeme Daniel Friesel daniel.friesel@udo.edu TU Dortmund, Informatik XII Arbeitsgruppe Eingebettete Systemsoftware 1. März 2018 Motivation Wie lange

Mehr

Optimierung von Strahldüsen durch Simulation

Optimierung von Strahldüsen durch Simulation 7. Tagung Industriearbeitskreis Trockeneisstrahlen Optimierung von Strahldüsen durch Simulation Produktionstechnisches Zentrum Berlin 25. November 2005 Michael Kretzschmar Gliederung Seite 2 Computational

Mehr

Grundlagen der Spieleprogrammierung

Grundlagen der Spieleprogrammierung Grundlagen der Spieleprogrammierung Teil I: 3D-Graphik Kapitel 8: Hardware Peter Sturm Universität Trier Outline 1. Übersicht und Motivation 2. Mathematische Grundlagen 3. Das Ideal: Photorealistisch (Raytracing,

Mehr

Endliche Automaten. Im Hauptseminar Neuronale Netze LMU München, WS 2016/17

Endliche 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

Mehr

Wahrscheinlichkeitsrechnung

Wahrscheinlichkeitsrechnung Statistik und Wahrscheinlichkeitsrechnung Prof. Dr. Michael Havbro Faber 28.05.2009 1 Korrektur zur letzten Vorlesung Bsp. Fehlerfortpflanzung in einer Messung c B a 2 2 E c Var c a b A b 2 2 2 n h( x)

Mehr

Proseminar Technische Informatik: Rare Event Simulation. Jan Sydow Fachbereich Informatik Institut für Mathematik/Informatik

Proseminar Technische Informatik: Rare Event Simulation. Jan Sydow Fachbereich Informatik Institut für Mathematik/Informatik Proseminar Technische Informatik: Rare Event Simulation Jan Sydow Fachbereich Informatik Institut für Mathematik/Informatik Gliederung Motivation Methoden Standardsimulation Importance Sampling Importance

Mehr

Sensitivitäts- und Robustheitsanalyse beim Clinchen dicker Stahlbleche

Sensitivitäts- und Robustheitsanalyse beim Clinchen dicker Stahlbleche Sensitivitäts- und Robustheitsanalyse beim Clinchen dicker Stahlbleche Von der Fakultät für Maschinenbau der Technischen Universität Chemnitz genehmigte Dissertation zur Erlangung des akademischen Grades

Mehr

Anwendung stochastischer und geometrischer Analysen zur systematischen Robustheitsuntersuchung im Strukturcrash

Anwendung stochastischer und geometrischer Analysen zur systematischen Robustheitsuntersuchung im Strukturcrash Anwendung stochastischer und geometrischer Analysen zur systematischen Robustheitsuntersuchung im Strukturcrash D. Weigert, Prof. F. Duddeck (TU München); S. Brack, Dr. H. Schluder (AUDI AG) DYNAmore GmbH,

Mehr

e-gap Statusseminar Smart Grid Controller 12. November 2015 Imagination at work.

e-gap Statusseminar Smart Grid Controller 12. November 2015 Imagination at work. e-gap Statusseminar Smart Grid Controller 12. November 2015 Imagination at work. Projektziele Technische Herausforderung und Lösungsansatz Smart Grid Controller - Projektziel Entwicklung eines nachhaltigen

Mehr

Fehlerdiagnose von transienten Fehlern in quantisierten Systemen

Fehlerdiagnose von transienten Fehlern in quantisierten Systemen Fehlerdiagnose von transienten Fehlern in quantisierten Systemen Hauptseminar Andreas Kost Gliederung Einührung Qualitative Modellierung Diagnose von quantisierten Systemen Zusammenassung & Ausblick 1.

Mehr

TRANSSTABIL-EE. Transiente Stabilität in zukünftigen Verbundnetzen mit hohem Anteil an erneuerbaren Energien Zwischenergebnis September 2016

TRANSSTABIL-EE. Transiente Stabilität in zukünftigen Verbundnetzen mit hohem Anteil an erneuerbaren Energien Zwischenergebnis September 2016 TRANSSTABIL-EE Transiente Stabilität in zukünftigen Verbundnetzen mit hohem Anteil an erneuerbaren Energien Zwischenergebnis September 2016 Laufzeit: April 2015 März 2018 Förderkennzeichen 0325796A Berlin,

Mehr

Auslegung der Tintenversorgung einer industriellen Ink-Jet- Druckmaschine mittels Simscape Matlab Expo 2018 Dr. Nicklas Norrick,

Auslegung der Tintenversorgung einer industriellen Ink-Jet- Druckmaschine mittels Simscape Matlab Expo 2018 Dr. Nicklas Norrick, Auslegung der Tintenversorgung einer industriellen Ink-Jet- Druckmaschine mittels Simscape Matlab Expo 2018 Dr. Nicklas Norrick, 26.06.2018 Agenda 1. Vorstellung Heidelberger Druckmaschinen AG 2. Grundlegendes

Mehr

Qualifikationsphase (Q2) Grundkurs

Qualifikationsphase (Q2) Grundkurs Qualifikationsphase (Q2) Grundkurs Unterrichtsvorhaben I Thema: Von stochastischen Modellen, Zufallsgrößen, Wahrscheinlichkeitsverteilungen und ihren Kenngrößen (Q2-GK-S1) Inhaltlicher Schwerpunkt: Kenngrößen

Mehr

ASIM-Fachgruppensitzung am 20. Mai 2009 an der Universität Karlsruhe 1. Bericht der Arbeitsgruppe Unikatprozesse

ASIM-Fachgruppensitzung am 20. Mai 2009 an der Universität Karlsruhe 1. Bericht der Arbeitsgruppe Unikatprozesse ASIM-Fachgruppensitzung am 20. Mai 2009 an der Universität Karlsruhe 1. Bericht der Arbeitsgruppe Unikatprozesse 1 Gliederung des Berichts: 1. Aufgaben und Ziele der Arbeitsgruppe 2. Einladung zur konstituierenden

Mehr

Grundlagen. Vortrag von. Veranstaltung. Rüdiger Busch. Rechnernetze 1

Grundlagen. Vortrag von. Veranstaltung. Rüdiger Busch. Rechnernetze 1 Grundlagen Vortrag von Rüdiger Busch Veranstaltung Rechnernetze 1 Übersicht Einleitung Hardware für Netze Software für Netze Referenzmodelle Einleitung Geschichtlicher Abriss > entfällt Sinn von Rechnernetzen

Mehr

Sicherheit durch Simulation Ist Simulation sicher?

Sicherheit durch Simulation Ist Simulation sicher? Sicherheit durch Simulation Ist Simulation sicher? Prof. Dr. Universität der Bundeswehr München Fakultät für Informatik ITIS e.v. an der Universität der Bundeswehr München Bedeutung (computer-basierter)

Mehr

1.4! Einführung. Systemmodellierung. Methoden und Werkzeuge

1.4! Einführung. Systemmodellierung. Methoden und Werkzeuge Einführung. Vorbemerkungen und Überblick. Die elektronischen e des Fahrzeugs. Prozesse in der Fahrzeugentwicklung im Überblick,.4 Grundlagen. Steuerungs- und regelungstechnische e (Prof. Schumacher). Diskrete

Mehr

Automatisierte Rekonfiguration von Schnittstellen in eingebetteten Systemen

Automatisierte Rekonfiguration von Schnittstellen in eingebetteten Systemen Technische Universität Chemnitz Schwerpunktprogramm Rekonfigurierbare Rechensysteme Automatisierte Rekonfiguration von Schnittstellen in eingebetteten Systemen Professur Technische Informatik 12. Juni

Mehr