|
Cut Languages in Rational Bases
Šíma, Jiří ; Savický, Petr
We introduce a so-called cut language which contains the representations of numbers in a rational base that are less than a given threshold. The cut languages can be used to refine the analysis of neural net models between integer and rational weights. We prove a necessary and sufficient condition when a cut language is regular, which is based on the concept of a quasi-periodic power series. We show that any cut language with a rational threshold is context-sensitive while examples of non-context-free cut languages are presented.
Fulltext: content.csg -  PDF
Plný tet: v1236-16 - PDF
|
|
Neural Networks Between Integer and Rational Weights
Šíma, Jiří
The analysis of the computational power of neural networks with the weight parameters between integer and rational numbers is refined. We study an intermediate model of binary-state neural networks with integer weights, corresponding to finite automata, which is extended with an extra analog unit with rational weights, as already two additional analog units allow for Turing universality. We characterize the languages that are accepted by this model in terms of so-called cut languages which are combined in a certain way by usual string operations. We employ this characterization for proving that the languages accepted by neural networks with an analog unit are context-sensitive and we present an explicit example of such non-context-free languages. In addition, we formulate a sufficient condition when these networks accept only regular languages in terms of quasi-periodicity of parameters derived from their weights.
Fulltext: content.csg - PDF
Plný tet: v1237-16 - PDF
|
|
Architectural elements of Baroque gardens in Bohemia
Kubíčková, Tereza ; Vaněk, Jan (advisor) ; Havlová, Martina (referee)
Bachelor´s thesis aims at the characteristics of composition principals, vegetational, constructional and architectural elements of chosen baroque gardens. The literary research analyses origins of the Baroque period and how this era impacted Europe and Bohemia. There is a description of basic compositional principals of the baroque gardens and differences between the French and Italian gardens are described. The description of a composition of a baroque landscape i salso attached. The Vallenstein Garden and a baroque landscape of the town Jičín were chosen as a part of methodology of the research. The thesis is comparing the original solutions to a today´s status quo and the views on revitalization of these landmarks. A map of current condition with compositional analysis and photo documentation were put together for this thesis.
|
|
Effect of snowpack on runoff generation during rain on snow event.
Juras, Roman ; Máca, Petr (advisor) ; Ladislav , Ladislav (referee)
During a winter season, when snow covers the watershed, the frequency of rain-on-snow (ROS) events is still raising. ROS can cause severe natural hazards like floods or wet avalanches. Prediction of ROS effects is linked to better understanding of snowpack runoff dynamics and its composition. Deploying rainfall simulation together with hydrological tracers was tested as a convenient tool for this purpose. Overall 18 sprinkling experiments were conducted on snow featuring different initial conditions in mountainous regions over middle and western Europe.
Dye tracer brilliant blue (FCF) was used for flow regime determination, because it enables to visualise preferential paths and layers interface. Snowpack runoff composition was assessed by hydrograph separation method, which provided appropriate results with acceptable uncertainty. It was not possible to use concurrently these two techniques because of technical reasons, however it would extend our gained knowledge. Snowmelt water amount in the snowpack runoff was estimated by energy balance (EB) equation, which is very efficient but quality inputs demanding. This was also the reason, why EB was deployed within only single experiment.
Timing of snowpack runoff onset decrease mainly with the rain intensity. Initial snowpack properties like bulk density or wetness are less important for time of runoff generation compared to the rain intensity. On the other het when same rain intensity was applied, non-ripe snowpack featuring less bulk density created runoff faster than the ripe snowpack featuring higher bulk density. Snowpack runoff magnitude mainly depends on the snowpack initial saturation. Ripe snowpack with higher saturation enabled to generate higher cumulative runoff where contributed by max 50 %. In contrary, rainwater travelled through the non-ripe snowpack relatively fast and contributed runoff by approx. 80 %.
Runoff prediction was tested by deploying Richards equation included in SNOWPACK model. The model was modified using a dual-domain approach to better simulate snowpack runoff under preferential flow conditions. Presented approach demonstrated an improvement in all simulated aspects compared to the more traditional method when only matrix flow is considered.
|
|
Population genetic analysis of Old Kladruber horse
Vostrá Vydrová, Hana ; Majzlík, Ivan (advisor) ; Karel, Karel (referee)
The Old Kladruber horse, along with the Lipizzaner horse, Andalusian horse and Lusitano horse, is of the original Italo-Spanish type. The Old Kladruber horse is kept in two colour varieties (grey and black). Because the population is closed, there is a concern about the loss of genetic variation. The genetic diversity and population structure were analysed in the Old Kladruber horse breed based on the pedigree information of animals that were registered in the Studbook to identify factors that may have affected the genetic variability of the breed. Pedigree records collected from 1729 to 2013 contained information on 7971 animals that were used in the analyses. The pedigree depth was up to 33 generations, with an average of 15.1 complete generations. The effective number of founders and ancestors contributing to the current genetic pool was 92.69 and 17.16, respectively. The average values of the inbreeding coefficient were as follows: 13% (with a maximum value of 29%) for the reference population (individuals that can currently take part in reproduction, n=612), 11% for the grey variety (with a maximum value of 25%) and 15% for the black variety (with a maximum value of 29%). The proportion of inbred animals was high (99%). The average rate of inbreeding in the reference population was 1%: 0.8% for the grey variety and 1.1% for the black variety, and the respective estimates of the effective population sizes were 52 for the reference population, 62 for the grey variety and 45 for the black variety. The estimated percentage of genetic diversity lost due to non-random mating within subpopulations and the reference population was 1.0, 1.0 and 1.2%, respectively. The total loss of genetic diversity in the reference population, in the grey variety and in the black variety was 11%, 13% and 17%, respectively.
|
|
Microbiota of the digestive tract of bees and related insect and the influencing facftors
Hroncová, Zuzana ; Havlík, Jaroslav (advisor) ; Kalous, Lukáš (referee)
This thesis consists of six research chapters, out of which, five have already been published in research journals, 1 is in the process of submission and the last chapter presents original unpublished confidential data in the process of manuscript preparation.
The research presented in this thesis concerns the complex mechanisms of bees and wasps immune system focused on microbiota as component of immunity. As shown in the introduction, highly social and managed species of bees like honey bees and bumble bees, play key roles in natural and agricultural ecosystems worldwide. Recent losses of bees have been attributed to pesticide exposure, poor nutrition, increased parasite loads and habitat degradation. Over the past several years, governments, beekeepers, and the general public worldwide have become concerned by increased losses of honey bee colonies, calling for more research on how to keep colonies healthy. Our main aim was to explore the complex mechanisms of bees and related species gut bacterial populations, their links to insect immunity and investigate the opportunities for an intervention. Part of our aim was to characterise the bumble bee and wasp gut microbiota using 16S RNA sequencing in a search for potentially novel bacterial species.
We have tried to explain how microbiome interacts with the host and showed that major members of these communities appear to benefit the host. The simple gut communities of social bees present ideal model systems to investigate the underlying evolutionary and genetic processes of such interactions. Information based on our results may help in the design of proper probiotic supplementation strategies with respect to physiological conditions in the honey bee gut.
|
|
Non-invasive methods for sex and steroid homones determination in gibbons of the genus Nomascus
Bolechová, Petra ; Bartoš, Luděk (advisor) ; Pavel, Pavel (referee)
The gibbon primates of the family Nomascus are classified as critically endangered species, and, to date, basic understanding and information about their biology is missing. With regard to the status of these animals in the wild and captive populations in zoos, being familiar with their reproduction, may improve captive breeding programs. Data collection in this study was to be carried out by the practical use of non-invasive methods (polymerase chain reaction for DNA extraction and enzyme immunoassays), using faecal samples for analysis. The first method, polymerase chain reaction, was used for sex determination in juveniles, because of their coat colour and visual similarity of secondary sex characteristic in both sexes; it is not possible to determinate sex without handling the animal. Another main purpose of this study is to try and answer the hypothesis regarding the ovarian cycle of females, factors influencing their hormone concentration and also the onset of sexual maturity in females and the timing of their fur colour change. Hypotheses were checked by monitoring the concentration of progesterone and oestrogen faecal metabolites and by evaluation of the composition of breeding groups of gibbons with the ZOO influence. During a four year period (from 2010 till 2014), there were a total of 51 animals analysed from 16 different zoos with a faecal sample count totalling 1618 samples. The results confirmed the use of noninvasive methods for sex determination, and thus ensuring the maximum welfare standards. Endocrinological analysis confirmed the hypothesis of the influence of the environment (ZOO) to the hormone concentrations and female´s pregnancy effect in conjunction with her age on the final results of the male - father hormone concentrations. The initial information in this study is the confirmation of the onset of ovarian cycle in young females without connection to their fur colour change and a significant factor of a mother´s impact and her territoriality. This study is the first to present a long term monitoring of ovarian cycles in females and hormone concentrations of other individuals, both male and female, and from various age groups. The results allow us to understand the possible impact of zoo environments on the reproductive status of these gibbons and contribute to the general improvement of breeding management.
|
|
DCTOOL-A3
Bakule, Lubomír ; Papík, Martin ; Rehák, Branislav
DCTOOL-A3 is a documentation of Matlab routines developed for the design of decentralized control of large scale complex systems. The current beta version covers three areas as follows:\nReport 4.1 deals with the event-triggered control design for unstructured uncertain systems. Both non-quantized and quantized feedback is analyzed. The results are given in terms of linear matrix inequalities (LMIs). Logarithmic quantizer is used. Numerical example illustrates the effectiveness of the presented results.\nReport 4.2 presents a new decentralized overlapping wireless control design with a switched communication protocol. The method is applied by simulations on the 20-story building structure including the test of robustness of the methods against sensor failures and network node dropouts of a digital network.\nReport 4.3 presents the construction of a new decentralized wireless controller and a set of heuristic algorithms for evaluation of packet dropouts, sensor faults and actuator faults. The digital network operates at the standard frequency used in well-known widely-used industrial protocols. The results are tested at the Benchmark model decomposed into two disjoint substructures. The results are published. Thus, the details are omitted here.
|
|
Time lapse tomography of fracture progress in silicate-based composite subjected to the loading a combination with acoustic emission scanning
Kumpová, Ivana ; Kytýř, Daniel ; Fíla, Tomáš ; Veselý, V. ; Trčka, T. ; Vopálenský, Michal ; Vavřík, Daniel
The initiation and propagation of a fracture in quasi-brittle materials (such as silicatebased composite) is an increasingly discussed topic for which various methods of research have been developed/applied. As the quasi-brittle silicate-based composite compounds are very non-homogenous, the mechanism of the crack initiation and propagation can be very different even for samples with the\nidentical geometry. One possible approach to study the fracture mechanism in quasi-brittle materials is to use several different experimental techniques in a single experiment and perform detail analysis to identify generally valid fracture process phenomena. In this work, a simultaneous monitoring of fracture\nprocess zone formation and propagation by three different methods is presented and discussed. A three point bending test was performed on a notched silicate composite specimen. During the loading process, a highly accurate force displacement dependence was recorded accompanied with X-ray radiography,\nX-ray computed tomogra-phy and acoustic emission scanning.
|
|
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.
|
guest ::
