|
HyperLTL Model Checking
Alexaj, Ondrej ; Strejček, Jan (oponent) ; Lengál, Ondřej (vedoucí práce)
HyperLTL model checking is an approach to verifying a system against a given hyperproperty, which is able to relate multiple executions of a system. The algorithmic approach based on automata which relies on standard -automata operations is well established. The aim of this work is to outperform the complete state-of-the-art HyperLTL model checker AutoHyper by employing more efficient partial automata operations, in particular complementation and inclusion. The implementation of HyperLTL model checking in a novel modular-based complementation tool Kofola resulted in a significant enhancement in performance compared to the reference tool. Finally, our approach to language inclusion checking shows a notable improvement in terms of the generated state space. As a commonly used automata operation, it could potentially contribute to the advancement of other areas of verification.
|
| |
|
Návrh skladu ve strojírenském podniku
Rada, Tomáš ; Strejček, Jan (oponent) ; Štroner, Marek (vedoucí práce)
Bakalářská práce se zabývá návrhem skladu plechů ve strojírenském podniku. Nejprve byla provedena rešerše problematiky skladování a řízení zásob. Následně byl realizován výpočet skladové kapacity a návrh dispozičního řešení skladu. Byly navrženy 2 varianty řešení: konzolový regál a automatický vertikální zakladač, pro které byla zpracována výkresová dokumentace. V závěru práce byly obě varianty skladu porovnány a zhodnoceny z hlediska pořizovacích nákladů a technických možností a výhod.
|
|
Návrh rozmístění technologie provozu "nástrojárny" pro výrobu forem
Varhaník, Matúš ; Zahradníček, Radim (oponent) ; Strejček, Jan (vedoucí práce)
Cieľom tejto práce bolo vyhotovenie technologického návrhu dispozičného riešenia nástrojárne. Našou prvou úlohou bola definícia výrobného sortimentu. Následne sme boli schopní určiť technologické a strojné vybavenie potrebné na realizáciu zákaziek. V dokumente sa ďalej pojednáva o potrebách personálneho vybavenia nástrojárne ako aj o potrebách výrobných, administratívnych či sociálnych plôch. Vzhľadom na vyrábaný sortiment, množstvo strojných a personálnych kapacít navrhneme možné technologické riešenia. V ďalšom kroku dispozičné riešenie optimalizujeme pomocou nástrojov ako sú materiálové toky či technologická nadväznosť operácií. Pre finálny návrh je dôležitá bezpečnosť práce, ako aj ergonómia navrhovaného pracoviska, preto si uvedieme základné pravidlá a technické normy. Výsledkom projektu je vypracovanie finálneho dispozičného riešenia nástrojárne s ekonomickým zhodnotením investičného zámeru.
|
| |
| |
|
Technologie výroby nože demoličních nůžek
Měrka, Tibor ; Strejček, Jan (oponent) ; Osička, Karel (vedoucí práce)
Cílem této práce je analýza technologie zpracování kovového odpadu se zaměřením na stříhání. Dále se práce zabývá popisem technologického postupu výroby hrotového nože demoličních nůžek, vyráběných italskou firmou, která se specializuje na výrobu zařízení a systémů pro zpracování a recyklaci kovového odpadu. Součástí práce je návrh nové technologie výroby nože a její technicko-ekonomické vyhodnocení.
|
| |
| |
|
Detailní projektování technologického pracoviště ve firmě Kovo Poláček
Věžníková, Tereza ; Neužil, Karel (oponent) ; Strejček, Jan (vedoucí práce)
Předložená diplomová práce se zabývá projektováním nové haly pro provoz kovovýroby a návrhem práškové lakovny v podniku Kovo Poláček v obci Nesvačilka. Vlastnímu řešení předchází úvod do problematiky technologického projektování a vysvětlení základních pojmů z dané oblasti. Součástí práce je analýza stávajícího stavu firmy včetně rozboru jejího vnitřního a vnějšího okolí. Výsledkem je vypracování dispozičního řešení s ohledem na bezpečnost a ergonomii, ověřeného kapacitním propočtem pro typický výrobek a také ekonomické zhodnocení investičního záměru.
|