|
|
Study of road I / 43 near the town of Štíty
Babík, Maroš ; Jakl, Tomáš (oponent) ; Kosňovský, Michal (vedoucí práce)
The goal of the diploma thesis is a study of the road I/43 near the town of Štíty. Štíty is situated in Olomouc region. It is situated 55 km north-west from Olomouc city. The reason for a study is processing and verification of the route in terms of its feasibility according to the current ČSN 73 6101, while respecting the interests of environmental protection and its binding to the communication network. The consideration has been taken to the nature reserve Selský les during projection. From several of the proposed variants came one result, which was processed in detail. All variants are heading through the undeveloped terriotry, where the crossings and relocations of the actual roads and water flows have been solved.
|
|
|
Vytěsněná apokalypsa - česká reflexe ústupu německé skupiny armád Střed
Jakl, Tomáš ; Beneš, Zdeněk (vedoucí práce) ; Hutečka, Jiří (oponent) ; Mücke, Pavel (oponent)
Název práce: Vytěsněná apokalypsa - česká reflexe ústupu německé skupiny armád Střed Autor: Mgr. Tomáš Jakl Abstrakt: Jsou válečná tažení, která jdou popsat jednoduše, jiná obtížně a některé nejde rekonstruovat plynulým vyprávěním vůbec. Události v českých zemích v prvních dvou květnových týdnech roku 1945 patří k těm obtížně popsatelným. To, že se zde nacházela poslední německá bojeschopná skupina armád, je všeobecně známo. Také se běžně ví, že šlo o skupinu armád Střed, které velel polní maršál Ferdinand Schörner. Podstatně méně je známo, že následkem vypuknutí Českého povstání tato skupina armád ustoupila přes povstalecké území k demarkační linii mezi americkou a Rudou armádou. Poslední zoufalou iluzí německých vojáků bylo, že se spojí s Američany a společně vyženou Rusy z Evropy. Spojenecký vrchní velitel na Západě, generál Dwight David Eisenhower, nehodlal po smrti amerického prezidenta Roosevelta udělat nic, co by si sovětský diktátor mohl vykládat byť jen jako náznak podobného vývoje. Nejenže zakázal generálu Pattonovi překročit předem se sověty dohodnutou demarkační linii v Čechách, opticky vstříc ustupujícím Němcům, ale americké jednotky sovětům také vydaly zajaté německé vojáky z jednotek, které bojovaly na východní frontě. Své zajaté Němce předali Rudé armádě kromě Američanů i čeští povstalci. Do...
|
|
|
Restaurátorský informační systém ResIS
Novotný, Jan, ; Jakl, Tomáš
Předložená metodika je návod, jak používat Restaurátorský informační systém ResIS pro zkvalitnění péče o knihovní fondy. ResIS je navržen pro komplexní zpracování dokumentace vzácných knihovních exemplářů. Základem systému je digitální archiv s několika desítkami tisíc identifikačních záznamů knihovních exemplářů, náhradních nosičů, bibliografických odkazů, restaurátorských zpráv a dokumentací z oblasti restaurování a ochrany historických fondů. Nejrozsáhlejší část tvoří restaurátorská dokumentace, do systému je zahrnuta rovněž dokumentace z konzervátorských průzkumů, výstav, výzkumných záměrů a vědeckých projektů.
Plný text:  PDF
|
|
| |
|
|
d-Frames as algebraic duals of bitopological spaces
Jakl, Tomáš ; Pultr, Aleš (vedoucí práce) ; Picado, Jorge (oponent) ; Cintula, Petr (oponent)
Achim Jung a Drew Moshier vyvinuli dualitu pro bitopologické prostory podobnou Stoneově dualitě čímž, mimo jiné, získali praktický nástroj k vyřešení konkrétího problému v teorii stabilně kompaktních prostorů. Tímto také objevili že tato dualita mezi bitopologickými prostory a jejich algebraickými protějšky, zvanými d-framy, zahrnuje i další známé duality. Cílem této práce je vzít práci Junga a Moshiera a doplnit některé z chybějících aspektů je- jich teorie. Konkrétně, prozkoumáme základní kategorické vlastnosti d-framů, vyvineme takovou Vietorisovu konstrukci pro d-framy, že zobecníme příslušné Vietorisovy konstrukce v dalších kat- egoriích, a prozkoumáme spojitosti mezi bitopologickými prostory a parakonzistentní logikou a poté vyvineme vhodnou (geometrickou) logiku pro d-framy.
|
|
|
Severovýchodní část obchvatu města Hranice
Kelča, Petr ; Jakl, Tomáš (oponent) ; Všetečka, Martin (vedoucí práce)
Náplní diplomové práce je vypracování varianty technického řešení Severovýchodního obchvatu města Hranice a její následné porovnání s variantou vypracovanou firmou Linio Plan, s.r.o. Hlavním úkolem obchvatu je obsluha průmyslové zóny, díky čemuž dojde k odsunu velké části tranzitní dopravy z centra města. Základním rozdílem porovnávaných variant je jejich umístění vůči městu, kdy řešení vypracované firmou Linio Plan, s.r.o. prochází skrze průmyslovou zónu a druhá varianta vně.
|
|
|
Some point-free aspects of connectedness
Jakl, Tomáš ; Pultr, Aleš (vedoucí práce)
V této práci ukážeme Stoneovu větu o reprezentaci, která je také známa pod názvem Stoneova dualita, v bezbodovém kontextu. Předvedený důkaz je bezvýběrový, a protože se nemusíme starat o jednotlivé body, je mnohem jednodušší než původní důkaz. Ukážeme, že pro každý nekonečný kardinál κ jsou protějšky κ-úplných Booleových algebrer κ-bazicky nesouvislé Stoneovy framy. Také předvedeme přesnou charakterizaci morfismů, které jsou v ko- responenci s κ-úplnými Booleovskými homomorfismy. Ikdyž Booleanizace není obecně funktoriální, v části duality extremálně nesouvislých Stoneových framů funktoriální je a dokonce tvoří ekvivalenci kategorií. Na konci práce se zaměříme na De Morganovské (respektive extremálně nesouvislé) framy a ukážeme jejich novou charakterizaci pomocí jejich superhustých sublokálů. Naproti tomu jsou metrizovatelné framy, které nemají žádný netriviální su- perhustý sublokál, a proto nikdy není jejich netriviální Čech-Stoneova kom- paktifikace metrizovatelná. 1
|
|
|
Some point-free aspects of connectedness
Jakl, Tomáš ; Pultr, Aleš (vedoucí práce) ; Fiala, Jiří (oponent)
V této práci ukážeme Stoneovu větu o reprezentaci, která je také známa pod názvem Stoneova dualita, v bezbodovém kontextu. Předvedený důkaz je bezvýběrový, a protože se nemusíme starat o jednotlivé body, je mnohem jednodušší než původní důkaz. Ukážeme, že pro každý nekonečný kardinál κ jsou protějšky κ-úplných Booleových algebrer κ-bazicky nesouvislé Stoneovy framy. Také předvedeme přesnou charakterizaci morfismů, které jsou v ko- responenci s κ-úplnými Booleovskými homomorfismy. Ikdyž Booleanizace není obecně funktoriální, v části duality extremálně nesouvislých Stoneových framů funktoriální je a dokonce tvoří ekvivalenci kategorií. Na konci práce se zaměříme na De Morganovské (respektive extremálně nesouvislé) framy a ukážeme jejich novou charakterizaci pomocí jejich superhustých sublokálů. Naproti tomu jsou metrizovatelné framy, které nemají žádný netriviální su- perhustý sublokál, a proto nikdy není jejich netriviální Čech-Stoneova kom- paktifikace metrizovatelná. 1
|
|
|
Arimaa challenge - comparission study of MCTS versus alpha-beta methods
Jakl, Tomáš ; Majerech, Vladan (vedoucí práce) ; Hric, Jan (oponent)
Ve světě šachových programů je považováno AlphaBeta prohledávání za nejvíce úspěšné, na druhou stranu ve světě Go je to Monte Carlo Tree Search. Hra Arimaa je podobná jak Go tak šachům, ale zatím se nestalo, že by se objevil úspěšný hrající program používající Monte Carlo Tree Search. Hlavním úkolem této práce je porovnat schopnosti Monte Carlo Tree Search a AlphaBeta prohledávání, když oba algoritmy budou používat stejnou ohodnocovací funkci.
|
|
| |
host ::
RSS.