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

Größe: px
Ab Seite anzeigen:

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

Transkript

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

2 Einführung in die Simulation Wintersemester 11/12 EINFÜHRUNG Einführung in die Simulation Folie Nr. 2

3 Ausnahmsweise Brainstorming Quantität vor Qualität Notieren Sie in 5 Minuten ungefiltert alles!, was Ihnen zum Thema Simulation einfällt. Einführung in die Simulation Folie Nr. 3

4 Gruppenarbeit `Wie erstellt man eine Wettervorhersage? Überlegen Sie sich gemeinsam, wer für den Wetterbericht der Tagesschau eigentlich was machen muss und was er dazu braucht Einführung in die Simulation Folie Nr. 4

5 Was ist Simulation? Simulation ist das Nachbilden eines dynamischen Prozesses in einem System mit Hilfe eines experimentierfähigen Modells, um zu Erkenntnissen zu gelangen, die auf die Wirklichkeit übertragbar sind. [VDI-Richtlinie 3633] Einführung in die Simulation Folie Nr. 5

6 Warum Simulation? Erlaubt Analyse hoch komplexer Systeme Ohne dass diese physikalisch vorhanden sein müssen Weil sie vielleicht noch gar nicht existieren Oder anderweitig kein Zugriff besteht Ohne das Realsystem zu beeinflussen (zerstören, verändern, ) Losgelöst von der Realzeit Extremer Zeitraffer / Slow-Motion Deren Eigenschaften leicht zu ändern sind Analytische Methoden sind im Allgemeinen exakter, können aber nur auf einfacheren Modellen ausgeführt werden Einführung in die Simulation Folie Nr. 6

7 Das Modell als Basis der Simulation Ein Modell ist die vereinfachte Darstellung der Funktion eines Gegenstandes oder des Ablaufs eines Sachverhalts, die eine Untersuchung oder Erforschung erleichtert oder erst möglich macht. [Duden] Einführung in die Simulation Folie Nr. 7

8 Modell als Basis der Simulation Modell definiert Verhalten der Simulation Modell muss zielorientiert sein Genauigkeit / Aussagekraft / Effizienz Modell bestimmt Übertragbarkeit der Ergebnisse (Isomorphie) Eingabedaten (Modellparameter) sind sehr wichtig Modelle können von unterschiedlicher Form sein Mathematische Funktionen (Optimierungsmodelle) Differentialgleichungssysteme (Kontinuierliche Flussmodelle) Petri-Netze (Diskrete Materialfluss) Allgemeine Computerprogramme Einführung in die Simulation Folie Nr. 8

9 Anwendungsdomänen (Auszug) Informatik Ingenieurswesen Betriebswirtschaftslehre Volkswirtschaftslehre Biologie Medizin Aufgabe (Einzelarbeit) Suchen Sie ein Anwendungsbeispiele für jede Domäne. Was wird simuliert? Wie wird simuliert? Warum wird simuliert? Einführung in die Simulation Folie Nr. 9

10 Probleme mit der Simulation Modelle werden schnell sehr komplex und unübersichtlich Hang zu Detaillismus Großer Modellierungsaufwand Aufwändige Validierung Datensammlung, Interpretation u. Analyse häufig schwierig und zeitaufwendig Nur reines Ausprobieren möglich Es wird keine Lösung geliefert Ergebnis ist eine Interpretation der Ausgabedaten Ersetzt nicht den Planer mit Expertenwissen Erzeugt hohe Leichtgläubigkeit beim Benutzer Wenig Hinterfragen der Ergebnisse Nur bei unerwarteten Ergebnissen Solides Wissen in Stochastik erforderlich Einführung in die Simulation Folie Nr. 10

11 Arten der Simulation Art Ausprägung 1 Ausprägung 2 Zustandsänderung im Zeitverlauf Statisch Dynamisch Zustandsübergänge Kontinuierlich Diskret Eingabedaten Deterministisch Stochastisch Alle Kombinationen sind möglich. Einführung in die Simulation Folie Nr. 11

12 Problembereich Materialflusssysteme Materialfluss ist die Verkettung aller Vorgänge beim Gewinnen, Be- und Verarbeiten, sowie der Verteilung von stofflichen Gütern innerhalb festgelegter Bereiche. Zum Materialfluss gehören alle Vorgänge während des Durchlaufs von Gütern (z.b. Material, Stoffmengen, Abfall, Datenträger usw.) durch ein System, wie Bearbeiten, Handhaben, Transportieren, Prüfen, Aufenthalte und Lagerungen. [VDI-Richtlinie] Einführung in die Simulation Folie Nr. 12

13 Einführung in die Simulation Wintersemester 11/12 FRAGEN? Einführung in die Simulation Folie Nr. 13

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, 15.11.2011 15.11.2011 Einführung

Mehr

Ressourceneinsatzplanung in der Fertigung

Ressourceneinsatzplanung in der Fertigung Fakultät Informatik, Institut für Angewandte Informatik, Professur Modellierung und Simulation Ressourceneinsatzplanung in der Fertigung Dr. Christoph Laroque Sommersemester 2012 Dresden, Ressourceneinsatzplanung

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, 13.12.2011 13.12.2011 Einführung

Mehr

Einführung in die Angewandte Informatik Modellierung und Simulation

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

Mehr

Ressourceneinsatzplanung in der Fertigung

Ressourceneinsatzplanung in der Fertigung Fakultät Informatik, Institut für Angewandte Informatik, Professur Modellierung und Simulation Ressourceneinsatzplanung in der Fertigung Dr. Christoph Laroque Sommersemester 2012 Dresden, Ressourceneinsatzplanung

Mehr

Dipl.-Ing. Christoph Erath 10. November FVM-BEM Kopplung. Was gewinnen wir, wenn wir zwei numerische Methoden miteinander koppeln?

Dipl.-Ing. Christoph Erath 10. November FVM-BEM Kopplung. Was gewinnen wir, wenn wir zwei numerische Methoden miteinander koppeln? Dipl.-Ing. Christoph Erath 10. November 2007 FVM-BEM Kopplung Was gewinnen wir, wenn wir zwei numerische Methoden miteinander koppeln? Seite 2 FVM-BEM Kopplung 10. November 2007 Dipl.-Ing. Christoph Erath

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

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

Schutzkleidung mit integrierten Informationstechnologien: Analyse der Verhaltenseffekte und Empfehlungen zur gebrauchstauglichen Gestaltung

Schutzkleidung mit integrierten Informationstechnologien: Analyse der Verhaltenseffekte und Empfehlungen zur gebrauchstauglichen Gestaltung Promotion im Fachgebiet Sicherheitstechnik / Arbeitssicherheit Schutzkleidung mit integrierten Informationstechnologien: Analyse der Verhaltenseffekte und Empfehlungen zur gebrauchstauglichen Gestaltung

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, 06.12.2011 06.12.2011 Folie

Mehr

Simulation von Geschäftsprozessen

Simulation von Geschäftsprozessen Simulation von Geschäftsprozessen Thomas Schuster Simulation von Geschäftsprozessen Thomas Schuster 18.11.2010 1 Agenda Einführung Anwendungsbeispiele Analytische Verfahren und Simulation im Vergleich

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 01.11.2011 Einführung

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

Stochastische Petrinetze

Stochastische Petrinetze Stochastische Petrinetze Proseminar WS06 The Virtual Laboratory Nils Müller Stochastische Petrinetze 1. Begriffsdefinition 1.1. Wdh. Stochastik 1.2. Wdh. Petrinetze 2. zeiterweiterte Petrinetze 2.1. Stochastische

Mehr

Zusatzmaterialien zu Übung 5 zur Vorlesung Informatik II für Verkehrsingenieurwesen: Systemeigenschaften und Gewichtsfunktion/folge

Zusatzmaterialien zu Übung 5 zur Vorlesung Informatik II für Verkehrsingenieurwesen: Systemeigenschaften und Gewichtsfunktion/folge Fakultät Informatik Institut für Angewandte Informatik, Professur für Technische Informationssysteme Zusatzmaterialien zu Übung 5 zur Vorlesung Informatik II für Verkehrsingenieurwesen: Systemeigenschaften

Mehr

2. Vorlesung. Systemtheorie für Informatiker. Dr. Christoph Grimm. Professur Prof. Dr. K. Waldschmidt, Univ. Frankfurt/Main

2. Vorlesung. Systemtheorie für Informatiker. Dr. Christoph Grimm. Professur Prof. Dr. K. Waldschmidt, Univ. Frankfurt/Main 2. Vorlesung Systemtheorie für Informatiker Dr. Christoph Grimm Professur Prof. Dr. K. Waldschmidt, Univ. Frankfurt/Main Letzte Woche: EA-System Eingabe: Ausgabe: u y t E/A-System 2. Vorlesung Systemtheorie

Mehr

Was ist Informatik? Alexander Lange

Was ist Informatik? Alexander Lange Was ist Informatik? Was ist Informatik? Alexander Lange 12.11.2003 Was ist Informatik? Inhalt 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. Das Wort»Informatik«Die Idee Teilgebiete der Informatik Technische Informatik

Mehr

Universität Hamburg Fachbereich Mathematik

Universität Hamburg Fachbereich Mathematik Universität Hamburg achbereich Mathematik Hamburger Beiträge zur Modellierung und Simulation Heft 8 uli 1998 CANNIBALISM AS A STABILISIN ACTOR ohannes Mainik Claus Peter Ortlieb Mathematische Modellierung

Mehr

FPGA-basierte Automatisierungssysteme

FPGA-basierte Automatisierungssysteme Fakultät Informatik Institut für Technische Informatik, Professur für VLSI-Entwurfssysteme, Diagnostik und Architektur FPGA-basierte Automatisierungssysteme Stephan Hensel Dresden, 05.12.2012 Gliederung

Mehr

Einführung in die Modellierung

Einführung in die Modellierung Informatik II: Modellierung Prof. Dr. Martin Glinz Kapitel 1 Einführung in die Modellierung Universität Zürich Institut für Informatik Inhalt 1.1 Der Modellbegriff 1.2 Wozu Modelle? 1.3 Modellbildung 1.4

Mehr

Fachgruppe Informatik. Anwendungsfächer. im Bachelor-Studiengang Informatik. Fachstudienberatung Bachelor Informatik Dr.

Fachgruppe Informatik. Anwendungsfächer. im Bachelor-Studiengang Informatik. Fachstudienberatung Bachelor Informatik Dr. Fachgruppe Informatik in der Fakultät für Mathematik, Informatik und Naturwissenschaften der RWTH Aachen Einführungsveranstaltung zur Wahl der Anwendungsfächer im Bachelor-Studiengang Informatik Fachstudienberatung

Mehr

Dynamische Optimierung

Dynamische Optimierung Dynamische Optimierung Mike Hüftle 28. Juli 2006 Inhaltsverzeichnis 1 Einleitung 2 1.1.................................... 2 2 Dynamisches Optimierungmodell 3 2.1 Grundmodell der dynamischen Optimierung............

Mehr

Umweltmanagementinformationssysteme

Umweltmanagementinformationssysteme Umweltmanagementinformationssysteme Übung 5 Wintersemester 2009/2010 Arbeitsgruppe Wirtschaftsinformatik Managementinformationssysteme Arbeitsgruppe Wirtschaftsinformatik Managementinformationssysteme

Mehr

Übung 6 zur Vorlesung SYSTEMORIENTIERTE INFORMATIK HW-,SW-CODESIGN

Übung 6 zur Vorlesung SYSTEMORIENTIERTE INFORMATIK HW-,SW-CODESIGN Fakultät Informatik, Institut für Angewandte Informatik, Professur Technische Informationssysteme Übung 6 zur Vorlesung SYSTEMORIENTIERTE INFORMATIK HW-,SW-CODESIGN Übungsleiter: Dr.-Ing. Heinz-Dieter

Mehr

Fakultät Informatik, Institut für Angewandte Informatik, Professur Prozesskommunikation Entwicklung eines Profinet IO Testbetts

Fakultät Informatik, Institut für Angewandte Informatik, Professur Prozesskommunikation Entwicklung eines Profinet IO Testbetts Fakultät Informatik, Institut für Angewandte Informatik, Professur Prozesskommunikation Entwicklung eines Profinet IO Testbetts Dresden, 30.04.2010 Gliederung - Was ist ein Testbett? - Was ist Profinet

Mehr

Simulation Eine Einführung

Simulation Eine Einführung Simulation Eine Einführung Definition Langenscheidt Fremdwörterbuch Si mu la ti'on, die; -,-en 1.Nachstellung, Nachahmung einer Situation oder eines Ablaufes 2. Vorspiegelung, Vortäuschung einer Krankheit

Mehr

Modellierung verteilter Systeme Grundlagen der Programm und Systementwicklung

Modellierung verteilter Systeme Grundlagen der Programm und Systementwicklung Modellierung verteilter Systeme Grundlagen der Programm und Systementwicklung Sommersemester 2012 Prof. Dr. Dr. h.c. Manfred Broy Unter Mitarbeit von Dr. M. Spichkova, J. Mund, P. Neubeck Lehrstuhl Software

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, 08.11.2011 15.11.2011 Einführung

Mehr

Einführung in die Medizinische Informatik

Einführung in die Medizinische Informatik WS 2010/2011 Vorbesprechung 12. Oktober 2010 Prof. Rudi Freund Prof. Thomas Grechenig Dr. Barbara Tappeiner Dr. Anna Wujciow TMI Technisch Medizinische Informatik INSO Industrial Software Institut für

Mehr

Beschluss AK-Mathematik 01/

Beschluss AK-Mathematik 01/ TU Berlin Marchstraße 6 10587 Berlin Auszug aus dem (noch nicht genehmigten) Protokoll der 02. Sitzung der Ausbildungskommission Mathematik im Jahr 2013 am Dienstag, den 28. Mai 2013, Raum MA 415 Beschluss

Mehr

Grundlagen der Programmierung! Kapitel 1: Einführung! Ziel der Vorlesung Grundlagen der Programmierung! Überblick über das Einführungs-Kapitel!

Grundlagen der Programmierung! Kapitel 1: Einführung! Ziel der Vorlesung Grundlagen der Programmierung! Überblick über das Einführungs-Kapitel! Herzog Grundlagen der Programmierung Dr. Christian Herzog Technische Universität München Wintersemester 2015/2016 Kapitel 1: Einführung Grundlagen der Programmierung TUM Wintersemester 2015/16 Kapitel

Mehr

Mathematik und Computational Science in Regensburg

Mathematik und Computational Science in Regensburg Mathematik und Computational Science in Regensburg Fakultät für Mathematik Oktober 2014 Wahlbereich Mathematik Pflichtveranstaltungen Analysis 1 Analysis 2 Analysis 3 (Maß- und Funktionentheorie) Lineare

Mehr

1. STUDIENPROJEKT ANGEWANDTE INFORMATIK WINTERSEMESTER 2016/2017 LISA KOPPKA, MATTHIAS SCHACHT

1. STUDIENPROJEKT ANGEWANDTE INFORMATIK WINTERSEMESTER 2016/2017 LISA KOPPKA, MATTHIAS SCHACHT 1. STUDIENPROJEKT ANGEWANDTE INFORMATIK WINTERSEMESTER 2016/2017 LISA KOPPKA, MATTHIAS SCHACHT AUSGABEUMGEBUNG ZUR DARSTELLUNG VON MODELL, INPUT-DATEN UND OUTPUT IN STRUKTURIERTER FORM LEHRSTUHLPROJEKTE

Mehr

Pocket Cards (Winning Probabilities) 6.1 Anzahl der Kombinationen Monte Carlo Simulation Ergebnisse 6

Pocket Cards (Winning Probabilities) 6.1 Anzahl der Kombinationen Monte Carlo Simulation Ergebnisse 6 6 6.1 Anzahl der Kombinationen 6. Monte Carlo Simulation 3 6.3 Ergebnisse 6 in case you do not speak German ignore the description and jump to the preflop win probability tables in chapter 6.3 Poker Trainer

Mehr

Programmierpraktikum Verkehrssimulation

Programmierpraktikum Verkehrssimulation Programmierpraktikum Verkehrssimulation Einführung in die Thematik Michael Moltenbrey, Dirk Pflüger 24. April 2006 1 Gliederung Motivation Ablauf des Praktikums Aufgabenstellungen Scheinkriterien Gruppeneinteilung

Mehr

Planung von Handlungen bei unsicherer Information

Planung von Handlungen bei unsicherer Information Planung von Handlungen bei unsicherer Information Dr.-Ing. Bernd Ludwig Lehrstuhl für Künstliche Intelligenz Friedrich-Alexander-Universität Erlangen-Nürnberg 20.01.2010 Dr.-Ing. Bernd Ludwig (FAU ER)

Mehr

Amtliche Bekanntmachungen

Amtliche Bekanntmachungen Rheinische Friedrich-Wilhelms- Universität Bonn Amtliche Bekanntmachungen Inhalt: Erste Satzung zur Änderung der Studienordnung für den Diplomstudiengang Mathematik vom 2. Juli 2007 37. Jahrgang Nr. 15

Mehr

!" Aktive Beherrschung von Modellierungsmethoden! !" Aktive Beherrschung einiger theoretischer Grundlagen!

! Aktive Beherrschung von Modellierungsmethoden! ! Aktive Beherrschung einiger theoretischer Grundlagen! Ziel der Vorlesung Grundlagen der Programmierung! Grundlagen der Programmierung! Dr. Christian Herzog! Technische Universität München! Wintersemester 2010/2011! Kapitel 1: Einführung! Copyright 2010 Bernd

Mehr

Sozialwissenschaftliche Modelle und Daten SoSe 2010

Sozialwissenschaftliche Modelle und Daten SoSe 2010 Sozialwissenschaftliche Modelle und Daten SoSe 2010 LS Sozialwissenschaftliche Methodenlehre und Sozialstatistik C. Dudel C. Dudel Sozialwissenschaftliche Modelle und Daten SoSe 2010 1 23 1 Formalia 2

Mehr

Objektorientierte Prozeßsimulation in C++

Objektorientierte Prozeßsimulation in C++ Joachim Fischer Klaus Ahrens Objektorientierte Prozeßsimulation in C++ SUB Göttingen 204938 880 98A24564 ADDISON-WESLEY PUBLISHING COMPANY Bonn Reading, Massachusetts Menlo Park, California New York Don

Mehr

Mathematische Grundlagen der dynamischen Simulation

Mathematische Grundlagen der dynamischen Simulation Mathematische Grundlagen der dynamischen Simulation Dynamische Systeme sind Systeme, die sich verändern. Es geht dabei um eine zeitliche Entwicklung und wie immer in der Informatik betrachten wir dabei

Mehr

Ressourceneinsatzplanung in der Fertigung

Ressourceneinsatzplanung in der Fertigung Fakultät Informatik, Institut für Angewandte Informatik, Professur Modellierung und Simulation Ressourceneinsatzplanung in der Fertigung Dr. Christoph Laroque Sommersemester 2012 Dresden, Auswertung letzte

Mehr

Fachspezifische Studien- und Prüfungsordnung für den Masterstudiengang Mathematik an der Universität Potsdam. Vom 21. Januar 2015.

Fachspezifische Studien- und Prüfungsordnung für den Masterstudiengang Mathematik an der Universität Potsdam. Vom 21. Januar 2015. Auszug aus den Amtlichen Bekanntmachungen Nr. 8 vom 23.7.2015 - Seite 42-473 Fachspezifische Studien- und Prüfungsordnung für den Masterstudiengang Mathematik an der Universität Potsdam Vom 21. Januar

Mehr

Mathematik Curriculum Kursstufe

Mathematik Curriculum Kursstufe Mathematik Curriculum Kursstufe Kompetenzen und Inhalte des Bildungsplans Leitidee Funktionaler können besondere Eigenschaften von Funktionen rechnerisch und mithilfe des GTR bestimmen. Unterrichtsinhalte

Mehr

Mittwoch, :00 9:35

Mittwoch, :00 9:35 Mittwoch, 29.01.2014 8:00 9:35 Mathematik Grundkurs (GK) oder Leistungskurs (LK) Mathe ist grundsätzlich Pflicht (4 Semester) bis zum Abitur (das 1.LK- Fach muss De, FS, Ma oder Bi/Ch/Ph sein, 2 Fächer

Mehr

Residualanalyse. Fehlerlokalisierung und prädikative Steuerung. Proseminar - Robert Lorenz

Residualanalyse. Fehlerlokalisierung und prädikative Steuerung. Proseminar - Robert Lorenz Fakultät für Informatik, Institut für Angewandte Informatik, Professur Technische Informationssysteme Residualanalyse Fehlerlokalisierung und prädikative Steuerung Proseminar - Robert Lorenz Gliederung

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

Verbesserung der Prognose von Zahlungsplänen

Verbesserung der Prognose von Zahlungsplänen Verbesserung der Prognose von Zahlungsplänen durch eine Multimodell-Filterung und eine 4-Stufen-Risikosimulation Dresden, 21.09.2012 Anwendungsmöglichkeiten Zahlungspläne (z. B. für Abschlagszahlungen)

Mehr

Umbuchungen im Bachelor-Studiengang Informatik für den Wechsel von der PO 2009 zur PO 2017

Umbuchungen im Bachelor-Studiengang Informatik für den Wechsel von der PO 2009 zur PO 2017 Umbuchungen im Bachelor-Studiengang Informatik für den Wechsel von der PO 2009 zur PO 2017 Allgemeine Umbuchungsregeln: Für alle bisherigen Studierenden, die sich nach dem Prüfungszeitraum Sommersemester

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

Cool Hashing. Ein Überblick über energieeffiziente Ansätze. Patrick Tempel. Dresden,

Cool Hashing. Ein Überblick über energieeffiziente Ansätze. Patrick Tempel. Dresden, Fakultät Informatik, Institut für Angewandte Informatik, Professur für Technische Informationssysteme Cool Hashing Ein Überblick über energieeffiziente Ansätze Dresden, 28.11.2011 Patrick Tempel Inhalt

Mehr

STUDIENFÜHRER DIPLOM. Wirtschaftsmathematik. Zentrale Studienberatung

STUDIENFÜHRER DIPLOM. Wirtschaftsmathematik. Zentrale Studienberatung STUDIENFÜHRER DIPLOM Wirtschaftsmathematik Zentrale Studienberatung 1. STUDIENGANG: WIRTSCHAFTSMATHEMATIK 2. ABSCHLUSS: Diplom-Wirtschaftsmathematiker/in 3. REGELSTUDIENZEIT: 9 Semester STUDIENUMFANG:

Mehr

Freiformbiegen mit rollierendem Biegekopf, Simulation des strukturmechanischen

Freiformbiegen mit rollierendem Biegekopf, Simulation des strukturmechanischen 15. Deutsches LS-DYNA Forum, Bamberg, 2018 strukturmechanischen Prozesses Markus Gitterle 1, Christian Fritzsche 2, Peter Schüle 3 1 Hochschule für angewandte Wissenschaften München 2 Technische Universität

Mehr

Physik eine empirische Wissenschaft

Physik eine empirische Wissenschaft Experimentalphysik A 1. Einleitung Physik eine empirische Wissenschaft Die Naturerscheinungen laufen nicht regellos ab, sondern sie werden durch Naturgesetze gesteuert. Die Physik befaßt sich mit der Erforschung

Mehr

Einsatz von Simulationswerkzeugen beim Entwurf feinwerktechnischer Systeme. Beispiele aus der Forschung am IFTE

Einsatz von Simulationswerkzeugen beim Entwurf feinwerktechnischer Systeme. Beispiele aus der Forschung am IFTE Fakultät Elektrotechnik, Institut für Feinwerktechnik und Elektronik-Design Einsatz von Simulationswerkzeugen beim Entwurf feinwerktechnischer Systeme Beispiele aus der Forschung am IFTE Dr.-Ing. J. Gaßmann

Mehr

Diskret oder kontinuierlich modellieren?

Diskret oder kontinuierlich modellieren? Diskret oder kontinuierlich modellieren? Franz Pauer, Florian Stampfer Institut für Fachdidaktik und Institut für Mathematik Universität Innsbruck Lehrer/innen/fortbildungstag Wien 2017 21. April 2017

Mehr

Bildungsplan 2004 Realschule

Bildungsplan 2004 Realschule Bildungsplan 2004 Realschule Niveaukonkretisierung für Mathematik Klasse 10 Landesinstitut für Schulentwicklung Steigung Qualitätsentwicklung und Evaluation Schulentwicklung und empirische Bildungsforschung

Mehr

Thema: Analyse des Verhaltens dynamischer Wirkungsgefüge

Thema: Analyse des Verhaltens dynamischer Wirkungsgefüge Rahmenbedingungen: - Klasse 10, da einige Voraussetzungen (Anwendersysteme, Algorithmen) nötig sind - Bezug zu Inhalten aus der Mathematik, Physik, Politische Bildung, Biologie, Erdkunde - Software: Dynasys,

Mehr

Lineare Algebra und analytische Geometrie II

Lineare Algebra und analytische Geometrie II Prof. Dr. H. Brenner Osnabrück SS 206 Lineare Algebra und analytische Geometrie II Vorlesung 54 Stochastische Matrizen Definition 54.. Eine reelle quadratische Matrix M a ij i,j n heißt spaltenstochastisch,

Mehr

Ablaufsimulation. Digitale Systemoptimierung. Dipl.-Inf. Alexander Ulbrich Dipl.-Ing. Jürgen Wagner Garching, 17. November 2006

Ablaufsimulation. Digitale Systemoptimierung. Dipl.-Inf. Alexander Ulbrich Dipl.-Ing. Jürgen Wagner Garching, 17. November 2006 Ablaufsimulation Digitale Systemoptimierung Dipl.-Inf. Alexander Ulbrich Dipl.-Ing. Jürgen Wagner Garching, 17. November 2006 Agenda Grundlagen Einsatzfelder Ablauf einer Simulationsstudie Marktübersicht

Mehr

Mikroökonomie 1. Einführung

Mikroökonomie 1. Einführung Mikroökonomie 1 Einführung 17.09.08 1 Plan der heutigen Vorlesung Was ist die Mikroökonomie Ablauf und Organisation der Lehrveranstaltung Was ist ein ökonomisches Modell? Das Marktmodell als zentrales

Mehr

Signalverarbeitung 2. Volker Stahl - 1 -

Signalverarbeitung 2. Volker Stahl - 1 - - 1 - Hidden Markov Modelle - 2 - Idee Zu klassifizierende Merkmalvektorfolge wurde von einem (unbekannten) System erzeugt. Nutze Referenzmerkmalvektorfolgen um ein Modell Des erzeugenden Systems zu bauen

Mehr

Fachspezifische Studien- und Prüfungsordnung für den Bachelorstudiengang Mathematik an der Universität Potsdam. Vom 21. Januar 2015.

Fachspezifische Studien- und Prüfungsordnung für den Bachelorstudiengang Mathematik an der Universität Potsdam. Vom 21. Januar 2015. Fachspezifische Studien- Prüfungsordnung für den Bachelorstudiengang Mathematik an der Universität Potsdam Vom 21. Januar 2015 Der Fakultätsrat der Mathematisch- Naturwissenschaftlichen Fakultät der Universität

Mehr

Differentialgleichungen sind überall!

Differentialgleichungen sind überall! Differentialgleichungen sind überall! Helmut Abels Fakultät für Mathematik Universität Regensburg Folien und Co.: http://www.uni-regensburg.de/mathematik/mathematik-abels/aktuelles/index.html Schnupperstudium

Mehr

Große Simulink-Modelle mit Bus Objects effizienter gestalten

Große Simulink-Modelle mit Bus Objects effizienter gestalten Große Simulink-Modelle mit Bus Objects effizienter gestalten Sebastian Bewersdorff Product Manager, TESIS DYNAware GmbH, München Matlab Expo 2015, 12.05.2015 TESIS DYNAware GmbH, www.tesis-dynaware.com

Mehr

WS 2009/10. Diskrete Strukturen

WS 2009/10. Diskrete Strukturen WS 2009/10 Diskrete Strukturen Prof. Dr. J. Esparza Lehrstuhl für Grundlagen der Softwarezuverlässigkeit und theoretische Informatik Fakultät für Informatik Technische Universität München http://www7.in.tum.de/um/courses/ds/ws0910

Mehr

Petri-Netze / Eine Einführung

Petri-Netze / Eine Einführung Manuel Hertlein Seminar Systementwurf Lehrstuhl Theorie der Programmierung Carl Adam Petri am 12. Juli 1926 in Leipzig geboren Studium der Mathematik 1962 Promotion zum Doktor der Naturwissenschaft Titel

Mehr

Dynamisches Routing in der Logistik

Dynamisches Routing in der Logistik Informatik, Angewandte Informatik, Technische Informationssysteme Dynamisches Routing in der Logistik Tobias Dimmel Dresden, 24.05.2012 Agenda 1. Begriffe 2. Traveling Salesman Problem 3. Ameisenalgorithmus

Mehr

Stochastische Modellierung von Private Equity-Fonds

Stochastische Modellierung von Private Equity-Fonds Reihe: Finanzierung, Kapitalmarkt und Banken Band 59 Herausgegeben von Prof. Dr. Hermann Locarek-Junge, Dresden, Prof. Dr. Klaus Röder, Regensburg, und Prof. Dr. Mark Wahrenburg, Frankfurt Dr. Axel Buchner

Mehr

winlife : Was ist neu gegenüber 4.0?

winlife : Was ist neu gegenüber 4.0? winlife 4.0 2017: Was ist neu gegenüber 4.0? vereinfachte Installation Es wird nur noch eine winlife-version ausgeliefert, die für 32 Bit und 64 Bit geeignet ist. Der Benutzer muß hier keine Entscheidung

Mehr

Kapitel 1.5: Simulation

Kapitel 1.5: Simulation Kapitel 1.5: Kapitel 1.1: Einführung Kapitel 1.2: Grundlagen Kapitel 1.3: Problemstellung und Anforderungsanalyse Kapitel 1.4: bildung Kapitel 1.5: 1.5.1: Grundlagen 1.5.2: Implementierung 1.5.3: Verifikation

Mehr

Leistungsbewertung rekonfigurierbarer Verbindungsnetze für Multiprozessorsysteme

Leistungsbewertung rekonfigurierbarer Verbindungsnetze für Multiprozessorsysteme Dietmar Tutsch SPP Rekonfigurierbare Rechensysteme 1 Leistungsbewertung rekonfigurierbarer Verbindungsnetze für Multiprozessorsysteme Günter Hommel und Dietmar Tutsch Institut für Technische Informatik

Mehr

Mikroökonomie 1. Einführung Plan der heutigen Vorlesung

Mikroökonomie 1. Einführung Plan der heutigen Vorlesung Mikroökonomie 1 Einführung 26.10.06 1 Plan der heutigen Vorlesung Was ist die Mikroökonomie Ablauf und Organisation der Lehrveranstaltung Was ist ein ökonomisches Modell? Das Marktmodell als zentrales

Mehr

WS 2013/14. Diskrete Strukturen

WS 2013/14. Diskrete Strukturen WS 2013/14 Diskrete Strukturen Prof. Dr. J. Esparza Lehrstuhl für Grundlagen der Softwarezuverlässigkeit und theoretische Informatik Fakultät für Informatik Technische Universität München http://www7.in.tum.de/um/courses/ds/ws1314

Mehr

Umbuchungen im Bachelor-Studiengang Informatik für den Wechsel von der PO 2009 zur PO 2017

Umbuchungen im Bachelor-Studiengang Informatik für den Wechsel von der PO 2009 zur PO 2017 Umbuchungen im Bachelor-Studiengang Informatik für den Wechsel von der PO 2009 zur PO 2017 Allgemeine Umbuchungsregeln: Für alle bisherigen Studierenden, die sich nach dem Prüfungszeitraum Sommersemester

Mehr

15 Grundlagen der Simulation

15 Grundlagen der Simulation 15 Grundlagen der Simulation 15.1 Einführung Komplexe Problemstellungen, die einer analytischen Behandlung nur sehr schwer oder gar nicht zugänglich sind Lösung von diskreten (oder analytischen) Optimierungsaufgaben,

Mehr

Simulative Verifikation und Evaluation des Speichermanagements einer Multi-Core-Prozessorarchitektur am Beispiel von SHAP

Simulative Verifikation und Evaluation des Speichermanagements einer Multi-Core-Prozessorarchitektur am Beispiel von SHAP Fakultät Informatik, Institut für Technische Informatik, Professur für VLSI-Entwurfssysteme, Diagnostik und Architektur Simulative Verifikation und Evaluation des Speichermanagements einer Multi-Core-Prozessorarchitektur

Mehr

Zentralübung zur Vorlesung Diskrete Strukturen (Prof. Esparza)

Zentralübung zur Vorlesung Diskrete Strukturen (Prof. Esparza) WS 2009/10 Zentralübung zur Vorlesung Diskrete Strukturen (Prof. Esparza) Dr. Werner Meixner Fakultät für Informatik TU München http://www14.in.tum.de/lehre/2009ws/ds/uebung/ 22. Oktober 2009 ZÜ DS ZÜ

Mehr

Makrem Kadachi. Kriterien für eine simulationskonforme Abbildung von Materialflusssystemen. Herbert Utz Verlag München

Makrem Kadachi. Kriterien für eine simulationskonforme Abbildung von Materialflusssystemen. Herbert Utz Verlag München Makrem Kadachi Kriterien für eine simulationskonforme Abbildung von Materialflusssystemen Herbert Utz Verlag München Zugl.: München, Techn. Univ., Diss., 2003 Bibliografische Information Der Deutschen

Mehr

Diskrete Strukturen Kapitel 1: Einleitung

Diskrete Strukturen Kapitel 1: Einleitung WS 2015/16 Diskrete Strukturen Kapitel 1: Einleitung Hans-Joachim Bungartz Lehrstuhl für wissenschaftliches Rechnen Fakultät für Informatik Technische Universität München http://www5.in.tum.de/wiki/index.php/diskrete_strukturen_-_winter_15

Mehr

Übung 5 zur Vorlesung SYSTEMORIENTIERTE INFORMATIK HW-, SW-CODESIGN

Übung 5 zur Vorlesung SYSTEMORIENTIERTE INFORMATIK HW-, SW-CODESIGN Fakultät Informatik, Institut für Angewandte Informatik, Professur Technische Informationssysteme Übung 5 zur Vorlesung SYSTEMORIENTIERTE INFORMATIK HW-, SW-CODESIGN Übungsleiter: Dr.-Ing. H.-D. Ribbecke

Mehr

Grundlagen der theoretischen Informatik

Grundlagen der theoretischen Informatik Grundlagen der theoretischen Informatik Kurt Sieber Fakultät IV, Department ETI Universität Siegen SS 2013 Vorlesung vom 04.06.2013 An den Transitionen sieht man zunächst, dass nur die folgenden Zustandsübergänge

Mehr

Modelica Building-Bibliothek und Gebäudemodelle

Modelica Building-Bibliothek und Gebäudemodelle Modelica Building-Bibliothek und Gebäudemodelle Symposium Integrale Planung und Simulation in Bauphysik und Gebäudetechnik, 27.03.2012, Moritz Lauster EBC Lehrstuhl für Gebäude- und Raumklimatechnik Standard-Gebäudemodelle

Mehr

Prozessidentifikation mit Sprungantworten

Prozessidentifikation mit Sprungantworten Fakultät Informatik, Institut für angewandte Informatik, Professur für technische Informationssysteme Hauptseminar Technische Informationssysteme Dresden, 27. April 2012 Überblick 1. Motivation und Begriffe

Mehr

MATHEMATIK. Allgemeine Bildungsziele. Richtziele. Grundkenntnisse

MATHEMATIK. Allgemeine Bildungsziele. Richtziele. Grundkenntnisse MATHEMATIK Allgemeine Bildungsziele Der Mathematikunterricht vermittelt ein intellektuelles Instrumentarium, das ein vertieftes Verständnis der Mathematik, ihrer Anwendungen und der wissenschaftlichen

Mehr

Was ist ein Modell? 1. Formen / Beispiele 2. Funktionen /Wozu? 3. Eigenschaften / Bestandteile 4. Ein Problem der Logik

Was ist ein Modell? 1. Formen / Beispiele 2. Funktionen /Wozu? 3. Eigenschaften / Bestandteile 4. Ein Problem der Logik Was ist ein Modell? 1. Formen / Beispiele 2. Funktionen /Wozu? 3. Eigenschaften / Bestandteile 4. Ein Problem der Logik 1. Formen von Modellen (1) Ikonische Modelle: miniaturisierte Gebäude und Landschaften,

Mehr

Technische Hochschule Nürnberg Georg Simon Wintersemester 2017/18 Fakultät Angewandte Mathematik, Physik und Allgemeinwissenschaften

Technische Hochschule Nürnberg Georg Simon Wintersemester 2017/18 Fakultät Angewandte Mathematik, Physik und Allgemeinwissenschaften Bestellung der Prüfer und Festsetzung der zugelassenen zu den schriftlichen Prüfungen des 1. Semesters B - AMP 1 Analysis 1 Dr. Rademacher Dr. Wilczok Dr. Wilczok Dr. Rademacher 90 weitere Formelsammlung

Mehr

8. DIE ABLEITUNG EINER VEKTORFUNKTION

8. DIE ABLEITUNG EINER VEKTORFUNKTION 75 Dieses Skript ist ein Auszug mit Lücken aus Einführung in die mathematische Behandlung der Naturwissenschaften I von Hans Heiner Storrer, Birkhäuser Skripten. Als StudentIn sollten Sie das Buch auch

Mehr

Georg-August-Universität Göttingen. Modulverzeichnis

Georg-August-Universität Göttingen. Modulverzeichnis Georg-August-Universität Göttingen Modulverzeichnis für den Bachelor-Teilstudiengang "Mathematik" (zu Anlage II.28 der Prüfungs- und Studienordnung für den Zwei-Fächer-Bachelor-Studiengang) (Amtliche Mitteilungen

Mehr

Teil II: Einstieg in Expertensysteme

Teil II: Einstieg in Expertensysteme Teil II: Einstieg in Expertensysteme Begriffsbestimmung: Was sind wissensbasierte Systeme? Die beiden Begriffe Expertensystem und wissensbasiertes System werden weitgehend synonym verwendet für Softwaresysteme,

Mehr

{P} S {Q} {P} S {Q} {P} S {Q} Inhalt. Hoare-Kalkül. Hoare-Kalkül. Hoare-Tripel. Hoare-Tripel. Hoare-Tripel

{P} S {Q} {P} S {Q} {P} S {Q} Inhalt. Hoare-Kalkül. Hoare-Kalkül. Hoare-Tripel. Hoare-Tripel. Hoare-Tripel Inhalt Hoare-Kalkül Formale Verifizierung Hoare-Kalkül while-sprache Terminierung Partielle / totale Korrektheit 4.0 Hoare-Kalkül entwickelt von C.A.R. (Tony) Hoare (britischer Informatiker), 1969 formales

Mehr

Simulation multipler Streuung an Haaren mit Hilfe eines Photon-Mapping-Ansatzes

Simulation multipler Streuung an Haaren mit Hilfe eines Photon-Mapping-Ansatzes Fakultät Informatik Institut für Software- und Multimediatechnik, Professur für Computergraphik und Visualisierung Simulation multipler Streuung an Haaren mit Hilfe eines Photon-Mapping-Ansatzes Hauptseminar

Mehr

Studiengangsübersicht

Studiengangsübersicht samt Studiengangsübersicht WINF-BSc-2014 Konto 8999 Bachelor (Module 1 bis 22) 120 LP -- Zum erfolgreichen Abschluss des Studiums sind alle Module 1 bis 22 zu absolvieren. Konto 1000 A: Wirtschaftsinformatik

Mehr

Technische Hochschule Nürnberg Georg Simon Sommersemester 2017 Fakultät Angewandte Mathematik, Physik und Allgemeinwissenschaften

Technische Hochschule Nürnberg Georg Simon Sommersemester 2017 Fakultät Angewandte Mathematik, Physik und Allgemeinwissenschaften Bestellung der Prüfer und Festsetzung der zugelassenen zu den schriftlichen Prüfungen des 1. Semesters B - AMP 1 Analysis 1 1 Dr. Rademacher Dr. Wilczok Dr. Wilczok Dr. Rademacher 90 weitere Formelsammlung

Mehr

Multiagentensimulation im Verkehr: Eignet sich die Multiagentensimulation zur Abbildung der Verhaltensstruktur im Verkehr?

Multiagentensimulation im Verkehr: Eignet sich die Multiagentensimulation zur Abbildung der Verhaltensstruktur im Verkehr? Multiagentensimulation im Verkehr: Eignet sich die Multiagentensimulation zur Abbildung der Verhaltensstruktur im Verkehr? Oliver Prinz Betreuer: Patrik Jochem Ausgewählte technische, rechtliche und ökonomische

Mehr

Ist MuPAD die neue Art zu rechnen?

Ist MuPAD die neue Art zu rechnen? Fakultät Informatik Institut für Angewandte Informatik, Professur Technische Informationssysteme Ist MuPAD die neue Art zu rechnen? Dresden, 13.12.2010 Gliederung I. Was ist MuPAD? a) Überblick b) Was

Mehr