|
|
Heuristics in String Solving
Řezáč, Michal ; Havlena, Vojtěch (oponent) ; Síč, Juraj (vedoucí práce)
This work aims on identifying heuristics and strategies used in modern string solvers and evaluating their impact on the effectiveness of the solving. In particular, two solvers -- cvc5 and Z3 -- are examined. The thesis describes the techniques used by SMT solvers and the strategies implemented by string solvers. The evaluation of the effectiveness of the heuristics was performed by disabling them directly in the code of the tools mentioned and then evaluating the impact on solving the sets of standard benchmarks. The result of this work is summary of a set of specific heuristics and a description of the structure of the tools cvc5 and Z3. The measurements failed to demonstrate the actual impact of the heuristics identified and described.
|
|
| |
|
|
Podpůrné algoritmy pro řízení elektrických motorů
Řezáč, Martin ; Buchta, Luděk (oponent) ; Blaha, Petr (vedoucí práce)
Tato práce je zaměřena na vytvoření podpůrných ovladačů a algoritmů pro řízení elektrických motorů s využitím procesoru AURIX TriCore TC275 CA. První část práce je věnována popisu procesoru a jeho vybraným periferiím. Následně jsou realizovány ovladače pro jednotlivé periferie procesoru, kterými jsou A/D převodník, časovač pro tvorbu PWM signálu a druhý časovač pro zpracování signálů z inkrementálního snímače. Všechny ovladače jsou otestovány na vývojové kitu, který je osazen procesorem TC275 CA. Druhá část práce se zabývá analýzou kvality měření z GMR snímače TLE5009. Pro snímání dat je vytvořen speciální přípravek, který je osazený GMR snímačem, inkrementálním snímačem v pozici etalonu a DC motorem. Data jsou získávána pomocí programu LabView. Následně je provedena analýza snímaných dat, jejich kompenzace a nakonec porovnání s naměřenými daty z inkrementálního snímače.
|
|
|
Elektronická podpora pronájmu malých rekreačních objektů (zkráceně „PMRO“)
Řezáč, Michal ; Smrž,, Pavel (oponent) ; Dydowicz, Petr (vedoucí práce)
Tato práce se zaobírá analýzou dostupné komerční aplikace pro podporu evidenčních agend, jejich atributy a navrhnutím datového a procesního modele pro maximálně jednoduchou, ale postačující aplikaci. V navrhovaném řešení se upřednostňuje jednoduchost a maximální dostupnost řešení pro běžného občana, živnostníka, případně pro firmu, která potřebuje efektivně využívat bytový fond a není to její hlavní činností. Z tohoto důvodu je aplikace vytvořena pro běžné programové vybavení PC a to pro MS Office testované v reálném prostředí.
|
|
|
Uroflow meter
Řezáč, Martin ; Hynčica, Ondřej (oponent) ; Kučera, Pavel (vedoucí práce)
Cílem práce je navrhnout a sestrojit zařízení pro lékařské měření průtoku moči. Práce je rozdělena do několika dílčích částí. V první části práce se zabývám rozborem dané problamatiky a návrhem první vývojové verze zařízení. V další části je pak popsáno konečné řešení zařízení a výroba prototypu. V závěru diplomové práce je popsáno testování zařízení a výroba první série.
|
|
| |
|
|
Optimalizace tranzitu dat v síti
Řezáč, Michal ; Škorpil, Vladislav (oponent) ; Kubánková, Anna (vedoucí práce)
Bakalářská práce je rozdělena do dvou částí. První část se zabývá popisem nezbytných teoretických celků spolu s analýzou sítě ISP a dalšími vstupními informacemi. Tyto poznatky jsou dále využity v druhé části bakalářské práce. Praktická část se zabývala ověřením optimalizačních mechanismů v laboratorní síti. Následně širším testováním optimalizačních mechanismů, založených na různých způsobech značení datových toků a místě nasazení těchto pravidel. Dále byly zhodnoceny výhody a porovnání těchto metod.
|
|
|
Honeypot pro rodinu bezdrátových komunikačních protokolů IEEE 802.11
Řezáč, Michal ; Blažek, Petr (oponent) ; Fujdiak, Radek (vedoucí práce)
Diplomová práce se zabývá realizaci WiFi Honeypotu, provádějícího detekci síťových útoků z rádiového prostředí, využívající sadu protokolů IEEE 802.11. Byla vytvořena specifická konfigurace na základní desce formátu mITX, obsahující skripty a programovou výbavu pro sběr, zpracování a vyhodnocení dat. Na základě informací a poznatků o konkrétních síťových útocích lze identifikovat datový provoz vedoucí k anomáliím a detekci případného síťového útoku. Finální zařízení bylo otestováno v reálném prostředí pro dlouhodobý sběr dat a vyhodnocení síťové aktivity v dané lokalitě. Tím je splněn hlavní cíl této práce. Tedy realizace WiFi Honeypotu s podporou protokolů IEEE 802.11 a s možným nasazením v reálném prostředí.
|
|
|
Analýza audio signálu v reálném čase
Řezáč, Martin ; Schimmel, Jiří (oponent) ; Černocký, Jan (vedoucí práce)
Cílem této práce je vytvořit program, který bude schopen na základě příchozích audio vzorků rozpoznávat v reálném čase základní frekvenci tónu, na základě určené frekvence vytvářet MIDI informace a ty posílat na zvolené MIDI rozhraní. V úvodní části je čtenář uveden do problematiky detekce základních frekvencí tónu. Následuje popis jednotlivých metod pro získávání základní frekvence s důrazem na metodu založenou na spektrální analýze zvuku a popis použitých technologií. Součástí je také popis implementace a vyhodnocení provedených testů včetně uvedení názorů některých hudebníků na použití této aplikace. Závěrem je celá práce zhodnocena. Součástí závěru je i zamyšlení nad dalším vývojem této aplikace.
|
|
|
Systémy převodníků: Definice, vlastnosti a aplikace
Řezáč, Michal ; Kövári, Adam (oponent) ; Meduna, Alexandr (vedoucí práce)
V současné době se používá k popisu překladačů programovacích jazyků konečný a zásobníkový převodník jako dvě samostatné části. Cílem práce je definovat systém překladových automatů, který umožní popsat překladač jedním souhrnným systémem převodníků místo dvou nezávislých. Systém překladových automatů představený v této práci je založený na konečném a zásobníkovém převodníku. Jedná se o jednoduchý model bez vnitřní komunikace a kvůli této vlastnosti není vhodný pro formalizaci překladačů ale pro svou jednoduchost je systém snadno rozšiřitelný o nové vlastnosti a může tak sloužit jako základ pro další výzkum.
|
host ::
RSS.