Zur Seitennavigation oder mit Tastenkombination für den accesskey-Taste und Taste 1 
Zum Seiteninhalt oder mit Tastenkombination für den accesskey und Taste 2 
Startseite    Anmelden     
Logout in [min] [minutetext]

Methoden und Anwendungen für randomisierte Systeme - Einzelansicht

Grunddaten
Veranstaltungsart V/Ü Langtext
Veranstaltungsnummer 104162 Kurztext
Semester SS 2016 SWS 4
Erwartete Teilnehmer/-innen 20 Studienjahr
Max. Teilnehmer/-innen
Credits Belegung Belegpflicht
Hyperlink
Sprache deutsch
Termine Gruppe: [unbenannt] iCalendar Export für Outlook
  Tag Zeit Rhythmus Dauer Raum Raum-
plan
Lehrperson Status Bemerkung fällt aus am Max. Teilnehmer/-innen
Einzeltermine anzeigen
iCalendar Export für Outlook
Mo. 14:00 bis 16:00 woch 11.04.2016 bis 11.07.2016  Orléans-Ring 10 - OR 23 S100.023 (N3)        
Einzeltermine anzeigen
iCalendar Export für Outlook
Do. 12:00 bis 14:00 woch 14.04.2016 bis 14.07.2016  Orléans-Ring 10 - OR 23 S100.023 (N3)        
Gruppe [unbenannt]:
 


Zugeordnete Personen
Zugeordnete Personen Zuständigkeit
Hüls, Jannik begleitend
Remke, Anne, Prof. Dr. verantwort
Studiengänge
Abschluss - Studiengang Sem ECTS Bereich Teilgebiet
Master - Informatik (88 079 14) - 6
Master - Informatik (88 079 8) - 6
Master - Mathematik (88 105 13) - 6
Bachelor - Informatik (82 079 11) - 6
Master - Mathematik (88 105 10) - 6
Diplom - Geoinformatik (11 807 0) - 6
Bachelor - Informatik (82 079 7) - 6
Zwei-Fach-Bachelor - Informatik (L2 079 11) -
Bachelor - Informatik (82 079 14) -
Bachelor - Mathematik (82 105 14) -
Prüfungen / Module
Prüfungsnummer Modul
13001 Veranstaltung - Master Informatik Version 2008
17001 Vorlesungen aus dem Vorlesungsangebot der Informatik 1 - Bachelor Informatik Version 2011
16001 eine Vorlesung oder eine Vorlesung mit Übungen aus dem Wahlpflicht-Vorlesungsangebot des Instituts für Informatik - Zwei-Fach-Bachelor Informatik Version 2011
16010 Modulabschlussprüfung - Zwei-Fach-Bachelor Informatik Version 2011
12001 Veranstaltung - Master Informatik Version 2008
23001 Vorlesung - Bachelor Informatik Version 2014
23002 Übungen - Bachelor Informatik Version 2014
27001 Vorlesung (mit integrierter oder separater Übung) - Master Informatik Version 2014
16001 Vorlesungen aus dem Vorlesungsangebot der Informatik 1 - Bachelor Informatik Version 2007
16003 Vorlesungen aus dem Vorlesungsangebot der Informatik 2 - Bachelor Informatik Version 2007
16004 Vorlesungen aus dem Vorlesungsangebot der Informatik 3 - Bachelor Informatik Version 2007
16005 Vorlesungen aus dem Vorlesungsangebot der Informatik 4 - Bachelor Informatik Version 2007
16011 Vorlesungen aus dem Vorlesungsangebot der Informatik 5 - Bachelor Informatik Version 2007
16012 Vorlesungen aus dem Vorlesungsangebot der Informatik 6 - Bachelor Informatik Version 2007
16013 Vorlesungen aus dem Vorlesungsangebot der Informatik 7 - Bachelor Informatik Version 2007
12002 Veranstaltung - Master Informatik Version 2008
12003 Veranstaltung - Master Informatik Version 2008
12004 Veranstaltung - Master Informatik Version 2008
12005 Veranstaltung - Master Informatik Version 2008
13002 Veranstaltung - Master Informatik Version 2008
13003 Veranstaltung - Master Informatik Version 2008
13004 Veranstaltung - Master Informatik Version 2008
13005 Veranstaltung - Master Informatik Version 2008
402001 Veranstaltung - Master Mathematik Version 2010
402002 Veranstaltung - Master Mathematik Version 2010
402003 Veranstaltung - Master Mathematik Version 2010
402004 Veranstaltung - Master Mathematik Version 2010
402005 Veranstaltung - Master Mathematik Version 2010
17002 Vorlesungen aus dem Vorlesungsangebot der Informatik 2 - Bachelor Informatik Version 2011
17003 Vorlesungen aus dem Vorlesungsangebot der Informatik 3 - Bachelor Informatik Version 2011
17004 Vorlesungen aus dem Vorlesungsangebot der Informatik 4 - Bachelor Informatik Version 2011
17005 Vorlesungen aus dem Vorlesungsangebot der Informatik 5 - Bachelor Informatik Version 2011
17006 Vorlesungen aus dem Vorlesungsangebot der Informatik 6 - Bachelor Informatik Version 2011
17007 Vorlesungen aus dem Vorlesungsangebot der Informatik 7 - Bachelor Informatik Version 2011
18001 Vorlesungen aus dem Vorlesungsangebot der Informatik 1 - Bachelor Informatik Version 2011
18002 Vorlesungen aus dem Vorlesungsangebot der Informatik 2 - Bachelor Informatik Version 2011
18003 Vorlesungen aus dem Vorlesungsangebot der Informatik 3 - Bachelor Informatik Version 2011
18004 Vorlesungen aus dem Vorlesungsangebot der Informatik 4 - Bachelor Informatik Version 2011
18005 Vorlesungen aus dem Vorlesungsangebot der Informatik 5 - Bachelor Informatik Version 2011
18006 Vorlesungen aus dem Vorlesungsangebot der Informatik 6 - Bachelor Informatik Version 2011
18007 Vorlesungen aus dem Vorlesungsangebot der Informatik 7 - Bachelor Informatik Version 2011
502001 Veranstaltung - Master Mathematik Version 2013
502002 Veranstaltung - Master Mathematik Version 2013
502003 Veranstaltung - Master Mathematik Version 2013
502004 Veranstaltung - Master Mathematik Version 2013
502005 Veranstaltung - Master Mathematik Version 2013
28001 Vorlesung (mit integrierter oder separater Übung) - Master Informatik Version 2014
29001 Vorlesung (mit integrierter oder separater Übung) - Master Informatik Version 2014
101001 Vorlesung - Bachelor Mathematik Version 2014
101002 Übungen - Bachelor Mathematik Version 2014
60001 Vorlesung - Master Informatik Version 2014
60002 Übungen - Master Informatik Version 2014
2013001 Vorlesung (mit integrierter oder separater Übung) - Master Mathematik Version 2013
2014001 Vorlesung (mit integrierter oder separater Übung) - Master Mathematik Version 2013
2015001 Vorlesung (mit integrierter oder separater Übung) - Master Mathematik Version 2013
2045001 Vorlesung - Master Mathematik Version 2013
2045002 Übungen - Master Mathematik Version 2013
Zuordnung zu Einrichtungen
Fachbereich 10 Mathematik und Informatik
Inhalt
Kommentar

In vielen Systemen, die wir im täglichen Leben nutzen, wie z.B. Computer und Kommunikationssysteme, spielen zufällige Ereignisse eine große Rolle. Stromausfälle, Reparaturprozesse, Serverstörungen, aber auch randomisierte Protokolle zur Datenübertragung beeinflussen ihre Leistungsfähigkeit und Zuverlässigkeit.

Um Vorhersagen über die Qualität solcher Systeme treffen zu können werden Modelle benötigt, die zufällige Zustandsänderungen modellieren können und Methoden zur Analyse, die es erlauben, Wahrscheinlichkeiten für das Eintreten von bestimmten Ereignissen in der Zukunft zu berechnen.

Diese Vorlesung stellt verschiedene Modellklassen vor, die gut geeignet sind, um randomisierte Systeme zu beschreiben: (i) Markov Ketten, (ii) Warteschlangenmodelle und (iii) stochastische Petri Netze. Wir betrachten Anwendungen aus verschiedenen Bereichen und lernen Methoden zur Analyse solcher Modelle kennen.

Praktische Übungen sowie das Erstellen von Fallstudien unter Anleitung und mit Hilfe des Softwaretools Prism sind  Inhalt der Vorlesung. Die mathematischen Grundlagen zu den entsprechenden Bereichen der Stochastik werden in der Vorlesung anwendungsnah erarbeitet.

Zielgruppe

Die Veranstaltung gehört zum Bereich "Formale Methoden und Algorithmik".

Sie kann in folgenden Modulen gehört werden:

  • 1-Fach-Bachelor Informatik (PO 2007 und PO 2011):  Wahlbereich
  • Master of Science Informatik (PO 2008): Formale Methoden und Algorithmik oder Spezialisierung
  • Master of Science Informatik (PO 2014): Ergänzungsmodul im Bereich Formale Methoden und Algorithmik (klein)
  • Master of Science Mathematik (PO 2010): Formale Methoden und Algorithmik
  • Master of Science Mathematik (PO 2013) - Studienbeginn MSc Mathematik und Nebenfachbeginn Informatik bis WS 2014/15: Formale Methoden und Algorithmik
  • Master of Science Mathematik (PO 2013) - Studienbeginn MSc Mathematik oder Nebenfachbeginn Informatik ab SS 2015: Ergänzungsmodul im Bereich Formale Methoden und Algorithmik (klein)
  • 1-Fach-Bachelor Informatik (PO 2014):  Wahlmodul "Formale Methoden der Softwareentwicklung"
  • 1-Fach-Bachelor Mathematik (PO 2014): Wahlmodul "Formale Methoden der Softwareentwicklung"
  • Zwei-Fach-Bachelor Informatik (LABG 2009): Wahlmodul

Strukturbaum
Keine Einordnung ins Vorlesungsverzeichnis vorhanden. Veranstaltung ist aus dem Semester SS 2016 , Aktuelles Semester: SoSe 2024