|
Optimalizia opravy frekvenčného meniča v společnosti Rockwell Automation
Toráč, Jan
Tato diplomová práce se zabývá problematikou řízení procesů a jejich optimatlizací z hlediska času a zároveň dosažení vyšší kvality oprav ve společnosti Rockwell automation s.r.o. Jejím úkolem je seznámit čtenáře s danou problematikou a praktické části popsat současný stav procesů, analizovat slabé stránky a navrhnout nápravná opatření k jejich eliminaci. Na závěr popsat, případně i vyčíslit přínos optimalizace po zavedení zmiňuje- ných nápravných opatření.
|
| |
|
Modifikace aplikace pro analýzu lokálních struktur DNA
Zbořil, Jiří
Práce pojednává o modifikaci a implementaci nových částí do již existujícího řešení nazývaného DNA Analyser. V první části bude popsána situace stávajícího řešení aplikace a nástroje s ní spojené. Druhá část bude o implementaci řešené v této práci. Jedná se o modifikace stávajících testů v aplikaci a implementaci autentizačního modulu. Bude provedena diskuse nad tímto řešením a zmíněna případná vylepšení, která po této implementaci mohou být použita.
|
|
Návrh a realizace protipožární desky
Zvonek, Radim
Tato bakalářská práce porovnává rozdíly pětivrstvých překližovaných desek z dubových dýh, které byly impregnovány látkami s požární odolností. Mým cílem je určit rozdíly v požární odolnosti mezi překližkami z čistých dýh a z dýh, kde byly použity impregnační látky borax a biotecta. Dále se zde budou zkoušet mechanické vlastnosti týkající se pevnosti v ohybu ve směru podélném a příčném a to pro překližky impregnované i čisté. Pro výrobu překližovaných desek byla použita tři různá lepidla – močovinoformaldehydové lepidlo, PVAC lepidlo a speciální impregnovaný papír LF150+, což nám umožňuje porovnání účinnosti lepidel, které si vyzkoušíme na testu lepené spáry.
|
|
Optimalizace testování turbodmychadel
Klaška, Bohdan
Tato diplomová práce popisuje obecnou problematiku vývoje turbodmychadel a testování turbodmychadel v laboratorních podmínkách. Následně se zabývá jednotlivými testovacími sekcemi laboratoře se zaměřením na plynové hořáky. Praktická část je zaměřena na optimalizaci testu s uzavřeným kompresorovým okruhem.
|
|
Ověření vlivu speciálního tréninkového programu s gymnastickými prvky na rozvoj pohybových schopností fotbalistů dorosteneckého věku.
HUŠEK, Jan
Cílem této diplomové práce bylo navrhnout tréninkový program zahrnující gymnastické prvky a posoudit jeho dopad na pohybové schopnosti fotbalistů dorosteneckého věku. Navržený program zahrnoval deset cviků. Výzkumný soubor byl složen z 22 fotbalistů ve věku 15-16 let. Jednalo se o kvaziexperiment, konkrétně Time series design. Provedli jsme vstupní testování, po kterém devět týdnů probíhal klasický trénink. Poté jsme uskutečnili druhé testování a zároveň implementovali náš tréninkový program na dalších devět týdnů. Na konec proběhlo výstupní testování. Testování jsme realizovali pomocí strukturovaného Denisiuk testu, jenž zahrnuje pět dílčích testů měřících pohybové schopnosti mládeže. Výsledky jsme statisticky ověřili pomocí párového t-testu při hladině významnosti = 0,05 a následně jsme vypočítali i jejich věcnou významnost. Progres byl zaznamenán ve všech testech, avšak t-test nám vyšel pouze u testu měřícího explosivní sílu dolních končetin. Nevyšel nám u testů měřících obratnost, rychlost, vytrvalost a sílu. U testů explosivní síly dolních končetin a vytrvalosti nám vyšla věcná významnost vysoká. U testů obratnosti, rychlosti a síly malá.
|
|
Automata in Software Verification and Testing
Hruška, Martin ; Rezine, Ahmed (oponent) ; Kofroň, Jan (oponent) ; Vojnar, Tomáš (vedoucí práce)
This thesis focuses on applications of automata theory to software quality. In the first part, we focus on shape analysis which can be used for formal verification of programs manipulating dynamic data structures. Particularly, we develop an approach of backward program execution along possible counterexamples tracesvand counterexample-guided refinement for shape analysis based on forest automata. We also introduce a new approach based on automata over graphs with a bounded tree width which is more general than forest automata but still has feasible computation properties. In the second part, we introduce a method for automated testing of manufacturing execution systems (MES) in digital twin. We are able to orchestrate a digital twin to reproduce behaviour of a real-world setting in which MES is deployed and so provide a safe environment for testing. Moreover, we can generate new test cases by applying automata and abstraction over them in this context.
|
| |
|
Evaluating BPL Communication: A Simulation Approach
Baranyk, Matěj ; Benešl, Lukáš ; Rusz, Martin
In recent years BPL (Broadband over Power-line) technology is becoming more used. Despite the technology not needing any additional cable installation it is important to make sure that using the technology itself makes sense or what the needed requirements will be. Due to this reason, we opt to simulate almost real scenarios and compare them with outputs from network simulator ns-3. This way we can recognize the usefulness of our efforts even before we make any plans to install anything, which saves time and money. Furthermore, we can use the same simulator for diagnostics of already installed BPL routes.
|
|
Molekulová simulace Lennard-Jonesovské tekutiny jako úloha do praktika z fyzikální chemie
Krieger, Jakub ; Košovan, Peter (vedoucí práce) ; Kolafa, Jiří (oponent)
Molekulové simulace umožňují reprodukovat a předvídat chování reálných systémů pomocí zjednodušených modelů. Za posledních 70 let se díky rapidnímu rozvoji počítačů tato metoda stala důležitou součástí různých vědeckých oborů. Díky své rychlosti a nízké cenové náročnosti mohou molekulové simulace pracovat ruku v ruce s reálným experimentem a v některých případech ho i nahradit. Didaktika této progresivní metody je zatím na Přírodovědecké fakultě Univerzity Karlovy v plenkách a její výuka je omezena na magisterské a vyšší studium. V rámci této práce jsme se zaměřili na tvorbu a testování úlohy do praktika z fyzikální chemie, která může sloužit jako první seznámení s molekulovými simu- laci pro studenty chemických bakalářských oborů. Úloha psaná v interaktivním prostředí Jupyter Notebook byla navržena na základě aktuálních pedagogických přístupů badatelské výuky, doplněných vzhledem ke komplexitě výukového ob- sahu vysokou mírou scaffoldingu. Volba simulace modelu superkritického argonu popsaného Lennard-Jonesovým potenciálem vycházela z požadavku na koncepční jednoduchost a možnost propojení s již známými poznatky. Testování úlohy na 12 studentech umožnilo vytvořit časový plán úlohy, opravit chyby, identifikovat nejčastější problémy a sestavit návrhy na zlepšení úlohy. Byli bychom rádi, kdyby tato úloha byla...
|