Institute of Control Systems (IRS)

Verifizierte numerische Methoden

  • Type: Vorlesung + Übung
  • Semester: WS19/20
  • Time/Place:

    Dienstag, 14:00 - 15:30
    Seminarraum Geb. 20.30. Raum 2.059.

    Donnerstag, 14:00 - 15:30 (14-Täglich)
    Seminarraum IRS (Raum 203)

  • Lecturer:

    Dr. Kaori Nagato-Plum

  • SWS: 2 + 1
  • ECTS: 4
  • Lv-No.: 2303001
  • Exam: Mündlich

Dozenten

Dr. Kaori Nagato-Plum

Dozentin
   

Überblick

Ansprechpartner 

Für Fragen zur Vorlesung oder der Übung kontaktieren Sie bitte Dr. Karoi Nagato-Plum.

Empfehlungen

Höhere Mathematik I - III
Numerische Methoden
Numerische Methoden für partielle Differentialgleichungen

Lehrinhalt

  • Intervall-Arithmetik
  • Funktionalanalytische Grundkonzepte
    • Sobolev-Räume
    • Einbettung und Einbettungssätze
    • Fixpunkt Formulierung
    • Fixpunktsatz
  • Numerische Methoden in der Elektrodynamik
  • Verifizierte numerische Methoden für lineare Gleichungssysteme
  • Verifizierte numerische Methoden für (endlich-dimensionale) nichtlineare Gleichungen
  • Computerunterstützte Beweismethoden für Differentialgleichungen
  • Einschließung von Eigenwerten

Ziel

  • Die Studierenden kennen die Grundlagen verifizierter numerischer Methoden zur Einschließung von Lösungen von (endlich-dimensionalen) Gleichungssystemen sowie Differentialgleichungen
  • Die Studierenden sind vertraut mit allen Aspekten von der Modellbildung über die Entwicklung verifizierter numerischen Verfahren bis zur algorithmischen Umsetzung und konkreten Programmierung z.B. in MATLAB/INTLAB
  • Die Studierenden beherrschen die Anwendung von verifizierten numerischen Methoden auf praktische Aufgabenstellungen

Mündliche Prüfung

Die Erfolgskontrolle erfolgt im Rahmen einer mündlichen Gesamtprüfung (20 Minuten) nach § 4 Abs. 2 Nr. 2 SPO Master ETIT über die ausgewählte Lehrveranstaltung