Jump for page navigation or with accesskey and key 1. 
Jump to page content or with accesskey and key 2. 
Home    Login     
Logout in [min] [minutetext]

Methods and Applications for Randomised Systems - Single View

Basic Information
Type of Course V/Ü Long text
Number 104162 Short text
Term SS 2016 Hours per week in term 4
Expected no. of participants 20 Study Year
Max. participants
Credits Assignment enrollment
Hyperlink
Language german
Dates/Times/Location Group: [no name] iCalendar export for Outlook
  Day Time Frequency Duration Room Room-
plan
Lecturer Status Remarks Cancelled on Max. participants
show single terms
iCalendar export for Outlook
Mon. 14:00 to 16:00 weekly 11.04.2016 to 11.07.2016  Orléans-Ring 10 - OR 23 S100.023 (N3)        
show single terms
iCalendar export for Outlook
Thu. 12:00 to 14:00 weekly 14.04.2016 to 14.07.2016  Orléans-Ring 10 - OR 23 S100.023 (N3)        
Group [no name]:
 


Responsible Instructors
Responsible Instructors Responsibilities
Hüls, Jannik begleitend
Remke, Anne, Prof. Dr. responsible
Curriculae
Graduation - Curricula 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) -
Exams / Modules
Number of exam Module
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
Assign to Departments
Fachbereich 10 Mathematik und Informatik
Contents
Description

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.

Target Group

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

Structure Tree
Lecture not found in this Term. Lecture is in Term SS 2016 , Currentterm: SoSe 2024