SHEVCHENKO, A. Vylepšení syntézy kontrolerů pro POMDP s využitím abstrakce a podobnosti. [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2024.
Vzhledem k obtížnému zadání, samostatné práci a velice kvalitnímu zpracovaní textové části BP navrhuji hodnotit tuto práci známkou A.
| Kritérium | Známka | Body | Slovní hodnocení |
|---|---|---|---|
| Informace k zadání | Jednalo se o poměrně náročné zadaní s výzkumným zaměřením, které vyžadovalo nastudování pokročilých technik z oblasti formálních metod pro pravděpodobnostní systémy včetně detailního pochopení pokročilých implementačních postupů. Student se dobře zorientoval v dané problematice a rychle začal samostatně pracovat. Zadání bylo splněno a s prací studenta jsem velice spokojen, ačkoliv jsme očekávali lepší experimentální výsledky (viz níže). | ||
| Práce s literaturou | Student se samostatně seznámil s existující literaturou a velice dobře zpracoval úvodní teoretickou část včetně existujících přístupů k řešenému problému. | ||
| Aktivita během řešení, konzultace, komunikace | Počáteční aktivita na řešení BP nebyla ideální. Od konce prvního semestru ale student již velice aktivně pracoval, dodržoval dohodnuté termíny a dostatečně konzultoval svůj postup. Velice oceňuji, že student pracoval samostatně a prokázal schopnost se sám zorientovat v relativně obtížné a pro studenta nové oblasti. | ||
| Aktivita při dokončování | Student zvládl realizační i textovou část BP dokončit včas, a tak mohla být výsledná podoba BP dostatečně konzultována. Mohu však konstatovat, že předložený text byl již od začátku dobře logicky strukturován a celková kvalita prezentace BP včetně angličtiny byla na vynikající úrovni - toto demonstruje schopnost studenta samostatně vypracovat kvalitní odborný text. | ||
| Publikační činnost, ocenění | Přestože student zpracoval zadání velice dobře a sám navrhl, implementoval a vyhodnotil několik dalších optimalizací nad rámec původního zadání, dosažené výsledky (tj. zrychlení procesu syntézy) nejsou dostatečně silné na sepsání kvalitní publikace. Vytvořený kód bude zatím zařazen do experimentální větve nástroje PAYNT, který ve skupině vyvíjíme. Je možné, že se k této práci v budoucnu vrátíme a pokusíme se ji dotáhnout do kvalitní publikace. |
Táto práca sa zaoberá vylepšením syntézy kontrolérov pre POMDP. Text práce je na vysokej technickej úrovni a obsahuje veľkú radu experimentálnych vyhodnotení. Realizačný výstup vylepšuje metódy v nástroji PAYNT. Celkovo, teda navrhujem známku výborně (A) , najmä ak budú dobre odprezentované odpovede na moje otázky.
| Kritérium | Známka | Body | Slovní hodnocení |
|---|---|---|---|
| Náročnost zadání | Jedná sa určite o náročnejšie zadanie. Práca vyžadovala naštudovanie pokročilej teórie okolo syntézy kontrolérov a zoznámenie sa s existujúcimi metódy. Keďže praktickým výstupom práce bolo rozšírenie nástroja PAYNT, študent sa taktiež musel bližšie zoznámiť s kódom pomerne rozsiahleho a stále vyvíjaného nástroja. | ||
| Rozsah splnění požadavků zadání | |||
| Rozsah technické zprávy | |||
| Prezentační úroveň technické zprávy | 90 | Technická úroveň práce je na vysokej úrovni. Práca je dobre štruktúrovaná. Kapitoly na seba nadväzujú. Text je celkovo dobre pochopiteľný. Jedinú výhradu k štruktúre mám k náväznosti na sekciu 3.1, ktorá predstavuje triedu existujúcich metód pre riešenie POMDP, avšak už nie je znovu referencovaná vo zvyšku práce. Tento fakt neovplyvňuje závery, s ktorými prichádza táto práca. | |
| Formální úprava technické zprávy | 95 | Práca je písaná dobrou Angličtinou a obsahuje len zanedbateľné množstvo gramatických chýb a preklepov. Taktiež som si nevšimol, že by práca obsahovala väčší počet typografických chýb. | |
| Práce s literaturou | 80 | Použitá literatúra a práca s ňou sú v poriadku. Bibliografické citácie, avšak nemajú jednotnú normu. | |
| Realizační výstup | 90 | Realizačným výstupom práce sú rozšírenia nástroja PAYNT, ktoré zlepšujú výkonnosť syntézy založenej na abstraction refinement. Funkčnosť týchto rozšírení bola validovaná na pomerne rozsiahlom počte POMDP modelov. Samotná funkcionalita mi bola predvedená študentom. | |
| Využitelnost výsledků | Výsledky experimentov ukazujú, že implementované rozšírenia by mohli mať praktické využitie v rámci nástroja PAYNT, čo inkrementálne posúva súčasný state-of-the-art pre mnohé problémy spojené so syntézou pravdepodobnostných programov. |
eVSKP id 157070