KŮDELA, J. Optimalizační úlohy v programu AIMMS [online]. Brno: Vysoké učení technické v Brně. Fakulta strojního inženýrství. 2012.
Práce se zaměřuje na využití programu AIMMS při řešení optimalizačních úloh různých typů. Obsahuje stručný výklad teoretické části, která je potřebná pro formulace úloh lineárního, lineárního celočíselného a nelineárního programování. Těžiště práce spočívá v ukázkách praktické implementace vybraných úloh do programu AIMMS. Pro každou úlohu je vytvořeno grafické rozhraní, které umožňuje uživateli snadno měnit vstupní data a ihned sledovat změny v řešení. Oceňuji zejména zařazení dvou úloh lineárního a nelineárního programování (3.3 a 5.2), které si autor sám vymyslel a ukázal na nich přednosti programu AIMMS. V programu Linear Universal (3.3) si uživatel může snadno naformulovat a vyřešit libovolnou úlohu lineárního programování včetně citlivostní analýzy. Program Least Square umožňuje proložení libovolného počtu bodů zvoleným polynomem. Z formálního hlediska je důležité zmínit kvalitní sazbu práce v prostředí LaTeX. Autor v předložené práci splnil požadavky zadání. Pracoval velmi samostatně a projevil značnou míru iniciativity při výběru úloh a jejich řešení. Celkově považuji předloženou práci za kvalitní, hodnotím ji stupněm A a doporučuji k obhajobě.
| Kritérium | Známka | Body | Slovní hodnocení |
|---|---|---|---|
| Splnění požadavků a cílů zadání | A | ||
| Postup a rozsah řešení, adekvátnost použitých metod | A | ||
| Vlastní přínos a originalita | A | ||
| Schopnost interpretovat dosažené vysledky a vyvozovat z nich závěry | A | ||
| Využitelnost výsledků v praxi nebo teorii | A | ||
| Logické uspořádání práce a formální náležitosti | A | ||
| Grafická, stylistická úprava a pravopis | A | ||
| Práce s literaturou včetně citací | A | ||
| Samostatnost studenta při zpracování tématu | A |
Autor se zabývá tématem využití programu AIMMS při řešení optimalizačních úloh. Náročnost zadání podle mne spočívala v unikátnosti pojetí AIMMS jako objektově orientovaného nástroje pro modelování optimalizačních úloh. Autor si však s tímto úskalím výborně poradil a beze zbytku splnil požadavky zadání. Práce vyžadovala využití přednášených znalostí z oblastí lineární algebry, matematické analýzy a objektově orientovaného programování. Autor pak vhodně navázal samostudiem vybraných partií matematického programování. Zejména oceňuji, že dokázal proniknout do objektově orientovaného přístupu k problematice matematických modelů, což na základě vlastních zkušeností považuji za netriviální, protože se jedná o jiný přístup, než je využíván v jazycích jako je MAPLE, MATLAB nebo GAMS. Práce se velice dobře čte, z mnoha stránek práce autora přímo čiší jeho zaujetí pro zadanou problematiku a chuť předloženou výzvu zvládnout. Poznatky převzaté z vhodně vybrané odborné literatury (viz Taha) autor upravuje a doplňuje vizualizací a vlastními příklady. Zejména oceňuji zahrnutí prezentace analýzy citlivosti (viz dotaz níže). Čtenář si ani neuvědomuje, že ke zvládnutí AIMMS bylo nutné osvojit si daleko více než vizualizaci, tj. prvky modelovacího jazyka, principy jejich zapouzdření do objektů a jejich propojení s prvky uživatelského rozhraní. To vše autor zvládl a prezentuje stravitelným způsobem. Písemná a grafická úprava je přehledná, autor prokázal dobré znalosti typografického systému LaTex. Určité výhrady ale mám k členění práce v ůvodu, kdy autor uvádí čtenáře do problematiky programového systému AIMMS příliš bezprostředně. Vhodnější bylo změnit pořadí výkladu a navázat uvedení AIMMS až na předcházející uvedení základních pojmů matematického programování. Velmi dobrou stylistickou úroveň poněkud narušuje občasný žargon (viz "otočení nerovnosti" na str. 5) a nepřesnosti (odkaz na linearitu modelu místo na postačující linearitu účelové funkce při grafickém řešení úlohy lineárního programování na str. 7; zbytečné přetečení vzorce na str. 14). Přes zmíněné drobné připomínky považuji předloženou bakalářskou práci za velmi přínosnou a doporučuji ji k obhajobě. Abych ocenil kvalitu práce autora, kladu tyto otázky:
| Kritérium | Známka | Body | Slovní hodnocení |
|---|---|---|---|
| Splnění požadavků a cílů zadání | A | ||
| Postup a rozsah řešení, adekvátnost použitých metod | A | ||
| Vlastní přínos a originalita | A | ||
| Schopnost interpretovat dosaž. vysledky a vyvozovat z nich závěry | A | ||
| Využitelnost výsledků v praxi nebo teorii | A | ||
| Logické uspořádání práce a formální náležitosti | B | ||
| Grafická, stylistická úprava a pravopis | A | ||
| Práce s literaturou včetně citací | A |
eVSKP id 50364