|
Ammonia and Ammonium Nitrate in Archives
Mašková, Ludmila ; Smolík, Jiří ; Ďurovič, M. ; Součková, M.
Ammonia in libraries and archives can damage stored materials such as pigments and metals (Grzywacz, 2006) and mediate microbial decomposition (Petushkova and Lyalikova, 1986). The aim of this study was to investigate concentrations and sources of ammonia in the indoor air of five different types of archives, and to establish the relationship between the indoor and outdoor environments.
Plný tet: SKMBT_C22016102412240 -  PDF
Plný text: content.csg - PDF
|
|
Aktuální environmentální hrozby a jejich impakt v krajině
Zapletalová, Jana ; Kirchner, Karel
Workswhop Aktuální environmentální hrozby a jejich impact v krajině byl organizován v rámci Strategie Akademie Věd AV21, programu Přírodní hrozby. Tematicky byly zastoupeny jak přírodní hrozby (geologicko-geomorfologické hrozby - svahové deformace, eroze, hydrometeorologické extrémy - povodně, sucho, biologické invaze) a jejich hodnocení a predikce, tak i sociální i právní důsledky přírodních i aktivitami člověka vyvolaných hrozeb a jejich dopady v krajině (např. změny urbánního prostředí, antropogenní impakty v důlních oblastech). Významná byla témata zaměřená na hodnocení přírodních a environmentálních hrozeb a řešení vybraných mimořádných a krizových situací s využitím geoinformačních technologií.
Plný tet: UGN_0465323 - PDF
Plný text: content.csg - PDF
|
|
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.
|
|
Efektivní využití potenciálu bilingvního prostředí
HOVORKOVÁ, Eva
Disertační práce s názvem "Efektivní využití potenciálu bilingvního prostředí" je zaměřena na zmapování jak správných, tak špatných postupů při bilingvní výchově. Téma bilingvismu je v současné době velmi aktuální. V souvislosti s rostoucí globalizací společnosti je kladen stále větší důraz na výuku cizích jazyků. Lidé žijící ve smíšeném manželství však často nemají představu, jak své děti vychovávat a dopouštějí se mnohých chybných kroků, které později není možné napravit. Teoretická část podává přehled o bilingvismu, jeho rozdělení, typech a způsobech nabytí. Empirická část teorii prakticky demonstruje na různých příkladech. V rámci kvalitativního výzkumu bylo zpracováno 42 případových studií, které zachycují typické i netypické bilingvní respondenty. Výsledky výzkumu jsou porovnány s fakty uvedenými v odborné literatuře. Cílem disertační práce je podat přehled úspěšných i neúspěšných postupů a upozornit na ty, při kterých je potenciálu bilingvního prostředí využito co nejlépe. Současně také ukazuje, čemu se při bilingvní výchově vyhnout.
|
|
Identifikace příležitostí pro vybranou firmu
FEIKLOVÁ, Michaela
Diplomová práce má za cíl odkrýt příležitosti na trhu pro vybranou firmu a navrhnout firmě jejich možné využití. Práce sestává ze dvou hlavních částí - přehledu odborné literatury a praktické části. V rámci praktické části byla provedena marketingová situační analýza, která zanalyzovala vnější i vnitřní prostředí firmy. Zjištěné poznatky byly základem pro analýzu SWOT, která odkryla silné a slabé stránky podniku, jeho příležitosti a ohrožení. V závěru byl vypracován návrh na využití zjištěných informací.
|
|
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.
|
|
Space management vybrané obchodní jednotky
MACHÁČKOVÁ, Lenka
Cílem bakalářské práce je zmapovat situaci prostorového uspořádání prodejní plochy ve vybraném obchodním řetězci, kterým je Jednota, spotřební družstvo v Kamenici nad Lipou a na základě dotazníkového šetření navrhnout změny v nákupním prostoru prostřednictvím nového modelu. Teoretická část se věnuje základním poznatkům a informacím týkajících se vybraného tématu. Praktická část představuje vlastní marketingový výzkum a prostřednictvím vyhodnoceného dotazníku je navržen nový dispoziční model obchodní jednotky.
|
|
Postavení sestry v prevenci civilizačních chorob
PAVLOVÁ, Martina
Současný stav Prevence je komplexní péče o pacienta, kdy se snažíme zabránit vzniku či rozvoji onemocnění, nebo zabránit či zmírnit jeho následky. Preventivní doporučení stanovená lékařem musí mít vědecký základ a jsou součástí všech oborů medicíny. Jejich efektivita je závislá na spolupráci pacientů a zdravotníků. Základní a nejvíce efektivní metodou prevence je podpora zdraví a s ní úzce související zdravotní výchova. Pod pojmem podpora zdraví se skrývá soubor činností a opatření k upevnění a podpoře zdraví. Civilizační choroby jsou skupiny nemocí, které se vyznačují svým spojením s naším životním stylem. Náš organismus je stále více ohrožován nepříznivými vlivy vnějšího prostředí, jako je kvalita ovzduší, pracovní i životní prostředí, nedostatek pohybu, nesprávné stravování, kouření, alkohol. Seznam civilizačních onemocnění se mění spolu se společností a stylem jejího života. V dnešní době se mezi nejčastější řadí kardiovaskulární onemocnění, kam spadá ateroskleróza, hypertenze, infarkt myokardu, cévní mozková příhoda, ischemická choroba srdeční a také obezita. Dále mezi civilizační onemocnění patří diabetes mellitus 2. typu či nádorová onemocnění. Cíle práce Pro tuto práci byly stanoveny dva cíle. Prvním bylo zjistit, jaké je postavení sester v prevenci civilizačních chorob. Druhým cílem bylo zjistit, jaké je postavení sester v prevenci civilizačních chorob z pohledu pacientů. Metodologie Pro výzkumné šetření provedené v této práci byla zvolena kvalitativní metoda s použitím polostrukturovaných rozhovorů. Respondenti byli rozděleni na dvě části, kdy první část tvořilo 8 sester pracujících na interní a neurologické ambulanci českobudějovické nemocnice a setra pracující v soukromé ordinaci obvodního lékaře pro dospělé. Druhou část tvořilo 8 pacientů zmíněných ordinací. Výsledky Podle námi zjištěných odpovědí vidí sestry a pacienti postavení sester jinak. Sestry se v prevenci nemocí spíše vidí vedle lékaře, kdy plní jeho ordinace a pokyny. S pacienty mluví jen, aby mu zdůraznily, co jim sdělil lékař a zopakovali mu nejdůležitější body. Dávají jim k dispozici letáky a brožury, nebo internetové zdroje. Naopak většina pacientů vidí sestru jako důležitější zdroj informací než je lékař. Pacienti mají pocit, že lékař na ně nemá tolik času ani ho nechtějí svými dotazy zdržovat či obtěžovat. Raději se obrátí na sestru, kterou vidí jako svého rádce a někoho komu se mohou svěřit, aniž by ho obtěžovali. Závěr Cílem této bakalářské práce bylo zaměřit se na prevenci, na civilizační choroby a na postavení sestry v prevenci těchto chorob. Prostudovat danou problematiku, nahlédnout na ni očima pacientů a sester díky provedeným rozhovorům a analyzovat tyto informace. Z této analýzy nám vyšla doporučení pro sestry a pacienty.
|
host ::
