|
|
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.
|
|
|
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.
|
|
|
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.
|
|
|
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í.
|
|
|
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.
|
host ::
RSS.