|
Metody genetického programování pro klasifikaci
Nagy, Marek ; Neruda, Roman (vedoucí práce) ; Pilát, Martin (oponent)
Táto práca skúma používanie rôznych kódovaní genetického programovania a ana- lyzuje, či môžu byť použité pre úlohu klasifikácie zo strojového učenia. Predstavujeme Evolučné Algoritmy a ich základné koncepty ako aj definujeme špecifickú vetvu Genet- ického Programovania, ktorá je používaná na generovanie vzorcov namiesto inak zakó- dovaného parametrického riešenia. Predstavujeme Kartesiánske a Stromové kódovanie a operácie na nich, ktoré sú potrebné pre algoritmus, aby fungoval správne. Navrhnuté algoritmy sú implementované a ich výkony sú otestované a ich výsledky porovnané na viacerých dátových sadách. Potom opisujeme ako zkompilovať a spustiť naše riešenie a diskutujeme o výsledkoch experimentov. 1
|
|
Synchronizace pohybu průmyslového robotu s pohybem pásového dopravníku
Nagy, Marek ; Pochylý, Aleš (oponent) ; Kubela, Tomáš (vedoucí práce)
Diplomová práce je zaměřená na řešení problematiky synchronizace pohybu prumyslového robotu s pohybem pásového dopravníku. Informuje o základném principu a možnostech využití obdobných aplikací. Popisuje jednotlivé členy použité v aplikaci, jejich význam a funkci. Poskytuje přehled navržených programových kódů pro programovatelný logický automat, smart kameru a robot. Cílem práce je vytvoření funkční demonstrační aplikace s robotem KUKA KR3.
|
|
Překladač jazyka C pro mikroprocesor AVR32
Nagy, Michal ; Husár, Adam (oponent) ; Hruška, Tomáš (vedoucí práce)
Tato bakalářská práce se zabývá tvorbou backendu architektury AVR32 pro překladač LLVM. Jádro práce tvoří seznamování se způsobem popisu architektur v LLVM a vlastní implementace backendu AVR32. Dále uvádím několik problémů, na které jsem během implementace narazil, a diskutuji jejich možná řešení. Výsledkem práce je funkční backend s několika omezeními zmíněnými v závěru práce.
|
|
Statická analýza programů v C ve Sparse a příbuzných nástrojích
Nagy, Martin ; Peringer, Petr (oponent) ; Vojnar, Tomáš (vedoucí práce)
Softwarová verifikace se postupně stává čím dál tím více důležitou součástí vývoje. Jejím cílem je zajištění kvality výstupního produktu. Navzdory tomuto ale problém psaní dobrých nástrojů pro statickou analýzu často spočívá v nedostatku dobrého front-endu překladače. Tato práce se pokouší analyzovat a zdokumentovat existující nástroj, zvaný Sparse, aby byli vědečtí pracovnící vyzbrojeni stabilním řešením, které jim umožní vyvíjet jejich analyzátory. V neposlední řadě je taky diskutovaný projekt Mygcc a jeho nový přístup k integraci se stávajícími překladači.
|
|
Detekce kompletnosti instrukční sady pro generování univerzálního překladače jazyka C
Nagy, Michal ; Dolíhal, Luděk (oponent) ; Hruška, Tomáš (vedoucí práce)
Práce se zabývá problematikou detekce kompletnosti popisu instrukční sady mikroprocesoru pro překladač LLVM, neboli schopností překladače vygenerovat cílový program pro každý validní zdrojový program v příslušném vyšším programovacím jazyce. Na základech teorie regulárních stromových gramatik a několika vědeckých prací, které se touto problematikou též zabývají, je navržen a implementován formální prostředek pro ověření inkluze dvou gramatik. Dále je navržen způsob automatické extrakce obou gramatik z popisu instrukční sady, v důsledku čehož je tento prostředek možné použít pro ověření kompletnosti výběru instrukcí. V kombinaci s ověřením kompletnosti tzv. procesu legalizace překladače LLVM, který výběr instrukcí předchází, by mělo být proveditelné ověření kompletnosti většiny části překladače závislých na popisu cílové architektury.
|
|
Simulace a optimalizace výrobního procesu při aplikaci vstřikovacích forem v lisovnách
Nagy, Martin ; Zouhar, Jan (oponent) ; Píška, Miroslav (vedoucí práce)
Bakalářská práce je zaměřená na simulaci a optimalizaci výrobního procesu při aplikaci vstřikovacích forem v lisovnách. V teoretické části je popsán proces, model, přístupy k modelování procesů a softwarová podpora simulace. Dále autor představil základní prvky softwaru FlexSim, jejíž znalost byla klíčová pro vytvoření modelu v praktické části. V té autor popsal tvorbu a funkci modelu a dále s modelem experimentoval a hledal optimální řešení pro zadané problémy. Z experimentů vyvodil závěry, že slabým místem procesu je nízké využití některých strojů a využití obsluhy. Pro tyto slabá místa procesu autor navrhl řešení.
|
|
Hodnocení investičního záměru strojírenského podniku
Nagy, Martin ; Zinecker, Marek (oponent) ; Luňáček, Jiří (vedoucí práce)
Diplomová práce je zaměřena na hodnocení investičního záměru strojírenského podniku. V teoretické části je popsána technologie vrtání, investiční záměr, investiční rozhodování, financování investic, efektivnost investic a jejich hodnocení pomocí dynamických metod. V praktické části je představen investiční záměr a sumarizace teoretických východisek. Autor dále provedl rozvahu podniku, prognózu tržeb pomocí více faktorové lineární regrese v softwaru Gretl, zvolil způsob financování a na základě bodových kritérií a teoretických východisek vybral investiční záměr. Efektivnost vybraného projektu byla následně hodnocena pomocí dynamických metod popsaných v teoretické části. Následně autor analyzoval citlivost čisté současné hodnoty peněžních toků a provedl srovnání mezi výsledky výpočtů statických a dynamických metod. Tyto výsledky byly základem pro doporučení o realizaci investičního záměru.
|
|
Simulation tools for CAD/CAM robot programming
Nagy, Marek ; Kubela, Tomáš (oponent) ; Pochylý, Aleš (vedoucí práce)
Bachelor’s thesis is focused on simulation, off-line programming and familiarization with KUKA robot. It informs about the composition, coordinate systems and the possibilities of movement of the industrial robot. It introduces methods of on-line and off-line programming and analysis of software for off-line programming aimed on CAD / CAM machining. It describes the creation of specific robot movements and explains the generated code for the implementation of created movements. The result is the creation of a functional illustrative application with KUKA robot.
|
|
Fytochemická studie jednotlivých taxonů rostlin rodu Bergenia
Hendrychová, Helena ; Tůmová, Lenka (vedoucí práce) ; Nagy, Milan (oponent) ; Šmejkal, Karel (oponent)
Univerzita Karlova v Praze, Farmaceutická fakulta v Hradci Králové Katedra Farmakognozie Kandidát: Mgr. Helena Hendrychová Školitel: doc. PharmDr. Lenka Tůmová, CSc. Název disertační práce: Fytochemická studie jednotlivých taxonů rostlin rodu Bergenia Bergénie, původní asijský druh, patří mezi nejhodnotnější zdroj léčivých látek zejména v tradiční čínské a indické medicíně. Využití nalézají již po staletí při léčbě různých onemocnění. Ceněny jsou pro svoji schopnost rozpouštět močové a ledvinové kameny. Využívány jsou při léčbě infekcí dýchacích cest a nachlazení. Prokázány u nich byly antioxidační, antibakteriální, antivirové, imunostimulační, protizánětlivé, protirakovinné, antidiabetické, antitusické, hepatoprotektivní a diuretické účinky. Cílem této disertační práce bylo stanovit obsah sekundárních metabolitů (arbutinu, celkových polyfenolů, bergeninu a anthokyanů) ve třech taxonech rostlin rodu Bergenia - Bergenia crassifolia (L.) Fritsch, Bergenia ciliata (Haw.) Sternb. a Bergenia x ornata Stein., současně porovnat jejich biologické aktivity a určit nejvhodnější druh bergénie s největším potenciálem pro využití v léčebné terapii. Hybrid rostliny B. x ornata byl vůbec poprvé hodnocen na obsah fenolických látek a biologickou aktivitu. Extrakty z bergénií byly testovány na antioxidační,...
|
| |