LZS

  • Increase font size
  • Default font size
  • Decrease font size
Drucken

TVL als Datenstruktur für Boolesche Funktionen

Betreuer: M.Sc. Feng Liu

Motivation: Das Prinzip „Teile und Herrsche“ ist eine etablierte Technik für die Handhabung komplexer Strukturen. Weiterhin ist die Algebraisierung von Strukturen mittels Boolescher Funktionen weit verbreitet.

Problemstellung (Dekomposition Boolescher Funktionen):
In diesem Arbeitsgebiet soll eine Methodik entwickelt werden, um Boolesche Funktionen zu dekomponieren. Die Codierung der Booleschen Funktion soll mittels der Datenstruktur TVL realisiert werden.

Problemlösung (Dekompositionsmethoden):
Die im Stand der Technik etablierten Dekompositionsmethoden (z. B. Shannon- und Davio-Dekomposition) sollen recherchiert / studiert werden. Darauf aufbauend sollen für die Problemstellung geeignete (kostengünstige) Methoden entwickelt werden.

Durchführung:

  • Codierung Boolescher Funktionen in TVL
  • Recherche von etablierten Dekompositionsmethoden
  • Optimierung

Beginn ab sofort - Geeignet für studentische Arbeiten (SA, BA, MA, DiplA) - Das Thema kann in Unterthemen mit individuellen Schwerpunkten unterteilt werden.

 

 

Suche

LZS-Intern