BLAŽEK, M. Statistické ověřování modelů přibližných výpočetních systémů [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2024.
S odhlédnutím od spíše průměrné aktivity studenta během řešení a dokončování činností souvisejících s obtížnějším zadáním a zpracováním technické zprávy, a spíše s přihlédnutím k větší obtížnosti zadání, ke kvalitnímu řešení a jeho zhodnocení a k publikačnímu potenciálu výsledku práce navrhuji ohodnotit práci studenta i její výsledek stupněm A .
| Kritérium | Známka | Body | Slovní hodnocení |
|---|---|---|---|
| Informace k zadání | Problematiku řešenou v předložené práci považuji za obtížnější , jelikož vyžadovala zorientovat se v oblastech (souvisejících mj. s AC, SMC) nad rámec vědomostí, dovedností a praktických zkušeností z předmětů běžného bakalářského studia. Za stěžejní považuji body 3 a 4 zadání - vzhledem k jejich kvalitnímu zpracování považuji zadání za splněné . | ||
| Práce s literaturou | Student prokázal schopnost samostatně využívat vedoucím doporučené i vlastním úsilím nalezené informační zdroje související s řešeným tématem, mj. orientovat se v nich, čerpat z nich a vhodně využívat informace v nich obsažené k řešení daného tématu. | ||
| Aktivita během řešení, konzultace, komunikace | Dané téma začal student zpracovávat včas , řešení průběžně , byť s cca měsíční periodou, konzultoval a informoval o dílčích pokrocích i dalším směřování řešení projektu. Student pracoval samostatně a na konzultace byl vždy velmi dobře připraven . | ||
| Aktivita při dokončování | Výsledek práce studenta (tj. realizační výstup a technická zpráva) mi začal být předkládán ke konzultacím poměrně pozdě (cca od poloviny dubna) a spíše sporadicky ; jeho konečná podoba mi však byla předložena v dostatečném předstihu , umožňujícím mi připomínkovat ji před odevzdáním. | ||
| Publikační činnost, ocenění | Není mi známa žádná publikační činnost či ocenění týkající se této práce; nicméně, ve výsledku práce spatřuji publikační potenciál - existuje např. řada kvalitních konferencí, které mají pro oblast AC vyhrazenou zvláštní sekci apod. |
Vzhledem k dosaženým výsledkům, které by se mohly stát základem vědeckého článku, obtížnosti zadání a pečlivě zpracované technické zprávě navrhuji hodnocení stupněm výborně. Práci doporučuji k ocenění.
| Kritérium | Známka | Body | Slovní hodnocení |
|---|---|---|---|
| Náročnost zadání | Jednalo se o nadprůměrně obtížné zadání, které vyžadovalo seznámení se s obtížnou problematikou nestudovanou v rámci bakalářského studia (aproximativní obvody a jejich analýza, stochastické časové automaty, statistické ověřování modelů v nástroji UPPAAL) a praktickou aplikaci těchto znalostí na problém výzkumného charakteru. Student vytvořil nástroj umožňující automatizovaně převést popis aproximativního obvodu na model pro UPPAAL a pomocí UPPAAL ověřit vlastnosti tohoto obvodu pro různá pravděpodobnostní rozdělení vstupních hodnot, které byly získaný ze sedmi různých testovacích aplikací. Tato práce navazuje na původní výsledky vedoucího diplomové práce. | ||
| Rozsah splnění požadavků zadání | Zadání bylo splněno v celém rozsahu. Experimentální ověření je významně podrobnější než lze očekávat u běžné bakalářské práce. | ||
| Rozsah technické zprávy | |||
| Prezentační úroveň technické zprávy | 95 | Práce je logicky strukturovaná, obsahuje všechny potřebné informace, v přílohách jsou k dispozici výsledky pro všechny experimenty. | |
| Formální úprava technické zprávy | 92 | Práce je napsána čtivě, s minimálním množstvím jazykových a typografických prohřešků. Nelíbí se mi jednovětné odstavce „Tato podsekce čerpá z [...]“ na začátku některých kapitol. | |
| Práce s literaturou | 90 | Diplomant využíval relevantní zdroje a řádně se na ně odkazoval. Reference [27] je neúplně zapsaná. Chybí odkazy na zdrojové kódy testovacích aplikací. | |
| Realizační výstup | 95 | Realizačním výstupem je nástroj na převod kombinačních obvodů zapsaných ve Verilogu na modely pro systém UPPAAL. Dále je přiložena sada dalších programů pro spouštění a prezentaci výsledků experimentů. Diplomant rovněž vytvořil a následně využil sadu sedmi testovacích úloh, což je jeho samostatný přínos. Výsledky experimentů prokazují, že je pomocí navržené metody možné odhalit zajímavé vlastnosti aproximativních obvodů, zejména dopad distribuce vstupů na výslednou chybu aproximativního obvodu. Zdrojové kódy jsou označeny a přiměřeně komentovány. Nepochybuji, že prezentované výsledky byly pomocí nich získány. | |
| Využitelnost výsledků | Jedná se o práci výzkumného charakteru, která by se po doplnění mohla stát základem vědeckého článku. Výsledky jsou nové - statistické ověřování vlastností modelů aproximativních obvodů s využitím nástrojů typu UPPAAL je v literatuře prozkoumáno jen okrajově. |
eVSKP id 150953