Grunddaten
Titel | Portable Anbindung von Bibliotheken für die verifizierende Lösung von Anfangswertproblemen gewöhnlicher Differentialgleichungen an VERICOMP |
Beschreibung |
Der Onlinedienst VERICOMP dient als Vergleichsplattform und Empfehlungssystem für Software zum Lösen von Anfangswertproblemen mit Ergebnisverifikation. Im Laufe dieser Bachelorarbeit werden zwei Themenkomplexe bearbeitet. Zunächst soll eine portable Anwendung gestaltet werden, damit interessierte Nutzer*innen einen einfachen Weg haben, neue Löser bei VERICOMP einzureichen. Außerdem kann so das Testen unterschiedlicher Löser immer auf gleicher Hardware sichergestellt werden, wodurch die Fairness des Ergebnisvergleichs gewährleistet wird. Für diese portable Anwendung ist es wichtig, dass die Daten einfach zugänglich sind. Das gilt einerseits für die zu durchlaufenden Test-Sets, die schnell und gut strukturiert erreichbar sein müssen. Außerdem gilt dies für die Speicherung der Ergebnisse dieser Tests, um das einfache Einpflegen in VERICOMP zu ermöglichen. Die Sicherheit dieser portablen Anwendung ist von Bedeutung, da diese von bekannten und unbekannten Nutzer*innen eingereicht und auf einem Hostsystem/Hostnetzwerk ausgeführt werden soll. Dieses Hostsystem/Hostnetzwerk gilt es zu schützen. Der zweite Themenkomplex beschäftigt sich mit der beispielhaften Nutzung dieser portablen Anwendung, um Nutzer*innen ein Verständnis zu liefern, wie diese funktioniert. Dabei wird einerseits Verifyode der Matlab-Bibliothek INTLAB betrachtet. Außerdem wird der Solver IOdeSolver aus der C++ Bibliothek Computer Assisted Proofs in Dynamics analysiert. |
Heimateinrichtung | Department für Informatik |
Art der Arbeit | konzeptuell / theoretisch |
Abschlussarbeitstyp | Bachelor |
Autor | Prof. Dr.-Ing. habil. Andreas Rauh |
Status | abgeschlossen |
Aufgabenstellung | |
Voraussetzung | |
Erstellt | 04.05.2022 |
Abgeschlossen am | 20.04.2023 |