Graduierungskolloquium online:
Bachelorarbeit Tobias Romke am 28.09.2020 09:00 Uhr

Die Aussprache findet online auf BigBlueButton statt. Der Zugangscode kann vorab entweder bei Ilja Becker oder Sven Löffler erfragt werden.


Graduierungskolloquium online:
Bachelorarbeit Amer Reda am 08.10.2020 09:00 Uhr

Die Aussprache findet online auf BigBlueButton statt. Der Zugangscode kann vorab entweder bei Ilja Becker oder Sven Löffler erfragt werden.


Abschlussarbeiten

Nachfolgend finden Sie Themen-Vorschläge für Bachelor- und Masterarbeiten aus den Themenkomplexen Compilerbau und Constraint-Programmierung. Die formulierten Aufgaben sind mit dem entsprechenden Niveau (Bachelor oder Master) gekennzeichnet (und können in Abwandlung oder Ergänzung manchmal auch für das jeweils andere Niveau angepasst werden).

In Absprache können wir Ihnen weitere Aufgabenstellungen z.B. aus den Bereichen des maschinellen Lernens, der Anwendung von Sensorik/Aktuatorik/Robotik oder der modellbasierten Software-Entwicklung anbieten.

Haben Sie Interesse an einer der nachfolgenden Aufgabenstellung, den o.g. oder einem verwandten Thema?
Dann sprechen Sie uns bitte an!

1) Themenkomplex: Der gläserne Compiler

Um Studierenden das Verständnis von Übersetzungstechniken im Rahmen der Lehre zu erleichtern bieten wir verschiedene Themen unter dem Schwerpunkt "Der gläserne Compiler" an. Alle vorgeschlagenen Themen werden in der Veranstaltung "Compilerbau" (Modulnr. 12350) im Detail vorgestellt und besprochen. Für diese Arbeiten ist es also von Vorteil, wenn die Kandidaten dieses Modul besucht haben.

1a) Syntaktische und Semantische Analyse mit attributierten Grammatiken (Bachelor-/Master-Arbeit)

Es soll eine Anwendung entwickelt werden, mit der die Parsierung und semantische Analyse mit Hilfe von Attributgrammatiken visualisiert und erläutert werden kann. Hierbei sollen Attributgrammatiken (AGs) bzw. SDDs (Syntax-directed Definitions) eingegeben werden können und nach oder parallel zur Parsierung semantische Eigenschaften des Programms überprüft werden können. Die Aufgabe kann sowohl für die Top-Down- als auch für die Bottom-Up-Parsierung und mit unterschiedlichen AG-Auswertungsmechanismen umgesetzt werden. Eine schrittweise Auswertung umgesetzt und visuell aufbereitet werden.

1b) Codeerzeugung und -optimierung (Bachelor-Arbeit)

Ziel dieser Arbeit ist ein Tool zur visuellen Repräsentation der letzten Stufen eines Compilers. Ausgehend von einer internen Repräsentation in Form von abstrakten Syntaxbäumen sollen einfache Methoden zur Codeerezeugung und -optimierung aufbereitet und visualisiert werden.

2) Themenkomplex: Constraint-Programming- und Constraint-Solving-Techniken

Die Constraint-Programmierung ist ein Teilgebiet der künstlichen Intelligenz zur Modellierung und zur Lösung komplexer (NP-vollständiger) Such- und Optimierungsprobleme.In diesem Bereich bieten wir verschiedene Arbeiten zur Entwicklung und Adaption von Lösungsmethoden oder zur Modellierung von CSPs und Anwendung von Lösungstechniken an.

2a) Untersuchung und Vergleich von Methoden zur Lösung komplexer Probleme am Beispiel von Knobel- und Suchproblemen (Bachelor-/Master-Arbeit)

In dieser Arbeit sollen verschiedene Methoden zur Lösung komplexer (NP-vollständiger) Knobel- und Suchprobleme untersucht, evaluiert und optimiert werden. Ansätze zur Modellierung und Lösung bietet die Constraint-Programmierung. Probleme werden dort als sog. Constraint-Satisfaction-Probleme (CSPs) beschrieben und gelöst.

Unterschiedliche Modellierungen eines Problems unterscheiden sich aber nicht nur in der Problembeschreibung sondern auch darin, wie schnell eine, eine gute, eine optimale, alle oder eine bestimmte Anzahl von Lösungen für ein Problem gefunden werden können.

Ziel dieser Arbeit ist daher die Untersuchung unterschiedlicher Methoden zur Modellierung und Lösung von CSPs, hierunter die Problemzerlegung, Remodellierung durch redundante oder globale Constraints und die Parallelisierung.

2b) VCS - Suchbäume evaluieren (Bachelor-Arbeit)

Der Visual Constraint Solver (VCS) ist ein Tool zur Visualisierung des Constraint-Lösungsprozesses. Er wurde im Rahmen von Abschlussarbeiten am Fachgebiet Programmiersprachen und Compilerbau entwickelt.

In der Constraint-Programmierung kann man sehr klar und deklarativ komplexe Such- und Optimierungsprobleme beschreiben. Der Lösungsprozess wird durch einen sog. Constraint-Solver durchgeführt und ist für den Nutzer bei großen Problemen aber oft nur schwer nachvollziehbar. VCS unterstützt daher durch Interaktivität und Visualisierung das Verständnis des Lösungsprozesses.

Bisher viusalisiert VCS sowohl das ursprüngliche Constraint-Problem als Graphen als auch den Lösungsvorgang in Form eines Suchbaumes. Seine Form ist abhängig von sog. Variablen- und Wertauswahlheuristiken, wobei eine geschickte Wahl einer solchen Heuristik den Lösungsprozess beschleunigen kann.  In der Arbeit soll VCS um eine Komponente erweitert werden, die es erlaubt, verschiedene Suchbäume für ein Constraint-Problem gleichzeitig zu visualisieren, zu untersuchen, zu evaluieren und zu vergleichen.

2c) NoGoods und Regular-Constraints (Master-Arbeit)

Das Regular-Constraint ist ein globales Constraint (d.h. ein Constraint über einer Menge von Variablen). Sein Propagator, d.h. der Algorithmus, der die Einhaltung des Constraints sicherstellt und ggf. den Suchraum entsprechend beschneidet, basiert auf der Erzeugung und Anwendung eines deterministischen endlichen Automaten (DFA). Während das Regular-Constraint die zulässigen Lösungstupel erzeugt oder prüft (positive Information), arbeiten sog. Nogoods mit negativer Information, d.h. mit den verbotenen Lösungsvarianten. Je nach CSP kann die eine oder andere Repräsentation kleiner und effektiver sein.

Im Rahmen der Arbeit sollen das Regular-Constraint mit seinem Propagationsalgorithmus und das Konzept der Nogoods vorgestellt und verglichen werden. Es soll sowohl ein Verfahren entworfen werden, das Regular-Constraints automatisch in Nogoods umwandelt als auch eines, welches Nogoods in Regular-Constraints konvertiert. Weiterhin soll analysiert werden und es sollen Kriterien formuliert werden, wann der Einsatz von Nogoods und Regular-Constraints jeweils für eine schnellere Lösungsfindung vorteilhaft sein kann.

2d) Modellierung von Suchproblemen mit CSPs (Master-Arbeit)

Bei bestimmten Optimierungsproblemen ergibt sich die Bewertung einer Lösung aus der Länge des Lösungswegs von einer gegebenen Startkonfiguration zur Zielkonfiguration. Im Gegensatz zur typischen CSPs, die nach Problemlösungen oder der Exisitenz von Lösungen mit bestimmten Eigenschaften suchen, geht es hier nicht nur um das Finden einer solchen Lösung, sondern auch um das Finden einer Lösung mit minimalem Aufwand. Im Sinne von Suchproblemen und einer globalen Suche wollen wir also die Anzahl der Suchschritte minimieren.

In der Arbeit sollen gegebene Beispielprobleme und Suchalgorithmen analysiert werden mit dem Ziel eine Formulierung der Suchaufgabe als CSP zu finden, die eine optimale (oder lokal optimale) Lösungsstrategie als Ergebnis generiert. Die Berechnung dieser Lösungsstrategie, d.h. die Berechnung einer möglichst kurzen Folge von Lösungsschritten, soll dabei selbst in möglichst kurzer Zeit erfolgen.

Die Lösung über ein CSP soll im Vergleich mit Standard-Lösungsverfahren evaluiert werden.

3) Themenkomplex: Probleme aus der Praxis

Immer wieder treten Partner an uns heran mit Problemen direkt aus dem Arbeitsleben und dem Forschungsalltag. Diese Themen haben hohe Praxisrelevanz, werden gegen echte Anwendungssituationen evaluiert und finden oft Eingang als reale Problemlösung.

3a) Halbautomatisierte Angebotserstellung mittels Methoden des maschinellen Lernens (Bachelor-/Master-Arbeit)

In vielen Industrie-Unternehmen bildet die Angebotserstellung einen wesentlichen Bestandteil des Arbeitsgeschehens. In Zusammenarbeit mit dem Unternehmen HICONFORM Freital soll eine innovative softwareseitige Lösung gefunden werden, die eine halbautomatisierte Angebotserstellung mittels Methoden des maschinellen Lernens ermöglicht. In vielen Industrie-Unternehmen bildet die Angebotserstellung einen wesentlichen Bestandteil des Arbeitsgeschehens. In Zusammenarbeit mit dem Unternehmen HICONFORM Freital soll eine innovative softwareseitige Lösung gefunden werden, die eine halbautomatisierte Angebotserstellung mittels Methoden des maschinellen Lernens ermöglicht.

3b) Erweiterte Ähnlichkeitserkennung für Moodle (Bachelor-Arbeit)

In dieser Arbeit soll ein Plugin für die eLearning-Plattform Moodle entwickelt werden, die Quellcode-Abgaben untereinander auf Ähnlichkeit prüft. Hierzu sollen bestehende Lösungen analysiert  und verglichen werden sowie ein prototypisches Plugin mit erweiterten Features entwickelt werden.

3c) Terminscheduling für medizinische Einrichtungen (Master-Arbeit)

Angesichts einer stets vollen Patientenwarteliste, begrenzter personeller Ressourcen und der damit verbundenen Notwendigkeit, eine effiziente und ökonomische Allokation dieser Ressourcen vorzunehmen, soll in dieser Arbeit eine automatisierte, digitale Terminvergabe für eine medizinische Einrichtung entworfen und entwickelt werden. Das Thema wird in Kooperation mit dem Sozialpädiatrischen Zentrum des CTK vergeben und durchgeführt.

Unsere Webseite verwendet Cookies. Diese haben zwei Funktionen: Zum einen sind sie erforderlich für die grundlegende Funktionalität unserer Website. Zum anderen können wir mit Hilfe der Cookies unsere Inhalte für Sie immer weiter verbessern. Hierzu werden pseudonymisierte Daten von Website-Besuchern gesammelt und ausgewertet. Das Einverständnis in die Verwendung der technisch nicht notwendigen Cookies können Sie jeder Zeit wiederrufen. Weitere Informationen erhalten Sie auf unseren Seiten zum Datenschutz.

Erforderlich

Diese Cookies werden für eine reibungslose Funktion unserer Website benötigt.

Statistik

Für den Zweck der Statistik betreiben wir die Plattform Matomo, auf der mittels pseudonymisierter Daten von Websitenutzern der Nutzerfluss analysiert und beurteilt werden kann. Dies gibt uns die Möglichkeit Websiteinhalte zu optimieren.

Name Zweck Ablauf Typ Anbieter
_pk_id Wird verwendet, um ein paar Details über den Benutzer wie die eindeutige Besucher-ID zu speichern. 13 Monate HTML Matomo
_pk_ref Wird benutzt, um die Informationen der Herkunftswebsite des Benutzers zu speichern. 6 Monate HTML Matomo
_pk_ses Kurzzeitiges Cookie, um vorübergehende Daten des Besuchs zu speichern. 30 Minuten HTML Matomo