|
AND ČR - popis a analýza současného stavu
Bodoríková, Markéta ; KAŠPAR, David (vedoucí práce) ; PROKOP, Petr (oponent)
Tato práce se podrobně zabývá nově vzniklou Asociací nezávislých divadel ČR oficiálně užívající zkratku AND ČR. Popisuje vývoj vzniku, aktuální stav i budoucí plány a fungování.
V první části se věnuje termínu „nezávislé profesionální divadlo“ a stručně charakterizuje vybrané organizace působící v ČR i v Evropě, které se v budoucnu na kulturním poli s AND ČR budou potkávat. V dalších částech zkoumá potřeby nezávislé profesionální scény v hl. m. Praze a uvádí Analýzu potřeb pro oblast „nezávislého“ divadla z roku 2013. Práce dále detailně popisuje genezi vzniku AND ČR, její dosavadní činnost, organizační strukturu a krátkodobé plány. V závěrečné části definuje systém řízení organizace a nabízí varianty, jak existující systém řízení zefektivnit, aby se Asociace nezávislých divadel ČR stala časem hlavní oborovou organizací zastupující zájmy nezávislých profesionálních divadel v České republice.
|
|
Přírodní domy v zahradách
Formánková, Kristýna ; Kunt, Miroslav (vedoucí práce)
Diplomová práce se zabývá přírodními domy, které by měly být v budoucnu součástí našeho života. Tyto domy jsou pro někoho zpátečnické a raději při výběru nového bydlení vybírají z inteligentních budov stavěných z nerecyklovatelných materiálů. Je potřeba se ale zamyslet nad naší budoucností a udržitelným rozvojem a říct si, co je opravdu prioritou pro naši Zemi. Jednou nastane doba, kdy se budou preferovat stavební materiály, které lze po době jejich trvanlivosti upotřebit jinak nebo zcela recyklovat. S tím souvisí i návrh zahrady. Ten je vytvořen tak, aby plnila funkci okrasnou, hospodářsky užitnou i sociální. Zahrada je nedílnou součástí každého domu, proto je kladen důraz na to, aby každý použitý prvek vytvořil zahradu jako propojený harmonický celek. Práce se tedy zabývá konceptem přírodních domů v souladu s maximálním využitím zahrady.
|
|
Výživa štěňat a mladých psů
Šabatová, Kateřina ; Hučko, Boris (vedoucí práce) ; Plachý, Vladimír (oponent)
Výživa štěňat a mladých psů Souhrn Touto prací jsem se pokusila shrnout nejdůležitější aspekty ve výživě štěňat a psů v růstu. V úvodu práce je popsán zažívací trakt a také změny, ke kterým došlo vlivem domestikace. Dále je vysvětlen význam výživy a vody v nutričních potřebách psa. Důležité jsou potřeby živin a energie, které je nutné zachovat pro zajištění potřebných životních funkcí. Základními složkami potravy jsou proteiny, sacharidy, lipidy, minerální látky a vitamíny. Vysvětluji nutné poměry, množství a možné následky jejich nedostatku v potravě. Zaměřuji se na esenciální mastné kyseliny, které v posledních letech podléhají častým výzkumům a jejichž klady a zápory nejsou ještě zcela objasněny. Zmiňuji rovněž balastní a významné specificky účinné látky. Výživa březích a kojících fen je často opomíjena, ale pro štěňata představuje velice zásadní období. Byl prokázán vliv výživy březí feny na velikost a hmotnost narozených štěňat. Plynně navazuje výživa štěňat hned po narození, je vysvětleno složení mleziva a jeho účinnost na imunitní systém štěněte. Porovnávám rovněž poměry živin v kolostru a v mléce. Dále se zabývám výživou jedince v době odstavu i v různých růstových obdobích. V literatuře je popsáno mnoho možností krmení štěňat po odstavu až do dospělosti. S novými poznatky o výživě se zákonitě mění i způsoby krmení našich psů, ale rovněž se mění jejich požadavky na výživu vzhledem k podmínkám, kde a jak žijí a jaká je jejich potřeba živin dle jejich sportovního, chovného nebo jiného využití. V současné době je možností výživy kompletní komerčně vyráběná strava nebo doma připravená čerstvá strava - vařená nebo syrová- barf. V poslední kapitole jsem shrnula možné aspekty špatné výživy a možné důsledky. Popsány jsou nejčastější problémy spojené s neadekvátní výživou rostoucích psů jako je obezita ale i podvýživa, která rovněž negativně ovlivňuje jedince. Je jasný vliv správné výživy na růst štěněte. Pokud zanedbáme výživu psa v prvních dvou letech života, jsou následky často již nevratné.
|
|
Dendrochronologie arktické tundry
Lehejček, Jiří ; Svoboda, Miroslav (vedoucí práce) ; Monika, Monika (oponent)
Historicky bezprecedentní environmentální změny arktických ekosystémů jsou často zasazovány do kontextu jejich vývoje; minulého, ale i očekávaného budoucího. V oblastech s nedostatečnými instrumentálními meteorologickými pozorováními je nutné studovat klimatické archivy, které jsou schopny zasadit probíhající environmentální změny do kontextu minulosti. Práce předkládá syntézu jednoho takového archivu jalovce obecného (Juniperus communis) dlouhověkého cirkumpolárního keře arktické tundry. Na úrovni anatomie buňky bylo prozkoumáno 20 keřů. Kromě ekologických nároků druhu se tím odkryl i jeho potenciál pro environmentální a klimatické rekonstrukce. Mezi klíčové výsledky patří následující:
i) Zastavení exponenciálního zvětšování plochy vodivého aparátu s věkem je v rozporu s přirozeným charakterem tohoto fenoménu u stromů. To naznačuje, že keře nepotřebují zajišťovat potřeby vody a živin klasickými cestami zákonů hydraulické konduktivity ale spíše pomocí jiných mechanismů. Extrémní podmínky tedy limitují výškový vzrůst rostlin, které kvůli nim mění převládající směr svého růstu z vertikálního na horizontální. Jednotlivé projevy počasí však na vzrůst působí pravděpodobně odlišně. Zatímco sníh a vítr ovlivňují růst kmene/větví mechanicky, pak teplota spíše fyziologicky. Až do věku, kdy je mladý keř schopen ustát silný vítr ve vzpřímené pozici a jeho kmínek/větve mají dostatečnou resilienci se po odtání sněhové pokrývky opět narovnat, roste vzhůru a plocha vodivého aparátu se zvětšuje. Současně s tím teplota, resp. cykly opakovaného mrznutí a rozmrzání, způsobuje konzervativní vývoj keře, který preferuje bezpečnost (limitní velikost plochy vodivého aparátu) před hydraulickou efektivitou, čímž se brání embólii, ale tím i dalšímu výškovému růstu. Všechny tyto (ale i další) faktory jsou zřejmě dohromady zodpovědné za postupný přechod od vertikálního ke kvazihorizontálnímu růstu. Od této chvíle již není potřeba (ani to není fyziologicky možné) dále zvětšovat plochu vodivého aparátu, jelikož voda přestává být transportována proti gravitaci.
ii) Tento věkový/růstový trend je nutné uvažovat při dalším využívání růstových parametrů v paleoenvironmentálních studiích. Buněčné parametry by tedy neměly být využívány k těmto účelům, pokud nejsou správně detrendovány. To umožní nejen přesnější ale i delší rekonstrukce, protože je možné využít celý život rostlin včetně často opomíjené juvenilní fáze.
iii) Předložena je i rekonstrukce tání jihozápadní části Grónského ledovcového štítu (GrIS) během 20. st. Tato oblast je považována v rámci celého GrIS za nejaktivnější. Dle naší rekonstrukce není míra současného tání GrIS v kontextu 20. st. neobvyklá, resp. je srovnatelná s prvními dekádami 20. st. Tento poznatek je významným přispěním do debaty o Atlantické meridionální zpětné cirkulaci (AMOC). A sice, příliš velký přítok sladké studené vody do severního Atlantiku v důsledku tání GrIS může zpomalit nebo dokonce zastavit AMOC, což by způsobilo prohloubení kontinentálního charakteru evropského klimatu. Naše výsledky tak ukazují, že tato hranice leží výše, než je současná míra tání GrIS.
Jalovec obecný je fascinující arktický keř, který prokázal schopnost zodpovědět množství ekologický a environmentálních otázek. Především díky své dlouhověkosti a četnosti má obrovský potenciál stát se významných účastníkem arktického výzkumu.
|
|
Individuální lidský pach jako kriminalistická stopa vytvořená kontaktním nebo bezkontaktním přenosem a jeho odolnost vůči fyzikálním vlivům
Santariová, Milena ; Bartoš, Luděk (vedoucí práce) ; Chmelíková, Eva (oponent)
Disertační práce je tvořena čtyřmi vědeckými publikacemi, které se zabývají tématy týkající se vlastností lidského pachu a schopností speciálně vycvičených psů lidské pachy ztotožňovat. První tři práce se zaměřují na odolnost pachové stopy vůči fyzikálním vlivům, čtvrtá publikace je věnována tématu vzniku pachové stopy bezkontaktním způsobem.
Cílem první studie bylo ověřit perzistenci pachové stopy na předmětu vystaveného vlivu proudící vody. Vzhledem k vlastnostem chemických látek obsažených v lidském pachu byla stanovena hypotéza, že psi budou schopni pachovou stopu, zajištěnou z předmětu vytaženého z vody, ztotožňovat. Tato hypotéza byla potvrzena a pach vystavený účinkům proudící vody po dobu jedné hodiny je stále způsobilý k pachové identifikaci pomocí speciálně cvičených psů.
V druhé studii byla ověřována účinnost procesu parní sterilizace při odstraňování pachové stopy. Tento proces je rutinně používaný v kriminalistické praxi a předpokladem bylo, že psi vzorek ošetřený parní sterilizací ztotožňovat nebudou. Stanovená hypotéza nebyla potvrzena, výsledky potvrdily, že psi jsou schopni ztotožnit pach prošlý procesem parní sterilizace.
Třetí studie se zabývala perzistencí pachů vůči sálavému teplu. Jelikož teplota varu organických látek nepřesahuje 400 °C, nepředpokládalo se, že by psi byli schopni komparace pachu vystaveného vyšší teplotě, než je zmiňovaná teplota varu. Tento předpoklad se překvapivě nepotvrdil a psi byli schopni komparovat vzorky vystavené teplotě až 900 °C.
Čtvrtá studie řešila možnost vytvoření pachové stopy bezkontaktním způsobem. Přestože minulé studie tuto možnost jednoznačně neprokázaly, výsledky našeho experimentu zcela jasně ukazují, že speciálně vycvičení psi na metodu pachové identifikace jsou schopni ztotožňovat pachovou stopu vytvořenou spadem s ruky držené po dobu třech minut ve výšce 5 cm nad pachovým nosičem.
|
|
Návrh a implementace e-learningu v zájmové oblasti
Marešová, Nikola ; Husa, Jiří (vedoucí práce) ; Marek, Marek (oponent)
Bakalářská práce s názvem "Návrh a implementace e-learningu v zájmové oblasti" se zabývá problematikou nákupu ojetých vozů. Stěžejní část práce spočívá v tvorbě e-learningového kurzu, jehož cílem je zlepšit informovanost kupujících a zájemců o tuto oblast. Účastníci kurzu získají přehled o nejčastějších situacích a problémech, se kterými se mohou při koupi ojetého vozu setkat. Teoretická část představuje přehled témat problematiky nákupu ojetých vozů. Může posloužit jako teoretické vodítko k vlastnímu kurzu, přibližuje jeho obsah. Témata jsou sestavena na základě analýzy informací z tištěných a elektronických zdrojů, doplněných zkušenostmi autorky a odborníky z oboru. Praktická část se věnuje sestavení e-learningového kurzu. Obsahuje analýzu potřeb kupujících, důvody tvorby kurzu a požadavky na něj, jeho cíle, popis použitého nástroje eXe a názorný postup od vytváření kurzu po jeho zveřejnění v krocích. Vše doplňuje zpětná vazba od šesti dobrovolníků, kteří projevili zájem si kurz otestovat a následně ho zrecenzovat. Před tvorbou kurzu bylo nutno provést analýzu situace a zjistit, proč je takový kurz potřeba. Nabyté poznatky byly poté v kurzu zpracovány metodou syntézy. Pro evaluaci byla využita metoda krátkého osobního rozhovoru, kde autorka zjišťovala spokojenost s kurzem, jeho případné nedostatky a návrhy pro vylepšení či rozšíření.
|
|
Pracovní poměr v příspěvkové organizaci
Brožová, Milena ; Světlíková, Daniela (vedoucí práce) ; Pikola, Pavel (oponent)
Tato bakalářská práce se věnuje pracovnímu poměru v příspěvkové organizaci. Je rozdělena na část teoretických východisek a na část vlastní práce.
Část teoretických východisek se zabývá analýzou právních předpisů a jejich interpretaci, používá metodu deskripce. V právních předpisech je sledována problematika příspěvkové organizace a to v členění na právní postavení a fungování, a dále na hospodaření. Dále je sledována oblast pracovněprávních vztahů v jednotlivých kapitolách od obecného pojetí až ke sjednávání pracovního poměru na dobu určitou. Analýza právních předpisů je průběžně doplňována interpretacemi autorů v odborných publikacích.
V textu jsou používány přímé a nepřímé citace, které jsou označovány poznámkou pod čarou.
Druhá část vlastní práce sleduje zjišťováním v konkrétní příspěvkové organizaci, jak jsou právní předpisy aplikovány v praxi. Oblasti zkoumání jsou zvoleny analogicky k části teoretických východisek. Vedle studia dokumentů a vnitřních předpisů organizace je pro analýzu dat použita metoda komparace.
Primárním výzkumem bylo zjištěno, že právní předpisy jsou aplikovány v praxi bez větších obtíží. Zjištěný nesoulad použité terminologie s terminologií platnou v občanském zákoníku nezneplatňuje právní dokumenty, proto není třeba jej klasifikovat jako nedostatek vhodný k nápravě. Zároveň byly dány náměty k diskuzi, pro které byla navržena v závěrečné části opatření: námět, týkající se sjednávání pracovního poměru na dobu určitou a jeho následného prodloužení na dobu neurčitou, a dále námět, týkající se příspěvku na provoz od zřizovatele jako zdroje financování příspěvkové organizace.
|
|
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.
|
|
Acceleration Methods for Evolutionary Design of Digital Circuits
Vašíček, Zdeněk ; Miller, Julian (oponent) ; Zelinka,, Ivan (oponent) ; Sekanina, Lukáš (vedoucí práce)
Although many examples showing the merits of evolutionary design over conventional design techniques utilized in the field of digital circuits design have been published, the evolutionary approaches are usually hardly applicable in practice due to the various so-called scalability problems. The scalability problem represents a general problem that refers to a situation in which the evolutionary algorithm is able to provide a solution to a small problem instances only. For example, the scalability of evaluation of a candidate digital circuit represents a serious issue because the time needed to evaluate a candidate solution grows exponentially with the increasing number of primary inputs. In this thesis, the scalability problem of evaluation of a candidate digital circuit is addressed. Three different approaches to overcoming this problem are proposed. Our goal is to demonstrate that the evolutionary design approach can produce interesting and human competitive solutions when the problem of scalability is reduced and thus a sufficient number of generations can be utilized. In order to increase the performance of the evolutionary design of image filters, a domain specific FPGA-based accelerator has been designed. The evolutionary design of image filters is a kind of regression problem which requires to evaluate a large number of training vectors as well as generations in order to find a satisfactory solution. By means of the proposed FPGA accelerator, very efficient nonlinear image filters have been discovered. One of the discovered implementations of an impulse noise filter consisting of four evolutionary designed filters is protected by the Czech utility model. A different approach has been introduced in the area of logic synthesis. A method combining formal verification techniques with evolutionary design that allows a significant acceleration of the fitness evaluation procedure was proposed. The proposed system can produce complex and simultaneously innovative designs, overcoming thus the major bottleneck of the evolutionary synthesis at gate level. The proposed method has been evaluated using a set of benchmark circuits and compared with conventional academia as well as commercial synthesis tools. In comparison with the conventional synthesis tools, the average improvement in terms of the number of gates provided by our system is approximately 25%. Finally, the problem of the multiple constant multiplier design, which belongs to the class of problems where a candidate solution can be perfectly evaluated in a short time, has been investigated. We have demonstrated that there exists a class of circuits that can be evaluated efficiently if a domain knowledge is utilized (in this case the linearity of components).
|
|
Metodika aplikace testu obvodu založená na identifikaci testovatelných bloků
Herrman, Tomáš ; Plíva, Zdeněk (oponent) ; Racek, Stanislav (oponent) ; Kotásek, Zdeněk (vedoucí práce)
Dizertační práce se zabývá analýzou číslicových obvodů popsaných na úrovni meziregistrových přenosů. Je v ní zahrnuta pouze problematika související s testovatelností obvodových datových cest, řadičem ovládajícím tok dat těmito cestami se nezabývá. Stěžejní částí práce je návrh konceptu testovatelného bloku (TB), pomocí něhož se obvod rozdělí na části, jež jsou plně testovatelné přes jejich vstupy a výstupy, přes takzvané hraniční registry bloku nebo primární vstupy/výstupy. Přínosem nové metodiky je také redukce počtu registrů v řetězci scan, do něhož jsou zařazeny pouze hraniční registry. Segmentací obvodu dosáhneme také zjednodušení generování testu rozdělením tohoto problému na více menších částí. Navržená metodika pro identifikaci TB v číslicovém obvodu využívá dvou vybraných evolučních algoritmů operujících na formálním modelu obvodu na úrovni RT.
|
host ::
