Nové techniky kompaktní reprezentace Booleovských funkcí
| but.committee | prof. Ing. Tomáš Vojnar, Ph.D. (předseda) doc. Ing. Petr Matoušek, Ph.D., M.A. (člen) Ing. František Grézl, Ph.D. (člen) Ing. Tomáš Martínek, Ph.D. (člen) Ing. Matěj Grégr, Ph.D. (člen) | cs |
| but.defence | Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Student následně odpověděl na otázky oponenta a na další otázky přítomných. Komise se na základě posudku oponenta, hodnocení vedoucího, přednesené prezentace a odpovědí studenta na položené otázky rozhodla práci hodnotit stupněm A. | cs |
| but.jazyk | angličtina (English) | |
| but.program | Informační technologie | cs |
| but.result | práce byla úspěšně obhájena | cs |
| dc.contributor.advisor | Lengál, Ondřej | en |
| dc.contributor.author | Maťufka, Ján | en |
| dc.contributor.referee | Holík, Lukáš | en |
| dc.date.accessioned | 2023-07-17T08:03:58Z | |
| dc.date.available | 2023-07-17T08:03:58Z | |
| dc.date.created | 2023 | cs |
| dc.description.abstract | Binárne rozhodovacie diagramy (BDD) reprezentujú Booleovské funkcie a sú značne využívané vo formálnej verifikácii, model checkingu, syntéze obvodov v CAD softvéroch, atď. S rastúcim počtom premenných ale (v najhoršom prípade) exponenciálne rastie aj veľkosť BDD. Cieľom tejto práce je vytvoriť kompaktný model reprezentácie Booleovských funkcií založený na automatoch. K dosiahnutiu tohto cieľa boli použité stromové automaty. Vkladaním stromových automatov so špeciálnymi vlastnosťami do štruktúry BDD je možné redukovať opakujúce sa vzory. Tento model dosiahol v priemere 10-20 % menšie počty uzlov v testovaných prípadoch v porovnaní so súčasnými modelmi. Používanie automatového prístupu umožňuje vytvárať vlastné automaty prispôsobené na redukciu konkrétnych vzorov, čím sa rozširujú možnosti tohto modelu a jeho potenciál na ešte lepšie výsledky. | en |
| dc.description.abstract | Binary decision diagrams (BDDs) represent Boolean functions and are extensively used in formal verification, model checking, circuit synthesis in CAD software, etc. With more variables, however, the BDD size grows in the worst case exponentially. The aim of this thesis is to create an automata-based model for compact representation of Boolean functions. To achieve this, tree automata are used. By inserting tree automata with specific properties into the BDD structure, larger repeating patterns can be reduced. This model allows for approximately 10-20 % smaller node counts in tested benchmarks compared to the state-of-the-art models. Using a tree-automata based approach allows for creating custom automata to reduce specific patterns and thus allow for possibly even better results. | cs |
| dc.description.mark | A | cs |
| dc.identifier.citation | MAŤUFKA, J. Nové techniky kompaktní reprezentace Booleovských funkcí [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2023. | cs |
| dc.identifier.other | 146866 | cs |
| dc.identifier.uri | http://hdl.handle.net/11012/211117 | |
| dc.language.iso | en | cs |
| dc.publisher | Vysoké učení technické v Brně. Fakulta informačních technologií | cs |
| dc.rights | Standardní licenční smlouva - přístup k plnému textu bez omezení | cs |
| dc.subject | Binárny rozhodovací diagram | en |
| dc.subject | Stromový automat | en |
| dc.subject | Kanonicita | en |
| dc.subject | Redukcia | en |
| dc.subject | Binary decision diagram | cs |
| dc.subject | Tree automaton | cs |
| dc.subject | Canonicity | cs |
| dc.subject | Reduction | cs |
| dc.title | Nové techniky kompaktní reprezentace Booleovských funkcí | en |
| dc.title.alternative | New Techniques for Compact Representation of Boolean Functions | cs |
| dc.type | Text | cs |
| dc.type.driver | bachelorThesis | en |
| dc.type.evskp | bakalářská práce | cs |
| dcterms.dateAccepted | 2023-06-15 | cs |
| dcterms.modified | 2023-06-15-12:23:48 | cs |
| eprints.affiliatedInstitution.faculty | Fakulta informačních technologií | cs |
| sync.item.dbid | 146866 | en |
| sync.item.dbtype | ZP | en |
| sync.item.insts | 2023.07.17 10:03:58 | en |
| sync.item.modts | 2023.07.17 09:39:01 | en |
| thesis.discipline | Informační technologie | cs |
| thesis.grantor | Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav inteligentních systémů | cs |
| thesis.level | Bakalářský | cs |
| thesis.name | Bc. | cs |