Boolesche Dekomposition
Betreuer: M.Sc. Tobias Rumpel
FOPRA: Yiqi Chen
Problemstellung: Es soll eine Methodik entwickelt werden, um Boolesche Funktionen zu dekomponieren. Dazu zählt das boolsche Differentialkalkül (vektorielle Ableitung, Variationsableitung etc.). Diese Funktionen sollen in TVL kodiert und bearbeitet werden. Für die Bearbeitung spielt insbesondere die boolesche Ableitung eine wichtige Rolle um Hazards zu ermitteln. Mit dieser sollen sich ändernde Übergänge der Funktion (grafisch: im KV-Diagramm), von 0 auf 1 vice versa analysiert werden. Diese resultieren als wechselnde Aneinanderreihung auch in statischen und dynamischen Hazardfehlern.
Problemlösung: Die im Stand der Technik etablierten Dekompositionsmethoden sollen recherchiert und studiert werden. Die Anwendung soll als Webanwendung mithilfe von Javascript realisiert werden und eine Interaktion mit dem Nutzer ermöglichen, sowie die Berechnung erleichtern und veranschaulichen.
Durchführung:
Die Durchführung ist in vier Teilen geplant:
- Einarbeitung in HTML/JS/CSS
- Einarbeitung in Dekompositionsmethoden
- Visualisierung der Dekomposition im KV-Diagramm
- Erstellung der Anwendung
Beginn: 01.10.2025
Ende: 01.04.2026