|
|
Optimalizace uložení materiálu pro přepravu
Vacek, Michal ; Smrčka, Aleš (oponent) ; Křena, Bohuslav (vedoucí práce)
Práce se zabývá aplikací pro optimalizaci uložení materiálu pro přepravu. Aplikace je vyvíjena ve spolupráci se společností Škoda Auto a.s., která řeší problém přepravy materiálu v kontejnerech z výrobních hal v České republice do montážních závodů v zahraničí. Zde je popsána její analýza, návrh i implementace. Aplikace se skládá ze dvou částí. První vypočítá optimalizaci - vybere z množiny modulů (krabic) vhodnou kombinaci a umístí ji kontejneru. Druhá část aplikace toto rozložení zobrazuje. Část této práce je také věnována příbuzným optimalizačním metodám, zejména pak Knapsack a Bin-packing problému.
|
|
|
Chart Builder Ansible Automation Analytics
Berky, Levente ; Smrčka, Aleš (oponent) ; Rogalewicz, Adam (vedoucí práce)
This thesis focuses on creating a web component to render charts from a structured data format (schema for short), and creating an user facing interface for editing and creating the schema for the Ansible Automation Analytics. The thesis explores the current implementation of the Ansible Automation Analytics and the corresponding API, researches similar charting libraries and describes the fundamentals of used technologies. The practical part describes the requirements for the component and describes the development and the implementation of the plugin. Furthermore, the thesis describes the process of testing and the future development plans of the plugin.
|
|
|
Analýza systémových záznamů
Ščotka, Jan ; Peringer, Petr (oponent) ; Smrčka, Aleš (vedoucí práce)
Práce zkoumá IDS systémy. Pokousí se nalézt jejich omezení a možnosti rozšíření. Zabývá se obecnější analýzou záznamových souborů než jen v zaměření na IDS systémy. Zkoumá možnost zápisu regulárních výrazů jednoduchým způsobem, tak aby i uživatel bez znalosti formálních jazyků, byl schopen pracovat v takovém systému.
|
|
|
Nástroj pro ladění post-mortem
Kapičák, Peter ; Peringer, Petr (oponent) ; Smrčka, Aleš (vedoucí práce)
Cieľom tejto práce je kontrolovať užívateľom špecifikované vlastnosti nad stopou programu alebo nad log súborom, ktoré by mal program spĺňať alebo naopak, ktoré by nemal spĺňať. Vlastnosti a ich opis sú základom nástroja pre ladenie post-mortem. Sú transformované na deterministický konečný automat aby sa dali overovať v stopách programov a ich opis je dôležitý pre vyhľadávanie konkrétnych udalostí v stopách programov, ktoré sú automatu posielané na vstup. Výstupom nástroja je výsledná správa o tom či boli vlastnosti splnené alebo porušené. Vytvorené riešenie poskytuje overovanie vlastností stôp programov, log súborov bez ohľadu na ich formát a aké udalosti predchádzali porušeniu vlastnosti.
|
|
|
Informační systém pro správu testů
Novák, Miroslav ; Janoušek, Vladimír (oponent) ; Smrčka, Aleš (vedoucí práce)
Cílem této práce je specifikovat, navrhnout a implementovat informační systém pro správu testů, který bude fungovat jednak samostatně a jednak v rámci platformy Testos. Zvolený problém byl vyřešen vytvořením klientské webové aplikace a implementací webové služby pomocí REST API, která zajišťuje interoperabilitu s jinými nástroji. Vytvořené řešení umožňuje řídit základní proces testování, který sestává ze správy projektů, správy testovacích požadavků, správy testovacích sad a případů a správy jednotlivých testovacích běhů.
|
|
|
Simulace fyzikálních jevů s využitím celulárních automatů
Martinek, Dominik ; Smrčka, Aleš (oponent) ; Peringer, Petr (vedoucí práce)
Tato diplomová práce se zabývá modelováním a simulací fyzikálních jevů, u nichž se využívají celulární automaty. Jsou zde vyjmenovány a popsány základní metody, které se k modelování fyzikálních jevů využívají. U každého modelu jsou uvedena přechodová pravidla zároveň s jejich odvozením. Tato pravidla se pak používají v implementovaných modelech. V práci je pak uveden návrh aplikace, která slouží k simulaci jednotlivých modelů. Podle tohoto návrhu byla vytvořena aplikace, s jejíž pomocí byla provedena simulace ukázkových příkladů. Každý příklad se zabývá jednou oblastí fyzikálních jevů. V práci jsou pak zaznamenány výstupy jednotlivých modelů včetně zhodnocení jednotlivých závěrů. Jeden vybraný příklad byl rovněž zparalelizován a byly změřeny časy výpočtu s využitím různého počtu procesorů.
|
|
|
Správa nahrávání aplikací na ARM zařízení
Hrvol, Marek ; Smrčka, Aleš (oponent) ; Kočí, Radek (vedoucí práce)
Záměrem práce je usnadnění nasazování Internetu věcí v domácnostech nebo malých firmách a také zvýšit udržitelnost vytvořené sítě. Webová aplikace slouží ke správě aplikací napříč ARM jedno-deskovými zařízeními. Umožňuje nahrávat aplikace přímo na zaregistrovaná zařízení, poskytuje ucelený, intuitivní náhled všech dostupných zařízení. Dále zaznamenává stav těchto zařízení, zobrazuje potřebná data o zařízení a informuje o případném selhání některého ze zařízení.
|
|
|
Podpora pro vyrovnávací paměť pro systém GVFS
Holý, Ondřej ; Zelený, Jan (oponent) ; Smrčka, Aleš (vedoucí práce)
Tato práce se zabývá podporou pro vyrovnávací paměť pro systém GVfs (Gnome Virtual filesystem). Nejprve je vysvětlen princip vyrovnávacích pamětí, invalidace dat a algoritmů pro výběr oběti. Následuje popis abstrakce souborového systému GIO a komunikace s virtuálními souborovými systémy GVfs. Dále jsou diskutovány nedostatky jednotlivých modulů tohoto systému a jejich interní vyrovnávací paměti. V práci jsou navrženy tři typy vyrovnávacích pamětí. První slouží k ukládání metadat, druhá pro výpis adresářů a třetí pro data souborů. Tyto vyrovnávací paměti byly naimplementovány a ověřeny s ohledem na funkčnost a výkonnost. Hlavním přínosem tohoto řešení je rychlejší práce s virtuálními souborovými systémy a pokrytí chybějící funkcionality některých modulů (např. posun v datových tocích).
|
|
|
Zpřístupnění funkcí CLIPS z jazyka Ruby
Čecho, Jaroslav ; Smrčka, Aleš (oponent) ; Letko, Zdeněk (vedoucí práce)
Tato práce popisuje knihovnu rbClips, která zpřístup\v{n}uje funkce CLIPS v jazyce Ruby. CLIPS je software pro tvorbu expertních systémů původně vyvinutý v NASA na začátku 90. let. Nástroj je napsán v jazyce C a jeho uživatelské rozhraní je velice podobné jazyku Lisp. Ruby je moderní dynamický skriptovací jazyk, který programátorovi nabízí flexibilní syntax, otevřenost objektů, čistě objektové prostředí a další zajímavé vlastnosti. Výsledná knihovna bude použita v antivirovém programu k tvorbě expertního systému pro automatickou detekci malware.
|
|
|
Framework pro placenou internetovou službu
Hájek, Filip ; Smrčka, Aleš (oponent) ; Hrubý, Martin (vedoucí práce)
Cílem této práce je navrhnutí a implementování kontejnerizované internetové služby, která poskytuje uživatelům možnost spouštět úlohy. Úlohou se myslí pouze abstrakce nad nějakou konkrétní implementací výpočtu. Úloha se spouští jako Docker kontejner. V práci se dále implementuje administrace uživatelů a metoda zpoplatnění spuštěných úloh. Architektura systému se skládá z REST API webového serveru a uživatelského webového prostředí. Nezbytnou komponentou systému jsou worker aplikace, které vykonávají uživatelské úlohy přidělené serverem. Celý systém se podařilo implementovat pomocí frameworku .NET 6 v programovacím jazyce C#. Provoz služby se podařilo nasimulovat v prostředí Dockeru. Služba integruje existující služby Auth0 a Google Cloud Storage. Výsledkem je internetová služba nasazená na veřejném cloud serveru.
|
host ::
RSS.