TVL - Resolvierung
Betreuer: M.Sc. Tobias Rumpel
Vortragender: Yigi Chen
Problemstellung: In der binären Algebra und der Digitaltechnik werden hauptsächlich Vektoren mit zwei Komponenten (0 und 1) verwendet, um Informationen darzustellen. Diese binären Vektoren sind die Grundlage für die digitale Repräsentation von Daten und das Ausführen von digitalen Schaltungen. Ternärvektorlisten hingegen bestehen aus Vektoren mit drei Komponenten (0, 1 und -). Dabei stellt das "-" eine zusätzliche Ebene der Information bereit bzw. ermöglicht eine Kompaktierung von binären Funktionen. Die Resolvierung ist die Darstellung einer Funktion durch ihre Primblöcke. Dadurch wird die Funktion eineindeutig, und hilft Schaltungen zu vereinfachen. Es gibt verschiedene Reali-sierungsmöglichkeiten, insbesondere soll ein vom Lehrstuhl entwickelter Algorithmus mit gängigen Alternativen verglichen werden.
Problemlösung: Die Operationen auf der TVL sollen rekapituliert und die Algorithmen für das Resolvieren verbessert werden. Es gibt verschieden Ansätze, wie das spalten- oder zeilenweise Vorgehen, mit und ohne Sortierung etc. Die Algorithmen sollen im Sinne der Machbarkeit implementiert werden. Ein Schwerpunkt liegt auf der Darstellung der Algorithmen unter objektorientierten Gesichtspunkten.
Durchführung:
Die Durchführung ist in fünf Teilen geplant:
- Einarbeitung in die Theorie der TVL
- Verstehen und Anwenden von TVL-Operationen
- Verstehen des Resolvierungsalgorithmus
- Programmieren des Algorithmus in Python oder C/C++
- Vergleich verschiedener Ansätze
Termin: 10.07.2025