|
|
Návrh a implementace projektu pro optimalizaci procesů portfolia IT projektů
Hrušková, Eliška ; Doskočil, Radek (oponent) ; Širáňová, Lenka (vedoucí práce)
Tato diplomová práce se zaměřuje na využití metod projektového managementu při implementaci projektu v rámci IT. V teoretické části jsou blíže popsány pojmy z oblasti projektového managementu, modelování procesů, auditu a dalších. Ve druhé části je popsána společnost Garrett Motion, ve které je celý projekt realizován, její zaměření, působení a analýza současného stavu. V návrhové části je pak představen projekt, který se věnuje optimalizaci procesů portfolia IT projektů pomocí nástroje BIC a implementací souvisejících aktivit pro podporu těchto procesů.
|
|
|
Analýza dopadu strategií řešení problémů pomocí UPPAAL STRATEGO
Karásek, Filip ; Žádník, Martin (oponent) ; Strnadel, Josef (vedoucí práce)
Tato práce analyzuje a řeší dopad strategií vytvořených pomocí Uppaal Stratego. V této práci je ukázána implementace čtyř problémů, čítač, bludiště, bitmapa a křižovatka. Nad těmito modely jsou prováděny experimenty a vytvářeny strategie. Pro první tři problémy byly nalezeny strategie s pozitivním dopadem na daný systém. Pro poslední model křižovatky, se nepodařilo nalézt takovou strategii, která by prokazatelně vylepšila systém. Neprokazatelně, protože se nepodařilo nalézt strategii pro model s vyšším počtem vozidel v křižovatce a to z důvodu omezení Uppaal Stratego a komplexnosti modelu.
|
|
|
Návrh rotačného kyvadla s pružným kloubem
Palát, Ondřej ; Formánek, Martin (oponent) ; Dobossy, Barnabás (vedoucí práce)
Tato bakalářská práce se týká návrhu výukového modelu s pružným kloubem. Popisuje návrh konstrukce, elektroniky pro řízení, programování mikrokontroléru a tvorbu matematického modelu, který popisuje chování pružného kloubu. Parametry modelu byly získány odhadem parametrů na základě měření. V rešeršní části je také uvedený průzkum trhu a stručný popis algoritmů používaných pro numerický odhad parametrů.
|
|
|
Statistické ověřování modelů přibližných výpočetních systémů
Blažek, Michal ; Sekanina, Lukáš (oponent) ; Strnadel, Josef (vedoucí práce)
Tato bakalářská práce se zaměřuje na statistické ověřování modelů přibližných násobiček. Zejména se zabývá srovnáním vlastností násobiček při generování jejich vstupních hodnot podle různých pravděpodobnostních rozdělení. Součástí práce je převod modelů násobiček z knihovny EvoApproxLib do modelů v prostředí UPPAAL. Vytvořené modely jsou poté simulovány s ohledem na vybrané hodnotící metriky, jako např. pravděpodobnost chyby, průměrná absolutní chyba aj. Ze získaných výsledků lze usuzovat, že použitím vhodné aproximační násobičky pro provádění výpočtů v rámci konkrétní aplikace je možné docílit menší chyby ve výpočtech. Výsledky by proto mohly mít další uplatnění v oblasti přibližných výpočetních systémů.
|
|
|
Návrh a realizace modelů nadzemního a kabelového vedení 110 kV
Lelek, Jan ; Jurák, Viktor (oponent) ; Ptáček, Michal (vedoucí práce)
Bakalářská práce se zabývá modelováním nadzemního a kabelového vedení 110 kV v simulačním prostředí PSCAD a výrobou ekvivalentních laboratorních modelů těchto vedení. Mezi cíle práce patří také přiblížení technického provedení vedení 110 kV, vymezení potřebných parametrů pro tvorbu samotných modelů včetně popisů možností matematického modelování vedení. V návaznosti na naplnění zmíněných cílů práce jsou v teoretické části uvedeny faktické údaje o vedeních 110 kV nacházejících se v rámci distribučních sítí České republiky včetně uvedení základní teorie spjaté s parametry vedení. Následně se práce zabývá uvedením možných přístupů matematického modelování vedení, cíleným popisem možných přístupů modelování v simulačním prostředí PSCAD a výběrem potřebných parametrů pro tvorbu těchto modelů. Praktická část práce představuje samotné vytvořené matematické modely nadzemního a kabelového vedení, přičemž jsou představeny výsledky simulací pro různé provozní stavy vedení. Praktická část také detailně představuje návrh, výrobu a laboratorní měření fyzických laboratorních modelů nadzemního a kabelového vedení 110 kV. Součástí práce je pak vzájemné porovnání dosahovaných výsledků pro modely vedení, které byly tvořeny v simulačním prostředí PSCAD a laboratorní modely.
|
|
|
Analýza vlastností vlakového provozu řízeného pomocí ERTMS/ETCS
Ondroušek, Adam ; Šimek, Václav (oponent) ; Strnadel, Josef (vedoucí práce)
Cílem této práce je analýza vlakového provozu řízeného ERTMS/ETCS především na území České republiky. Byl vytvořen model pomocí softwaru Uppaal, který simuluje vlakový provoz. Následně byl navržen scénář, který podstatně zvýšil efektivitu modelované tratě. Tento scénář byl verifikován pomocí simulačních a pravděpodobnostních dotazů Uppaal SMC. Povedlo se dosáhnout příznivých výsledků zdvojnásobením intervalů osobní dopravy ve frekventovaných hodinách a doplnit nákladní vlakové jednotky do provozu v této době s minimální časovou prodlevou při zachování bezpečnosti provozu. Model je koncipován tak, aby dokázal simulovat libovolnou vlakovou jednotku a traťový úsek a mohl by tedy sloužit jako nástroj pro plánování a analýzu vlakové dopravy po zavedení ERTMS/ETCS.
|
|
|
Design and optimization of the hydraulic suspension model
Zrnčík, Matej ; Králík, Jan (oponent) ; Radil, Filip (vedoucí práce)
This thesis focuses on design and optimization of a decoupled hydraulic suspension model with goal of achieving desired dynamical behaviour of a car. Suspension model is created in Matlab, Simulink. This thesis describes the process of designing the suspension model, finding input into its simulation, determining output of the simulation and process of its optimization. At the end, drawing conclusions from the optimization results.
|
|
|
Využití počítačového modelování ke studiu transportních procesů v systémech obsahujících huminové látky
Zeman, Matěj ; Sedláček, Petr (oponent) ; Smilek, Jiří (vedoucí práce)
Tato bakalářská práce se zabývá problematikou difuze huminových kyselin. Hlavním cílem této práce je získání jednoduchého matematického modelu, který simuluje dialýzu barviva a huminové kyseliny a tím zkoumat vazebné možnosti huminových kyselin jako sorpčního činidla. Tento model byl zjednodušený natolik, aby se z něj dalo vycházet pro příští modelaci. Pro vytvoření modelu byl použit program COMSOL Multiphysics a v něm konkrétně moduly „Transport of Diluted Species“ a „Chemistry“, které umožňují simulaci výše zmíněných procesů. Výsledky ukázaly, že sledování dialýzy v čase je pomocí tohoto modelu možné a zároveň lze sledovat sorpční vlastnosti těchto látek.
|
|
|
Model odběrového diagramu domácností
Bočan, Tomáš ; Brettschneider,, Zbyněk (oponent) ; Radil, Lukáš (vedoucí práce)
Diplomová práce se zabývá vytvořením modelu odběrové diagramu domácností. Nejprve je v práci nastíněn rozbor současných přístupů k vytváření odběrových diagramů domácností s jejich zhodnocením. V práci jsou dále popsána vstupní data, postup při vytváření samotného modelu a v poslední část je provedena simulace odběru domácností a zhodnocení přesnosti její predikce na základě referenčních dat.
|
|
|
Návrh signálů pro modelování nelineárních systémů
Kuba, Michael ; Ištvánek, Matěj (oponent) ; Miklánek, Štěpán (vedoucí práce)
Diplomová práce se zabývá trénovacími signály pro modelování nelineárních systémů pomocí hlubokého učení. Je zde popsán teoretický úvod k této problematice včetně úvodního popisu signálů a nelineárních zvukových zkreslovacích efektů. Cílem práce je navržení sady umělých trénovacích signálů, které mají sloužit k vytvoření modelů zkreslovacích kytarových efektů nebo elektronkových kytarových zesilovačů. Navržená sada umělých trénovacích signálů je poté zpracována kytarovými a baskytarovými efekty a pomocí rekurentní neuronové sítě jsou natrénovány jejich modely. Kvalita výsledných modelů je následně srovnána s kvalitou modelů vytvořených pomocí referenčního trénovacího signálu, složeného ze záznamů hry na elektrickou kytaru, a signálů z komerčně dostupných zařízení. Srovnání je provedeno dle objektivních metrik a subjektivního hodnocení pomocí poslechového testu MUSHRA.
|
host ::
RSS.