TVL - Resolvierung
Betreuer: M.Sc. Tobias Rumpel
Vortragender: Wenyi Shen
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. Mit Hilfe der Orthogonalisierung können Schaltfunktionen überlappungsfrei dargestellt werden. Dies kann dazu beitragen, den Ausbreitungsweg von Signalen in Schaltungen dezidiert zu be-stimmen, und damit eine hazardfreie Ausbreitung von Signalen zu ermöglichen. Für die Realisierung gibt mehrere Möglichkeiten, diese sollen miteinander verglichen werden.
Problemlösung: Die Operationen auf der TVL sollen rekapituliert und die Algorithmen für das Orthogonalisieren 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 Orthogonalisierungsalgorithmus
- Programmieren des neuen Algorithmus in Python oder C/C++
- Vergleich verschiedener Ansätze
Termin: 10.07.2025