|
|
Tvorové vědy. Živé modely a budování vědeckých komunit
Stella, Marco ; Hermann, Tomáš (vedoucí práce) ; Tinková, Daniela (oponent) ; Janko, Jan (oponent)
Tvorové vědy. Živé modely a budování vědeckých komunit. Marco Stella Práce, oborově zařazená do historie a antropologie vědy, se zabývá vztahem budování a vzniku vědeckých komunit a využitím modelů ve ve vědě, resp. při budování nových forem vědění. Vzhledem k tomu, že se zabývá primárně historií věd o živém, konkrétně vědami o chování, které se na začátku 20. století zformovaly jako relativně emancipované vědecké pole a zároveň heterogenní platforma pro společný výzkum projevů a kognice člověka a ostatních živočichů, zaměřujeme se zde zejména na modely živé, používané v biologických a také psychologických komunitách. Za využití Latourových konceptů modernity a hybridity poukazuje práce nejen na hybridizační účinek behaviorálních věd (model vždy tvaruje a utváří modelované), ale i na působnost jimi vytvořených obrazů člověka a obrazů zvířete. Druhé zmíněné často fungují jako základ pro budování těch prvých. Zkoumáme též možné vlivy různých charakteristik daného modelu na možnosti disciplinace daných vědeckých komunit a vlivy, které prostřednictvím modelů zasahují do (domněle) od okolí izolované sféry vědy. Na třech případech z historie věd o živém (nezdařené institucionalizaci nové psychologie zvířat, kontextu vzniku a dopadu Umweltlehre Jakoba von Uexkülla a historii velemloka jako vědeckého a kulturního...
|
|
|
Modelování povrchového odtoku v extrémním reliéfu
Fárek, Vladimír ; Langhammer, Jakub (vedoucí práce) ; Zezulák, Jiří (oponent) ; Unucka, Jan (oponent)
Disertační práce je zaměřena na nalezení optimálních nástrojů na modelování povrchového odtoku vody a k ověření jejich spolehlivosti a limitů v extrémním reliéfu Českého Švýcarska. Práce se soustředí na Open Source nástroje pro modelování povrchového odtoku implementované v geografickém informačním systému GRASS GIS. Region Českého Švýcarska, zejm. stejnojmenného národního parku, byl zvolen ze dvou hlavních důvodů. Tím prvním je skutečnost, že škála tvarů reliéfu zdejších pískovcových skalních oblastí je neobyčejně pestrá. Extrémní vertikální členitost, reliéfní zlomy, střídání konvexních a konkávních tvarů reliéfu, velké změny profilové, planární i tangenciální křivosti a často extrémně úzká a hluboká údolí jsou z hlediska modelování povrchového odtoku mimořádně obtížné. Druhým důvodem k zaměření na výše uvedenou oblast je fakt, že pro uvedené území je k dispozici mimořádně kvalitní digitální výškový model (DEM) z projektu GeNeSiS - "Geoinformationsnetzwerke für die grenzüberschreitende Nationalparkregion Sächsisch- Böhmische Schweiz". Tento DEM, financovaný v rámci operačního programu EU Interreg IIIA Cross-Border Cooperation probíhal v gesci Technické univerzity Drážďany a vyznačuje se hustotou snímaní LIDARu 1 bod na 1 m2 . Práce se zabývá porovnáním různých algoritmů na určování směru odtoku...
|
|
|
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.
|
host ::
RSS.