|
|
Reducing Size of Nondeterministic Automata with SAT Solvers
Šedý, Michal ; Havlena, Vojtěch (oponent) ; Holík, Lukáš (vedoucí práce)
Nondeterministic finite automata (NFA) are widely used in computer science fields, such as regular languages in formal language theory, high-speed network monitoring, image recognition, hardware modeling, or even in bioinformatic for the detection of the sequence of nucleotide acids in DNA. They are also used in regular mode checking, in string solving, in verification of pointer manipulating programs, for construction of linear arithmetic equations and inequalities, for decision in WS1S and WS2S logic, and many others. Automata minimization is a fundamental technique that helps to decrease resource claims (memory, time, or a number of hardware components) of implemented automata and speed up automata operations. Commonly used minimization techniques, such as state merging, transition pruning, and saturation, can leave potentially minimizable automaton subgraphs with duplicit language information. These fragments consist of a group of states, where the part of language of one state is piecewise covered by the other states in this group. The thesis describes a new minimization approach, which uses SAT solver, which provides information for efficient minimization of these so far nonminimizable automaton parts. Moreover, the newly investigated method, which only uses solver information and state merging, can minimize the automaton similarly and on automata with low transition count faster than a tool RABIT/Reduce, which uses state merging and transition pruning.
|
|
|
Minimalizace operačního systému CentOS
Vashkevich, Pavel ; Caha, Tomáš (oponent) ; Komosný, Dan (vedoucí práce)
Účelem této práce je provést redukci operačního systému Linux. Pro minimalizaci byla zadaná linuxová distribuce CentOS 8, která je vytvořena na základě otevřených zdrojových kódů. Tyto jsou šířeny společností Red Hat. Teoretická část práce popisuje základní součásti operačního systému, mezi které patří linuxové jádro, ovladače a grafické rozhraní. Praktická část popisuje návrh metody pro minimalizaci operačního systému. Tato metoda zahrnuje i porovnání minimalistických webových prohlížečů. Výsledná velikost po provedení redukce je 731 MB. Software pro automatizaci minimalizace je zveřejněn v osobním repozitáře na GitHub pod licencí MIT.
|
|
| |
|
| |
|
|
Demokratický deficit EU: možnosti vývoje
Tomášová, Tereza ; Šlosarčík, Ivo (vedoucí práce) ; Weiss, Tomáš (oponent)
Diplomová práce "Demokratický deficit EU: možnosti vývoje" pojednává o demokracii a demokratické legitimitě Evropské unie. Představuje především pojem demokratického deficitu EU, což je mnohoznačný termín, zpravidla však označuje nedostatek demokracie- především nedostatek účasti lidu na řízení společnosti či nedostatek demokratické legitimity evropských institucí a jejich rozhodování. Cílem mojí práce bylo dle předložených hypotéz zjistit, co způsobuje demokratický deficit EU, zda se jedná o závažný problém, který by se měl řešit na evropské úrovni a pokud ano, jaké jsou možnosti jeho minimalizace či dalšího vývoje. Abych prozkoumala toto téma blíže, tak se v úvodu zabývám teorií demokratické legitimity, kterou rozděluji na "input a output". V úvodu jsem také představila metodologické ukotvení své práce a současnou debatu k tématu demokratického deficitu v nejvýznamnějších periodikách, které se zabývají EU a think tancích. Ve druhé části se věnuji historii demokratického deficitu a jeho různým definicím dále navazuji s představením svých dvou hypotéz, které se zabývají tím, zda je nebo není demokratický deficit v EU problémem. Ve třetí části je testuji na projektu Jednotné evropské nebe, který má za cíl reformovat současnou podobu poskytování letových provozních služeb v evropském prostředí....
|
|
|
Knihovna operací nad konečnými automaty
Bartůněk, Petr ; Puš, Viktor (oponent) ; Kaštil, Jan (vedoucí práce)
Tato práce se zabývá dvěma základními operacemi nad konečnými automaty. Determinizací nedeterministických konečných automatů a minimalizací deterministických konečných automatů. Pro obě tyto operace jsem navrhoval sekvenční algoritmy, které jsou paralelizovatelné. Zabývám se hledáním zrychlení především pomocí SSE instrukcí nebo pomocí knihovny openMP. Trendem dnešní doby je především zvyšování počtu procesorů, proto budu navrhovat paralelní algoritmy pro více procesorů. Při hledání optimálního řešení budu zkoumat další možnosti, jak dosáhnout zrychlení, např. efektivním uložením datových struktur v paměti.
|
|
|
Redukce nedeterministických konečných automatů
Procházka, Lukáš ; Kořenek, Jan (oponent) ; Kaštil, Jan (vedoucí práce)
Nedeterministický konečný automat je důležitým nástrojem, který se používá pro zpracování řetězců v mnoha různých oblastech programování. V rámci zvýšení efektivity programů je důležité snažit se o zmenšování jeho velikosti. Tento problém je však velmi výpočetně náročný, proto je potřeba hledat nové postupy. V této práci jsou uvedeny základy konečných automatů a poté jsou představeny různé metody zabývající se jejich redukcí. Použitelné redukční algoritmy jsou v práci podrobněji popsány, dále implementovány a otestovány. Nakonec jsou výsledky zhodnoceny.
|
|
|
Evoluční resyntéza kombinačních obvodů
Pták, Ondřej ; Schwarz, Josef (oponent) ; Sekanina, Lukáš (vedoucí práce)
Tato práce se zabývá kombinačními číslicovými obvody a jejich optimalizací. Nejprve jsou představeny hlavní úrovně abstrakce používané při návrhu kombinačních číslicových obvodů. Následně jsou prozkoumány různé metody pro optimalizaci kombinačních číslicových obvodů. Další část této práce je věnována především evolučním algoritmům, jejich společným rysům a variantám: genetickým algoritmům, evolučním strategiím, evolučnímu programování a genetickému programování. Podrobně je popsána varianta genetického programování nazývaná kartézské genetické programování (CGP) a využití CGP v různých oblastech, zejména při syntéze či optimalizaci kombinačních číslicových obvodů. Také jsou představeny některé modifikace CGP a problém škálovatelnosti evolučního návrhu obvodů. V navazující části je popsána metoda pro evoluční resyntézu kombinačních číslicových obvodů. Nejprve je popsán návrh, zejména způsob dělení obvodu na podobvody, poté implementační detaily a nakonec experimenty s touto metodou a jejich výsledky.
|
|
|
Návrh a optimalizace prostoru hydrostatické kapsy
Minář, Petr ; Pavlík, Jan (oponent) ; Blecha, Petr (vedoucí práce)
Tato diplomová práce se zabývá konstrukční optimalizací hydrostatických saní portálového obráběcího centra řady FRU výrobce TOS Kuřim. V první části je provedena studie současného nasazení hydrostatického vedení v oblasti těžkých obráběcích strojů, použití alternativních materiálů pro konstrukci nosných dílů stroje a ukázány možnosti moderních simulačních metod. Druhá část práce si klade za cíl stručně objasnit princip matematické optimalizace a s aplikací systémové analýzy vytvořit obecnou metodiku konstrukční optimalizace. Pro optimalizační výpočty byl použit software ANSYS Workbench 11.0. Bylo dosaženo upraveného, optimalizovaného, návrhu hydrostatických saní s porovnáním klíčových deformací. Vytvořená metodika je aplikovatelná nejen v oblasti konstrukce obráběcích strojů, ale může být použita v celém spektru konstrukčních oborů.
|
|
|
Optimalizace žebra na křídle letounu
Kopřiva, Lubomír ; Suchánek, Miroslav (oponent) ; Petruška, Jindřich (vedoucí práce)
Topologická optimalizace je metoda poskytující nový směr v navrhování technických objektů. Cílem topologické optimalizace je stanovení optimálního rozložení materiálu v návrhovém prostoru. Tato diplomová práce je zaměřená na optimalizaci žebra č.6 v křídle letounu EV-55 užitím softwaru HW/OptiStruct 7.0 obsaženého v softwarovém balíku HyperWorks 7.0. Optimalizace žebra byla počítána ve čtyřech rozdílných zatěžovacích případech. Výsledné tvary žebra byly testovány pevnostním výpočtem v softwaru ANSYS 10.0. Nakonec byla získaná data hmotností optimalizovaných žeber porovnána s hmotností žebra původního.
|
host ::
RSS.