|
|
Návrh zlepšení softwarové podpory pro obchodní strategie na komoditních trzích
Levek, Petr ; Kotlík,, Josef (oponent) ; Škapa, Stanislav (vedoucí práce)
Bakalářská práce je zaměřena na návrhy zlepšení softwarové podpory a tím zefektivnění investování na komoditních světových burzách. Cílem je navrhnout softwarové zlepšení pro vybraný software používaný k obchodování. Zlepšení bude provedeno na základě analýzy a porovnání, v současnosti obchodníky běžně užívaných softwarů k obchodování na světových burzách, se zaměřením se na nalezení a navrhnutí vylepšujících modulů používaných při strategiích během obchodování. Na základě uvedení a použití vylepšujících modulů, které nejsou v současné době dostupné, tak dojde k zefektivnění práce obchodníků a snížení možných rizik používaných investic.
|
|
|
Výroba modelového zařízení pro odlitek čerpadla
Suchomel, Martin ; Dvořák, Jaromír (oponent) ; Kalivoda, Milan (vedoucí práce)
Tato bakalářská práce se zaměřuje na návrh slévárenské technologie, návrh a výrobu modelového zařízení pro odlitek čerpadla z šedé litiny ČSN 42 2420. V praktické části je zpracován návrh technologie a modelového zařízení pomocí CAD systému SolidWorks. Provedla se simulace lití a chladnutí v CAE systému ProCAST. Pro návrh obráběcí technologie byl použit CAM systém HSMWorks. Na CNC obráběcích strojích se obrobil model, jaderník a podložka. Výsledkem mojí práce je modelové zařízení pro výrobu formy a jádra pro daný odlitek. Na závěr se vyrobili formy, jádra a provedlo se odlití pěti vzorků.
|
|
| |
|
| |
|
|
Výroba pískových forem a jader pro odlévání
Katrňák, Jiří ; Kaňa, Václav (oponent) ; Pernica, Vítězslav (vedoucí práce)
Bakalářská práce popisuje jednotlivé metody výroby pískových forem a jader ve slévárenství a základní pojmy spojené s touto problematikou. Vzhledem k velkému množství způsobů výroby jsou popsány metody základní a dnes nejrozšířenější. Součástí práce je návrh a výroba litinového roštu do kamen, zhotovenou do bentonitové směsi a do samotuhnoucí směsi AlpHasetTM.
|
|
| |
|
|
Verifikace programů s ukazateli založená na detekci vzorů
Kubíček, Jan ; Erlebach, Pavel (oponent) ; Vojnar, Tomáš (vedoucí práce)
Tato práce navazuje na výsledky studií v oblasti verifikace nekonečně stavových systémů. Konkrétně se jedná o oblast abstraktního model checkingu. Seznámili jsme se s metodou založenou na abstrakci paměťové konfigurace pomocí paměťových vzorů. Tato metoda byla navržena pro verifikaci programů pracujících s dynamickými paměťovými strukturami jako například seznamy. Na dynamické paměťové struktury je nahlíženo jako na orientované grafy. Verifikace na základě paměťových vzorů abstrahuje obecně libovolné množství vytvořených uzlů do jednoho sumarizovaného uzlu. Tím se dosáhne reprezentace obecně neukončeného grafu konečným zápisem. Poté je možno efektivně provést verifikaci nad tímto abstrahovaným grafem. V naší práci se zabýváme tvorbou modelu pro nástroj implementující verifikaci na základě paměťových vzorů. Model programu je vytvořen z podmnožiny jazyka C. Hlavním přínosem práce je automatizace tvorby modelu pro verifikaci a tím dosáhnutí úplné automatizovanosti procesu verifikace. Je tak možné verifikovat programy napsané v běžném programovacím jazyce. V této práci je diskutována syntaxe vstupního jazyka i implementační detaily překladu.
|
|
|
Simulace a analýza výrobního systému
Hromková, Ivana ; Křivka, Zbyněk (oponent) ; Zendulka, Jaroslav (vedoucí práce)
Tato práce se zabývá tvorbou simulačního modelu výrobního systému (slévárny) a jeho analýzou. V úvodu obecně pojednávám o simulaci ve výrobních podnicích a dále rozebírám základní principy a etapy tvorby simulačních modelů. Následující kapitola popisuje simulaci zaměřenou na výrobní systémy a problémy, které lze pomocí simulace v takových systémech řešit. Dále se zabývám tématem virtuální továrny, která zobrazuje výrobní procesy ve virtuálním prostředí. K práci na této kapitole jsem čerpala z informací, které jsem získala na konferenci Virtuální továrna firmy Siemens, jíž jsem se na podzim zúčastnila. Do další kapitoly jsem zahrnula přehled simulačních nástrojů specializovaných na simulaci výrobních systémů. Následující kapitola je zaměřena na implementaci výrobního systému slévárny, který v rámci bakalářské práce zpracovávám. Je zde uveden celý proces tvorby modelu, který sestává z tvorby konceptuálního modelu, abstraktního modelu v podobě blokových schémat, popisu vytváření simulačního modelu a analýza výsledků a popis experimentu se simulačním modelem.
|
|
|
Aplikace víceosového frézování na obrábění tvarové součásti
Klíma, Jiří ; Sedlák, Josef (oponent) ; Píška, Miroslav (vedoucí práce)
Tato diplomová práce se zaměřuje na navržení technologie výroby modelu a jaderníku metodou frézování. V teoretické části práce je shrnuta problematika výroby modelů, CAD/CAM technologie a technologie frézování. V praktické části práce je zpracován konstrukční návrh obráběných dílců s ohledem na konkrétní požadavky pro využití ve slévárně. Pro návrh obráběcí technologie byl využit CAM systém, ve kterém proběhlo programování obráběcí technologie a její optimalizace. Výroba součástí je realizována na 3-osém obráběcím stroji. Na závěr je uvedeno technicko-ekonomické zhodnocení výroby a diskuze výsledků.
|
|
|
Tažení plechu a jeho verifikace počítačovou simulací
Něnička, Filip ; Kopřiva, Miloslav (oponent) ; Štroner, Marek (vedoucí práce)
Diplomová práce se zabývá stanovením odchylky mezi numerickou simulací procesu tažení provedenou za pomocí softwaru AutoForm R2 od švýcarské firmy AutoForm Engineering a reálnými výsledky zjištěnými pomocí bezkontaktního měřícího systému Argus od německé firmy GOM. Pro srovnání byl použit materiál DC06, jehož mechanické vlastnosti byly stanoveny na Technické Univerzitě v Liberci pomocí bezkontaktního optického systému od německé firmy GOM. Výsledkem je srovnání simulací spočítané a reálné tloušťky plechu.
|
host ::
RSS.