Grunddaten
Titel | Implementierung verifizierter Lösungsalgorithmen für dynamische Systemmodelle in C++ sowie Schaffung von Schnittstellen zu Matlab und Kopplungsmöglichkeiten mit bestehenden Bibliotheken |
Beschreibung |
Verifizierte Simulationsprogramme, welche die Mengen möglicher Zustände von dynamischen Systemen mit Unsicherheiten durch die Nutzung von Intervallarithmetik, ellipsoidalen Einschlüssen oder anderen Mengenrepräsentationen beschreiben, sind oft in unterschiedlichen Programmiersprachen wie C/C+, Python oder Matlab implementiert. Der Nachteil interpretierter Sprachen ist dabei in einer höheren Rechenzeit zu sehen, während Matlab-Umsetzungen den Vorteil einer schnellen Test- und auch Visualisierbarkeit von Ergebnissen haben. Ausgewählte Simulationsansätze sollen im Rahmen dieses Themenkomplexes in der Form reimplementiert werden, dass rechenzeitkritische Teile in C/C++ umgesetzt werden. Dabei soll insbesondere auf bestehende Bibliotheken wie CAPD zurückgegriffen werden. Möglichkeiten, die implementierten Routinen auch auf GPU-Architekturen bei bestimmten Voraussetzungen an Datenparallelität auszuführen, sollen analysiert, beschrieben und genutzt werden. Gleiches gilt für eine Kopplung der erarbeiteten Software-Umsetzung mit Teilroutinen, welche von ihrem Rechenzeitbedarf unkritisch sind und daher für eine schnelle Erweiterbarkeit in Matlab umgesetzt bleiben sollen. |
Heimateinrichtung | Department für Informatik |
Art der Arbeit | konzeptuell / theoretisch |
Abschlussarbeitstyp | Bachelor oder Master |
Autor | Prof. Dr.-Ing. habil. Andreas Rauh |
Status | verfügbar |
Aufgabenstellung | |
Voraussetzung | |
Erstellt | 03.02.2022 |