| |
|
Míry podobnosti pro nominální data v hierarchickém shlukování
Šulc, Zdeněk ; Řezanková, Hana (vedoucí práce) ; Šimůnek, Milan (oponent) ; Žambochová, Marta (oponent)
Tato disertační práce se zabývá mírami podobnosti pro nominální data v hierarchickém shlukování, které umožňují zacházet s proměnnými s více než dvěma kategoriemi a které si kladou za cíl nahradit postupy založené na koeficientu prosté shody, které se v této oblasti běžně používají. Tyto míry podobnosti uvažují dodatečné informace ohledně datového souboru, jako je rozdělení četností kategorií u dané proměnné nebo počet jejích kategorií. Tato práce se věnuje třem hlavním cílům. Prvním cílem je prozkoumání a ohodnocení kvality shlukování vybraných měr podobnosti pro hierarchické shlukování objektů a proměnných. K dosažení tohoto cíle bylo provedeno několik experimentů, které se zabývají jak shlukováním objektů, tak proměnných. Tyto experimenty zkoumají kvalitu shluků vytvořených za pomocí zkoumaných měr podobnosti pro nominální data ve srovnání běžně používanými mírami podobnostmi využívajícími binární transformaci a dále s několika alternativními metodami pro shlukování nominálních dat. Toto porovnání je provedeno na reálných i generovaných souborech. Výstupy těchto experimentů vedou ke zjištění, které míry podobnosti jsou vhodné k obecnému použití, které podávají dobré výsledky v konktrétních situacích a které nejsou doporučeny pro shlukování objektů nebo proměnných. Druhým cílem práce je navržení míry podobnosti vycházející z teoretických předpokladů a její následné porovnání s ostatními zkoumanými mírami podobnosti. Na základě tohoto cíle byly představeny dvě nové míry podobnosti, Variable Entropy a Variable Mutability. Obzvláště prvně zmíněná míra podává velmi dobré výsledky u souborů s nižším počtem proměnných. Třetím cílem této práce je poskytnout komfortní sofwarové řešení založené na zkoumaných mírách podobnosti pro nominální data, které pokrývá celý proces shlukování od výpočtu matice vzdálenosti po hodnocení výsledných shluků. Tento cíl byl dosažen vytvořením balíčku nomclust pro program R, který řeší tuto problematiku a který je volně dostupný.
|
|
Budování a využívání menších počítačových sítí
Kyzivát, Marek ; Pinkas, Otakar (vedoucí práce) ; Šmejkal, Ivo (oponent)
Práce popisuje původní stav počítačové sítě Základní školy a Mateřské školy Ohradní (ZŠMŠ Ohradní) v Praze 4 a následně její rekonstrukci, na které jsem se z velké částí podílel. ZŠMŠ Ohradní se skládá ze čtyř pavilonů a z jedné budovy na druhé straně ulice. Cílem této práce je zhodnotit původní stav sítě a poukázat na nedostatky, které jsme zjistili. Nedostatky jsme zjistili zátěžovými testy v provozu, měřením datové kabeláže a celkovou analýzou. Původní síť měla přenosovou rychlost pouze 100Mb/s. Spolu s kolegou Pocem jsem správcem této sítě. Dále představím novou podobu sítě, která má zjištěné nedostatky napravit a zároveň poskytnout nové možnosti na základě novějších technologií. Popíši její strukturu, adresní rozdělení, aktivní a pasivní prvky, a nakonec provozované služby. Nová síť disponuje připojením 1Gb/s a v brzké budoucnosti bude páteř sítě dosahovat rychlosti 10Gb/s. Přínosem rekonstrukce je rychlejší, stabilnější a modernější síť, která usnadní práci zaměstnancům ZŠMŠ Ohradní. K celkovému zlepšení sítě jsem přispěl hlavně měřeními. Podílel jsem se na návrhu a realizaci nové podoby datové sítě. Spolupracoval jsem s kolegou Pocem na konfiguraci aktivních prvků a síťových služeb rekonstruované sítě.
|
|
Návrh procesů obchodního oddělení v IT společnosti a měření jejich výkonnosti
Schütz, Martin ; Oškrdal, Václav (vedoucí práce) ; Bruckner, Tomáš (oponent)
Práce se zabývá návrhem nových procesů obchodního oddělení v IT společnosti poskytující služby serverhostingu, webhostingu a registrace domén. Tyto procesy vycházejí z identifikace a analýzy stávajících procesů a z teorie řízení obchodního oddělení. U vybraných procesů jsou stanoveny klíčové indikátory jejich výkonnosti (KPIs) využitelné pro řízení organizace jako celku. Modely procesů jsou vytvořeny dle notace EPC. Nové procesy jsou navrženy tak, aby při jejich průběhu vznikala v informačním systému CRM data poskytující evidenční a informační podporu nezbytnou pro řízení obchodního oddělení včetně možnosti měření jeho výkonnosti. Procesy také automatizují často se opakující činnosti a poskytují relevantní informace dalším dotčeným organizačním jednotkám společnosti. Přínosem práce jsou výsledky analýzy identifikovaných stávajících procesů, obsahující návrhy řešení objevených problémů a modely nových procesů. Mohou posloužit jako vzor pro optimalizaci stávajících procesů v již existujících organizacích nebo pro tvorbu nového procesního modelu v nových organizacích ze stejného nebo podobného oboru.
|
|
The current state and prospects for sustainable development of tourism in Slovakia.
Libantová, Silvia ; Indrová, Jarmila (vedoucí práce) ; Chaloupka, Radek (oponent)
Cestovní ruch přispívá k rozmachu destinací, kam přináší finanční prostředky, nová pracovní místa, vyšší úroveň služeb, či rozvoj infrastruktury. Ovšem pokud se cestovní ruch nerozvíjí udržitelně, doprovázejí ho i negativní faktory. Jde hlavně o negativní dopady na životní prostředí, jako například: znečištění vody, půdy, zvýšená hlučnost a přelidnění destinace během sezóny. Jako reakce na zhoršující se stav životního prostředí a možné neodvratitelné změny způsobené nezodpovědným lidským jednáním, nabývá na významu myšlenka udržitelného rozvoje. Teoretická část popisuje cestovní ruch na Slovensku a poukazuje na plány udržitelného rozvoje cestovního ruchu. V praktické části jsou zhodnoceny výsledky dotazníku, který se týká povědomí o udržitelném cestovním ruchu na Slovensku. Hlavním cílem diplomové práce je zhodnocení současného stavu v oblasti udržitelného cestovního ruchu a návrh možností jeho rozvoje do budoucna.
|
|
Výšková měření v severní oblasti dobývacích prostorů Doubrava a Karviná Doly I v roce 2016
Kajzar, Vlastimil ; Waclawik, Petr ; Staš, Lubomír
V severní oblasti dobývacích prostorů Doubrava a Karviná Doly I na hranici KÚ Dětmarovice a Doubrava se realizují dobývací práce. Z toho důvodu jsou za účelem zjišťování možných důlních vlivů na povrch a povrchové objekty pravidelně dvakrát ročně výškově zaměřovány body v této oblasti stabilizované. Od roku 2014 byl za zhotovitele těchto prací vybrán Ústav geoniky AV ČR, v.v.i., Ostrava. V srpnu a listopadu 2016 se uskutečnily měřické kampaně plánované v tomto roce, během kterých bylo prováděno výškové zaměření celkem 4 vzájemně navazujících nivelačních tras, které jsou těmito body tvořeny. Výškové body jsou v zájmové oblasti stabilizovány několika způsoby - nejčastěji v provedení ocelových výškových značek na objektech, dále pak ve formě železných svorníků zabetonovaných v zemi nebo pomocí hřebů zaražených do betonového základu, případně jiným alternativním způsobem. Rozložení bodů v zájmové oblasti je orientačně zachyceno v mapové příloze. Stávající dohledané a zaměřené body jsou označeny zeleně, dohledané nepřístupné body žlutě, nově zaměřené body červeně a fialově body, u kterých došlo k jejich dlouhodobému znepřístupnění či zničení. Každý ze zaměřovaných bodů je za účelem jeho dohledání v terénu pečlivě zdokumentován (GPS souřadnice, fotografie, textový popis) a zaevidován. Tyto podklady jsou k dispozici u zhotovitele.
|
|
Využití nově syntetizovaného amocharu ke stabilizaci a sorpci kovů a metaloidů.
Ouředníček, P. ; Trakal, L. ; Komárek, M. ; Pohořelý, Michael
Možnost sanace půd, která je většinou založena na principu stabilizace a imobilizace potenciálně rizikových látek, je v posledních letech intenzivně studovanou a zkoumanou problematikou. Jedním z takovýchto stabilizačních činidel je i biochar, tedy forma aktivního uhlí, která má schopnost poutat na svůj povrch celou řadu kontaminantů včetně právě kovů a metaloidů. Biochary mají obecně vysoce aktivní povrch a přítomnost různých funkčních skupin (např. COO–) zodpovědných za tvorbu chelátů a alkalických prvků (Ca2+, K+, Na+ a Mg2+) reprezentující kationtovou výměnu; v kombinaci s vysokými hodnotami pH (7,00 až 10,0) poukazují na jejich efektivní sorpční kapacitu vázat na svůj povrch kovy a metaloidy z roztoku (z půdní vody), zejména pak v kyselých půdách (tedy v oblastech postižených intenzivní důlní činností). Dále lze sorpční účinnost biocharů ještě zvýšit/vylepšit (zejména pak v případech odstraňování As (V) nebo Cr (VI)) a to pomocí různých modifikací. A právě modifikací biocharu pomocí amorfního oxidu manganu (AMO), byl vytvořen nový sorbent AMOchar. Produkt byl připraven přidáváním biocharu přímo do roztoku reaktantů při syntéze AMO. Samotný AMOchar je tak tvořen především Mn-oxaláty, které jsou přítomny ve formě povlaků na povrchu částic biocharu. Sorpční účinnost tohoto sorbentu pak byla i přes poměrně zásadité pH AMOcharu vysoká pro všechny testované rizikové prvky. Konkrétně byla sledována vysoká sorpce nejen pro Pb (téměř 99 %) a Cd (51,2 %) ale i pro As (91,4 %). Modifikace biocharu pomocí AMO též signifikantně snížila extrakci Mn, díky čemuž by nemělo, v případě reálného používání tohoto sorbentu pro sanaci půd, docházet k post-kontaminaci půdy právě manganem, který se uvolňuje z Mnoxalátů při rozpouštění jinak vysoce účinného sorbentu AMO.
Plný tet: SKMBT_22316111113040 -  PDF
Plný text: content.csg - PDF
|
|
Nájem bytu manželi a užívání družstevního bytu manželi v nové úpravě po 1.1.2014
Prantlová, Soňa ; Kadlecová, Eva (vedoucí práce) ; Pavla, Pavla (oponent)
Diplomová práce se věnovala tématu nájmu bytu manželi a jeho užívání tak, jak je to zakotveno v nové zákonné úpravě občanského zákoníku č. 89/2012 Sb. Ten nahradil do té doby fungující občanský zákoník z roku 1964. V nové právní úpravě je zakotvena řada nových institutů, jejichž cílem je především ochránit slabší stranu, v tomto případě nájemce. Diplomová práce byla rozčleněna na teoretickou a praktickou část. V teoretické části byla věnována pozornost základním pojmům, které zde byly definovány. Byla zde charakterizována práva nájemce a pronajímatele. Byla rozebrána právní úprava bydlení dle nového občanského zákoníku. Praktická část se věnovala interpretaci výsledků dotazníkového šetření. Byli osloveni nájemci několika bytových domů ve městě Kralupy nad Vltavou. Na základě dosažených zjištění byla navržena některá doporučení pro zvýšení informovanosti o právech a povinnostech nájemců, jakož i o celé problematice bydlení z právního hlediska.
|
|
Automata in Infinite-state Formal Verification
Lengál, Ondřej ; Jančar, Petr (oponent) ; Veith, Helmut (oponent) ; Esparza, Javier (oponent) ; Vojnar, Tomáš (vedoucí práce)
The work presented in this thesis focuses on finite state automata over finite words and finite trees, and the use of such automata in formal verification of infinite-state systems. First, we focus on extensions of a previously introduced framework for verifi cation of heap-manipulating programs-in particular programs with complex dynamic data structures-based on tree automata. We propose several extensions to the framework, such as making it fully automated or extending it to consider ordering over data values. Further, we also propose novel decision procedures for two logics that are often used in formal verification: separation logic and weak monadic second order logic of one successor. These decision procedures are based on a translation of the problem into the domain of automata and subsequent manipulation in the target domain. Finally, we have also developed new approaches for efficient manipulation with tree automata, mainly for testing language inclusion and for handling automata with large alphabets, and implemented them in a library for general use. The developed algorithms are used as the key technology to make the above mentioned techniques feasible in practice.
|
|
Analysis and Testing of Concurrent Programs
Letko, Zdeněk ; Lourenco, Joao (oponent) ; Sekanina, Lukáš (oponent) ; Vojnar, Tomáš (vedoucí práce)
The thesis starts by providing a taxonomy of concurrency-related errors and an overview of their dynamic detection. Then, concurrency coverage metrics which measure how well the synchronisation and concurrency-related behaviour of tested programs has been examined are proposed together with a~methodology for deriving such metrics. The proposed metrics are especially suitable for saturation-based and search-based testing. Next, a novel coverage-based noise injection techniques that maximise the number of interleavings witnessed during testing are proposed. A comparison of various existing noise injection heuristics and the newly proposed heuristics on a set of benchmarks is provided, showing that the proposed techniques win over the existing ones in some cases. Finally, a novel use of stochastic optimisation algorithms in the area of concurrency testing is proposed in the form of their application for finding suitable combinations of values of the many parameters of tests and the noise injection techniques. The approach has been implemented in a prototype way and tested on a set of benchmark programs, showing its potential to significantly improve the testing process.
|
host ::
