Vylepšenie BoolTest-u

Benjamin Saloň

Bakalářská práce

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.

Klíčová slova

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

Jazyk práce: slovenština

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
• Vedoucí: Mgr. Marek Sýs, Ph.D.
• Oponent: RNDr. Dušan Klinec

Masarykova univerzita

Fakulta informatiky

Bakalářský studijní program / obor:
Aplikovaná informatika / Aplikovaná informatika