MICHALISKO, T. Aproximace obvodů s využitím alternativních reprezentací [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2024.
Vzhledem k výzkumné povaze řešeného tématu, získaným původním výsledkům a kvalitní technické zprávě navrhuji hodnocení stupněm výborně.
| Kritérium | Známka | Body | Slovní hodnocení |
|---|---|---|---|
| Informace k zadání | Jedná se o náročnější zadání výzkumného charakteru, které bylo zpracováno tak, že obsahuje původní vědecké výsledky. Navazuje na výzkumnou činnost realizovanou na UPSY. Téma jsem jako vedoucí převzal v dubnu 2024 po doc. Vašíčkovi, který je v dlouhodobé pracovní neschopnosti. Implementační a experimentální práce byly prakticky dokončeny než jsem se stal vedoucím práce. | ||
| Práce s literaturou | Student samostatně vyhledával odbornou literaturu a využíval ji. | ||
| Aktivita během řešení, konzultace, komunikace | Z informací od původního vedoucího plyne, že student pracoval samostatně, konzultoval dle potřeby, na konzultace byl vždy výborně připraven. | ||
| Aktivita při dokončování | Implementace byla dokončena v předstihu. Obsah předfinální verze technické zprávy byl konzultován, mé připomínky byly zapracovány. | ||
| Publikační činnost, ocenění | Práce obsahuje zajímavé výsledky, které by mohly být (po doplnění) předmětem vědeckého článku. |
Práce řeší komplexní vědecké téma. Student přinesl celou řadu rozšíření tak, že výsledky jsou publikovatelné na mezinárodní úrovni. Proto doporučuji celkové hodnocení stupněm A – výborně a doporučuji práci pro ocenění.
| Kritérium | Známka | Body | Slovní hodnocení |
|---|---|---|---|
| Náročnost zadání | Zadání hodnotím jako obtížnější, protože student musel nastudovat nejen problematiku návrhu obvodů za pomoci genetických algoritmů, ale také jejich různé reprezentace definované v aktuální literatuře. | ||
| Rozsah splnění požadavků zadání | Student splnil všechny body zadání. Zároveň přinesl další rozšíření v podobě dalších mutačních operátorů, vyhodnocováním chyby s využitím technik formální verifikace a vyhodnocení velikosti po mapování do FPGA technologie (4vstupé LUT). | ||
| Rozsah technické zprávy | |||
| Prezentační úroveň technické zprávy | 95 | Práce je psaná srozumitelně, jednotlivé kapitoly na sebe navazují a veškerá teorie nutná k pochopení implementace je náležitě vysvětlena. Stejně tak vyhodnocení výsledků je přehledné a statisticky dobře vyhodnocené. | |
| Formální úprava technické zprávy | 95 | Práce neobsahuje žádné zásadní jazykové a typografické nedostatky. | |
| Práce s literaturou | 95 | Autor ve své práci využívá 54 převážně vědeckých zdrojů. Použité zdroje jsou relevantní k práci a jsou v textu správně odkazovány. | |
| Realizační výstup | 99 | Autor realizoval evoluční návrh jako samostatnou aplikaci v C++. Aplikace je dobře navržena, oceňuji zejména její modulárnost získanou vhodným použitím šablon. Vhodně zapracoval na akceleraci výpočtů a celkové optimalizaci této aplikace. Primárním realizačním výstupem jsou pak následné experimenty. Autorovi se podařilo zjistit závislost reprezentace na kvalitě a rychlosti aproximace. Všechny experimenty jsou dobře popsané, jejich nastavení je jasné a logické, takže výsledky jsou důvěryhodné. Podařilo se mu prokázat, že XMG reprezentace je vhodná pro aproximace. | |
| Využitelnost výsledků | Práce řeší aktuální problémy spojené s vědeckým tématem aproximace aritmetických obvodů. Vzhledem ke kvalitě experimentů a celkovému porovnání je možné tyto výsledky zpracovat do mezinárodní vědecké publikace. |
eVSKP id 154750