Filtern
Jahr der Fertigstellung
- 2019 (1)
Dokumenttyp
- Masterarbeit (1)
Sprache
- Deutsch (1)
Volltext vorhanden
- ja (1)
Schlagworte
Fakultät
Diese Masterarbeit behandelt das Design und die Implementierung des Regelwerks eines Produktkonfigurators für Automobile.
Bei hochindividualisierbaren Produkten, wie Automobile, können die Bestandteile in der Regel nicht beliebig kombiniert werden und trotzdem zu einem funktionierendem Produkt führen. Die Zusammensetzung eines Produkts folgt gewissen Regeln. Ein Produktkonfigurator, der die Zusammenstellung eines solchen Produkts ermöglicht, muss alle relevanten Regeln kennen, auswerten und beachten.
Alle Regeln eines Produkts, ein Regelsatz, definiert also die Abhängigkeiten zwischen den Produktbestandteilen. Die Regeln definieren mithilfe Boolscher Ausdrücke, ob Bestandteile zusammen verbaut werden müssen, können oder aber gar nicht zusammen verbaut werden können.
Das Regelwerk stellt dabei sicher, dass die Auswahl der Produktbestandteile derart erfolgt, sodass nur ein baubares und funktionsfähiges Produkt konfiguriert werden kann. Es kontrolliert also, ob alle Regeln des Regelsatzes eingehalten werden. Teil des Regelwerks ist daher ein SAT-Solver, der anhand des Regelsatzes Konflikte in einer Auswahl von Produktbestandteilen lösen kann. Er muss dabei auch die Regeln berücksichtigigen, die durch die Änderungen an der Auswahl durch die Lösung der Konflikte ausgelöst werden.
Außerdem kann der Solver benutzt werden um eine Vorhersage zu treffen, welche Veränderungen die Auswahl eines Bestandteils auslösen wird. Diese Vorhersage soll dem Benutzer angezeigt werden, wenn er die Maus über ein Bestandteil bewegt. Damit dies flüssig funktioniert, muss der Solver besonders schnell eine Lösung finden.
Geklärt werden soll daher: Welcher Solver-Algorithmus eignet sich am besten für das Regelwerk eines Automobilkonfigurators und können projektspezifische Anpassungen die Performance verbessern?
Um dies zu beantworten werden im Rahmen dieser Arbeit SAT-Solver Algorithmen evaluiert, um gute Kandidaten für diese Aufgabe zu finden. Einer der Kandidaten wird ein Brute-Force-Algorithmus sein und als Vergleichsgrundlage dienen. Dann wird geprüft, welcher der Solver bei dem spezifischen Problem die bessere oder performantere Auswertung des Regelsatzes erbringt.