|
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.
|
|
Clustering and regression analysis of micro panel data
Sobíšek, Lukáš ; Pecáková, Iva (advisor) ; Komárek, Arnošt (referee) ; Brabec, Marek (referee)
The main purpose of panel studies is to analyze changes in values of studied variables over time. In micro panel research, a large number of elements are periodically observed within the relatively short time period of just a few years. Moreover, the number of repeated measurements is small. This dissertation deals with contemporary approaches to the regression and the clustering analysis of micro panel data. One of the approaches to the micro panel analysis is to use multivariate statistical models originally designed for crosssectional data and modify them in order to take into account the within-subject correlation. The thesis summarizes available tools for the regression analysis of micro panel data. The known and currently used linear mixed effects models for a normally distributed dependent variable are recapitulated. Besides that, new approaches for analysis of a response variable with other than normal distribution are presented. These approaches include the generalized marginal linear model, the generalized linear mixed effects model and the Bayesian modelling approach. In addition to describing the aforementioned models, the paper also includes a brief overview of their implementation in the R software. The difficulty with the regression models adjusted for micro panel data is the ambiguity of their parameters estimation. This thesis proposes a way to improve the estimations through the cluster analysis. For this reason, the thesis also contains a description of methods of the cluster analysis of micro panel data. Because supply of the methods is limited, the main goal of this paper is to devise its own two-step approach for clustering micro panel data. In the first step, the panel data are transformed into a static form using a set of proposed characteristics of dynamics. These characteristics represent different features of time course of the observed variables. In the second step, the elements are clustered by conventional spatial clustering techniques (agglomerative clustering and the C-means partitioning). The clustering is based on a dissimilarity matrix of the values of clustering variables calculated in the first step. Another goal of this paper is to find out whether the suggested procedure leads to an improvement in quality of the regression models for this type of data. By means of a simulation study, the procedure drafted herein is compared to the procedure applied in the kml package of the R software, as well as to the clustering characteristics proposed by Urso (2004). The simulation study demonstrated better results of the proposed combination of clustering variables as compared to the other combinations currently used. A corresponding script written in the R-language represents another benefit of this paper. It is available on the attached CD and it can be used for analyses of readers own micro panel data.
|
|
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.
|
|
Influence of meadow management on the migration behavior of selected species of butterflies
Bubová, Terezie ; Langrová, Iva (advisor) ; Farkač, Jan (referee)
Migrations are the key process and one of the basic biological features, which allow survival of endangered species in fragmented landscape. In the last decades, agriculture intensification, industry and urbanization caused that number of natural butterfly habitats has significantly decreased. The localities originally suitable for butterflies are currnetly converted to farmland or building plots. This PhD thesis aimed to find a compromise solution of meadow management, which should allow a commercial use and concurrently do not jeopardize the continued existence of endangered or threatened species. The main idea of this study was in the intentional emigration causing in the middle of flight period, which should lead into resettlement of the population to another (potentially more suitable) locality. Possibility of aimed manipulation with butterfly emigrations would be considered as a major breakthrough in their protection.
The investigated species Phengaris nausithous (Bergsträsser, 1779) and Phengaris teleius (Bergsträsser, 1779) are both considered to be flagship species for protection of European butterflies at open meadows. This study is based on research, which was carried out in 2013-2015 at 17 patch in localities Dolní Labe, Czech Republic. In above mentioned years, one selected meadow was mowed in the middle of flight season and the emigrations were then monitored using mark-release-recapture method. Results of population and migration characteristics were calculated in MARK 8.1 software. Subsequently, the effect of mowing on emigration (comparison of emigrations from the meadow before and after mowing) was evaluated using Statistica 13.
The hypotheses of this study were based on the assumption, that the loss of resources after well-timed mowing should increase the activity of adult butterflies. During the monitoring, number of emigrations was increased only in flight season 2015. Unfortunately, the statistical evaluation did not show significant effect of mowing on migrations. On the other hand, the hypothesis dealing with colonization of nearest meadows was confirmed.
Effect of intentional emigration caused by management interventions was unfortunately not proved. However, we found out, that even though the population at one mowed meadow decreased clearly, the metapopulation size at the locality remained more or less stable.
At investigated (mowed) meadow, there was observed a sharp decline of P. nausithous abundance. On the other hand, P. teleius population was only slightly reduced. It is therefore conceivable, that P. teleius are not as susceptible to innapropriate term of mowing. The results obtained in our research conclusively displayed no possible positive effect of mowing in the middle of flight season and a necessity of suitable management maintenance at localities inhabited by Phengaris butterflies.
|
|
Comparing the Price of a Transportation Structure and the Actual Costs Incurred in Various Stages of Construction
Nezbeda, Jiří ; Zímová, Štěpánka (referee) ; Kosová, Jaroslava (advisor)
This diploma thesis deals with the calculation of the cost of the building work in order to create the price, which at the stage of the contract becomes a selling price, and the costs are fixed as a budget. The subject of this work is to monitor the development of costs in time so that the cost does not exceed the budget and the construction did not get into the negative result. Then set the price by its own methods (item budget, calculation according to budget indicators) and compare the prices and costs thus obtained from different phases of construction between each other and determine the differences. In this work is monitored and compared the cost of a construction contract and its costs in the construction stages. In the practical part,is used the method of direct comparison of cost and price values over time, in the form of different outputs from the controlling program and outputs from compiled item budget and the calculation of the construction. Analyzing the differences between these costs and their evolution over time by more detailed examination of item budgets and cost calculations, they determine the origin of these deviations. In conclusion, is proposed measures for a particular transport structure whitch was handled by the author as"master and co-ordinator of the construction".
|
|
New Methods for Increasing Efficiency and Speed of Functional Verification
Zachariášová, Marcela ; Dohnal, Jan (referee) ; Steininger, Andreas (referee) ; Kotásek, Zdeněk (advisor)
Při vývoji současných číslicových systémů, např. vestavěných systému a počítačového hardware, je nutné hledat postupy, jak zvýšit jejich spolehlivost. Jednou z možností je zvyšování efektivity a rychlosti verifikačních procesů, které se provádějí v raných fázích návrhu. V této dizertační práci se pozornost věnuje verifikačnímu přístupu s názvem funkční verifikace. Je identifikováno několik výzev a problému týkajících se efektivity a rychlosti funkční verifikace a ty jsou následně řešeny v cílech dizertační práce. První cíl se zaměřuje na redukci simulačního času v průběhu verifikace komplexních systémů. Důvodem je, že simulace inherentně paralelního hardwarového systému trvá velmi dlouho v porovnání s během v skutečném hardware. Je proto navrhnuta optimalizační technika, která umisťuje verifikovaný systém do FPGA akcelerátoru, zatím co část verifikačního prostředí stále běží v simulaci. Tímto přemístěním je možné výrazně zredukovat simulační režii. Druhý cíl se zabývá ručně připravovanými verifikačními prostředími, která představují výrazné omezení ve verifikační produktivitě. Tato režie však není nutná, protože většina verifikačních prostředí má velice podobnou strukturu, jelikož využívají komponenty standardních verifikačních metodik. Tyto komponenty se jen upravují s ohledem na verifikovaný systém. Proto druhá optimalizační technika analyzuje popis systému na vyšší úrovni abstrakce a automatizuje tvorbu verifikačních prostředí tím, že je automaticky generuje z tohoto vysoko-úrovňového popisu. Třetí cíl zkoumá, jak je možné docílit úplnost verifikace pomocí inteligentní automatizace. Úplnost verifikace se typicky měří pomocí různých metrik pokrytí a verifikace je ukončena, když je dosažena právě vysoká úroveň pokrytí. Proto je navržena třetí optimalizační technika, která řídí generování vstupů pro verifikovaný systém tak, aby tyto vstupy aktivovali současně co nejvíc bodů pokrytí a aby byla rychlost konvergence k maximálnímu pokrytí co nejvyšší. Jako hlavní optimalizační prostředek se používá genetický algoritmus, který je přizpůsoben pro funkční verifikaci a jeho parametry jsou vyladěny pro tuto doménu. Běží na pozadí verifikačního procesu, analyzuje dosažené pokrytí a na základě toho dynamicky upravuje omezující podmínky pro generátor vstupů. Tyto podmínky jsou reprezentovány pravděpodobnostmi, které určují výběr vhodných hodnot ze vstupní domény. Čtvrtý cíl diskutuje, zda je možné znovu použít vstupy z funkční verifikace pro účely regresního testování a optimalizovat je tak, aby byla rychlost testování co nejvyšší. Ve funkční verifikaci je totiž běžné, že vstupy jsou značně redundantní, jelikož jsou produkovány generátorem. Pro regresní testy ale tato redundance není potřebná a proto může být eliminována. Zároveň je ale nutné dbát na to, aby úroveň pokrytí dosáhnutá optimalizovanou sadou byla stejná, jako u té původní. Čtvrtá optimalizační technika toto reflektuje a opět používá genetický algoritmus jako optimalizační prostředek. Tentokrát ale není integrován do procesu verifikace, ale je použit až po její ukončení. Velmi rychle odstraňuje redundanci z původní sady vstupů a výsledná doba simulace je tak značně optimalizována.
|
|
Simulace a protiřetězce pro efektivní práci s konečnými automaty
Holík, Lukáš ; Černá, Ivana (referee) ; Jančar, Petr (referee) ; Vojnar, Tomáš (advisor)
Cílem této práce je vývoj technik umožňujících praktické využití nedeterministických konečných automatů, zejména nedeterministických stromových automatů. Jde zvláště o techniky pro redukci velikosti a testování jazykové inkluze, jež hrají zásadní roli v mnoha oblastech aplikace konečných automatů. V oblasti redukce velikosti vycházíme z dobře známých metod pro slovní automaty které jsou založeny na relacích simulace. Navrhli jsme efektivní algoritmy pro výpočet stromových variant simulačních relací a identifikovali jsme nový typ relace založený na kombinaci takzvaných horních a dolních simulací nad stromovými automaty. Tyto kombinované relace jsou zvláště vhodné pro redukci velikosti automatů slučováním stavů. Navržený princip kombinace relací simulace je relevantní i pro slovní automaty. Náš přínos v oblasti testování jazykové inkluze je dvojí. Nejprve jsme zobecnili na stromové automaty takzvané protiřetězcové algoritmy, které byly původně navrženy pro slovními automaty. Dále se nám podařilo použitím simulačních relací výrazně zefektivnit protiřetězcové algoritmy pro testování jazykové inkluze jak pro slovní, tak pro stromové automaty. Relevanci našich technik pro praxi jsme demonstrovali jejich nasazením v rámci regulárního stromového model checkingu, což je verifikační metoda založená na stromových automatech. Použití našich algoritmů zde vedlo k výraznému zrychlení a zvětšení škálovatelnosti celé metody. Základní myšlenky našich algoritmů pro redukci velikosti automatů a testování jazykové inkluze jsou aplikovatelné i na jiné typy automatů. Příkladem jsou naše redukční techniky pro alternující Büchiho automaty prezentované v poslední části práce.
|
|
Analysis of the Internet population
Puldová, Olga ; Hlavsa, Tomáš (advisor) ; Kudlík, Michal (referee)
This bachelor's thesis addresses internet population in Czech republic. The literary research is divided into four sections. The first section explains the concept of internet and discusses its origin and development. A general internet user and users of internet in European Union are characterized in the second section. The third section is focused on internet population of Czech Republic. The last section of research is dedicated to research companies engaged in analyzation of internet population in Czech Republic. The practical section of this thesis maps internet population in Czech Republic in the years 2010 to 2015 and predicts its progress in 2016. It analysis internet users in selected sociodemographic views: representation of men and women, age structure and education level. Data are described using exploratory data analysis and they are processed using time series in statistic software SAS.
|
|
Interaction of humans and the environment in residential hauses with walls from inorganic masonry
Brada, Lukáš ; Kocourková, Jana (advisor) ; Zemanová, Lucie (referee)
Interaction of humans and the environment, is subject to the occurrence of mold in
residential buildings. Mold development has been the ultimate result of a variety of
phenomena, processes and causes that have penetrated in various stages of preparation,
implementation and operation of buildings. The negative effects which the mold in a residential area buildings exhibit is primarily a reduction in the use of comfort living
space in the form of health risks in the form of allergic reactions and possibly causing
chronic problems. Chronic problems over time can lead to serious illness. A big role in
the occurrence of mold also plays a reduction of aesthetic values of residential spaces
requiring repair and remedy these deficiencies. When removing adverse events leads to
an unnecessary additional environmental burden.
Problems of fungi in ground buildings are very expansive and interdisciplinary
problems, which incorporates structural, termomechanic, chemical and biologic aspects.
In this undergraduate work I concentrated on the origin of fungi in ground buildings
with inorganic materials and I am discribing at least some important sources and aspects
of fungi origin in each phases origin and exploitation building, with usage of specialised
literature. Model compultations and examples of origin fungi are performed.
Autocephalous origin of fungi in residencial buildings is yet fallback situation, which
can be possibly prevented. But due to conditions for origin fugi can begin long ago this
fallback situation. Store of bias each phases living buildings is accentuated on possibly
fugi production in buildings from project up to operation.
|
guest ::
