TVL - Resolvierung
Betreuer: M.Sc. Tobias Rumpel
Vortragender:
Problemstellung: Für die Darstellung von Daten wird in der Digitaltechnik auf Vektoren mit Komponenten aus 0-en und 1-en zurückgegriffen. Diese aus zwei Werten bestehenden Vektoren stellen die logische Repräsentation der Daten dar. Eine kompaktere Darstellung von Daten geschieht hingegen durch eine dreiwertige Ternär-Vektor-Liste (TVL). Diese TVL ist ein Multi-Set (MS) und gehorcht den Axiomen der Aussagenlogik (AA). Mit Hilfe der Technik des Resolvierens kann nun für eine TVL der Repräsentant der größten Überlappungen, das sind die größten Primblöcke - Primimplikanten oder Primimplikate, gefunden werden. Die Herausforderung besteht nun darin, die Implementierung auf einem Rechner mit wenig Aufwand an Rechenzeit und Speicherplatz durchzuführen. Es liegt bereits ein am Lehrstuhl LZS entwickelter Algorithmus vor.
Problemlösung: Die Operationen auf der TVL sollen veranschaulicht werden. Der vorliegende Algorithmus für die Technik des Resolvierens bezüglich Rechenzeit und Speicherplatz soll verbessert werden. Dazu gibt es das zeilenweise oder spaltenweise Vorgehen zusätzlich das Nachresolvieren. Es stellt sich die Frage, welches Problem beiden Vorgehensweisen gemeinsam zu Grunde liegt, und wie dies (mit einem Dictionary) gelöst werden kann. Der Schwerpunkt der Implementierung liegt auf der objektorientierten Darstellung.
Durchführung:
Die Durchführung ist in fünf Teilen geplant:
- Einarbeitung in die TVL
- Verstehen und Anwenden von TVL-Operationen
- Verstehen von Algorithmen für die Resolvierung
- Programmieren des Algorithmus in C/C++
- Vergleich verschiedener Ansätze
Termin: 04.02.2027