|
|
Efektivní funkcionální knihovna pro konečné automaty
Říha, Jakub ; Hruška, Martin (oponent) ; Lengál, Ondřej (vedoucí práce)
Konečné automaty jsou důležitou matematickou abstrakcí. Ve formální verifikaci se konečné automaty používají ke stručné reprezentaci regulárních jazyků. V této souvislosti se používají operace nad konečnými automaty, jako je testování jazykové univerzality a inkluze. Naivní přístup k implementaci těchto operací vede k explicitní determinizaci konečného automatu, což může být nakladné a nežádoucí. Nicméně existuje pokročilejší metoda k vykonávání těchto operací nazývaná Antichains algoritmus, která se vyhýbá explicitní determinizaci. Tato práce se zabývá efektivní implementací operací nad konečnými automaty v Haskellu a také porovnává několik implementačních variant. Získané výsledky jsou poté porovnány s knihovnou VATA, což je imperativní implementace knihovny pro práci nad konečnými automaty.
|
|
|
New features in Java 9 and possibilities of using them in programming courses
Fedorčák, Jaroslav ; Pavlíčková, Jarmila (vedoucí práce) ; Říha, Jan (oponent)
V současnosti existuje velké množství programovacích jazyků s různými stupni popularity mezi vývojáři ve světě. Jedním z popředních programovacích jazyků je jazyk Java, který se již přes 25 let vyvíjí a postupně se přizpůsobuje novodobým technikám programování a novým technologiím, aby vývojářům zaručil nejlepší použitelnost. Společnost Oracle má v červenci 2017 představit devátou verzi programovacího jazyka Java, který zaznamenává velký krok kupředu z hlediska návrhu programů přidáním nových jazykových prvků - modulů. Dalšími novinkami v jazyce jsou mezi jinými REPL nástroj jshell, rozšíření anotace @Deprecated, změny v rámci Collections a mnoho jiných. Cílem této práce je popsat modularitu z teoretického hlediska podle principů, o které se opírá a její konkrétní implementaci v jazyce a navrhnout příklady na vyučování použití modulů pro kurz Programování v Javě na Vysoké škole ekonomické. Stejně je cílem této práce popsat i jiné novinky v jazyce, které je taktéž účelné zařadit do vyučování na škole. Přínosy této práce budou tedy konkrétní příklady a postupy jejich vyučování, které bude možné po oficiálním vydání Javy 9 do vyučování zařadit a seznámit studenty s těmito novými prvky jazyka. Práce se skládá ze tří kapitol. První kapitola se věnuje stručnému představení tohoto programovacího jazyka a vývoji jeho platformy během předešlých verzí. Tato kapitola také obsahuje výtah z novinek podle stránky OpenJDK. Následující kapitola představuje principy a teoretický základ modulárního programování, jeho řešení v Javě 9 a tři příklady postupně představující používání modularity v různých stádiích jejich navrhovaného probírání na cvičení. Poslední kapitola stručně představuje některé z dalších novinek, které mají být v jazyce objevit.
|
|
|
Platforma Meteor jako webové prostředí pro vývoj aplikaci
Zvyagintseva, Daria ; Pavlíčková, Jarmila (vedoucí práce) ; Říha, Jan (oponent)
Bakalářská práce popisuje framework Meteor jako webové prostředí pro vývoj aplikace. Hlavním cílem práce je popis vlastností frameworku, následné vytvoření dokumentace v českém jazyce a také návrh a vývoj vlastní aplikace. Bakalářská práce je rozdělena na teoretickou a praktickou časti. Teoretická část popisuje real-time frameworky v celku, node.js frameworky a hlavně, popisuje technickou funkcionalitu, vlastnosti, strukturu frameworku Meteor. Praktická část je věnována návrhu a vývoji vlastní aplikace. V poslední části práce je hodnocení Meteoru, zdali je tato platforma použitelná pro vývoj real-time webových aplikací. Hlavní přinos práce je podrobný, ale jednoduše napsaný přehled o frameworku Meteor a také plně fungující real-time webová aplikace Nabidni.mi. Tato bakalářská práce by v budoucnu mohla být využita pro výuku na vysokých školách anebo sloužit jako příručka pro programátory, kteří teprve začínají s programováním webových aplikací. Práce je jedním z mála zdrojů, popisující framework Meteor v českém jazyce.
|
|
|
Účastenství
Slavíková, Lucie ; Říha, Jiří (vedoucí práce) ; Vokoun, Rudolf (oponent)
Účastenství Résumé Předkládaná diplomová práce analyzuje institut účastenství v širším smyslu v českém trestním právu, tedy kromě účastenství v užším smyslu se soustředí i na spolupachatelství. Účastenství je jednou z nejproblematičtějších otázek obecné části trestního práva, přitom je v současné době jedním z nejaktuálnějších témat, neboť roste počet trestných činů páchaných za součinnosti více osob. Cílem práce je kriticky zhodnotit stávající úpravu účastenství v českém trestním zákoníku a navrhnout možné řešení některých identifikovaných nedostatků. Tohoto cíle by mělo být dosaženo nejen analýzou české odborné literatury a judikatury, ale i komparací s francouzskou a belgickou právní úpravou účastenství a rozborem relevantní francouzské a belgické odborné literatury a judikatury. Kromě úvodu a závěru je práce rozdělena do čtyř kapitol, jež jsou dále členěny. První kapitola se zprvu věnuje obecně problematice trestné součinnosti více osob na páchání trestné činnosti a možnostem jejich postihu. V této souvislosti je vysvětlena koncepce plurality trestných činů a jednotnosti trestného činu (také známé jako monistický a dualistický systém). V následující části kapitoly je vymezen rozdíl mezi účastenstvím v užším a širším smyslu a vysvětleny podmínky trestní odpovědnosti spolupachatelů a účastníků. Hlavní...
|
|
|
Pravděpodobnostní řešení porušení ochranné hráze v důsledku přelití
Alhasan, Zakaraya ; Fošumpaur, Pavel (oponent) ; Šoltész,, Andrej (oponent) ; Říha, Jaromír (vedoucí práce)
Disertační práce se zabývá analýzou spolehlivosti ochranných hrází na základě odhadu pravděpodobnosti poruchy hráze. Práce na základě teoretických poznatků, experimentálních a statistických výzkumů, matematických modelů a terénního šetření rozšiřuje soudobé znalosti analýzy spolehlivosti hráze ohrožené porušením v důsledku přelití. Tato práce obsahuje výsledky pravděpodobnostního řešení možné poruchy levobřežní ochranné hráze řeky Dyje v místě vesnice Ladná v České Republice v důsledku jejího přelití. V rámci práce byl navržen matematický model popisující proces přelití a proces eroze hráze. Proces přelití hráze byl popsán jednoduchými hydraulickými rovnicemi. Po začátku přelití hráze dojde k jejímu porušení za předpokladu překročení odolnosti povrchu hráze proti erozi vlivem proudící vody na vzdušním líci. Proces eroze hráze byl popsán jednoduchými rovnicemi pro transport sedimentů. Tyto rovnice obsahují parametry, které byly stanoveny s využitím údajů z minulých reálných poruch hrází. V rámci rozboru modelu byly stanoveny nejistoty ve vstupních datech a následně byla provedena citlivostní analýza s použitím „screening“ metody. Za účelem dosažení pravděpodobnostního řešení byly vybrané vstupní parametry uvažovány jako náhodné veličiny s různým rozdělením pravděpodobnosti. Pro generování sady náhodných hodnot pro vybrané vstupní veličiny byla použita metoda Latin Hypercube Sampling (LHS). V procesu porušení hráze v důsledku jejího přelití byly identifikovány čtyři typické fáze. Konečné výsledky této studie mají formu pravděpodobností vzniku jednotlivých typických fází porušení hráze.
|
|
|
Spolehlivost zemních hrází ohrožených filtračními deformacemi
Čejda, Marek ; Baroková,, Dana (oponent) ; Fošumpaur, Pavel (oponent) ; Říha, Jaromír (vedoucí práce)
Náplní disertační práce je analýza pravděpodobnosti vzniku filtračních deformací v podloží zemních hrází. Z rozsáhlé problematiky filtračních deformací se práce zaměřuje na iniciaci celého procesu, kdy dochází k nadzdvihnutí nadložních vrstev v zahrází vedoucí k jejich prolomení. Je zde formulován způsob odhadu pravděpodobnosti porušení zahrází pomocí matematického a statistického modelování. Navržený postup je v rámci parametrické studie prakticky aplikován na testovací oblast a jeho výsledky jsou porovnány s výsledky získanými metodou podle mezních stavů. Na závěr je navržen postup pro využití výsledků stochastického výpočtu pro zpřesnění metody podle mezních stavů.
|
|
|
Rým a strofika v českém verši, obzvláště u Jana Nerudy
Říha, Jakub ; Vaněk, Václav (vedoucí práce) ; Tureček, Dalibor (oponent) ; Wiendl, Jan (oponent)
Předkládaná práce se zaměřuje na dvě rozsáhlé oblasti teorie a historie českého verše: rým a strofiku. V první části, věnované rýmu, je po historickém a terminologickém úvodu představen ucelený popis a výklad norem rýmu v českém sylabotonickém verši (19. století), metodologicky vycházející z tradic českého strukturalismu. Charakteristika norem rýmu v ostatních versifikačních systémech a ve volném verši je podána ve zvláštním oddílu. Druhá část, věnovaná strofice, přináší obdobně koncipovaný výklad o strofických formách v českém sylabickém a sylabotónickém verši, inspirovaný vzhledem k absenci domácí tradice francouzskou metrikou. Vedle terminologického a metodologického aparátu obsahuje druhá část výčet a rozbor základních strofických forem v českém verši. Samostatný oddíl je v druhé části věnován nevelké skupině časoměrných strof užívaných v českém verši. Třetí část práce přináší tři případové studie věnované rýmu a strofice v české poezii druhé poloviny 19. století, se zvláštním zřetelem k dílu Jana Nerudy. Studie pojednávají (1) o problematice rýmu v poezii májovců, (2) o rytmické stránce Nerudova rýmu a (3) o strofice v básnickém díle Jana Nerudy. Klíčová slova: versologie - rým - strofika - májovci - Neruda, Jan
|
|
|
Artificial Intelligence Approach to Credit Risk
Říha, Jan ; Baruník, Jozef (vedoucí práce) ; Vošvrda, Miloslav (oponent)
Tato práce se zabývá aplikaci umělé inteligence v řízení kreditního rizika. Tento moderní přístup je porovnán s aktuálním standardem trhu, s logistickou regresí. V práci prezentujeme teorii zaměřenou na neuronové sítě, podpůrné vektorové stroje, náhodné lesy a logistickou regresi. Také se zabýváme metodologií na vyhodnocení a porovnávání těchto modelů ze statistického a obchodního hlediska. Zjistili jsme, že modely z kategorie neuronových sítí, zejména Multi-Layer Perceptron a Radial Basis Function Network, překonávají logistickou regresi ve standardních statistických a obchodních kritériích. Výkonnost náhodných lesů a podpůrných vektorových strojů není dostatečná a v naší práci jejich výkonnost nedosahovala výkonnosti logistické regrese.
|
|
|
Trestněprávní problematika diváckého násilí na sportovních utkáních
Vrajíková, Barbora ; Říha, Jiří (vedoucí práce) ; Hořák, Jaromír (oponent)
Diplomová práce se věnuje diváckému násilí na fotbalových utkáních především z pohledu trestního práva. Vzhledem k šíři této problematiky je část práce věnována také úpravě správního a soukromého práva. Pod pojem diváckého násilí můžeme zahrnout celou škálu nebezpečného a násilného chování diváků v souvislosti s fotbalovými zápasy. Taková jednání můžeme nejčastěji kvalifikovat jako rušení přípravy a průběhu organizovaného sportovního utkání, tedy jako trestný čin výtržnictví. Úvodní pasáže jsou věnovány charakteristice a typologii návštěvníků fotbalových utkání jako potencionálních pachatelů trestných činů, se zaměřením na fotbalové chuligány. Kapitola druhá pojednává o jednotlivých projevech diváckého násilí a o vývoji tohoto fenoménu na území České republiky. V třetí kapitole se věnuji vybraným trestným činům, pod které projevy diváckého násilí můžeme podřadit nejčastěji. Největší prostor je věnován rozboru platné právní úpravy trestného činu výtržnictví se zaměřením na vysvětlení neurčitých právních pojmů a zásadu subsidiarity trestní represe. Dále se věnuji teoretickému rozboru a praktickým příkladům dalších vybraných trestných činů souvisejících s diváckým násilím jako jsou ublížení na zdraví, rvačka, násilí proti úřední osobě nebo tzv. trestné činy z nenávisti. Čtvrtá a pátá kapitola...
|
|
|
The Impact of Macroeconomic News on the Price of Financial Assets
Říha, Jakub ; Moravcová, Michala (vedoucí práce) ; Džmuráňová, Hana (oponent)
Tato práce zkoumá vliv zveřejňování českých makroekonomických zpráv a komunikace České Národní Banky (ČNB) na cenu finančních aktiv a jejich volatilitu. Jako finanční aktiva jsme zvolili směnné kurzy EUR/CZK a USD/CZK a také akciový index pražské burzy PX. K analýze jsme použili GARCH (1,1) a EGARCH (1,1) modely, každý s Normálním a Studentovým rozdělením reziduí. Hlavním zjištěním bylo, že komunikace ČNB má vliv cenu všech tří aktiv a překvapivě zvyšuje jejich volatilitu. Zveřejňování makroekonomických zpráv také významně ovlivňuje cenu a volatilitu zkoumaných aktiv, nicméně pro každé aktivum jsou významné jiné makroekonomické indikátory. Nejvíce ovlivňující jsou: index spotřebitelských cen, 1YPRIBOR a míra nezaměstnanosti. Další závěr našeho výzkumu je, že volatilita zkoumaných časových řad vykazuje známky pákového efektu, shlukování volatility a její přetrvávání. Powered by TCPDF (www.tcpdf.org)
|
host ::
RSS.