| |
|
Progress of the system of public health insurance and health insurance companies in the Czech Republic for the period 2000 - 2015
Pecková, Tereza ; Lukášová, Tereza (advisor) ; Bartůsková, Lucia (referee)
This bachelor´s thesis analyzes the basic funds of health insurance companies for the period 2000 - 2015 in the Czech Republic, especially the creation of resources and their use and the entire system of public health insurance in the Czech Republic. Basic funds are one of the components of the overall economy of health insurance companies. First it is necessary to describe the market of the insured. The insured create and use the finances within public health insurance. Also important are contributions from the state budget for those insured by the state. We can conclude that the cost of health insurance companies are rising and that population is aging in the Czech Republic. However, this is not a balanced linear growth. The number of pensioners grew at a slower rate of growth, but according to population development forecast, there should be faster growth in the number of pensioners in the following years. Significant growth in cost is particularly noticeable in the age category of 80 and above, and increasingly more people should live up to this blessed age, also thanks to modern public health.
|
|
Development of POS system application with support of EET for retail trade
Nguyen Manh, Tho ; Pavlíčková, Jarmila (advisor) ; Bruckner, Tomáš (referee)
The goal of this thesis is to design and develop an application software for the POS system. The main criterion of the developed system is to support online registration of sales, which meets the requirements stated by the Act no. 112/2016 Coll., on Registration of Sales. In this thesis the POS system is designated to support processes of retail trade. The theoretical part focuses on the description of the POS system and its components. To solve the issue of online registration of sales, an analysis of the legislation and the market with the POS systems was made. The thesis also presents an analysis of the processes and requirements, a solution design and the implementation of applications based on Java. To test the functionality of the developed application a test case was used. The final chapter summarizes the content of the thesis and outlines possible future developments. The output of this paper is a functional POS application, which will be available for download under open-source license. This paper could also serve as a business guide to understand the topic of POS systems and online registration of sales.
|
|
Usage of unstructured data in Business Intelligence
Rakhmanova, Malika ; Šperková, Lucie (advisor) ; Karkošková, Soňa (referee)
The aim of the thesis is to identify the main trends that are occurring in the market of Business Intelligence and related to unstructured data, to describe the possibilities for integrating unstructured data, to clarify what the impact on the company have the results that can be obtained using these solutions and how generally incorporate an analysis of unstructured data into BI. Another aim is to show the current situation of processing unstructured data on the example of BI system. The thesis is divided into several parts. First part is describing of the Business Intelligence area and the basic components of Business Intelligence, as well as identifying market trends. Then, there is the next part: separating the data into structured and unstructured. Here is the part about how you can access and analyse unstructured data and what is their place in BI systems. This is the end of a block of unstructured data and the beginning of a description of the enhanced version of BI. Finally, the current market situation and BI tools, which include unstructured data, are introduced. This section provides an overview of how BI tools approach to analyse unstructured data. Existed literature, professional and freely available Internet resources are used for writing the work. The purpose is to serve as a source of information for quickly orienting in the current situation, to serve as a guide to the world of BI solutions and to show potential users what are the options and functionality of these BI solutions.
|
|
Cost analysis, price realization and profitability of the company
KOPEČKOVÁ, Michaela
The aim of this diploma thesis is to analyze incomes, expenses and profit in chosen production company, including detailed cost analysis, price realization and profitability of selected products company. For this analysis is selected company operating in the automotive industry and products for analysis are automotive components which are the core of the production program of the company. The period covered years between 2007 and 2011.
|
|
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.
|
|
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.
|
|
Test Application Methodology Based On the Identification of Testable blocks
Herrman, Tomáš ; Plíva, Zdeněk (referee) ; Racek, Stanislav (referee) ; Kotásek, Zdeněk (advisor)
The PhD thesis deals with the analysis of digital systems described on RT level. The methodology of data paths analysis is decribed, the data path controller analysis is not solved in the thesis. The methodology is built on the concept of Testable Block (TB) which allows to divide digital component to such segments which can be tested through their inputs/outputs, border registers and primary inputs/outputs are used for this purpose. As a result, lower number of registers is needed to be included into scan chain - border registers are the only ones which are scanned. The segmentation allows also to reduce the volume of test vectors, tests are generated for segments, not for the complete component. To identify TBs, two evolutionary algorithms are used, they operate on TB formal model which is also defined in the thesis.
|
|
Methodology of highly reliable systems design
Straka, Martin ; Gramatová, Elena (referee) ; Racek, Stanislav (referee) ; Kotásek, Zdeněk (advisor)
In the thesis, a methodology alternative to existing methods of digital systems design with increased dependability implemented into FPGA is presented, new features which can be used in the implementation and testing of these systems are demonstrated. The research is based on the use of FPGA partial dynamic reconfiguration for the design of fault tolerant systems. In these applications, the partial dynamic reconfiguration can be used as a mechanism to correct the fault and recover the system after the fault occurrence. First, the general principles of diagnostics, testing and digital systems dependability are presented including a brief description of FPGA components and their architectures. Next, a survey of currently used methods and techniques used for the design and implementation of fault tolerant systems into FPGA is described, especially the methods used for fault detection and localization, their correction, together with the principles of evaluating fault tolerant systems design quality. The most important part of the thesis is seen in the description of the design methodology, implementation and testing of fault tolerant systems implemented into FPGAs which uses SRAMs as the configuration memory. First, the methodology of developing and automated checker components design for digital systems and communication protocols is presented. Then, a reference architecture of a dependable system implemented into FPGA is demonstrated including several fault tolerant architectures based on the use of partial dynamic reconfiguration as the mechanism of fault correction and the recovery from it. The principles of controlling the reconfiguration process are described together with the description of the test platform which allows to test and verify the design of fault tolerant systems based on the methodology presented in the thesis. The experimental results and the contribution of the thesis are discussed in the conclusions.
|
guest ::
