|
|
Management spolehlivosti výroby ve vybrané společnosti
Bubník, Šimon ; Balgová, Zuzana (oponent) ; Pospíšil, Karel (vedoucí práce)
Cílem této diplomové práce je posoudit spolehlivost výroby ve vybraném podniku pomocí vhodně zvolených parametrů a následně analyzovat, zda navržená a implementovaná opatření přispěla ke zvýšení této spolehlivosti statisticky významným způsobem. Práce se zaměřuje na identifikaci klíčových problémů, návrh a implementaci opatření ke zvýšení spolehlivosti, a statistické vyhodnocení jejich přínosu. Výstupem práce je komplexní hodnocení spolehlivosti výroby ve vybraném podniku, což zahrnuje identifikaci klíčových problémů, návrh a implementaci opatření ke zvýšení spolehlivosti, a statistické vyhodnocení jejich přínosu. Tento postup umožní objektivně posoudit efektivitu zavedených opatření a poskytne podklad pro další zlepšování spolehlivosti výrobních strojů.
|
|
|
Garbage Collector for PNtalk Objects
Štěpán, Filip ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
This thesis presents a comprehensive investigation into garbage collection techniques ex- plicitly tailored for PNtalk, with a focus on using industry-standard automatic memory management. It explores the necessity, principles, and advantages of automatic memory management, highlighting the significance of garbage collection algorithms in optimizing memory usage and improving application performance. On this theoretical basis, the thesis deals with the garbage collector’s design, implementation, testing, and benchmarking.
|
|
|
Zlepšení procesu lakovny prostřednictvím prediktivní simulace
Machačová, Simona ; Hromková, Ivana (oponent) ; Videcká, Zdeňka (vedoucí práce)
Tato diplomová práce se zaměřuje na využití simulace k optimalizaci procesů v lakovně. Cílem práce je analyzovat stávající výrobní procesy a navrhnout vylepšení pomocí simulace. V analytické části práce jsou detailně popsány procesy v lakovně, pro popsání logiky procesů v lakovně je využito Petriho sítí. V návrhové části práce je formulován problém a cíle, je představen návrh modelu simulace. V návrhu jsou popsány využité prvky a metody v softwaru Plant Simulation, ve kterém je model vytvořen. Dále jsou simulací podrobeny různé scénáře, které mají za cíl optimalizovat proces lakování a odkladových ploch. Výsledky simulace jsou porovnány s aktuálním stavem lakovny. V závěru práce jsou diskutovány výsledky a navržena doporučení pro optimalizaci procesů v lakovně pomocí simulace. Tato práce přináší nové přístupy k optimalizaci procesů v průmyslové výrobě.
|
|
|
Výukový nástroj pro barvené Petriho sítě
Navrátil, Ondřej ; Kočí, Radek (oponent) ; Rogalewicz, Adam (vedoucí práce)
Barvené Petriho sítě (CPN) jsou rozšířením klasických place-transition Petriho sítí (P/T PN). Všechny tokeny a místa zde mají svůj typ (příp. i hodnotu), do sítě lze dále vkládat různé typy inskripcí. CPN vynikají svou snadnou čitelností a skvělou vyjadřovací schopností. Zároveň disponují pevnými formálními podklady, jenž usnadňují jejich počítačovou simulaci a v omezené míře umožňují verifikovat některé vlastnosti. Motivací tohoto projektu je fakt, že v současnosti je veřejně dostupný pouze jediný nástroj pro úpravu a simulaci CPN, a sice CPNTools vyvíjený na univerzitě v Aarhusu. Program je však komplikovaný a pro nezainteresovaného uživatele obtížně uchopitelný. Cílem projektu je prozkoumat možnosti a vlastnosti CPN a nástroje CPNTools a na základě získaných znalostí navrhnout a implementovat didaktickou aplikaci se svižným a intuitivním rozhraním, která umožní uživatelům bez hlubších teoretických vědomostí získat přehled o problematice CPN.
|
|
|
Grafický editor Objektově orientovaných Petriho sítí
Neužil, Antonín ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
Tato bakalářská práce se zabývá Petriho sítěmi a jejich modelování. V první řadě práce popisuje formalismy Petriho sítě. Dále se také zaměří na objektovou orientovanost sítí. V druhé řadě se práce specializuje na vytvořenou aplikaci a tou je grafický editor objektově orientovaných Petriho sítí. Součástí práce je postup návrhu a implementace již zmíněné aplikace. Aplikace je vytvořena pomocí jazyku Java a je kompatibilní pouze s operačním systémem Windows. Pro tvorbu aplikace bylo použito vývojové prostředí NetBeans IDE 8.0.2. Výsledkem celé bakalářské práce je tedy aplikace pro tvorbu modelů Objektově orientovaných Petriho sítí a jejich simulací pomocí přiloženého serveru. Několik příkladů těchto modelů a jejich výsledky jsou součástí této práce. Tyto příklady slouží jako manuál pro použití aplikace.
|
|
| |
|
|
Řízení procesů s dynamickou optimalizací rozvrhu zdrojů
Šinkora, Jan ; Kočí, Radek (oponent) ; Janoušek, Vladimír (vedoucí práce)
Práce se zabývá mezioborovou problematikou na pomezí informačních technologií a~optimalizace procesů. Jsou zde využity a rozšířeny dříve navržené postupy pro modelování projektů a~zdrojů pomocí objektově orientovaných Petriho sítí. Dále se rozebírají možnosti použití genetických algoritmů pro optimalizaci rozvrhů zdrojů, které určují jejich přiřazení k~jednotlivým aktivitám v~dynamických systémech. Je popsána třída rozvrhovacích problémů s omezenými zdroji a způsob, jakým lze tyto projekty implementovat. Také je ukázáno, jak lze vytvořit složitější model výroby inspirovaný reálnými výrobními procesy. Dále je navržen řídící agent, který sleduje běžící výrobní systém a~umožňuje jeho dynamickou optimalizaci. Celý systém je implementován v prostředí Squeak Smalltalk za využití nástroje PNtalk, který je experimentální implementací objektově orientovaných sítí.
|
|
|
Simulace a řízení silničního provozu pomocí Petriho sítí
Zbranek, Matyáš ; Holoubek, Tomáš (oponent) ; Dobrovský, Ladislav (vedoucí práce)
Tato bakalářská práce se zabývá modelováním, simulováním a řízením reálné světelné křižovatky pomocí Petriho sítí. V dnešní době, kdy mnoho lidí vlastní automobil, se silniční provoz a čas strávený na cestách stává důležitou součástí života. Křižovatky jsou často kritickými místy, kde se provoz zpomaluje, případně i zastavuje. V teoretické části jsou představeny Petriho sítě, některé systémy řízení provozu a studie, které řešily dopravní situace pomocí Petriho sítí. Praktická část se opírá o měření provozu na křižovatce. Je popsán model semaforu, odbavování automobilů a model celé křižovatky. Aby byl provoz v simulaci co nejblíže reálnému chování, jsou použity stochasticky časované Petriho sítě. Dále jsou navrženy možné sekvence řízení a provedeny jejich simulace s odlišnými intenzitami provozu. Nakonec jsou všechna data vyhodnocena a návrhy porovnány. Pro vytváření modelů byl použit editor knihovny PetNetSim.
|
|
|
Pokrytelnosti pro paralelní programy
Turoňová, Lenka ; Vojnar, Tomáš (oponent) ; Holík, Lukáš (vedoucí práce)
Tato diplomová práce se zabývá automatickou verifikací systémů s paralelně běžícími procesy. Práce diskutuje existující metody a možnosti jejich optimalizace. Stávající techniky jsou založeny na hledání induktivního invariantu (například pomocí techniky zjemňování abstrakce řízené protipříklady (CEGAR)). Efektivnost metod závisí na velikosti nalezeného invariantu. V rámci této diplomové práce jsme nalezli možnost zlepšení metod díky zaměření se na hledání invariantů minimální velikosti. Naimplementovali jsme nástroj, který zajišťuje prohledávání prostoru invariantů systému. Naše experimentální výsledky ukazují, že mnoho existujících systémů užívaných v praxi má skutečně mnohem menší invarianty než ty, které lze nalézt stávajícími metodami. Závěry a výsledky této práce budou sloužit jako základ budoucího výzkumu, jehož cílem bude navržení optimální metody pro vypočítání malých invariantů paralelních systémů.
|
|
|
Framework pro tvorbu a ověřování specifikačních modelů
Matalík, Štěpán ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
Tato práce se zabývá objektově orientovanými Petriho sítěmi (OOPN) a tvorbou nástroje pro tvorbu a ověřování specifikačních modelů popsaných OOPN. V první části práce jsou popsány formalismy existujících typů Petriho sítí, včetně OOPN. Další část se zabývá tvorbou editačního nástroje, který také umožňuje spouštění simulačních modelů na vzdáleném serveru. Výstupem editoru je jednak grafická podoba Petriho sítě a také simulační model popsaný jazykem PNtalk, což je konkrétní implementace OOPN založená na jazyku Smalltalk. Simulační modely jsou spouštěny na serveru v prostředí Pharo. Na závěr práce jsou ukázány příklady konkrétních simulací a možná rozšíření nástroje.
|
host ::
RSS.