@misc{Baumgaertner2019, type = {Master Thesis}, author = {Baumg{\"a}rtner, Franz}, title = {Entwurf und Entwicklung des Regelwerks eines Produktkonfigurators}, url = {http://nbn-resolving.de/urn:nbn:de:bvb:860-opus4-1302}, school = {Hochschule f{\"u}r Angewandte Wissenschaften Landshut}, pages = {61}, year = {2019}, abstract = {Diese Masterarbeit behandelt das Design und die Implementierung des Regelwerks eines Produktkonfigurators f{\"u}r Automobile. Bei hochindividualisierbaren Produkten, wie Automobile, k{\"o}nnen die Bestandteile in der Regel nicht beliebig kombiniert werden und trotzdem zu einem funktionierendem Produkt f{\"u}hren. Die Zusammensetzung eines Produkts folgt gewissen Regeln. Ein Produktkonfigurator, der die Zusammenstellung eines solchen Produkts erm{\"o}glicht, muss alle relevanten Regeln kennen, auswerten und beachten. Alle Regeln eines Produkts, ein Regelsatz, definiert also die Abh{\"a}ngigkeiten zwischen den Produktbestandteilen. Die Regeln definieren mithilfe Boolscher Ausdr{\"u}cke, ob Bestandteile zusammen verbaut werden m{\"u}ssen, k{\"o}nnen oder aber gar nicht zusammen verbaut werden k{\"o}nnen. Das Regelwerk stellt dabei sicher, dass die Auswahl der Produktbestandteile derart erfolgt, sodass nur ein baubares und funktionsf{\"a}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{\"o}sen kann. Er muss dabei auch die Regeln ber{\"u}cksichtigigen, die durch die {\"A}nderungen an der Auswahl durch die L{\"o}sung der Konflikte ausgel{\"o}st werden. Außerdem kann der Solver benutzt werden um eine Vorhersage zu treffen, welche Ver{\"a}nderungen die Auswahl eines Bestandteils ausl{\"o}sen wird. Diese Vorhersage soll dem Benutzer angezeigt werden, wenn er die Maus {\"u}ber ein Bestandteil bewegt. Damit dies fl{\"u}ssig funktioniert, muss der Solver besonders schnell eine L{\"o}sung finden. Gekl{\"a}rt werden soll daher: Welcher Solver-Algorithmus eignet sich am besten f{\"u}r das Regelwerk eines Automobilkonfigurators und k{\"o}nnen projektspezifische Anpassungen die Performance verbessern? Um dies zu beantworten werden im Rahmen dieser Arbeit SAT-Solver Algorithmen evaluiert, um gute Kandidaten f{\"u}r diese Aufgabe zu finden. Einer der Kandidaten wird ein Brute-Force-Algorithmus sein und als Vergleichsgrundlage dienen. Dann wird gepr{\"u}ft, welcher der Solver bei dem spezifischen Problem die bessere oder performantere Auswertung des Regelsatzes erbringt.}, subject = {Konfigurator }, language = {de} } @misc{Huber2019, type = {Master Thesis}, author = {Huber, Manuel}, title = {CAPTCHA Recognition with Adaptable Neural Networks}, url = {http://nbn-resolving.de/urn:nbn:de:bvb:860-opus4-764}, school = {Hochschule f{\"u}r Angewandte Wissenschaften Landshut}, pages = {77}, year = {2019}, abstract = {CAPTCHAs are tests to tell computers and humans apart. Text-based CAPTCHAs are very common although there exist several successful attempts to solve them with computer programs. We solve text-based CAPTCHAs with a deep convolutional neural network that is based on VGG-16. Our network initially is trained with labeled samples and then proceeds with new and harder unlabeled ones. These harder CAPTCHAs have a line through the text or use multiple or different fonts. We show that a network that was trained on one type of CAPTCHAs can adapt to new and more challenging CAPTCHAs even if the network is only using already correctly solved CAPTCHAs. We also show that active learning can improve the accuracy of our networks and decrease the number of learning iterations necessary for them to adapt to more challenging CAPTCHAs.}, subject = {Captcha}, language = {en} } @misc{Panse2019, type = {Master Thesis}, author = {Panse, Christian}, title = {Visualisierung des eigenen K{\"o}rpers f{\"u}r Virtuelle Realit{\"a}t mithilfe inverser Kinematik}, url = {http://nbn-resolving.de/urn:nbn:de:bvb:860-opus4-835}, school = {Hochschule f{\"u}r Angewandte Wissenschaften Landshut}, pages = {49}, year = {2019}, abstract = {F{\"u}r Anwendungen in der virtuellen Realit{\"a}t ist die Visualisierung des K{\"o}rpers eines Nutzers von Interesse. Dies steigert die Immersion sowie verbessert das Nutzererlebnis. In dieser Arbeit wird ein Verfahren erarbeitet, welches mithilfe des FABRIK Algorithmus zur L{\"o}sung der Inversen Kinematik ein selbst entwickeltes Skelett entsprechend der Eingabedaten positioniert. Dabei werden die Positionen des Kopfes sowie der H{\"a}nde des Nutzers von der VR-Umgebung gemessen und an die Anwendung {\"u}bermittelt, welche selbst{\"a}ndig die Ellenbogen sowie Schultern platziert.}, subject = {Virtuelle Realit{\"a}t}, language = {de} } @masterthesis{Mueller2024, type = {Bachelor Thesis}, author = {M{\"u}ller, Marek}, title = {Entwicklung einer vernetzten Dokumentations- und Prozesssteuerungssoftware zur Digitalisierung eines Verarbeitungsprozesses der Glasverarbeitung}, doi = {10.57688/399}, url = {http://nbn-resolving.de/urn:nbn:de:bvb:860-opus4-3997}, school = {Hochschule f{\"u}r Angewandte Wissenschaften Landshut}, pages = {68}, year = {2024}, abstract = {Diese Arbeit gibt einen {\"U}berblick {\"u}ber die Entwicklung einer webbasierten Applikation zur Optimierung von Produktionsprozessen in der Glasindustrie in Kooperation mit der SCHOTT AG. Die Applikation ersetzt eine fehleranf{\"a}llige Excel-basierte Dokumentation und verwaltet Fertigungsauftr{\"a}ge sowie Chargen, einschließlich der Berechnung von Prozessstellwerten. Sie verwendet React und Material-UI f{\"u}r ein benutzerfreundliches Frontend, w{\"a}hrend im Hintergrund eine SQL-Datenbank und ein Node.js-Backend f{\"u}r Datenmanagement und Funktionsbereitstellung sorgen. Integriert in eine serviceorientierte Architektur (SOA), beinhaltet die Applikation moderne Authentifizierungstechnologien wie Keycloak f{\"u}r das Identit{\"a}ts- und Zugriffsmanagement. Ziel der Arbeit ist es, manuelle Eingaben und Fehler signifikant zu reduzieren und die Transparenz der Produktionsabl{\"a}ufe zu erh{\"o}hen, was in der Folge zu einer Steigerung von Effizienz und Qualit{\"a}t im Produktionsprozess der SCHOTT AG f{\"u}hrt. Diese Aufgabenstellung wurde erfolgreich umgesetzt. Sowohl die Datenqualit{\"a}t als auch die Fehlerquote haben sich im Vergleich zur vorherigen Excel-L{\"o}sung deutlich verbessert.}, subject = {Glasverarbeitung}, language = {de} } @masterthesis{Schneider2025, type = {Bachelor Thesis}, author = {Schneider, Tobias}, title = {Evaluating Log Messages Using a Big Data Approach}, doi = {10.57688/452}, url = {http://nbn-resolving.de/urn:nbn:de:bvb:860-opus4-4522}, school = {Hochschule f{\"u}r Angewandte Wissenschaften Landshut}, pages = {52}, year = {2025}, abstract = {Large log files, with hundreds of thousands of entries, can get hard to evaluate. Due to the sheer size of the file, detecting if a system is to be considered in an error-state and finding the underlying root-cause gets increasingly challenging. The work of this thesis addresses the issues by re-calculating the error-success ratio, using the exponential moving average algorithm and providing a pattern-based proposal of the root-cause by employing a suffix array. The introduced log analyzing system is able to query the log file in various manners, supporting and speeding up manual analysis. Additionally, the log analyzing system can also be updated with newer log messages. Measurements, using log messages of a simulated microservice environment, showed that the approach introduced in this thesis beats pure manual analysis for a log file with over 2,000 entries. In addition, it is over 34 times faster in finding patterns, such as the most repeated error message, compared to pure manual analysis for a log file with over 400,000 entries.}, language = {en} } @misc{Egetemeyer2026, type = {Master Thesis}, author = {Egetemeyer, Martin}, title = {Entwicklung und Evaluation einer Pair-basierten Heuristik zur Variablenwahl in SAT-Solvern}, doi = {10.57688/481}, url = {http://nbn-resolving.de/urn:nbn:de:bvb:860-opus4-4816}, school = {Hochschule f{\"u}r Angewandte Wissenschaften Landshut}, pages = {121}, year = {2026}, abstract = {Die L{\"o}sung boolescher Erf{\"u}llbarkeitsprobleme (SAT) spielt in vielen Bereichen der Informatik eine zentrale Rolle, etwa bei der Verifikation von Hardware und Software oder in der k{\"u}nstlichen Intelligenz. Moderne SAT-Solver verwenden heuristische Verfahren zur Variablenwahl, um den Suchprozess effizient zu steuern. Die Wahl der Heuristik hat dabei einen wesentlichen Einfluss auf Suchverlauf, Laufzeitverhalten und Konfliktdynamik. Ziel dieser Masterarbeit ist die Entwicklung und empirische Untersuchung einer neuen Pair-Based-Heuristik zur Variablenwahl in SAT-Solvern. Der vorgestellte Ansatz ber{\"u}cksichtigt explizit Beziehungen zwischen Variablen, die gemeinsam in Klauseln auftreten, und nutzt diese strukturellen Informationen zur Steuerung des Suchprozesses. Der Ansatz wird in den CDCL-Solver CaDiCaL integriert und anhand etablierter Benchmark-Sammlungen mit klassischen Variablenheuristiken verglichen. Die Ergebnisse zeigen, dass die Ber{\"u}cksichtigung paarweiser Variablenbeziehungen den Suchverlauf messbar beeinflusst, jedoch nicht zu einer durchg{\"a}ngig verbesserten L{\"o}sungsleistung f{\"u}hrt. Insbesondere wird deutlich, dass die konkrete Ausgestaltung der Paarinformationen einen zentralen Einfluss auf Konfliktdichte, Laufzeit und Suchfokus besitzt. Die Arbeit liefert damit Einblicke in das Verhalten strukturorientierter Variablenwahlheuristiken und verdeutlicht die Grenzen und Herausforderungen bei der Integration zus{\"a}tzlicher Strukturinformationen in moderne SAT-Solver.}, language = {de} }