|
|
New Versions of Classical Automata and Grammars
Soukup, Ondřej ; Solár, Peter (oponent) ; Meduna, Alexandr (vedoucí práce)
This master's thesis investigates new versions of automata and grammars and is thus divided into two parts. First part defines and studies pure multi-pushdown automata and additionally introduces total orders above their pushdowns or pushdown symbols. Present work proves, defined restrictions decrease accepting power of these automata. In the second part, new modes of scattered context derivations are defined and described, which generalize the relation of direct derivation. It is proved, these modes do not decrease the generation power of scattered context grammars.
|
|
|
Rozpoznání plagiátů zdrojového kódu v jazyce Python
Bártíková, Pavlína ; Soukup, Ondřej (oponent) ; Křivka, Zbyněk (vedoucí práce)
Tato práce se zabývá jazykem Python a vývojem aplikace, která vyhodnotí podobnost zadaných zdrojových textů v tomto jazyce. Kromě porovnávání komentářů využívá program několik porovnávacích metod, jež aplikuje na posloupnost tokenů, které vytvoří ze zadaných zdrojových textů. Jsou to Levenshteinova vzdálenost, nejdelší společný podřetězec a četnost tokenů. Součástí práce jsou také výsledky testování programu na reálných datech. Aplikace je určena pro kontrolu plagiátů zdrojových kódů školních projektů v jazyce Python.
|
|
|
Automaty s ohraničeným počtem čistých zásobníků
Soukup, Ondřej ; Zemek, Petr (oponent) ; Meduna, Alexandr (vedoucí práce)
Zásobníkové automaty s omezeným počtem čistých zásobníků jsou specializací čistých zásobníkových automatů. Jejich síla je zkoumána především z pohledu kombinatoriky na slovech. V jazyku definovaném automatem je zaveden termín závislost, který označuje vztah mezi částmi řetězců jazyka. Je ukázáno, jak postupuje definovaný automat při zpracování závislostí. Dále je odvozen vztah mezi rozložením závislostí v jazyku a nutným počtem zásobníků automatu. Je definována nekonečná hierarchie jazyků korespondujících k automatům v závislosti na počtu jejich zásobníků. Nakonec je zkoumáno zařazení třídy jazyků definované zásobníkovými automaty s omezeným počtem čistých zásobníků do Chomského hierarchie jazyků, ovšem je zjištěno, že s Chomského hierarchií nekorespondují. Na základě výsledku je jako další vývoj navrhováno zkoumání možných úprav modelů. Pro demonstraci vlastností zkoumaných automatů je následně vytvořen simulační program.
|
|
| |
|
|
Nástroj pro dabování videa
Koňárek, Petr ; Soukup, Ondřej (oponent) ; Křivka, Zbyněk (vedoucí práce)
Tato práce se zabývá návrhem a implementací multiplatformního nástroje pro dabing. Jde tedy převážně o zpracování videa a audia, respektive nahrávání hlasu dabérů a jejich následné editace. Naleznete zde technologie, které tuto problematiku řeší a přitom zajišťují multiplatformnost. Návrh nástroje je vytvořen, aby obsahoval všechny potřebné operace s audiem a přitom uživatelské rozhraní zůstalo lehce ovladatelné. Závěrem se dozvíte, jak byl nástroj otestován v soutěži v rychlodabingu .
|
|
|
Modul plánování a rozlosování soutěží
Jelínek, Zdeněk ; Soukup, Ondřej (oponent) ; Křivka, Zbyněk (vedoucí práce)
Tato bakalářská práce popisuje návrh a implementaci modulu k rozlosování turnajů v kompetitivních sportech. Modul páruje hráče tak, aby bylo minimalizováno opakování zápasů, páry soupeřů hrály co nejkvalitnější zápasy, a zároveň, aby si každý hráč zahrál příslušný zápasů, a to s polynomiální nejhorší asymptotickou časovou složitostí.
|
|
|
Cestami řízené gramatiky
Adamec, Ondřej ; Soukup, Ondřej (oponent) ; Křivka, Zbyněk (vedoucí práce)
Tato diplomová práce se zabývá cestami řízenými gramatikami, gramatikami, které kladou omezení na cesty v derivačním stromě bezkontextové gramatiky. Cílem této diplomové práce je tvorba algoritmu pro převod mezi cestami řízenými gramatikami a stavovými gramatikami, což je jiný typ řízené gramatiky. Dalším cílem je na základě tohoto převodního algoritmu studovat vyjadřovací sílu cestami řízených gramatik. Převodní algoritmus je naimplementován v C++ a testován na sadě cestami řízených gramatik. Složitost algoritmu, jak časová, tak prostorová, je diskutována. Také nástroj pro syntaktickou analýzu cestami řízených gramatik je naimplementován. Složitost této analýzy je také diskutována.
|
|
|
Centrum integrovaného záchranného systému
Soukup, Ondřej ; Sláma, Ing Ludvík (oponent) ; Mohelníková, Jitka (vedoucí práce)
Jedná se o novostavbu Centra integrovaného záchranného systému na p. č. 375/2 v katastrálním území Písek 720755. Projektová dokumentace je prováděna pouze k hasičské stanici. ta se skládá ze tří od dilatovaných budov. Budova pro denní pobyt je třípodlažní, garáže s dílnami dvoupodlažní a sušící věž čtyřpodlažní. Zděný konstrukční systém založený na základových pasech. Vodorovné konstrukce jsou u předpjatých panelů spiroll. Střecha je plochá, jednoplášťová a pultová tříplášťová. Podlaží jsou propojena betonovým schodištěm v budově pro denní pobyt a ocelovým svařovaným v sušící věži.
|
|
| |
|
|
Nejčastější ruské mýty a lži o ukrajinské krizi
Think-tank Evropské hodnoty ; Central European Policy Institute ; Víchová, Lenka ; Svoboda, David ; Svoboda, Karel ; Soukup, Ondřej ; Pazderka, Jozef ; Romancov, Michael ; Naď, Jaroslav ; Janda, Jakub
V souvislosti s vnitřní ukrajinskou krizí i vnější ruskou agresí vůči této zemi jsme svědky silné vlny dezinformací, nepravd a z kontextu vytržených skutečností, které mají zastínit nebo posunout obraz reality na místě. Právě tato dezinformační vlna znemožňuje v Česku soustředěnou a seriózní debatu o věcech, které jsou v kontextu Ukrajiny klíčové a o kterých česká veřejnost potřebuje vědět. Proto think-tank Evropské hodnoty oslovil přední české a slovenské experty, kteří společnými silami vytvořili tento dokument. Jeho hlavním cílem je odstranit z české debaty o Ukrajině nejčastější mýty a nepravdy a soustředit ji na reálné věci. Pevně věříme, že tento dokument poslouží nejrůznějším zájemcům (novinářům, komentátorům, editorům, analytikům, politikům i dalším) v orientaci a upřesnění dění na Ukrajině. Pod textem je podepsána skupina expertů, kteří se Ukrajině dlouhodobě věnují a mají s ní reálný kontakt. Dokument zároveň automaticky nevyjadřuje pozici žádné z institucí, ve kterých autoři působí. Za jeho obsah je zodpovědný think-tank Evropské hodnoty, jenž autory ke společnému dílu vyzval.
Plný text:  PDF; PDF
|
host ::
RSS.