|
|
Alternativní transformace jazykových modelů
Havel, Martin ; Beníčková, Zuzana (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce poskytuje ucelený přehled poznatků z oblasti regulárních výrazů, konečných automatů a transformací z regulárního výrazu na konečný automat. Práce navrhuje nové transformace se zaměřením na minimalizaci počtu stavů a počtu pravidel konečných automatů. Koncept alternativních transformací je zpracován do algoritmů a prokázán matematickým důkazy. Cílem práce je obohatit transformace o nové alternativy na poli regulárních výrazů a konečných automatů. Pozornost je především věnována ekonomické stránce finálního konečného automatu. V rámci práce se podařilo sestrojit algoritmy, které jsou schopny transformovat regulární výrazy na konečné automaty. Práce zároveň poskytuje návod k jejich implementaci. Prezentuje obecný koncept transformací, který umožňuje tvořit méně rozsáhlé konečné automaty. Využitím uvedeného přístupu je možné rozšířit řadu transformací o alternativní verze.
|
|
|
Alternativní transformace jazykových modelů
Havel, Martin ; Beníčková, Zuzana (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce poskytuje ucelený přehled poznatků z oblasti regulárních výrazů, konečných automatů a transformací z regulárního výrazu na konečný automat. Práce navrhuje nové transformace se zaměřením na minimalizaci počtu stavů a počtu pravidel konečných automatů. Koncept alternativních transformací je zpracován do algoritmů a prokázán matematickým důkazy. Cílem práce je obohatit transformace o nové alternativy na poli regulárních výrazů a konečných automatů. Pozornost je především věnována ekonomické stránce finálního konečného automatu. V rámci práce se podařilo sestrojit algoritmy, které jsou schopny transformovat regulární výrazy na konečné automaty. Práce zároveň poskytuje návod k jejich implementaci. Prezentuje obecný koncept transformací, který umožňuje tvořit méně rozsáhlé konečné automaty. Využitím uvedeného přístupu je možné rozšířit řadu transformací o alternativní verze.
|
|
|
Alternativní transformace jazykových modelů
Havel, Martin ; Beníčková, Zuzana (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce poskytuje ucelený přehled poznatků z oblasti regulárních výrazů, konečných automatů a transformací z regulárního výrazu na konečný automat. Práce navrhuje nové transformace se zaměřením na minimalizaci počtu stavů a počtu pravidel konečných automatů. Koncept alternativních transformací je zpracován do algoritmů a prokázán matematickým důkazy. Cílem práce je obohatit transformace o nové alternativy na poli regulárních výrazů a konečných automatů. Pozornost je především věnována ekonomické stránce finálního konečného automatu. V rámci práce se podařilo sestrojit algoritmy, které jsou schopny transformovat regulární výrazy na konečné automaty. Práce zároveň poskytuje návod k jejich implementaci. Prezentuje obecný koncept transformací, který umožňuje tvořit méně rozsáhlé konečné automaty. Využitím uvedeného přístupu je možné rozšířit řadu transformací o alternativní verze.
|
|
|
Modely a simulace pochodů bezemisního kolového nakladače s elektrickým pohonem
Cieslar, Filip ; Nevrlý, Josef (oponent) ; Němec, Zdeněk (vedoucí práce)
Tato diplomová práce se zabývá tvorbou modelů simulující pochody bezemisního kolového nakladače, který vznikl přestavbou původní verze se spalovacím motorem. Součástí práce je metodická tvorba modelů od základních částí stroje po zjednodušený model celkového stroje, jeho funkčního ověření a kalibrace na základě dostupných informací a měření. V průběhu práce jsou vybrané parametry celkového modelu stroje verifikovány na základě provedených měření, dále je ověřena vhodnost zvolených komponent a taky je provedena optimalizace a úpravy modelu na základě verifikace. Cílem práce je představení simulačního a verifikačního postupu a jeho praktického využití ve vývoji bezemisního kolového nakladače na elektricky pohon.
|
|
|
Optimalizační modely v odpadovém hospodářství
Šmídová, Zlata ; Smejkalová, Veronika (oponent) ; Šomplák, Radovan (vedoucí práce)
Diplomová práce se zabývá aplikací optimalizačních modelů v oblasti odpadového hospodářství. K analýze současného stavu, odhadu informace o toku konkrétního odpadu, odhadu pravděpodobného místa a způsobu zpracování je vyvinut vhodný přístup založený na sofistikovaných matematických metodách. Matematický model, který vznikl sloučením dvou již existujících modelů, přináší výsledky vhodné také pro prognózování stavu odpadového hospodářství. Výstupem je komplexní výpočetní nástroj, který byl testován na datech z roku 2015. Výsledky pro směsný komunální odpad (kat. č. 20 03 01), objemný odpad (kat. č. 20 03 07) a odpad s katalogovým číslem 19 08 05, což je označení pro kaly z čištění komunálních odpadních vod, byly zpracovány v programu MS Excel.
|
|
|
Matematické modely vlivu vybraných faktorů na rychlost fotosyntézy pro střední odborné školy a gymnázia
Cinibulková, Renata ; Albrechtová, Jana (vedoucí práce) ; Tichá, Ingrid (oponent)
Cílem diplomové práce bylo vytvořit výukové materiály pro osvojení základů matematického modelování na příkladu procesu fotosyntézy a jejího ovlivnění různými faktory. Mezi výukové materiály patří modely vlivu vybraných faktorů prostředí na rychlost fotosyntézy, pracovní listy a metodické manuály sloužící jako podklad pro práci s modely a další podpůrné výukové materiály pro střední školy. Tyto výukové materiály mají současně studentům přiblížit základy modelování a jeho význam nejen ve vědě, ale také ve výuce. Tato diplomová práce vznikla na základě zapojení týmu z Katedry experimentální biologie rostlin PřF UK do mezinárodního projektu NSF v rámci programu GLOBE - Koloběh uhlíku1 . Diplomová práce je rozdělena na teoretickou a praktickou část. Teoretická část zahrnuje literární přehled a úvod do matematického modelování (v softwaru Stella), které jsou zpracované s ohledem na výukové účely a slouží jako podklad pro praktickou část diplomové práce. Zároveň je teoretická část určena učitelům středních škol a případně studentům jako faktografický přehled. V závěru oddílu zabývajícího se modelováním a modely jsou zařazeny kapitoly pojednávající o počátcích vzrůstu zájmu využití modelování ve výuce a filozofickém pozadí softwaru Stella2 a programu GLOBE3 (zkratka "Global Learning and Observation to...
|
|
|
Simulace farmakokinetických modelů
Hejč, Jakub ; Jiřík, Radovan (oponent) ; Mézl, Martin (vedoucí práce)
Teoretická část projektu se zabývá rozborem farmakokinetických dějů a základními vlastnostmi matematických modelů užívaných ve farmakokinetice. Tento popis je zaměřen především na modely využívané pro perfúzní zobrazovací metody. Cílem projektu je vytvořit algoritmus pro simulaci vybraných modelů na základě zadaných parametrů a algoritmus sloužící k proložení experimentálně měřených dat vybraným modelem s výpočtem základních farmakokinetických parametrů. Dalším krokem řešení je realizace grafického rozhraní, které umožní plně využívat vytvořené algoritmy v uživatelsky přístupnějším prostředí. Výstupem práce je program, který lze využít k získání parametrů reálných dat a jako názorná ukázka vlivu těchto parametrů na průběh zvolených funkcí.
|
|
|
Autonomní diferenciální rovnice
Bokišová, Lenka ; Vodstrčil, Petr (oponent) ; Opluštil, Zdeněk (vedoucí práce)
Tato bakalářská práce se zabývá řešením autonomních diferenciálních rovnic. Pozornost je věnována základním matematickým modelům růstu jednodruhové populace. Je zde uveden Malthusův model, model s vnitrodruhovou konkurencí a dále rozebrán model růstu populace pod predačním tlakem. Získané poznatky jsou aplikovány na konkrétních matematických modelech rybolovu. Jsou rozlišeny případy, kdy rybolov je konstantní a závislý na velikosti populace. Dále je zkoumán model lovu sardinek se speciální růstovou funkcí. V každém modelu je řešena otázka stability stacionárních řešení.
|
|
|
The Housing Sector over Business Cycles: Empirical Analysis and DSGE Modelling
Brůha, Jan ; Polanský, Jiří
V tomto článku analyzujeme dynamiku cen nemovitostí určených k bydlení v rámci hospodářských cyklů. Nejprve se zabýváme empirickou analýzou vztahu mezi sektorem nemovitostí určených k bydlení a hlavními makroekonomickými proměnnými v ČR a na vzorku vyspělých ekonomik ukazujeme, že ve většině zemí se tento sektor pohybuje souběžně se zbytkem ekonomiky. Česká data ukazují existenci období, v nichž se tento sektor choval nezávisle na zbytku ekonomiky, ale od roku 2005 je více sladěn s hospodářským cyklem. Dále konstruujeme kaskádu dynamických stochastických modelů všeobecné rovnováhy s rostoucí mírou složitosti a posuzujeme relativní význam každého přidávaného mechanismu. Na rozdíl od studií, které se zakládají na finančním omezení, modelujeme sektor nemovitostí určených k bydlení jako další produkční sektor pomocí standardních nabídkových a poptávkových mechanismů. Naše výsledky ukazují, že tento přístup je schopen vysvětlit pozorovaný souběžný vývoj ukazatelů trhu s bydlením.
Plný text:  PDF
|
|
|
Explaining the Strength and Efficiency of Monetary Policy Transmission: A Panel of Impulse Responses from a Time-Varying Parameter Model
Matějů, Jakob
Tento článek analyzuje prostorovou i časovou variaci v transmisi měnové politiky od nominálních krátkodobých úrokových sazeb do úrovně cenové hladiny. S použitím bayesovských TVP-VAR modelů, kde jsou strukturální měnověpolitické šoky identifikovány kombinací krátkodobých a znaménkových restrikcí, ukazuji, že transmise měnové politiky v posledních dekádách zesilovala. Tento závěr je robustní napříč vyspělými a rozvíjejícími se ekonomikami. Náklady měnověpolitické restrikce (ztráta výstupu v důsledku dezinflace vyvolané zpřísněním měnové politiky) se během posledních čtyř dekád také snížily. Analýza prostorové a časové variace v transmisi měnové politiky za pomoci panelových regresí ukazuje, že zavedení režimu cílování inflace bylo provázeno zesílením měnové transmise a snížením nákladů restriktivní měnové politiky. V obdobích bankovních krizí byl přenos šokových změn měnověpolitických sazeb do cenové hladiny naopak slabší a náklady restriktivní politiky vyšší. Ekonomiky s vyšším poměrem domácího soukromého zadlužení k HDP vykazují silnější transmisi úrokových šoků.
Plný text: PDF
|
host ::
RSS.