| |
|
Řízení IS/ICT se zaměřením na sourcing služeb informačního systému
Šebesta, Michal ; Voříšek, Jiří (advisor) ; Havlíček, Zdeněk (referee) ; Příklenk, Oldřich (referee) ; Král, Jaroslav (referee)
Research on outsourcing has been around for several decades, while recent evolution in the information systems discipline towards ICT service commoditization significantly changes the context of decision-making. Services that are available on-demand via the Internet allow organizations implementing functions they demand in a fraction of time. This trend represents a chance for organizations seeking to use advanced ICT services without a need of major investments. Problem is the current lack of guidelines and tools for managing ICT services and their outsourcing. Given the trends on the ICT service market, it is expected that much of the IT management in the future will encompass the ICT services and utilize service-level structures. Methods currently available are either too broad or encompass only small part of the whole problem. Ad-hoc or unsound decisions in this area might cause major complications in terms of quality, usability, integration, and consequently influence total cost of organizational IT. Organizations need to either revise existing models or propose and implement completely new models to manage their IS/ICT. This thesis deals with the management of IS/ICT with focus on the ICT services outsourcing. It discusses available sourcing models in the literature and links them to the various interconnected areas. Based on these areas, it presents an integrated view on IT outsourcing strategies. Most importantly the thesis proposes an original concept for decision-making about outsourcing of ICT services named the SOURCER framework. This approach utilizes the presented outsourcing strategies, and introduces a complex methodology and decision-making criteria that will assist organizations with selection of ICT services in order to maintain and manage a most suitable ICT service portfolio. The decision-making is based on four essential viewpoints: function, costs, time, and quality. These viewpoints are discussed, individually analyzed, and serve as a basis for further research. The whole framework is developed and validated according to Design Science Research Methodology (DSRM). Individual components are evaluated using a survey among a group of selected IT managers. Proof of concept is then established by a case study on framework use in a real organization. This case study covers strategy specification, business--IT alignment, specifying service architecture and its interconnections, outsourcing, and management of the ICT service portfolio.
|
|
Geodiversity values as a basis for geosite and geomorphosite assessment: a case study from Žďárské vrchy Highland
Bajer, A. ; Kirchner, Karel ; Kubalíková, L.
Paper presents geodiversity values, geodiversity is understood as a set of geological, geomorphological and pedological components, including systems consisting of this components and geological, geomorphological and pedological processes. Geodiversity values are analyzed in relation to ecosystem values (e.g. cultural, functional value). Geodiversity values were used as basis for a methodical approach to geosite and geomorphosite assessment. Methodological approach is presented at selected sites in the top part of the Žďárské vrchy Highland. The acquired results can serve as a basis for geoconservation of PLA Žďárské vrchy, development of geotourism as well as an offer for extension geoeducational activities.\n
|
|
PM2.5 Chemical Composition at the Rural Background Site Košetice.
Schwarz, Jaroslav ; Cusack, Michael ; Karban, Jindřich ; Chalupníčková, E. ; Havránek, Vladimír ; Smolík, Jiří ; Ždímal, Vladimír
Measurements of atmospheric aerosols at rural background areas are important because they are not influenced by the urban emissions, and are therefore better suited to investigate the influence of long-range transport and trends in concentrations of individual pollutants. Summary of the measurements of total concentration and the concentration of PM10 and PM2.5 components was carried out in the works Putaud et al. (2004, 2010). Although the later work included the measurement of more than 60 stations across Europe, the post-communist countries contained data on PM2.5 from only four locations (Prague, Debrecen, Hungary, and two rural locations). Although Košetice place where this study was made, is also discussed there, it was for only PM10 and total carbon (TC). Therefore, the aim of this study is to fill this information gap, and provide additional information regarding the PM2.5 fraction and composition at the Central European background station Košetice.
Fulltext: content.csg -  PDF
Plný tet: SKMBT_C22016110313110 - PDF
|
|
Puppies and young dogs nutritions
Šabatová, Kateřina ; Hučko, Boris (advisor) ; Plachý, Vladimír (referee)
Puppies and young dogs nutritions Summary In this work I have attempted to summarize the most important aspects in nutrition of puppies and dogs in growth. The introduction describes the digestive tract and also the changes that have occurred due to domestication. Next is explained the importance of nutrition and water in nutritional requirements of a dog. Important are needs of nutrients and energy that are necessary to maintain the provision of the necessary vital functions. The basic components of food are proteins, saccharides, lipids, minerals and vitamins. I explain the necessary proportions, the amounts and the possible consequences of their lack in food. I focus on essential fatty acids, which in recent years are subject to frequent explorations and their pros and cons are not yet fully understood. I also mention ballast and significant specific active substances. Nutrition of pregnant and lactating females is often neglected, but for puppies it is a very crucial period. The influence of nutrition of pregnant females to the size and weight of newborn puppies has been proved. Further I deal with nutrition of puppies immediately after birth, I explain the composition of colostrum and its effect on the immunity system of the puppy. I also compare ratios of nutrients in the colostrum and milk. Further, I deal with the feeding of the individual at the time of weaning and in different growth periods. There are many possibilities of feeding puppies from after weaning until adulthood described in books. With the new knowledge about nutrition the ways of feeding our dogs have inevitably changed , but also the dogs' nutritional requirements have changed due to the conditions where and how they live and what their nutrient needs are according to their sport, breeding or other use. Currently, there is a possibility of a commercially produced complete nutritional diet or home-prepared fresh food - cooked or raw- barf. In the last chapter, I summarized possible aspects of malnutrition and its potential consequences. I described the most common problems associated with inadequate nutrition of growing dogs such as obesity as well as malnutrition, which also adversely affects the individual. The influence of proper nutrition of the puppy on its growth is clear. If we neglect the nutrition of the dog in the first two years of its life, the consequences are often irreversible.
|
|
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.
|
|
Freezing technology of bull sperm in relation to its survivability and fertilization ability
Doležalová, Martina ; Stádník, Luděk (advisor) ; Jiří, Jiří (referee)
The aim of optimalization the insemination doses production is to provide the highest fertilization ability of spermatozoa during the demanding proces of processing fresh semen and its subsequent cryopreservation. Temperature changes causes spermatozoa damage during the cooling and freezing. Spermatozoa is exposed to cold shock and many others limiting factors, which leads to cell death and therefore to decline of fertilization ability of thawed insemination doses. For increasing spermatozoa resistance, exactly the plasma membrane resistance against cold shock was fraction of egg yolk LDL cholesterol (low density lipoprotein) at various concentrations into the comercially produced diluents added. It is believed that LDL acts possitively to plasma membrane and helps to maintain the fertilization ability of spermatozoa after thawing. Following step in the proces of insemination doses production is slow cooling of diluted semen and equilibration, when the straws are store at cooling box for 30 minutes to 240 hours. This period is necessary to penetrate of certain diluent components into the spermatazoa also maintain the balance between their intracellular and extracellular concentration. Also important is subsequent freezing temperature gradient of insemination doses. The most suitable freezing method is based on computer controlled temperature decline in freezing chamber which allows the precise control of ice crystals formation that could tear and kill the cell.
During 2012 to 2016 was repeatedly collected semen from the group of breeding bulls (n = 27, Holstein and Czech Fleckvieh breed) at AI centre. Semen which fulfill the standard entrance conditions in first step was evenly into several parts divided. For dilution the three types of comercially diluents AndroMed, Bioxcell and Triladyl with and without LDL addition were used. Into the diluents AndroMed and Bioxcell the concentration of LDL 4 %, 6 % and 8% into the dilent Triladyl 6 %, 8 % and 10 % was added. Diluted semen was filled into the glass capillares with volume 0,1 ml and temperature +4 °C. Subsequently the sample was placed to cold bath (0°C) for 10 minutes. Then the volume of capillare with physiological solution (37 °C) was mixed and for next 120 minutes was incubate. The effect of cold shock to proportion of live spermatozoa was evaluated by using Eosin and Nigrosine staining technique during heat test of spermatozoa survivability after spermatozoa heating and after 120 minutes of incubation.
The more suitable semen diluents which provide the higher spermatozoa resistance against cold shock were AndroMed and Bioxcell. Together the possitive effect of LDL addition into the diluents to lower decrease of proportion of live spermatozoa during heat test was found (P<0.05). The most suitable LDL concentration which had a favorable influence at spermatozoa resistance against cold shock was 6 % in diluent Bioxcell. Values of the proportion of live sperm were higher at the beginning of the heat test (+1.31% to + 3.2%) and after 120 minute incubation (+5.82% to +8.41%) compared to other diluents with and without addition of LDL.
In the next step the process of equilibration was optimized, is an important part of insemination doses production. The effect of the length of equilibration for subsequent fertilization ability of spermatozoa was evaluated using spermatozoa motility based of CASA and proportion of live spermatozoa after thawing and during heat survival test lasting 120 minutes (37 ° C). Suitable semen was diluted by comercially used diluent AndroMed based on soya lecithin, filled into the straws (0.25 ml), cooled and equilibrated in cooling box for 30, 120 and 240 minutes and freezed in programmable freezing box applying four types of freezing curves differing in temperature rate decline. There was used standard and by producer recommended 3. phase freezing curve, then 2. phase freezing curve, and 3. phase freezing curve with slower as well as rapid decline of temperature rate in freezing chamber, compared with standard freezing curve. The highest spermatozoa motility was found using 240 minutes of equilibration by +2.72% and +4.58% compared to other lengths of equilibration (P <0.05 to 0.01). The highest proportion of live spermatozoa was found using 120 minutes of equilibration (+6.87 % and +8.68 %). The highest average spermatozoa motility during heat test after thawing was achieved by using 2. phase freezing curve (from +2.97% to +10.37%, P <0.05), also in the proportion of live spermatozoa (from + 4.37% to +8.82%, P <0.01). When evaluating interaction between the length of equilibration and freezing curve (standard 3. phase and 2 . phase freezing curve), the highest average spermatozoa motility and proportion of live spermatozoa using 240 minutes of equilibration by both freezing curves was reached, there was no statistically significant differences. As well as, in all evaluated parts of this study the individual differences between ejaculate of bulls and within semen from one bull (P <0.05) as secondary effect were found.
To maintain good fertilization ability of semen during cryopreservation is necessary to increase the spermatozoa resistance against cold shock using addition of correct concentration of LDL into the commercially used diluents AndroMed and Bioxcell. Subsequently the fertilization ability of insemination dose is influenced by cooling, the length of equilibration and freezing. The length of equilibration 120 minutes and more as well as gentle way of freezing according to freezing curve, which ensures a gradual decrease of temperature in freezing chamber provided the higher average spermatozoa motility and proportion of live spermatozoa.
|
|
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.
|
|
Digital circuits test optimization by multifunctional components
Stareček, Lukáš ; Gramatová, Elena (referee) ; Kubátová, Hana (referee) ; Kotásek, Zdeněk (advisor)
This thesis deals with the possibilities of digital circuit test optimization using multifunctional logic gates. The most important part of this thesis is the explanation of the optimization principle, which is also described by a formal mathematical apparatus. Based on this apparatus, the work presents several options. The optimization of testability analogous to inserting test points and simple methodology based on SCOAP is shown. The focus of work is a methodology created to optimize circuit tests. It was implemented in the form of software tools. Presented in this work are the results of using these tools to reduce the test vectors volume while maintaining fault coverage on various circuits, including circuits from the ISCAS 85 test set. Part of the work is devoted to the various principles and technology of creating multifunctional logic gates. Some selected gates of these technologies are subject to simulations of electronic properties in SPICE. Based on the principles of presented methodology and results of multifunctional gates simulations, analysis of various problems such as validity of the modified circuit test and the suitability of each multifunctional gate technology for the methodology was also made. The results of analysis and experiments confirm it is possible for the multifunctional logic gate to optimize circuit diagnostic properties in such a way that has achieved the required circuit test parameter modification with minimum impact on the quality and credibility of these tests.
|
|
Formal Systems Based on Automata and Grammars
Čermák, Martin ; Rybička, Jiří (referee) ; Šaloun, Petr (referee) ; Meduna, Alexandr (advisor)
Tyto teze navazují na studium gramatických a automatových systémů. Na začátku, práce pojednává o regulárně řízených CD gramatických systémech využívající frázově strukturované gramatiky jako komponenty. Do systémů jsou zavedena tři nová omezení na derivacích a je studován jejich vliv na vyjadřovací sílu těchto systémů. Poté, tato práce definuje dva automatové protějšky ke kanonickým multi-generatiním nonterminálem a pravi\-dlově synchronizovyným gramatickým systemům, generujících vektory řetězců, a ukazuje, že všechny tyto vyšetřované systemy si jsou vzájemně ekvivalentní. Dále táto práce tyto systémy zobecňuje a zakládá fundamentalní hierarchii n-jazyků (množin n-tic řetězců). V~souvislosti se zavedenými systémy tyto teze zavádí automatově-gramatický převodník založený na konečném automatu a bezkontextové gramatice. Tento převodník je pak studovaný a použitý jako nástroj přímého překladu. V~poslední části jsou v této práci zavedené automatové systémy jádrem pársovací metody založené na stromově řízených gramatikách s n omezenými cestami.
|
guest ::
