|
Computer modelling of origin of arrhythmias in myocardial cell
Brožková, K. ; Pásek, Michal
This contribution presents the effect of changes of membrane channel conductivity on the origin of arrhythmias in cardiac cells. The simulations were performed for stimulation frequency 2Hz and compared with results for stimulation frequency 1Hz. It was confirmed that the increase of conductivity of ICa-channels and decrease of conductivity of IK1, INaCa and INaK channels induce single cell arrhythmias.
|
|
Shluková a regresní analýza mikropanelových dat
Sobíšek, Lukáš ; Pecáková, Iva (vedoucí práce) ; Komárek, Arnošt (oponent) ; Brabec, Marek (oponent)
Panelové studie se provádí především za účelem analýzy změn hodnot sledovaných proměnných v čase. V mikropanelovém výzkumu se sleduje velké množství objektů periodicky během relativně krátkého časového úseku (v řádu let). Počet opakovaných měření je v řádu jednotek. Tato práce se věnuje stávajícím přístupům k regresní a shlukové analýze mikropanelových dat. Jedním z přístupů k analýze mikropanelu je využití modifikovaných vícerozměrných statistických modelů pro průřezová data, které zohledňují korelaci měření pro daný objekt. V práci jsou shrnuty dostupné nástroje pro regresní analýzu mikropanelových dat. Kromě rekapitulace známých a užívaných smíšených lineárních modelů pro normálně rozdělenou závisle proměnnou jsou stručně představeny nové přístupy pro analýzu vysvětlovaných proměnných s jiným než normálním rozdělením. Mezi ně patří například zobecněný lineární marginální model, zobecněný lineární model se smíšenými efekty a bayesovský přístup. Kromě popisu těchto modelů je uveden stručný přehled jejich implementace v systému R. S regresními modely upravenými pro mikropanelová data je spjato úskalí v nejednoznačnosti odhadu jejich parametrů. V práci je navrženo, jak zpřesnit odhady pomocí shlukové analýzy. Proto jsou v práci popsány metody shlukové analýzy mikropanelových dat. Vzhledem k tomu, že nabídka metod je omezená, hlavním cílem práce bylo navrhnout vlastní dvoukrokový postup shlukování mikropanelových dat. V prvním kroku jsou transformována panelová data na statická pomocí skupiny navržených charakteristik dynamiky, které reprezentují různé vlastnosti časového vývoje sledované proměnné. Ve druhém kroku jsou shlukovány objekty konvenčními prostorovými technikami (aglomerativní shlukování a metoda C-průměrů) na základě matice nepodobnosti hodnot shlukovacích proměnných spočítaných v prvním kroku. Dalším cílem práce je zjistit, zda navržený postup shlukování vede ke zkvalitnění regresních modelů pro tento typ dat. Pomocí simulační studie je porovnáván navržený shlukovací přístup s postupem aplikovaným v balíčku kml systému R a se shlukovacími charakteristikami, které navrhuje Urso (2004). V provedené studii dosáhla kombinace navržených shlukovacích proměnných lepších výsledků než používané skupiny shlukovacích proměnných. Dalším přínosem práce je skript napsaný pro jazyk R přiložený na CD. Tento skript je možno použít pro analýzu vlastních mikropanelových dat.
|
|
INFLUENCE OF LASER CUTTING AND PUNCHING ON MAGNETIC PROPERTIES\nOF ELECTRICAL STEEL M470-50A
Bulín, Tomáš ; Švábenská, Eva ; Hapla, Miroslav ; Ondrůšek, Č. ; Schneeweiss, Oldřich
Electrical steel M470-50A belongs to the most often used materials in electrical machines. Due to this fact, it is desirable to know the magnetic parameters after processing raw sheets into the required shape. Basic parameters of mechanical, electrical, and magnetic properties of the sheets are usually obtained from the producer but the magnetic properties are changing in dependence on additional machining processes. The aim of this study is to describe changes in parameters of magnetic behavior after punching, laser and spark cutting of the original sheets. The basic information of structure was obtained by optical and scanning electron microscopy. The magnetic parameters were acquired from the measuring of magnetic hysteresis loops in dependence on saturation fields and frequencies. The results are discussed from the point of view of applied\ncutting technology with the aim to obtain the best magnetic parameters and consequently a higher efficiency of the final product. Results can be used as input parameters in simulation of the electrical machine.
|
|
Changes in structure and phase composition in the surface of tram rail
Švábenská, Eva ; Roupcová, Pavla ; Schneeweiss, Oldřich
We have investigated structure and phase composition of surface layer of tram rails after long time running and the results were compared with those obtained on the original part of material. Changes due to effects of severe plastic deformation together with thermal shocks by friction process were expected. The information about structure and phase composition was obtained by optical and scanning electron microscopy, X-Ray Powder Diffraction, Mössbauer Spectroscopy and Glow Discharge Emission Spectroscopy (GDOES) and this was completed by microhardness measurements. The results show that the surface layer in comparison with the original material exhibits important changes in grain structure, an increase in microhardness and high content of iron oxide and hydrooxides. According to the depth profile of the chemical composition measured by GDOES there is an increase in carbon content in the surface layer which can be effect of up-hill diffusion.
|
|
Vliv lučního managementu na migrační chování vybraných druhů motýlů
Bubová, Terezie ; Langrová, Iva (vedoucí práce) ; Farkač, Jan (oponent)
Migrace jsou klíčovým procesem a jednou ze základních biologických vlastností, které umožňují ohroženým druhům motýlů přežít ve fragmentovaných krajinách. V posledních desetiletích ubývají přirozená stanoviště pro motýly vlivem intenzivního zemědělství, průmyslu či urbanizace. Vhodné lokality jsou přeměněny na zemědělské plochy či zastavěny. Cílem disertační práce bylo vytvoření kompromisního řešení obhospodařování luk, tak aby byla možnost jejich komerčního využití a přesto bylo umožněno přežití vzácných lučních organismů. Hlavní myšlenka spočívala v cíleném působení na emigrační chování motýlů s cílem přesídlení populace v době letu imag na potencionálně vhodné stanoviště. Možnost cíleně manipulovat s emigracemi motýlů by znamenalo zásadní průlom v jejich ochraně.
Studovanými druhy byli ohrožení modrásci Phengaris nausithous (Bergsträsser, 1779) a Phengaris teleius (Bergsträsser, 1779), kteří jsou stěžejními druhy pro ochranu Evropských motýlů na otevřených loukách. Výzkum probíhal na lokalitě Dolní Labe v České republice v letových sezónách 2013 až 2015. Na lokalitě bylo sledováno 17 ploch. V těchto letech byla uprostřed letové sezóny záměrně pokosena zvolená plocha. Před a po pokosení plochy byly podrobně monitorovány emigrace metodou mark-release-recapture. Výsledky populačních a migračních charakteristik byly vypočteny pomocí programu MARK 8.1. Vliv kosení na vyvolání emigrace byl zpracován v programu Statistica 13, prostřednictvím porovnání výsledků emigrací před a po pokosení plochy.
Zvolené hypotézy vycházely z předpokladu, že ztráta zdrojů po pokosení louky zvýší emigrační aktivitu imag, čehož lze dosáhnout vhodným načasováním seče. Ve třech sledovaných letových sezónách došlo k navýšení emigrací po aplikování managementového zákroku pouze v letové sezóně 2015 u obou druhů. Statistické zpracování však ukázalo, že tento nárůst nemá průkazný vliv na efekt nárůstu emigrací po pokosení. Potvrzená byla hypotéza předpokládající kolonizaci nejblíže dostupných ploch po pokosení.
Vliv cíleného ovlivnění emigrací prostřednictvím managementových zákroků nebyl prokázán. Důležité zjištění však vyplynulo při současném sledování velikosti populace na kosené ploše. Kosení uprostřed letové sezóny působí na larvální mortalitu a ztrátu zdrojů. I přesto tyto známe argumenty, jsme z důvodu dlouhodobé znalosti lokality, aplikovali kosení na jedné z ploch. V průběhu tří letových sezón došlo na této ploše ke snížení skutečné velikosti populace. Snížení se neprojevilo na velikosti celkové populace. Razantní pokles byl zaznamenán u P. nausithous. U druhu P. teleius bylo snížení skutečné velikosti populace velmi nízké, tudíž se s podmínkami seče uprostřed letové sezóny dokázal vyrovnat lépe. V případě našeho výzkumu vyplývá jasný závěr o potřebě nastolení vhodných managementových zákroků pro ohrožené druhy motýlů. Ty se týkají hlavně nutnosti snížení kosení luk uprostřed letu imag a upravení režimů dle potřeb motýlů pro jejich ochranu.
|
|
Porovnání ceny dopravní stavby se skutečně vynaloženými náklady v různém stupni rozestavěnosti
Nezbeda, Jiří ; Zímová, Štěpánka (oponent) ; Kosová, Jaroslava (vedoucí práce)
Tato diplomová práce se zabývá tématikou kalkulace nákladů stavebního díla za účelem tvorby ceny, která se ve fázi zakázky stává cenou prodejní, a náklady se zafixují jako rozpočet. Předmětem této práce je tedy monitorovat vývoj nákladů v čase tak, aby náklady nepřesáhly rozpočet a stavba se tím nedostala do záporného výsledku. Následně se práce klade za cíl stanovit cenu vlastními metodami (položkový rozpočet, propočet dle rozpočtových ukazatelů) a porovnat takto získané ceny a náklady z různých fází výstavby mezi sebou a určit rozdíly. V této práci jsou monitorovány a porovnávány náklady na stavební zakázku a její ceny v časových fázích stavby. V praktické části jsou využity metody přímého porovnání jednotlivých hodnot nákladů a cen v čase, a to formou různých výstupů z controllingového programu a vlastních výstupů sestaveného položkového rozpočtu a propočtu stavby. Jsou zde analyzovány rozdíly mezi těmito náklady a jejich vývoj v čase podrobnějším zkoumáním položkových rozpočtů a nákladových kalkulací, a je analyzován původ těchto odchylek. Na závěr je navrhnuto opatření pro konkrétní dopravní stavbu, na jejíž realizaci se zpracovatel při svém povolání „mistra a koordinátora stavby“ spolupodílel.
|
|
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.
|
|
Simulace a protiřetězce pro efektivní práci s konečnými automaty
Holík, Lukáš ; Černá, Ivana (oponent) ; Jančar, Petr (oponent) ; Vojnar, Tomáš (vedoucí práce)
This thesis is focused on techniques for finite automata and their use in practice, with the main emphasis on nondeterministic tree automata. This concerns namely techniques for size reduction and language inclusion testing, which are two problems that are crucial for many applications of tree automata. For size reduction of tree automata, we adapt the simulation quotient technique that is well established for finite word automata. We give efficient algorithms for computing tree automata simulations and we also introduce a new type of relation that arises from a combination of tree automata downward and upward simulation and that is very well suited for quotienting. The combination principle is relevant also for word automata. We then generalise the so called antichain universality and language inclusion checking technique developed originally for finite word automata for tree automata. Subsequently, we improve the antichain technique for both word and tree automata by combining it with the simulation-based inclusion checking techniques, significantly improving efficiency of the antichain method. We then show how the developed reduction and inclusion checking methods improve the method of abstract regular tree model checking, the method that was the original motivation for starting the work on tree automata. Both the reduction and the language inclusion methods are based on relatively simple and general principles that can be further extended for other types of automata and related formalisms. An example is our adaptation of the reduction methods for alternating Büchi automata, which results in an efficient alternating automata size reduction technique.
|
|
Analýza internetové populace
Puldová, Olga ; Hlavsa, Tomáš (vedoucí práce) ; Kudlík, Michal (oponent)
Tato bakalářská práce se zabývá analýzou internetové populace na území České republiky. Literární rešerše je rozdělena do čtyř částí. První část vysvětluje pojem internet a pojednává o jeho vzniku a vývoji. V druhé části je charakterizován uživatel internetu obecně a uživatelé internetu v Evropské unii. Třetí část je zaměřena na internetovou populaci České republiky. Poslední část rešerše se věnuje výzkumným společnostem zabývajících se analýzou internetové populace. Praktická část této práce mapuje internetovou populaci na území České republiky v letech 2010 až 2015 a predikuje její vývoj pro rok 2016. Analyzuje návštěvníky internetu z vybraných sociodemografických hledisek: zastoupení mužů a žen, věkové struktury a dosaženého vzdělání. Data jsou popsána za pomoci explorační analýzy a zpracována prostřednictvím časových řad ve statistickém programu SAS.
|
|
Interakce člověka a životního prostředí v prostorách obytných staveb z anorganického zdiva
Brada, Lukáš ; Kocourková, Jana (vedoucí práce) ; Zemanová, Lucie (oponent)
Interakce člověka a životního prostředí, je vázána na vznik plísní v obytných stavbách.
Vznik plísní je již konečným důsledkem řady jevů, procesů a příčin, které vnikly
v různých etapách přípravy, realizace a provozu stavby. Negativními dopady, kterými
se plísně v obytných prostorách staveb projevují, je především snížení komfortu
využívání obytných prostor v podobě zdravotních rizik, formou vzniku alergických
reakcí a možným následkem chronických obtíží. Chronické obtíže mohou postupem
času vést až k závažnému onemocnění. Velkou roli při výskytu plísní sehrává i snížení
estetických hodnot bytových prostor s požadavkem na nápravu a odstranění nedostatků.
Při odstraňování nežádoucích projevů dochází k zbytečné dodatečné ekologické zátěži
životního prostředí.
Problematika plísní v pozemních stavbách je značně široká mezioborová problematika
zahrnující stavební, termomechanické, chemické a biologické aspekty. V této
diplomové práci jsem se zaměřil na vznik plísní v obytných pozemních stavbách
z anorganických materiálů a s využitím specializované literatury popisuji alespoň
některé důležité příčiny a aspekty vzniku plísní v jednotlivých fázích vzniku a využívání stavby. Jsou provedeny modelové výpočty, měření, rozbory a příklady vzniku
plísní. Samotný vznik plísní v obytných stavbách je již havarijním stavem, kterému
lze předcházet, avšak zapříčinění podmínek pro vznik plísní se může odehrávat dávno
před tímto havarijním stavem. Je zdůrazněn význam vlivu jednotlivých fází tzv. života
stavby na možnou tvorbu plísní ve stavbách, od návrhu a projektu až po provozování.
|
host ::
