BDD knihovna
| but.committee | prof. Ing. Jan M. Honzík, CSc. (předseda) doc. Dr. Ing. Otto Fučík (místopředseda) Ing. Martin Karafiát, Ph.D. (člen) doc. Ing. Ondřej Ryšavý, Ph.D. (člen) Ing. Aleš Smrčka, 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 E. Otázky u obhajoby: Umožňuje implementace MTBDD neomezený počet hodnot v uzlech? Jestli ne, jak by jste tento nedostatek odstranil? Proč je vaše implementace o tři řády pomalejší než CUDD a jak by jste to řešil? Buďte prosím konkrétní, odpověď ve stylu "asi by pomohlo cachování" za uspokojivou nepovažuji. | cs |
| but.jazyk | čeština (Czech) | |
| but.program | Informační technologie | cs |
| but.result | práce byla úspěšně obhájena | cs |
| dc.contributor.advisor | Lengál, Ondřej | cs |
| dc.contributor.author | Troška, Karol | cs |
| dc.contributor.referee | Holík, Lukáš | cs |
| dc.date.accessioned | 2020-06-23T08:04:59Z | |
| dc.date.available | 2020-06-23T08:04:59Z | |
| dc.date.created | 2014 | cs |
| dc.description.abstract | Binární rozhodovací diagram je datová struktura využívaná v mnoha oblastech informatiky. Tato práce popisuje BDD ako matematický formalizmus a navrhuje možnou reprezentaci BDD v počítači. Návrh je zaměřen především na rychlost snížením počtu alokací paměti a na jednoduchost a intuitivnost využívaní knihovny. V práci je několik jednoduchých příkladů užití knihovny a výstrahy, kterým by se měl programátor při používaní knihovny vyvarovat. Navržená reprezentace byla implementována v jazyce C. | cs |
| dc.description.abstract | Binary decision program is a data structure used in many areas of information technology. This thesis describes BDD as a mathematical formalism and proposes possible representation of BDD in a computer. The propose is focused mainly on a reduction speed of number of memory allocation and on a simplicity and an intuitive system of using a library. There are several examples of a library usage and warnings which programmer should avoid of in the thesis. Proposed representation was implemented in C language. | en |
| dc.description.mark | E | cs |
| dc.identifier.citation | TROŠKA, K. BDD knihovna [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2014. | cs |
| dc.identifier.other | 79189 | cs |
| dc.identifier.uri | http://hdl.handle.net/11012/56405 | |
| dc.language.iso | cs | 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ární rozhodovací diagram | cs |
| dc.subject | logická funkce | cs |
| dc.subject | logická proměnná | cs |
| dc.subject | výroková logika. | cs |
| dc.subject | Binary decision diagram | en |
| dc.subject | logic function | en |
| dc.subject | logic variable | en |
| dc.subject | propositional logic. | en |
| dc.title | BDD knihovna | cs |
| dc.title.alternative | A BDD Library | en |
| dc.type | Text | cs |
| dc.type.driver | bachelorThesis | en |
| dc.type.evskp | bakalářská práce | cs |
| dcterms.dateAccepted | 2014-06-17 | cs |
| dcterms.modified | 2020-05-09-23:43:31 | cs |
| eprints.affiliatedInstitution.faculty | Fakulta informačních technologií | cs |
| sync.item.dbid | 79189 | en |
| sync.item.dbtype | ZP | en |
| sync.item.insts | 2021.11.10 14:03:20 | en |
| sync.item.modts | 2021.11.10 13:40:28 | 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 |