| Abschlussarbeiten (BSc., MSc., Dipl.) |
Richtlinien
zur Bearbeitung einer Abschlussarbeit in unserer Arbeitsgruppe
Eine Auswahl von Themen für Bachelorarbeiten, die z.Z. bearbeitet
werden bzw. bereits abgeschlossen wurden
Themen für Bachelorarbeiten:
-
Ergänzungen des Intervall-Visualisierungstools intpakX
- Visualisierung von Lösungsmengen (Stichworte: symmetrische Systeme,
affin-lineare Systeme, Darstellung mittels verallgemeinerter Intervalle)
- Anbindung von IntLab an das Maple power tool intpakX /
Zusammenarbeit der Softwarepakete Maple, IntLab, Matlab über Schnittstellen
- Verifizierte Berechnung von Inneneinschließungen
vektorwertiger Funktionen
- Verifizierte Nullstellenberechnung holomorpher Funktionen
Themen für Master- und Diplomarbeiten:
-
Verifikationsalgorithmen für Funktionenräume (z.B. im Zusammenhang
mit dem verifizierten Lösen von Systemen von Integralgleichungen)
-
Parallelisierung von Verifikationsalgorithmen auf dem Wuppertaler Hochleistungs-Parallelrechner
ALiCEnext
-
QT als Ergänzung zu C-XSC: Installation, Dokumentation, Anwendungsbeispiele
(verifizierter Funktions- und Ableitungenplot, Interpolation zwischen mit
der Maus vorgebbaren und verschiebbaren Datenpunkten)
-
Zonotope und die genaue Berechnung dynamischer Systeme (Graphik mit QT)
-
Entwurf und Implementierung von selbstverifizierenden Numerikalgorithmen
in Matlab (+ Intlab + Maple)
-
Numerische Lösung partieller Differentialgleichungen mit Matlab (+Toolbox)
Nähere Informationen zu den oben genannten sowie weiteren Themen können
Sie bei Herrn Krämer
oder bei Herrn Hofschuster
erhalten.
Andere Themen aus dem Bereich
Wissenschaftliches Rechnen und Softwaretechnologie sind auch möglich.
Die Betreuung von externen Arbeiten bedarf der vorherigen Abstimmung.