Vylepšenie BoolTest-u

Benjamin Saloň

Bachelor's thesis

Improvements of the BoolTest

Abstract:

The bachelor thesis aims to explore the possibilities of improving BoolTest by approximation of Boolean functions. To this end, we have examined various methods for approximating Boolean functions. The researched methods include the Gaussian elimination method, the CVP algorithm, and various newly developed iterative techniques. By comparing the methods, we found that it is best to use the newly developed iterative approximation technique to improve the BoolTest. In this work, we present the properties of the iterative technique. We also compare the developed iterative technique with the original BoolTest.

Abstract:

Cieľom bakalárskej práce je preskúmať možnosti vylepšenia BoolTestu pomocou aproximácie boolovských funkcií. Za týmto účelom sme preskúmali rôzne metódy aproximácie boolovských funkcií. Medzi skúmané metódy patria Gaussova eliminačná metóda, CVP algoritmus a rôzne typy novovyvinutej iteratívnej techniky. Porovnaním metód sme zistili, že pre vylepšenie BoolTestu je najvhodnejšie použiť novovyvinutú iteratívnu aproximačnú techniku. V práci prezentujeme vlastnosti iteratívnej techniky. Vyvinutú iteratívnu techniku tiež porovnávame s pôvodným BoolTestom.

Kľúčové slová

BoolTest, boolovská funkcia, aproximácia, štatistické testovanie

Jazyk práce: Slovak

Datum vytvoření / odevzdání či podání práce: 25. 5. 2021

Obhajoba závěrečné práce

• Obhajoba proběhla 29. 6. 2021
• Vedúci: Mgr. Marek Sýs, Ph.D.
• Oponent: RNDr. Dušan Klinec

Masaryk University

Faculty of Informatics

Bachelor programme / odbor:
Applied Informatics / Applied Informatics