SKORKOVSKÝ, P. Tvorba operačního systému založeného na evolučních a genetických algoritmech [online]. Brno: Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií. 2013.
Posudek na dizertační práci Ing. Petra Skorkovského Tvorba operačního systému založeného na evolučních a genetických algoritmech Hlavní zaměření posuzované dizertace spočívá v modifikaci a vylepšení operačního systému a přidruženého software z hlediska možnosti jejich začlenění do automatizovaného vývoje software. Vyvíjená aplikace je založena na známých poznatcích genetického programování a je použit mechanismus odvozený z vlastností podobných vlastnostem buněčného automatu, přičemž je vytvořen procesor logických funkcí s podobnými vlastnostmi jaké má chování buněčného automatu. Obsahem dizertace je zpracování těchto okruhů: Přehled současného stavu zkoumané oblasti genetického programování, již dosažených výsledků v oboru, ze kterých dizertace vychází, navržení vlastností nového operačního systému, který by využíval pro svůj vývoj a pro něj určené aplikace techniky genetického programování a navržení architektury operačního systému nové generace. Dále se autor zaměřuje na analýzu požadavků na nový programovací jazyk a jeho vlastnosti, kterými lze kódovat algoritmy za účelem možnosti zautomatizování jejich vývoje a na matematický popis nalezeného jazyka pro kódování algoritmů. V teoretické části práce autor vhodně využívá iterativních stromových struktur a zejména vlastností buněčných automatů. Je vyvinuta aplikace se schopností nalézt algoritmus včetně jeho reprezentace novým jazykem na základě zadání vhodně kódovaných definicí popisujících chování hledaného algoritmu, který by byl schopen opakovaného spouštění a řešení problémů, pro něž byl určen. Další zaměření dizertace spočívá v řešení problému nalezení srozumitelného popisu - ve formátu logickými rovnicemi číslicové techniky – získaného algoritmu, včetně detailního popisu vyvíjené aplikace, popis programových bloků, podprogramů, modulů, syntaxe a formátů vstupních a výstupních souborů a dalších objektů. Dizertace také obsahuje praktické příklady a ukázky hledaných a nalezených algoritmů s použitím vyvinuté aplikace. Lze konstatovat, že práce je poměrně rozsáhlá a obsažná. Kromě úvodu, závěru a seznamu literatury je tvořena dalšími jedenácti kapitolami, zaměřenými na operační systém pro automatizovaný vývoj aplikací, architekturu systému, rozhraní pro propojení s vnějším prostředím, zdrojové specifikace, cílové implementace, teoretické základy genetického programování, popis aplikace GenAlg (což je program, jehož úkolem je provádět stejnou operaci jakou by měl v operačním systému nové generace vykonávat, v teoretické části práce autorem navržený, párovací systém). V kapitole jedenáct jsou pak obsaženy příklady specifikací a nalezených implementací. Celá dizertace je vypracována velmi pečlivě, vyznačuje se pěknou a přeh-lednou grafickou úpravou. Důležité je, že obsahuje nové výsledky dokorandem získané zcela samostaně. Je spravedlivé zdůraznit, že pan Ing. Skorkovský pracoval na spisu samostatně a projevil během práce na dizertaci velmi dobrou orientaci ve zpracovávané problematice, jakožto i značnou píli a houževnatost. Během studia uveřejnil 10 článků. O svých výsledcích také referoval na odborném semináři Ústavu matematiky. Uvedená fakta mě opravňují prohlásit, že pan Ing. Petr Skorkovský vypracoval kvalitní spis, který lze akceptovat jako dizertační práci doktorského studijního programu Matematika v elektroinženýrství a za předpokladu úspěšné obhajoby doporučuji jmenovanému udělit vědeckou hodnost Ph. D. 17. 10. 2013 Prof. RNDr. Jan Chvalina, DrSc., školitel, Ústav matematiky FEKT VUT v Brně
viz posudek ve formátu pdf
viz posudek ve formátu pdf
eVSKP id 69507