|
Dokumentace přírodní rezervace Miletínská bažantnice
Stejskalová, Klára ; Skalický, Milan (vedoucí práce) ; Martinková, Jaroslava (oponent)
Cílem této práce je dokumentace druhové diverzity pomocí floristického průzkumu v přírodní rezervaci Miletínská bažantnice. Dokumentace byla na předmětném území provedena během vegetačního období roku 2015. Zde byla provedena determinace cévnatých druhů. Průzkum byl především zaměřen na ohrožené a chráněné druhy.
Celé území je součástí evropsky významné lokality podle směrnice o stanovištích programu Natura 2000. Miletínská bažantnice byla vyhlášena přírodní rezervací v roce 1954 s výměrou 75,43 ha a je součástí maloplošného zvláště chráněného území. Typické znaky pro oblast Podzvičinska jsou zbytky přirozené geobiocenózy a proto je důvod jeho ochrany.
Dále byla popsána historie, charakteristika území a přírodní poměry, které jsou typické pro danou lokalitu. Mezi ně patří pedologické, klimatické, hydrologické, geomorfologické, geologické a fytogeografické. Na území přírodní rezervace jsou evidovány dva památné stromy a to duby letní (Quercus robur) s vyhlašovacím názvem Žižkovy duby.
Na předmětném území byly nalezeny chráněné a ohrožené druhy a zařazeny podle Červeného a černého seznamu cévnatých rostlin České republiky (Grulich, 2012) a vyhlášky ministerstva životního prostředí ČR č. 395/1992 Sb. Do kategorie vzácnějších taxonů vyžadující další pozornost se řadí druhy jako ostřice Otrubova (Carex otrubae), rožec hajní (Cerastium lucorum), lýkovec jedovatý (Daphne mezereum), svízel severní (Galium boreale), bradáček vejčitý (Listera ovata) a prvosenka jarní (Primula veris). Jediný druh vemeník dvoulistý (Platanthera bifolia) je řazen do kategorie mezi ohrožené jak podle Červeného a černého seznamu cévnatých rostlin ČR, tak podle vyhlášky MŽP.
V terénním průzkumu byla pozornost věnována i invazivním druhům, řazeny podle Catalogue of alien plants of the Czech Republik (Pyšek et al., 2012) a zařazeny do kategorií archeofyty (Arctium tomentosum, Cirsium arvense, Convolvulus arvensis, Chelidonium majus
a neofyty (Arrhenatherum elatius, Impatiens parviflora) a popsány jejich rizika (Mlíkovský a Stýblo, 2006)
|
|
Dotační podpora trvale udržitelného odpadového hospodářství
BEDNÁŘOVÁ, Renata
Předmětem práce je problematika odpadového hospodářství se zvláštním zřetelem na oblast recyklace stavebních a demoličních odpadů a nakládání s nimi. Východiskem je rozbor klíčových nástrojů usměrňování činnosti a chování tržních subjektů v dané oblasti směrem k naplňování celospolečenských priorit a principů trvale udržitelného rozvoje, kdy zvláštní důraz je v textu kladen na oblast dotačních politik a programů. Cílem dizertační práce je u vybraného dotačního programu analyzovat a vyhodnotit nastavení systému dotační podpory v ČR z hlediska ekonomické a ekologické efektivnosti s akcentem na posouzení dopadu na příjemce. Předmětem zkoumání bude prioritní osa 4 "Zkvalitnění nakládání s odpady a odstraňování starých ekologických zátěží" v rámci Operačního programu Životní prostředí 2007 - 2013. V literární rešerši jsou definovány základní pojmy a důležité definice, načež následuje zevrubná a komplexní rešerše problematiky z různých úhlů pohledu. Nejprve je pojednáno o globálním hledisku ochrany životního prostřední, jsou zde shrnuty širší historické, legislativní, ekonomické i politické souvislosti, jež jsou nezbytným fundamentem pro pochopení aktuálních i budoucích problémů v celosvětovém měřítku i v jednotlivých regionech. V dalším textu následuje podrobnější deskripce situace Evropské unii, načež přehled je završen detailním náhledem na stav problematiky v České republice. Následné kapitoly jsou věnovány podrobnému rozboru oblasti odpadového hospodářství, a to opět z hlediska globálního, evropského i národního, kdy na závěr je pohled zaostřen na z hlediska zaměření práce klíčovou problematiku stavebních a demoličních odpadů. V aplikační části je prostřednictvím čtyř stanovených hypotéz řešeno naplnění stanoveného cíle dizertační práce. Hypotézy ověřují účinnost a vhodnost nastavení systému dotačních titulů v rámci sledovaného programu. Důraz je kladen na posouzení dopadu přidělených dotací soukromým subjektům na jejich ekonomickou a ekologickou efektivnost.
|
|
Sborník příspěvků multioborové konference LASER56
Růžička, Bohdan
Konference LASER 56 je mezioborová a intersektorová akce, na které se mohou potkat profesionálové z různých oborů. Společným jmenovatelem jsou lasery, optika a jejich aplikace. Účastníci pocházejí z různých prostředí (soukromé společnosti, vysoké školy, veřejné výzkumné organizace atd.).\n\n
|
|
New Methods for Increasing Efficiency and Speed of Functional Verification
Zachariášová, Marcela ; Dohnal, Jan (oponent) ; Steininger, Andreas (oponent) ; Kotásek, Zdeněk (vedoucí práce)
In the development of current hardware systems, e.g. embedded systems or computer hardware, new ways how to increase their reliability are highly investigated. One way how to tackle the issue of reliability is to increase the efficiency and the speed of verification processes that are performed in the early phases of the design cycle. In this Ph.D. thesis, the attention is focused on the verification approach called functional verification. Several challenges and problems connected with the efficiency and the speed of functional verification are identified and reflected in the goals of the Ph.D. thesis. The first goal focuses on the reduction of the simulation runtime when verifying complex hardware systems. The reason is that the simulation of inherently parallel hardware systems is very slow in comparison to the speed of real hardware. The optimization technique is proposed that moves the verified system into the FPGA acceleration board while the rest of the verification environment runs in simulation. By this single move, the simulation overhead can be significantly reduced. The second goal deals with manually written verification environments which represent a huge bottleneck in the verification productivity. However, it is not reasonable, because almost all verification environments have the same structure as they utilize libraries of basic components from the standard verification methodologies. They are only adjusted to the system that is verified. Therefore, the second optimization technique takes the high-level specification of the system and then automatically generates a comprehensive verification environment for this system. The third goal elaborates how the completeness of the verification process can be achieved using the intelligent automation. The completeness is measured by different coverage metrics and the verification is usually ended when a satisfying level of coverage is achieved. Therefore, the third optimization technique drives generation of input stimuli in order to activate multiple coverage points in the veri\-fied system and to enhance the overall coverage rate. As the main optimization tool the genetic algorithm is used, which is adopted for the functional verification purposes and its parameters are well-tuned for this domain. It is running in the background of the verification process, it analyses the coverage and it dynamically changes constraints of the stimuli generator. Constraints are represented by the probabilities using which particular values from the input domain are selected. The fourth goal discusses the re-usability of verification stimuli for regression testing and how these stimuli can be further optimized in order to speed-up the testing. It is quite common in verification that until a satisfying level of coverage is achieved, many redundant stimuli are evaluated as they are produced by pseudo-random generators. However, when creating optimal regression suites, redundancy is not needed anymore and can be removed. At the same time, it is important to retain the same level of coverage in order to check all the key properties of the system. The fourth optimization technique is also based on the genetic algorithm, but it is not integrated into the verification process but works offline after the verification is ended. It removes the redundancy from the original suite of stimuli very fast and effectively so the resulting verification runtime of the regression suite is significantly improved.
|
|
Network-wide Security Analysis
de Silva, Hidda Marakkala Gayan Ruchika ; Šafařík,, Jiří (oponent) ; Šlapal, Josef (oponent) ; Švéda, Miroslav (vedoucí práce)
The objective of the research is to model and analyze the effects of dynamic routing protocols. The thesis addresses the analysis of service reachability, configurations, routing and security filters on dynamic networks in the event of device or link failures. The research contains two main sections, namely, modeling and analysis. First section consists of modeling of network topology, protocol behaviors, device configurations and filters. In the modeling, graph algorithms, routing redistribution theory, relational algebra and temporal logics were used. For the analysis of reachability, a modified topology table was introduced. This is a unique centralized table for a given network and invariant for network states. For the analysis of configurations, a constraint-based analysis was developed by using XSD Prolog. Routing and redistribution were analyzed by using routing information bases and for analyzing the filtering rules, a SAT-based decision procedure was incorporated. A part of the analysis was integrated to a simulation tool at OMNeT++ environment. There are several innovations introduced in this thesis. Filtering network graph, modified topology table, general state to reduce the state space, modeling devices as filtering nodes and constraint-based analysis are the key innovations. Abstract network graph, forwarding device model and redistribution with routing information are extensions of the existing research. Finally, it can be concluded that this thesis discusses novel approaches, modeling methods and analysis techniques in the area of dynamic networks. Integration of these methods into a simulation tool will be a very demanding product for the network designers and the administrators.
|
|
Navigace mobilních robotů
Rozman, Jaroslav ; Matoušek,, Václav (oponent) ; Šolc, František (oponent) ; Zbořil, František (vedoucí práce)
Mobilní robotika je v posledních letech velice diskutované a rozšířené téma. Souvisí to především se stále se zdokonalující výpočetní technikou, která tak umožňuje vyvíjet stále složitější a dokonalejší roboty. Cílem tohoto snažení je vytvořit robota, schopného se autonomně pohybovat ve zvoleném prostředí. Pro tento úkol je nutné, aby si robot vytvořil mapu, ve které bude svůj pohyb plánovat. V současné době se za standard v mapování považují pravděpodobnostní algoritmy založené na metodě SLAM. Tato disertační práce se zabývá návrhem plánovacího algoritmu právě pro metodu SLAM. Popisuje plánování pohybu pro robota vybaveného dvojicí kamer, tzv. stereokamerou, umístěnou na pohyblivé platformě. Plánování pohybu je navržené s ohledem na použití algoritmů, které budou v obraze ze stereokamery vyhledávat význačné body a z těch pak pomocí triangulace tvořit mapu, nebo také model prostředí. Přínos práce by se dal rozdělit do tří částí. V první je popsán způsob vyznačování plochy, ve které pak bude robot plánovat svůj pohyb. Druhá část se zabývá samotným plánováním pohybu robota v této mapě. Bere při tom v úvahu vlastnosti algoritmu SLAM a snaží se tedy toto plánování navrhnout tak, aby vytvořená mapa byla co nejpřesnější. Ve třetí části je pak popsán pohyb platformy, která nese kamery. V této části se využívá toho, že robot může svými kamerami sledovat i jiná místa, než jsou ta ve směru jeho pohybu. To mu umožní prozkoumat mnohem větší prostor bez přílišné ztráty informace o své přesné poloze.
|
|
Vliv současných IT trendů na budoucnost šedé literatury
Savić, Dobrica
Příspěvek se zabývá současnými IT trendy a jejich vlivem na šedou literaturu. Je založený na analýze převládajících trendů v oblasti informačního managementu a nových informačních technologií, které budou ovlivňovat další vývoj informačního managementu a šedé literatury v digitální éře. Analýza byla vypracována na základě sedmi studií vydaných v roce 2016 pěti předními světovými poradenskými společnostmi, které mají zvláštní zájem na zkoumání dopadů IT technologií na naše podnikové prostředí, pracovní postupy a chování.
Plný text: idr-1032_3 -  PDF
Prezentace: idr-1032_1 - PDF; idr-1032_2 - PDF
Videozáznam: idr-1032_4 -  MP4
|
|
Implementace podnikového informačního systému ve vybrané firmě
BUŠEK, Petr
Tato bakalářská práce se zabývá problematikou implementace podnikového informačního systému ve vybrané firmě. V teoretické části jsou uvedeny informace o informačním systému, které jsou doplněny o analýzy vnitřního a vnějšího prostředí, silných a slabých stránek, způsob výběru informačního systému. V praktické části je stručně popsán vybraný informační systém a firma, ve které probíhala implementace. Dále je stávající informační systém zhodnocen analýzou HOS 8, ze které jsou stanoveny cíle implementace nového informačního systému. V závěru praktické části je srovnání informačního systému před implementací a po implementaci metodou HOS 8, což je hlavním cílem této práce.
|
|
International Digital Library of Manuscripts
Knoll, Adolf,
The Manuscriptorium Digital Library is Europe’s largest digital library of manuscripts providing access to data from more than 120 institutions across Europe incl. ca. 55 most important Czech collections. In March 2015, it contained 43,372 fully digitized documents and more than 337,000 bibliographic records. The documents are not only of European origin (Western, Slavonic, Hebrew, Armenian ...), but there are also data representing Arabic, Persian, Ottoman, Indian and other manuscript traditions. The digital library was launched in 2003 by the National Library of the Czech Republic, in partnership with the Czech AiP Beroun Company. In comparison and in contrast with other aggregation services, it provides seamless access to full digital documents on the fly, reusing thus repositories of partner digital libraries. Users do not need to travel or to navigate from one physical place or digital library to another one to access needed documents. Manuscriptorium provides uniform interface to any data from any digital library that signed the partnership agreement. The internal metadata solution is based on the robust TEI P5 approach and suits both library and researchers’ requirements for description and structuring. It aggregates not only fully digitized documents, but also the partially digitized ones and bibliographic records. It contains manuscripts as well as old printed books, historical maps, and historical posters. The documents are mostly represented by digital images and in certain extent also by full texts, TEI-structured and unstructured. The Manuscriptorium larger environment provides also online support to TEI authoring and online metadata validation and upload. ...
|
|
Využití pracovních činností v procesu sociální integrace dospělých s mentálním postižením.
SVITÁKOVÁ, Iveta
V rámci své bakalářské práce jsem se věnovala využití pracovních činností v procesu sociální integrace dospělých s mentálním postižením, přičemž cílem bylo vytvořit, zrealizovat a vyhodnotit pravidelnou pracovní činnost určenou specifické skupině dospělých s mentálním postižením a zaměřenou primárně na rozvoj sociální integrace. Text práce je strukturován do šesti kapitol. V první z nich jsem se zaměřila na vymezení mentálního postižení, charakteristiku dospělosti jako důležitého vývojového období v životě člověka a na dospělost jedinců s mentálním postižením s cílem nalézt a pojmenovat specifika, která byla třeba při práci s touto cílovou skupinou zohlednit. V následující části jsem se věnovala sociální integraci, jejím determinantům a prostředí, ve kterém se uskutečňuje. Na získané výstupy jsem navázala ve třetí kapitole, v níž jsem se zaměřila na klíčové kompetence, z nichž jsou pro sociální integraci nezbytným podkladem zejména sociální, personální a komunikativní kompetence. Cílený rozvoj těchto kompetencí lze realizovat prostřednictvím edukační činnosti, která však musí respektovat specifika účastníků a dobrovolnost účasti. Oba tyto předpoklady lze naplňovat v rámci zájmového vzdělávání s využitím adekvátních pedagogických metod. Na tyto oblasti jsem proto zacílila svou pozornost v závěru kapitoly. Kapitola čtvrtá je věnována práci a pracovním činnostem, konkrétně vymezení pojmů, jejich charakteristice, významu a roli pracovních činností v životě člověka, respektive člověka s mentálním postižením. Na základě všech získaných teoretických poznatků a s využitím dosavadních zkušeností s cílovou skupinou jsem v páté kapitole navrhnula specifický vzdělávací program založený na pracovních činnostech a zaměřený na rozvoj vybraných klíčových kompetencí. Do vzdělávacího programu se dobrovolně přihlásili čtyři účastníci, přičemž jsem se rozhodla sledovat rozvoj kompetencí jen tří účastníků z důvodu, že jeden účastník docházel velmi nepravidelně. Program byl realizován třikrát týdně, vždy 2,5 hodiny po dobu sedmi měsíců (od října 2015 do května 2016) v prostorách vzdělávacího centra Mo-zai-ka. Na počátku realizace vytvořeného vzdělávacího programu účastníci souhlasili s tím, že budeme dodržovat a rozvíjet správné návyky potřebné pro dobré vzájemné vztahy ve skupině a výsledky pracovní činnosti. Na základě individuálních charakteristik účastníků jsem připravovala pracovní činnosti, které měly přispět také k rozvoji sociálních a personálních a komunikativních kompetencí. Ty jsem průběžně sledovala a zaznamenávala. Během realizace programu jsem kladla důraz na opakování, trpělivé jednání s účastníky a vytvoření přátelské atmosféry. Po ukončení vzdělávacího programu jsem rozvoj kompetencí u tří vybraných účastníků vyhodnotila. Na základě toho jsem dospěla k závěru, že k největší změně došlo v komunikativních kompetencích. Posun jsem zaznamenala i v sociálních a personálních kompetencích, zde se však výsledky u jednotlivých účastníků značně lišily. Přesto se domnívám, že cíl práce byl splněn. Uvedené výsledky ukazují, že vzdělávání ve volném čase založené na pracovních činnostech může vést k rozvoji sociálních, personálních a komunikativních kompetencí, které jsou pro dospělé s mentálním postižením nezbytné v procesu sociální integrace. Tato bakalářská práce může být zajímavým zdrojem inspirace pro realizaci obdobných programů zacílených na sociální integraci osob s mentálním postižením.
|
host ::
