|
|
Binární kódy indukované hranovým grafem n-dimenzionální krychle
Janovský, Tomáš ; Žemlička, Jan (vedoucí práce) ; Šťovíček, Jan (oponent)
Tato práce se zabývá binárními kódy indukovanými hranovým grafem n-dimenzionální krychle, dále kódy designu definovaného pomocí vrcholového grafu n-dimenzionální krychle a nakonec duály těchto kódů. První kapitola je věnována uvedením do tématu a jsou zde definovány potřebné pojmy z teorie lineárních kódů, grafů a designů. Druhá kapitola se věnuje konstrukci výše zmíněných kódů, popisu jejich základních parametrů jako jsou dimenze a Hammingova vzdálenost kódu a nakonec také popisu generujících matic těchto kódů. Na závěr se poslední kapitola zabývá duály kódů zkonstruovaných v druhé kapitole především pak opět popisu Hammingovy vzdálenosti.
|
|
|
Graph neural networks and deep reinforcement learning in job scheduling
Bratko, Maroš ; Holeňa, Martin (vedoucí práce) ; Seidelmann, Thomas (oponent)
Prioritní rozhodovací pravidla (PDRs) jsou hladové heuristické algoritmy používané ke získaní přibližného řešení NP-těžkého úkolu organizace práce (JSP). Manuální příprava PDR vyžaduje zkušenosti v dané oblasti pro zís- kaní dobrých výsledků. V posledních letech bylo k automatizaci přípravy PDR využito zpětnovazební učení, kde jsou PDR formulováný jako Marko- vův rozhodovací proces využívajíci grafovou reprezentaci JSP, ve které gra- fová neurónová síť (GNN) vybírá operace ke spuštění. V této prácí uvádíme přehled pěti modelů publikovaných v literatuře, kterých zdrojové kódy jsou volně dostupné na GitHubu, a experimentálňe porovnáme jejich výsledky. Naše experimentuji ukazují, že volba vstupních příznaků, napr. množství zbývající práce, významně ovlivňuje kvalitu výsledných řešení bez ohledu na architekturu GNN. To naznačuje, že výběr vstupních příznaků je pro pří- pravu kvalitních PDR zásadní.
|
|
|
Taktiky a strategie opozice - obstrukce jako nástroj politického boje
Pchálková, Tereza ; Brunclík, Miloš (vedoucí práce) ; Jágr, David (oponent)
Práce se věnuje fenoménu obstrukcí v Poslanecké sněmovně Parlamentu České republiky v osmém a devátém volebním období, které je specifické výměnou politických stran v exekutivní a opoziční roli. Teoreticky je práce zasazena do témat opozice a obstrukce. K tomuto autorka primárně vycházela z článku Miroslava Nováka Systémy politických stran a základní modely opozice, publikace Michala Kubáta Politická opozice v teorii a středoevropské praxi, knihy Jana Wintra Česká parlamentní kultura a taktéž jednacího řádu dolní komory parlamentu, resp. jeho komentovaného znění od Jindřišky Syllové a kolektivu. V průběhu teoretického zkoumání autorka narazila na nedostatečný výklad pojmu, a proto přišla s vlastní definicí. Autorka práce si stanovila výzkumnou otázku: Jak se liší obstrukční strategie politických stran opozice? a pokouší se ji zodpovědět prostřednictvím kvalitativního výzkumu. Předmětem analýzy jsou v práci případové studie dvou návrhů zákona o státním rozpočtu, a to na rok 2021 a 2024, u kterých byla zkoumána všechna tři legislativní čtení. Výskyt obstrukcí je následně sledován skrze čtyři kódy: délka rozpravy, faktické poznámky, pozměňovací návrhy a procedurální návrhy. Délka rozpravy a faktické poznámky jsou měřeny formou znaků vč. mezer, u pozměňovacích a procedurálních návrhů je sledován jejich...
|
|
| |
|
|
Detection and Correction of Silent Errors in Pipelined Krylov Subspace Methods
Hercík, Jakub ; Carson, Erin Claire (vedoucí práce) ; Tůma, Miroslav (oponent)
Tato diplomová práce se zaměřuje na problematiku detekce bitových chyb v algoritmu pipelinovaných predict-and-recompute sdružených gradientů (Pipe-PR-CG), pipelinované metodě Krylovových podprostorů pro řešení lineárních systémů se symetrickou pozitivně definitní maticí. Je představena teorie bitových chyb a variant metody sdružených gra- dientů, a struktura Pipe-PR-CG je následně využita v analýze zaokrouhlovacích chyb k odvození kritérií pro detekci bitových chyb založených na omezení několika hodnot spočtených v aritmetice s konečnou přesností. Účinnost těchto kritérií je poté podrobena testování v robustním numerickém experimentu a je představena verze algoritmu tole- rantní k chybám. Dále je také prozkoumána senzitivita Pipe-PR-CG k bitovým chybám. Přiloženy jsou rovněž kódy v programovacím jazyce Python, které byly použity pro hlavní experimenty a grafy prezentované v této práci. 1
|
|
|
Vyhodnocení potenciálu recyklace odpadů z průmyslu v České republice
Kuba, Josef ; Pilnáček, Vojtěch (vedoucí práce) ; Innemanová, Petra (oponent)
Tato bakalářská práce se zabývá zjištěním množství, typu nevyužitého průmyslového odpadu v České republice, vyhodnocením potenciálu recyklace odpadu a následnými metodami jeho recyklace. Součástí práce byla analýza dat z pracovní databáze ISOH (PDISOH) z roku 2019. Analýza se zaměřovala na množství produkce průmyslových odpadů v České republice a následně zkoumala množství průmyslových odpadů, které se odstraňovaly skládkováním nebo spalováním (bez energetického využití). Analyzované odpady byly v kapitolách rozděleny podle skupin možnosti jejich recyklace. Každá kapitola obsahuje popis metod recyklace skupin odpadů a dále odkazuje na autorem vytvořené tabulky popisující názvy odpadů, jejich odpadovými kódy, kolik daného odpadu se ročně odstraní skládkováním a spalováním (bez energetického využití), potenciálu recyklace, disponibilního potenciálu recyklace, které vyčleňují konktrétní odpady, jež je možno popsanými metodami recyklovat. Kapitoly dále obsahují teplotní mapy České republiky, vypracovány autorem, s vyobrazenými lokalitami výskytu popsaných průmyslových odpadů v tabulkách. Výsledky ukázaly, že až 45,37 %, tedy 3 432 866,8 tun z celkové produkce 7 564 897,35 tun průmyslového odpadu bylo v roce 2019 odstraňováno skládkováním a spalováním (bez energetického využití). Pouze 214 675,70 tun bylo odpadů...
|
|
|
Modernization of the manipulator control unit for the placement of magnetic points
Adámek, Adam ; Appel, Martin (oponent) ; Formánek, Martin (vedoucí práce)
This work is being taken up by upgrading the manipulator control unit. It is a so-called pick and place minupulator with CNC machine elements that places magnetic points on a film. On the manipulator, Arduino MEGA control unit with RAMPS v1.3 shield and control computer will be supplemented with Raspberry Pi microcomputer and a camera that will recognize QR codes on individual foils and accordingly select the appropriate program for placing the aformentioned magnetic points. The initial state of the manipulator will be assessed, its control unit and the pneumatic the system responsible for the transmission and placement of the magnetic points. The next section will describe the design of the new control, the use of the open-source G-code interpreter PyCNC, the setup of this software and also its incorporation with the already existing elements on the manipulator such as limit switches and solenoid valves. The last part of the thesis deals with the comparison of the achieved result, whether it is the functionality of the manipulator and its improvement, or the aesthetic aspect of installing the Raspberry Pi and the camera module on the manipulator. Also, the turn-on time and the duration of one cycle of placing the magnetic points on the film of the manipulator will be compared.
|
|
|
Zpětná extrakce Stateflow diagramu z kódu v jazyce C
Gavenda, Daniel ; Smrčka, Aleš (oponent) ; Fiedor, Jan (vedoucí práce)
Simulink diagrams are widely used in industry, where they are used to specify control systems. The specific block used in them is the Stateflow diagram. The specified systems are often critical from the point of view of security, therefore the question of the correctness of the implementation of these systems is important. In this work, we will focus on the design, description and creation of a tool for the reverse reconstruction of the Stateflow diagram from the optimized code in the C language in order to prove the functional equivalence between the model and its corresponding code. Next, a created set of models representing models with Stateflow diagrams and codes generated from them is created, using several optimizations. The created tool will be tested on this set, it can also be used to evaluate other Stateflow analyzes and/or C code.
|
|
|
Návrh racionalizace výroby rozvodného bloku
Kobza, Tomáš ; Zemčík, Oskar (oponent) ; Sliwková, Petra (vedoucí práce)
Tato diplomová práce se zaměřuje na návrh racionalizace postupu výroby zadaného dílu od společnosti WT-PRO Czech s.r.o. Úvodní část je věnována popisu zadané součásti a rozboru stávajícího výrobního postupu se zaměřením převážně na obráběcí operace. Teoretická část je zaměřena na CAD/CAM systémy, technologie obrábění – frézování, vrtání a tvorbu závitů, které jsou pro výrobu součásti podstatné. Dále se věnuje nástrojovým materiálům a upínačům. V praktické části je navržena racionalizace výrobního postupu, která se týká dvou obráběcích operací. Pro tyto operace je specifikováno obráběcí centrum, u kterého jsou navržena nová upnutí, nové nástrojové listy, operační návodky a byly vytvořeny i NC kódy v programu GibbsCAM. Výsledný návrh je popsán v novém výrobním postupu. Na závěr bylo provedeno technicko-ekonomické zhodnocení.
|
|
|
Klasifikace akcelerometrických dat v rámci pacientského záznamu EKG
Kindl, Zdeněk ; Ředina, Richard (oponent) ; Bulková, Veronika (vedoucí práce)
Předmětem bakalářské práce je klasifikace akcelerometrických dat pacienta. Cílem je zlepšení objasnění patologií v EKG signálu. Klasifikace probíhá na datech, která byla naměřena zařízením Bittium Faros 180L. Byla vytvořena vlastní databáze pohybů. Pacientská data jsou zpracovávána pomocí rekurentní neuronové sítě. Ta rozdělí pohyby do tří základních skupin: klidová aktivita, mírná aktivita, vysoká aktivita. Výstupem je soubor s anotací pohybu. Práce obsahuje popis neuronových sítí, data, zpracování dat a vytvoření neuronové sítě s kódy.
|
host ::
RSS.