|
|
Model of transport in vadose zone in vertisols under semiarid climate.
Weiss, Tomáš ; Ondovčin, Tomáš (vedoucí práce) ; Kodešová, Radka (oponent)
(in Czech) Vertisoly pokrývají hydrologicky velmi významnou část semiaridních oblastí, a tak pochopení proudění vody a látek je velmi důležité z hlediska zemědělské činnosti a využívání vodních zdrojů. V předchozích pracích byl prezentován koncepční model salinizace způsobené desikačními trhlinami. Podle tohoto modelu se salinizace sedimentu nesaturované zóny objevuje do hloubky až 4 m pod povrchem a je způsobena podpovrchovým odpařováním v důsledku konvekčního proudění vzduchu v desikačních trhlinách. Tato diplomová práce představuje koncepční model proudění vody a transportu rozpuštěných látek ve vertisolech a její numerickou aplikaci. Model počítá s homogenně pórovitým materiálem, ale netradičně předepisuje jednak okrajové podmínky představující desikační trhliny v půdě a jednak nenasycenou hydraulickou vodivost. Numerický model sice simuluje konkrétní místo v blízkosti odkaliště odpadu z kravína, ale jeho koncepční řešení by se dalo aplikovat na všechny semiaridní oblasti s vertisoly. Simulace byly provedeny za použití několika modelovacích přístupů s konečným cílem kalibrovat výsledky simulací na měřené hodnoty in situ: půdní vlhkost a koncentrace chloridů v pórové vodě. Model byl vyvinut na základě mnoha simulací, veškeré metodou pokus-omyl. Okrajová podmínka popisující trhlinu umožňuje...
|
|
|
Studium deformačních procesů v hexagonálnich materiálech
Čapek, Jan ; Mathis, Kristián (vedoucí práce) ; Karlík, Miroslav (oponent)
Předložená práce se zabývá studiem deformačních mechanismů čistého hořčíku pomocí pokročilých in-situ metod v závislosti na způsobu deformace. Během deformačních zkoušek jsme zaznamenali akustickou emisi a měřili neutronovou difrakci. Struktura vzorků po deformaci byla zkoumána pomocí optické mikroskopie a EBSD. Z těchto měření jsme získali informace o nukleaci a růstu dvojčat, změně mikrostruktury a o vlivu orientace zrna na tvar a množství dvojčat. Získané hodnoty byly porovnány s Elasto-Plastickým Self-Konsistentním modelem, který umožňuje získat informace o aktivitě jednotlivých skluzových systémů. Práce je zaměřena na objasnění vlivu dvojčatění na asymetrii mezi deformací v tahu a tlaku.
|
|
|
Prognóza vývoje velikosti a struktury vězeňské populace v ČR
Koňařík, Martin ; Burcin, Boris (vedoucí práce) ; Kučera, Tomáš (oponent)
Prognóza vývoje velikosti a struktury v ze ské populace v R Abstrakt: Prognózování v ze ských populací je v eské republice tém neprozkoumané téma. Celému v ze ství jako problematice je také v nováno málo prostoru v odborné literatu e. Na eských datech není mo#né pou#ít nejpokro ilej"í metody prognózování v ze ských populací, které se pou#ívají v zemích s jeho dlouhou tradicí. Nejsou toti# propojená mezi rezorty spravedlnosti a vnitra a také se li"í ve svých definicích. Je tedy nutné u#ít zjednodu"ené metody, které odpovídají datovým zdroj m. Do celého procesu také zasahují ne ekané vn j"í vlivy jako je amnestie prezidenta republiky k 1. lednu 2013. Modely pro odsouzené p edpokládají pokles jejich po tu do konce roku 2013 na 12 a# 19 tisíc. Dále p edpokládají, #e ur itý pokles by v roce 2013 prob hl, i kdyby nedo"lo k amnestii. Modely pro obvin né p edpokládají jejich fluktuaci okolo stejné hodnoty. Návazné výpo ty ukazují, #e pokud by se po ty v z odvíjely podle variant prognózy, stát by výrazn u"et il a také by do"lo ke sní#ení zát #e na dozorce v nápravných za ízeních na 2,1 a# 3,2 v zn na dozorce ze sou asných 3,5 v z na dozorce. Klí ová slova: prognóza, projekce, modelování, v ze ská populace, v zni, v znice, v zení, vazba, obvin ní, odsouzení
|
|
|
Monitoring sedání násypů dopravních staveb
Karlín, Petr ; Novotný, Jan (vedoucí práce) ; Kresta, František (oponent)
Diplomová práce pojednává o geotechnickém monitoringu sedání podloží u dopravních staveb, konkrétně silnic a dálnic v České republice. V první části je uveden soupis procesů a postupů při návrhu a výstavbě násypů. Druhá část se zabývá rešerší dat z měření sedání a shromáždění podkladů z IG průzkumů pro vybrané lokality (celkem 7). Ve třetí části jsou vytvořeny matematické modely vybraných lokalit v programu Plaxis 2D (celkem 9). V závěru je srovnání reálných dat s namodelovanými a diskuze nad využitelností podobných postupů v praxi.
|
|
|
From textual specification to formal verification
Šimko, Viliam ; Hnětynka, Petr (vedoucí práce) ; Gruhn, Volker (oponent) ; Steinberger, Josef (oponent)
Běžný způsob popisu funkčních požadavků při vývoji softwaru je tvorba textových případů použití (use-cases). Jejich úlohou v úvodních fázích projektu je zachytit formou přirozeného jazyka způsob fungování systému z pohledu koncového uživatele. Protože jde o text psaný v přirozeném jazyce, není možné správnost textových případů použití přímo formálně ověřovat. Obdobně významným artefaktem při vývoji software je doménový model. Jde o popis nejdůležitějších konceptů a vztahů, které jsou pro vyvíjenou aplikaci důležité. Tvorba doménového modelu běžně probíhá iterativně od prvního prototypu z textu až po výsledný formální model. Tato práce se zabývá dvěma souvisejícími tématy - formální ověřování případů použití a odvozování doménového modelu z textu. První část je věnovaná metodě FOAM, která umožňuje pomocí jednoduchých anotací vložených do textu případů použití formálně ověřovat jejich správnost (model-checking). Anotace umožňují zachytit větvení kroků v případech použití a uživatel má možnost vyjádřit časové závislosti mezi různými částmi specifikace, zároveň je však zachovaná srozumitelnost původního textu. Druhá část práce popisuje tzv. Prediction Framework, který pomocí lingvistické analýzy textu a statistických klasifikátorů (log-linear Maximum Entropy models) umožňuje predikování doménového model z textu.
|
|
|
Návrh a realizace nové laboratorní úlohy s PLC B&R Automation
Cejpek, Zdeněk ; Němec, Zdeněk (oponent) ; Lang, Stanislav (vedoucí práce)
Bakalářská práce se zabývá návrhem laboratorní úlohy primárně určené pro předmět „Vyšší formy řízení“, který pro výuku využívá prostředky firmy B&R Automation. Z možných přístupů volí modelování dynamických systémů pomocí analogových elektrických obvodů. Ty jsou realizovány modulárně, aby z nich bylo možné poskládat modely různých soustav. Součástí práce je i návrh vhodného mechanického pouzdra usnadňujícího manipulaci při sestavování soustav. Pomocí vytvořených prototypových modulů je následně sestaven model stejnosměrného elektrického motoru s cizím buzením. Ten je využit k realizaci laboratorní úlohy, k níž je uveden i stručný návod, včetně základního programového vybavení v prostředí Automation Studio. Práce též ve stručnosti představuje společnost B&R, její produkty a sestavu PLC využívanou v předmětu „Vyšší formy řízení“.
|
|
|
Behaviorální model proudového konvejoru s pokročilými řiditelnými meziterminálovými relacemi
Jagla, Lukáš ; Langhammer, Lukáš (oponent) ; Šotner, Roman (vedoucí práce)
Bakalářská práce pojednává o modelu pokročilého proudového konvejoru s užitím jeho řiditelných meziterminálových relací. Pomocí behaviorálního modelování je sestaven prototyp modelu na bázi komerčně dostupných součástek a s tímto je vytvořen návrh DPS, jenž je následně realizována a osazena. Práce se zabývá funkcí samotného modelu konvejoru, jeho vnitřním popisem a stavbou. Vybrané vlastnosti tohoto prvku jsou simulovány a následně ověřeny měřením. Práce se taktéž zabývá teorií návrhu oscilátorů a elektronických filtrů, jenž využívají řiditelných meziterminálových relací. Vlastnosti syntetizovaných aplikací jsou zhodnoceny na základě simulací. U vybrané aplikace je následně ověřena její funkčnost měřením.
|
|
|
Minimalizace spotřeby paliva vozidla na výškovém profilu vozovky
Srba, Jan ; Klimeš, Lubomír (oponent) ; Mauder, Tomáš (vedoucí práce)
Tato práce se zabývá matematickým modelováním spotřeby paliva vozidla jedoucího po trase charakterizované svým výškovým profilem. Obsahuje základy podélné dynamiky vozidel, které jsou nezbytné pro sestavení modelu. Cílem práce je spotřebu na dané trase minimalizovat, k čemuž byly použity heuristické algoritmy, v práci je proto uveden popis použitých heuristických metod a také výsledky jejich implementace v prostředí MATLAB.
|
|
|
Výroba prototypu zpětného zrcátka na 3D FDM tiskárně
Fridrich, Radim ; Kolář, Ladislav (oponent) ; Zemčík, Oskar (vedoucí práce)
Cílem této bakalářské práce je konstrukce a výroba zpětného zrcátka do automobilu. S ohledem na požadovanou funkci a vlastnost byla zvolena technologie Rapid Prototyping – metoda Fused Deposition Modeling (FDM). První část práce je věnována přehledu používaných materiálů a popisu výroby pomocí metody FDM. V druhé části je popsán návrh 3D modelu zpětného zrcátka a proces jeho výroby. Závěr práce zahrnuje ekonomické zhodnocení nákladů na výrobu prototypu.
|
|
|
Modelování a HIL simulace ovládání pátých dveří osobního automobilu
Musil, Filip ; Matějásko, Michal (oponent) ; Brablc, Martin (vedoucí práce)
Tato diplomová práce se zabývá analýzou, tvorbou modelů a simulacemi mechanismů pátých dveří osobního automobilu. Problém byl analyzován na základě reálného měření, provedeného na třech různých vozidlech. Na základě měření byly vytvořeny výpočetní modely popisující reálnou soustavu na různých úrovních složitosti. Pro tvorbu a výpočet modelů byl využit Matlab/Simulink. Výstupem práce je simulátor pátých dveří osobního automobilu, který obsahuje i zjednodušený model řídicí jednotky. Simulátor by měl poskytovat aproximaci průběhu proudu a kinematických veličin těchto mechanismů. Model je implementován na výpočetní platformě dSPACE, která umožňuje běh simulace v reálném čase. Simulátor lze modifikovat ve smyslu změny parametrů mechanismu a modifikace některých jeho funkcionalit.
|
host ::
RSS.