|
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.
|
|
Single-Party Regimes in Comparison: China, Malaysia and Singapore
Klapal, Petr ; Buben, Radek (advisor) ; Koubek, Jiří (referee)
Diploma thesis Single-Party Regimes in Comparison: China, Malaysia and Singapore is devoted to non-democratic regimes in which one party dominates and which legitimize by the concept of Asian values. The first part deals with the most important typologies and to approaches to explore single-party regimes. The second part introduced changes and the very concept of Asian values according to which democracy is unsuitable for Asian countries because of cultural differences. Other parts are devoted to describe the regimes in China, Malaysia and Singapore, which are classified into different typologies. The aim of the work is to show that Asian values don't explain the genesis of these regimes or their forms of non- democratic governance.
|
|
Application of Queueing Theory
VÁŇOVÁ, Eliška
The goal of this thesis was to understand Queueing Theory and use it for analysis of queueing system of hypermarket company PZV. Theoretical part is consists of basic iformations which is necessary to know for application of queueing theory. First chapter is about random variables, random event, random proces, stochastic and Poisson processes and Markov chains. Then was possible to describe queueing theory basic characteristics, parameters, analy-sis, classification and basic models. In the practical part was from the beginning analyze development of custo-mers going through cashier zone. On the base of analysis were customers divided into 4 groups. For these groups were counted characteristics and parameters, next was analyzed the system, but because data were too inaccurate, it was necessary to use different values for the groups and to count analysis for these values. The last step was to find number of cashiers to make system optimal. The result, it was 4 ca-shiers, was unfortunately not accurate. For better results it would be necessary to have more detail data.
|
|
Dance as a means of integration adults with intellectual disability
KRAUMANNOVÁ, Eva
The goal of the bachelor thesis called Dance as a means of integration adults with intellectual disability was to create, implement and evaluate a dance course focused on the development of social competences in adults with intellectual disability. The thesis deals with adults with intellectual disability and with a leisure activity focused on dancing. There is some space for the development of social competences in adults´ leisure time. In response to the current situation of leisure activities proposition for adults with intellectual disability. I found it beneficial to found a dance group of adults with intellectual disability, and at the same time a group of individuals intact in places unfamiliar to them. Based on an activity which may be implemented amusingly it is possible to develop an individual´s personality as well as his or her social competences, which become a presumption of a successful integration, universally. The bachelor thesis consists of four chapters.The first chapter defines the term ´intellectual disability´. Further on the attention is paid to the characteristics of the target group, i.e. adults suffering from a slight and medium mental retardation. Further on, the disability´s impact onto the human psyche as well as social area is described. In the second chapter the term ´dance´is defined and then the description of its usefulness within the leisure, artistic and therapeutic areas is given. In the third chapter the presumptions for a successful integration are described. In the conclusion of the theoretical part there is an interconnection made between the target group and the activity for developing social competences. The theoretical part of the bachelor thesis is continued with a practical part, the fourth chapter. It is a programme of a six-month course which I have set together based on the analysis of expert literature and my experience gained during the leadership of dance lessons and working with adults with intellectual disability. The programme will include work methods and an evaluation of partial activities. The six-month course was held in the school year of 2015/2016 and 6 intellectually disabled adults took part in it. Students of the University of South Bohemia joined the course. Partial goals were set for individual dance lessons and the activities were set so that they would develop social competences in participants non-violently and in the greatest extent possible. The course was implemented in the IN Civic Association facilities. To evaluate the activity and find out the progress within the area of the participants´ social competences, several development fields have been set. Several chosen social competences were divided into evaluation scales. The participants were evaluated at the beginning of the course and then again, six months later. The evaluation method chosen was my own observation. I focused on the evaluation of my own working, on group evaluation and the evaluation of each individual. Evaluation was also done on the part of each course participant, too. Dance lessons and activities connected have proven to be a suitable means for developing social competences in intellectually disabled adults. In five participants the values have risen in 5 10 out of 17 competences observed. A recourse occured in a participant who was going through a difficult life situation during the last two months of the course. Values have risen dramatically and in all participants in the area of group cooperation. Five participants made a progress in establishing and keeping eye contact and in starting a conversation. One participant has made a progress in the area of group performance, another one has made a progress in the area of independence and another one started to call the other participants by their names, as opposed to the beginning of the course. In general, the members of the group became more self-confident.
|
|
Nursing procedures in taking blood pressure
SEDLÁKOVÁ, Tereza
By blood pressure is meant lateral pressure or the side pressure of a blood column on the side of a vessel. The pressure is created thanks to the action of heart as a blood pump. This pressure is not the same in different parts of the bloodstream. By the blood pressure is meant the arterial pressure or pressure in the artery, so the pressure in big blood vessels. The highest values are reached in the expulsion phase of the heart action, which is called systole. The lowest values are reached in the phase of filling heart chambers, which is called diastole. The sole nursing procedures required in the process of taking a blood pressure reading are many and all must be followed. This thesis is composed of a theoretical part and practical part. Introduction to the theoretical part is composed of the main terminology from the physiology of blood pressure. In the theoretical part we follow with division on hypotension and hypertension, which are the most common diseases related to blood pressure, with diagnosis and recommendation for treatment. This thesis also offers information about measuring blood pressure by the invasive and the non-invasive method. The theoretical part is focused on the importance of the nurse in the process of measuring blood pressure with emphasis on her knowledge and practical skills.
|
|
Coping strategies in children´s fear and pain in relation to nursing care
PROCHÁZKOVÁ, Zuzana
For the nurse, taking care of hospitalized children is important not only pediatric nursing knowledge, personal and social preconditions, but also the theoretical and practical competency of methods and techniques, which are used for identification and effective influencing of pain and fear. The aim of this thesis was to identify the main sources of fear of the hospitalized preschool and young school age children and to find out the effective methods and principles of the cooperation with children, alternatively with their accompanying parents in order to moderate the fear of the small patient. Then the thesis tried to chart the nursing diagnostic and evaluation procedure of the pain and get the most used nursing methods of non-pharmacological pain relief. To obtain the necessary data, the qualitative research was used with a semi-structured interview as a research instrument. The first research group consisted of 12 nurses, the second group consisted of 12 children ´s patients of preschool and young school age. The majority of the asked nurses thinks, that children´s patients are afraid especially of non-familiar environment, then of the awaited pain and of the solitude without parents. However, the most patients said, that they were afraid especially of pain, then of non-familiar environment, restriction of their needs, hostile attitude of the medical staff and of the other neighbouring patients. They were also frightened of the death and of the darkness. Most reported nurses mean, that the most effective solution of the children ´s fear is the friendly attitude of the medics. They also mentioned the fact of taking the focus off the fear and the presence of the parents is also beneficial. The nurses ´ answers were in conformity with patients opinion in two fields - friendly attitude of the medics and taking the focus off the fear. Then the children mentioned abiding of their specifics in connection to falling asleep and the demand of beying treated by the same sister or by few same sisters. All respondents also talked about the benefit of parents presence. Regarding the principles of the cooperation, nurses answered the importance of united medical procedures, especially the proper way of information transfer. Then the respondents nurses mentioned the psychical and emotional support for children and their accompaniments, the atmosphere of confidence and the value of well done education. Also the need of calm, silence and privacy was stated. Unlike nurses, children and their parents regarding to principles of the cooperation prefer the psychical and emotional support, then the importance of enough information was mentioned. The fourth research question bears on the methods used for children pain monitoring. The nurses said, that the intentional interview with the patients or with the parents was used as a main technique, that was stated by patients as well. Research question number five said: What are the most used nursing methods of non-pharmacological pain relief at children? Most responded nurses mentioned the distraction of children attention from the painful incentive, then the importance of physical methods, relief position and purposeful preparation for the unpleasant intervention. Nurses also named the helpful contribution of the parents, relaxing exercises and the method of imagination. Regarding the pain treatment, it was noted, that all patients prefered the analgesic therapy. Then they quoted the distraction of their attention from the painful incentive, the friendly attitude of the medics, using the ice compress and the relief position. In the pain acute phase, children required mostly calm, comfort and privacy. All children also considered the presence of parents as very helpful. The theoretical and empirical part of the thesis are suitable for being studied by nurses taking care of children and it can be helpful for nursing quality improvement at children ´s wards in hospitals.
|
|
Nutritional care of children at pediatric clinics and hospitals
METELCOVÁ, Jana
The main goal of this work called Nutritional Care in Children's Hospital and Hospital facilities is to verify whether the nutritional standards created for older child patients meet the needs and are checked and if their physiological needs are fulfilled in chosen hospitals. The next objective is to evaluate the satisfaction of the hospitalised patients with the meals given to them by hospitals. The theoretical part of this work deals with nutritional care, therapeutic care and nutritional needs of adolescents. It further deals with nutritional risks and marginally mentions technological processes regarding meal preparation. The method of qualitative research was used by using questionnaires filled in by chosen children patients who were then interviewed. Children aged 10 to 14 were supposed to be on diet number 13, half of them were boys and the other half were girls. The research was conducted in the children's ward in the hospital in Jindřichův Hradec in December 2015 and in the same type of ward in the hospital in České Budějovice in February 2016. The initial number of respondents was five patients in each ward, then using snow ball sampling method their number increased into ten in each ward. The weekly menu according to which the meals were distributed was obtained from the catering facilities of the hospitals. By using the program "Nutriservis Profi" the contents of nutrients in the meals were obtained. The results gathered from the program "Nutriservis Profi" were compared with recommended values for particular age group defined by The Czech Society for Nutrition, so meeting the physiological needs of the patients could be evaluated. From the results it was found that both hospitals have problems with supplying enough fibre content, phosphorus and calcium in meals for children's patients. There is also sodium, potassium, cholesterol and vitamin C surplus in the menus. Thanks to the internship in both hospitals in Jindřichův Hradec and České Budějovice meeting the physiological needs of the children could be evaluated. Considering the fact that the previous evaluation revealed some imperfections, therapists from both hospitals should concentrate more on checking nutritional values in meals, consequently it was recommended to focus more on the variety of the menus and their improvement. There were also inadequacies in attendance at the children's ward. There was a comparison of the results from both hospitals, based on questionnaires and interviews from the children's point of view. Based on the data, children hospitalized in Jindřichův Hradec were more satisfied with the meals. In the conclusion there is a summary of the research and suggested suitable improvements for hospitals. There is a model menu for diet number 13 in the attachment which could be used by hospitals.
|
|
How to prevent the proliferation of Legionella pneumophylis in hot water in the hospital Czech Krumlov
TUREK, Jan
This diploma thesis deals with microbiological quality of hot water in a hospital in Cesky Krumlov as well as hot water piping condition with respect to Legionella. It also deals with arrangements for improving the quality of hot water in this hospital. The subject and target of this thesis are the findings of the mentioned parameters based on own observations, technical documentation and analysis of warm water performed by an accredited laboratory. The hospital in Cesky Krumlov, the construction of which began in 1909, was built in 1911 as the 'Nemocnice Císaře Františka Josefa I.' As the time went by, new buildings were built up. The hospital was renamed to 'Všeobecná veřejná nemocnice' in 1942. In the following years the hospital expanded until the current condition. Water quality and presence of Legionella is a world-wide issue, which we must fight against. The thesis is divided into two parts. First, theoretical part, which includes both general and specific knowledge about Legionella, its health risks, the environment in which it occurs, possibilities of eliminating, suitability of the material for hot water pipes, gained in professional literature and a part of the Czech legislation dealing with public health protection, the law 'No. 258/2004 Coll.' in actual version and quality of drinking water and hot water. In the second, empirical part, I focus on the situation of the hospital in Cesky Krumlov from 2009 till 2015, concerning newly built boiler room and the whole distribution system of hot water regarding Legionella. Particularly I focused on materials used for ecologisation of the gas boiler room and materials used for hot water pipes and actual state of water distribution in individual buildings of this health care facility. I mentioned the analysis of the water samples performed by an accredited laboratory with corresponding technical documentation, which concerns the water distribution system, provided by the medical facility. I used secondary data analysis to evaluate these documents. Regarding the results from 2009 to 2015 the microbiological quality of warm water doesn't meet the limits defined in the Attachment No. 3 of the above mentioned law Order 252/2004 Coll. Limit value for colony forming units of Legionella is set to maximum of 100 CFU. In most of the samples this limit was exceeded by series of units up to hundred thousands of units. The last results in 2015 prove improvement of the unfavorable situation. In that year the analysis was tested three times. First in February, where the CFU units were 'only' in hundreds, with the top value of 550 CFU in the Postacute Care ward. Second analysis was performed in June that same year. Results were acceptable. The highest value was 64 CFU. Last analysis in the hospital was performed in December. Increased concentration of Legionella was again in the Surgery building. There were established of 1400 colony forming units. There were 300 CFU in the Postacute Care ward and the limit value of 100 CFU was in the ward of Internal medicine. The answers to research questions 'How to prevent reproduction of Legionella peumophylis in the water distribution system of the hospital in Cesky Krumlov?' and 'How to ensure a sufficient amount of quality hot water in the medical facility?' are included at the end of the stated recommendations. A risk factor causing the fast reproduction of Legionella is the old water distribution system in most of the buildings and low water temperature of water leaving the boiler, which is 55°C. All mentioned results and evaluations are included in this thesis as well as attached pictures, which show the environment and situation within the Health Care Institutions.
|
|
Students´ motivation for the work in social sphere
DUCHOŇOVÁ, Kristýna
The topic of this bachelor thesis is the motivation of students to work in the social sphere. Selecting a domain is an important milestone in the life of each of us, the aim of the work is to determine what factors affect the young person during the election field with a social focus and how his motives during his studies and during his practical experience varies.The work is divided into two parts, theoretical and practical. The theoretical part describes the social work and its history, definition, ethical standards and goals. The work deals with the role of a social worker and describes his competence. Presents preconditions for occupational choice and the factors that influence this choice. It also deals with motivation, defines it and acquaints us with concepts such as motive, value or need. Work is affected by motivation theories and recalls the hierarchy of needs of Maslow. In the seclusion does not stay the work motivation in helping professions, questionable motives or burnout, which occurs currently in the social sphere more frequently than in other sectors. The practical part is focused on quantitative research, when the survey begins with primary school pupils who have just chosen their future focus. This part aims to determine what percentage of these students opted for the social sphere and what lead to this decision. Further quantitative research conducted among high school and college students who attend branch with a social focus. Here, the work reveals the most common and most important motives of students, satisfaction with the chosen field of study and their expectations of future studies and career. Here we will also learn how many students want after graduation stay in the field. In the practical part there is also a qualitative research, which complements the whole job. Semi-structured interviews are conducted with students, but also with a social worker. These respondents describe us closer their motivation for working in the social sphere. According to the results which this research brought, it can be stated that most of the students choose a subject with a social focus to have the opportunity to help the others. But is true that many students are choosing a school prematurely and are influenced by the place of residence, their friends or the nature of the study, most of these people don´t know what they can expect from the field and are often discouraged during their studies. From this work could in practice benefit pupils and students who decide for the field of social affairs. For teachers working in schools where the research took place,could this work serve as a feedback. Especially the part which describes the differences between expectations and reality can be used.
|
|
Iniciace pohybu byčíku, signalizace a regulace pohyblivosti spermií ryb: fyzikální a biochemické řízení
PROKOPCHUK, Galina
The current study attempted to shed light on the regulatory processes and response arrangements of fish spermatozoa during the course of maturation and motility initiation. The first intent of this study was to improve the understanding of the mechanism underlying the acquisition of potential for sperm motility in sturgeon. Up to present work, the physiological process underlying sperm maturation in this species has not been described at all. Our results showed that sperm maturation in sturgeon occurs outside the testes because of dilution of sperm by urine and involves the participation of high molecular weight substances as well as calcium ions present in seminal fluid and/or urine. The second aim of the present study was to investigate the coping mechanisms in fish spermatozoa with osmotic and ionic activating mode, as well as in spermatozoa of euryhaline fishes, to various environmental conditions. We showed that alteration of environmental osmolality might affect the fish sperm in different ways, depending on fish species and modes of spermatozoa motility activation either osmotic or ionic mode. In response to osmotic stress caused by hypotonicity, carp spermatozoa regulated the flow of water across their cell membrane and increased their cytoplasmic volume during their short motility period. In contrast, no indications of sperm volume changes were observed neither in sterlet nor in brook trout spermatozoa, both of which having an ionic mode of motility activation. We also examined the mechanism by which sperm motility triggering in euryhaline fishes can adapt to a broad range of environmental salinity. Our results demonstrated that spermatozoa of euryhaline tilapia, Sarotherodon melanotheron heudelotii, reared in fresh-, sea- or hypersaline water can be activated in hypotonic, isotonic or hypertonic conditions of swimming milieu, provided Ca2+ ions are present at various levels. It was established that the higher the fish rearing salinity or the more hypertonic ambient media at spermatozoa activation, the higher extracellular concentration of Ca2+ ions is required. The results obtained in the present study allow suggesting that osmolality is not the main factor inhibiting sperm motility inside the testis in the S. melanotheron heudelotii. A third aim of this study was investigation of the regulation of motility initiation process and description of flagellar beating initiation in chondrostean spermatozoa. We detected that K+ inhibition of sperm motility in sturgeon can be by-passed due to the pre-exposure of sperm cells to a high osmolality shock prior to its transfer to K+-rich swimming media. Thus, we hypothesized that sturgeon spermatozoa may be activated by use of an unexpected signaling pathway, independent from regular ionic stimulation. The successive activation steps in sturgeon spermatozoa were investigated by high-speed video microscopy, using specific experimental situation, where sperm motility initiation was delayed in time up to several seconds. At motility initiation, the first couple of bends formed at the basal region begins to propagate towards the flagellar tip, but gradually fades when reaching the mid-flagellum. This behavior repeats several times until a stage where the amplitudes of bends gradually reach similar value, what eventually leads to sperm progressive displacement. The total period needed for the flagellum to switch from immobility with rigid shape to full activity with regular propagating bends ranges from 0.4 to 1.2 seconds. In conclusion, the results of the current study bring valuable pieces of information into the general understanding of the processes of maturation of fish spermatozoa, their adaptability to different physical and biochemical circumstances, the extra- and intra-cellular signaling as well as the regulatory mechanisms of motility activation in fish spermatozoa.
|
guest ::
