Stud.IP Uni Oldenburg
University of Oldenburg
29.11.2021 22:03:34
ThesisTopics

Personal details

Title Implementierung verifizierter Lösungsalgorithmen für dynamische Systemmodelle in C++ sowie Schaffung von Schnittstellen zu Matlab und Kopplungsmöglichkeiten mit bestehenden Bibliotheken
Description
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.
Home institution Department of Computing Science
Type of work conceptual / theoretical
Type of thesis Bachelor's or Master's degree
Author Prof. Dr.-Ing. Andreas Rauh
Status available
Problem statement
Requirement
Created 16/10/21

Study data

Departments
  • Verteilte Regelung in vernetzten Systemen
Degree programmes
  • Master's Programme Computing Science
  • Bachelor's Programme Computing Science
Assigned courses No courses assigned
Contact person