MAŤUFKA, J. Nové techniky kompaktní reprezentace Booleovských funkcí [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2023.
Jako vedoucí jsem byl s prací Jána Maťufky spokojen. Přes velmi náročné zadání se spoustou nových konceptů se Jánovi podařilo danou problematiku pochopit, proniknout do ní a získat zajímavé výsledky, které budou sloužit jako základ dalšího výzkumu v dané oblasti. Práci hodnotím stupněm výborně ( A ).
| Kritérium | Známka | Body | Slovní hodnocení |
|---|---|---|---|
| Informace k zadání | Zadání práce zapadá do širší oblasti výzkumu efektivních datových struktur pro kompaktní reprezentaci formálních modelů, který probíhá ve skupině VeriFIT. Šlo o velmi náročné zadání, jehož náplní bylo uchopit konceptuální návrh nové datové struktury pro reprezentaci Boolevských funkcí s mnoha věcmi nedořešenými a udělat "průzkum bojem", tj. pokusit se dodělat algoritmy pro manipulaci s datovou strukturou a ověřit, jak se datová struktura chová ve srovnání s konkurenčními přístupy a zjistit potenciální problémy. Student si dále musel nastudovat různé další formální modely a srovnat se s nimi. S dosaženými výsledky jsem spokojen. | ||
| Práce s literaturou | Student měl zadány základní studijní materiály, další si dohledal samostatně. | ||
| Aktivita během řešení, konzultace, komunikace | Student byl během řešení aktivní, pravidelně jsme konzultovali. | ||
| Aktivita při dokončování | Práce byla dokončena v předstihu, obsah konzultován. | ||
| Publikační činnost, ocenění | Práce byla prezentována na studentské konferenci EXCEL@FIT 2023 formou posteru. Dále je očekáváno, že z výstupů bude vytvořen příspěvek na některé kvalitní mezinárodní konferenci. |
Student se velmi aktivně zapojil do výzkumu náročného tématu. Pokud vím, přišel s množstvím originálních myšlenek a technických řešení, měl na starosti celou implementaci a experimentální vyhodnocení. Výsledek se blíží publikovatelné úrovni, publikace je v plánu. Měřitelné výsledky v podobě prostorové úspory reprezentace booleovksých funkcí zatím nejsou nijak závratné, ale jsou slušné - úspory prostoru se pohybují mezi 10 a 20%. Stávající experiment zatím ale použil jen jednoduché krabice více méně odpovídající vzorům použitým v existujících variantách rozhodovacích diagramů. V tomto kontextu je získaná úspora vlastně již teď poměrně zajímavá. Dá se předpokládat, že použitím specializovaných krabic bude možno dosáhnout mnohem větších úspor. Na základě studentovy práce by toto mělo být možné v brzké době už poměrně snadno zkusit. Celkový objem odvedené práce výrazně přesahuje standardní jeden akademický studento-rok.
| Kritérium | Známka | Body | Slovní hodnocení |
|---|---|---|---|
| Náročnost zadání | Zadání je v podstatě formulací výzkumného směru a je možné jej interpretovat různě, v extrému jako téma pro výzkumný projekt řešený týmem zkušených výzkumníků. Práce zdaleka nevolí minimalistický přístup, naopak je ambiciózní. Do pozemské roviny obtížnosti zadání vrací to, že student pracoval v roli člena týmu vedeného zkušenými výzkumníky. I tak jde ale o obtížné zadání vyžadující zvládnutí komplikovaných formalismů a algoritmů, vlastní invenci, a dobré programátorské schopnosti. | ||
| Rozsah splnění požadavků zadání | Zadání bylo splňena daleko nad rámec minimalistického řešení i nad rámec kvality běžné bakalářské práce. Práce posouvá výzkum důležitého tématu blízko publikaci na kvalitní mezinárodním fóru. | ||
| Rozsah technické zprávy | |||
| Prezentační úroveň technické zprávy | 95 | Velmi pěkný text, s pro změnu opravdu užitečným přehledem relevantní teorie a variant rozhodovacích diagramů, na kterých práce staví, s pochopitelnou expozicí vlastního přínosu v podobě nové datové struktury a vysoce komplexních algoritmů pro práci s ní, a s přehledným a rozumným experimentálním vyhodnocením. | |
| Formální úprava technické zprávy | 95 | Velmi dobrá Angličtina (kterou podle máho názoru ani nic nevygenerovalo), užitečné příklady, obrázky, celkově nemám co vytknout (kdybych psal článek, sem tam něco přeformuloval, ale nevšiml jsem si vyložených chyb). | |
| Práce s literaturou | 100 | Velmi smysluplně zpracovaný a opravdu užitečný předhled relevantní teorie a technik, vše řádně referencováno. | |
| Realizační výstup | 95 | Vznikla nová datová struktura zobecňující rozhodovací diagramy, parametrizovatelná takzvanými krabicemi. Byla implementována a experimentálně srovnána s alternativami, ve smyslu prostorové efektivity. Jedná se o velmi kvalitní výzkumné a implementační výstupy, nak které navazuje další výzkum. | |
| Využitelnost výsledků | Výrazný pokrok ve výzkumu perspektivního tématu. |
eVSKP id 146866