|
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.
|
|
Navigation of mobile robots
Rozman, Jaroslav ; Matoušek,, Václav (referee) ; Šolc, František (referee) ; Zbořil, František (advisor)
Mobile robotics has been very discussed and wide spread topic recently. This due to the development in the computer technology that allows us to create better and more sophisticated robots. The goal of this effort is to create robots that will be able to autonomously move in the chosen environment. To achieve this goal, it is necessary for the robot to create the map of its environment, where the motion planning will occur. Nowadays, the probabilistic algorithms based on the SLAM algorithm are considered standard in the mapping in these times. This Phd. thesis deals with the proposal of the motion planning of the robot with stereocamera placed on the pan-and-tilt unit. The motion planning is designed with regard to the use of algorithms, which will look for the significant features in the pair of the images. With the use of the triangulation the map, or a model will be created. The benefits of this work can be divided into three parts. In the first one the way of marking the free area, where the robot will plan its motion, is described. The second part describes the motion planning of the robot in this free area. It takes into account the properties of the SLAM algorithm and it tries to plan the exploration in order to create the most precise map. The motion of the pan-and-tilt unit is described in the third part. It takes advantage of the fact that the robot can observe places that are in the different directions than the robot moves. This allows us to observe much bigger space without losing the information about the precision of the movements.
|
|
Multimedia Data Processing in Heterogeneous Distributed Environment
Kajan, Rudolf ; Ferko,, Andrej (referee) ; Míkovec, Zdeněk (referee) ; Herout, Adam (advisor)
Pervasive computing sa zameriava odstránenie zložitostí pri interakcii s výpočtovou technikou a zvýšenie efektivity pri jej každodennom používaní. Ale i po viac ako 15 rokoch od sformulovania hlavných cieľov Pervasive computingu existujú aspekty interakcie ktoré stále nie sú súčasťou užívateľskej skúsenosti s dnešnou technológiou. Bezproblémová integrácia s prostredím vedúca k technologickej neviditeľnosti, alebo interakcia naprieč rôznymi zariadeniami predstavujú stále veľkú výzvu. Hlavným cieľom tejto práce je prispieť k tomu, aby sa ciele Pervasive computingu priblížili k realizovaniu tým, že predstavíme spôsob intuitívneho zdieľania informácií medzi osobným a verejne umiestneným zariadením. Predstavili sme tri interakčné techniky, ktoré podporujú intuitívnu výmenu obsahu medzi osobným zariadením a zdieľaným displejom. Tieto techniky sú založené na prenose videa, rozšírenej realite a analýze pohľadových dát. Okrem interakčných techník sme tiež predstavili mechanizmus pre získavanie, prenos a rekonštrukciu aplikačného stavu na cieľovom zariadení.
|
|
Effective using of potential of bilingual environment
HOVORKOVÁ, Eva
The dissertation thesis "How to use the potential of bilingual environment efficiently" endeavors to highlight bad as well as good practices in bilingual upbringing. Bilingualism represents at present a very topical issue. In connection with increasing globalization, the issue of learning of foreign languages is more and more emphasised. People living in mixed marriages have often no idea how to bring their children up. In many cases they take steps that lead to irreversible consequences. The theoretical part of the thesis gives a survey of bilingualism, the division and kinds of bilingualism and ways of its acquisiton. The theory is practically illustrated in the empirical part through various examples. 42 case studies have been carried out, which include characteristic and uncharacteristic respondents. The findings of the research are compared with the facts mentioned in the reference works. The aim of the dissertation thesis is to find out which educational methods should parents follow in bilingual education and which methods they should better avoid.
|
|
Controlling System and the Competitiveness of a Small Service Company
PODLAHOVÁ, Žaneta
The bachelor thesis deals with evaluating the current system of controlling and analysing of the competitiveness of a selected small company in the South Bohemian region. The business subject of this company is to provide services in the real estate industry, whose aim is to satisfy its customers. The practical part contains more detailed description of the company, including its history with the present and depicts its management system. The methods used are Porter's five forces model, PEST and SWOT analysis and competition analysis. Porter's five forces model analyses the surrounding environment and examints competitiveness. PEST analysis is a simple and widely used tool that helps you analyse the Political, Economic, Socio-Cultural, and Technological changes in business environment. SWOT analysis deals with the external and internal environment. This theory describes the strengths and weaknesses of the chosen company, and its opportunities and threats. Competition analysis deals with the main competitors of company. The theoretical part applies these method. Finally, I made the proposals which help to increase competitiveness of company.
|
|
The Role of Nurse in the Prevention of Disease of Civilisation
PAVLOVÁ, Martina
The current state Prevention is a complex care of a patient when we are trying to prevent from the occurrence or development of a disease, or when we want to prevent from its consequences and mitigate them. Recommendations for prevention set by a doctor must be on a scientific basis, and they must be a part of all branches of medicine. Their effectiveness depends on the cooperation between patients and medical staff. The basic and most efficient method of prevention is the health promotion and health education, which is closely associated with it. The term health promotion involves a set of activities and precautions for the purpose of making health better and sustaining it. Diseases of civilisation (hereinafter "DoC") are groups of diseases which are distinguished by their association to our lifestyles. Human body is more and more threatened from unfavourable influences of external environment, such as the quality of atmosphere, work environment and environment itself, the lack of physical movement, unhealthy diet, smoking, and alcohol consumption. The list of diseases of civilisation varies and changes together with our society and the development of our lifestyles. Among the most common or frequent diseases of current time are cardiovascular diseases, which involve atherosclerosis, hypertension, myocardial infarction, stroke, coronary artery disease and obesity. Furthermore, between civilization diseases include diabetes mellitus type 2 or cancer, etc. The goal of the thesis There are two goals set for this paper. The first goal was to find out what the role of a nurse in the prevention of diseases of civilisation was. The second goal was to find out what the above mentioned role of a nurse was from the point of view of patients. Methodology For the purpose of the research part of this thesis, qualitative research using semistructured interviews was carried out. Respondents were divided into two groups; the first one consisted of eight nurses working at internal medicine and neurological department of the hospital in České Budějovice and a nurse working in a private office of a general practitioner for adult patients. The second group consisted of eight patients of the above mentioned health facilities. Results According to our findings, nurses and patients have different oppinions on the role of a nurse. Nurses in disease prevention see themselves as an equivalent to a doctor when undertaking this practice and giving guidance. The patient speaks only to the nurse who emphasized what they were told by the doctor and reiterated the main points. They make available to them leaflets and brochures or Internet resources. In contrast, most patients see a nurse as a more important source of information than the doctor. Patients have the feeling that the doctor does not have enough time or does not want to be botherd with questions. Rather the patient turns to his nurse, which they sees as more appropriate and someone to whom they can confide in without bothering. Summary The goal of the thesis was to focus on prevention, DoC, and the role of a nurse in the prevention of such diseases, as well as to study this issue, look at it from the point of view of patients and nurses via the interviews carried out in this paper, and to analyse such information. Based on this analysis are published recommendations for nurses and patients.
|
|
Work in social integration process of adults with intellectual disability.
SVITÁKOVÁ, Iveta
In my bachelor thesis, I dealt with the use of work activities in the process of social integration of adults with mental disabilities, the aim was to create, implement and evaluate regular work activities intended to a specific group of adults with mental disability and focused primarily on the development of social integration. The thesis is structured into six chapters. The first of them is focused on the definition of mental disability, characteristic of adulthood as an important developmental period in human life, and on adulthood of individuals with mental disabilities with a goal to find and identify the specifics that were needed to be taken into account when working with this target group of people. The following section is devoted to the social integration, its determinants and the environment in which it operates. I continued with the outputs in the third chapter, where I focused on key competencies, which them are the necessary basis for social integration, especially social and personal skills and communication skills, necessary basis. Targeted professional development can be realized through educational activities, but has to respect the specificities of the participants and voluntary participation. Both of these assumptions can be fulfilled within the leisure education using adequate pedagogical methods. For this reason, I decided to focus my attention on these areas at the end of the chapter. The fourth chapter is devoted to work and work activities, namely the definition of concepts, their characteristics and importance and role of work activities in human life, or a person with mental disability. Based on all acquired theoretical knowledge and using previous experience with the target group in the fifth chapter, I designed a specific training program based on the work and activities focused on the development of selected key competences. The educational program volunteered four participants, but I have decided to follow the development of competencies of three participants because one participant attended the program very irregularly. The program has been implemented three times a week, two and a half hours for seven months (from October 2015 to May 2016) in the premises of the training centre Mo-zai-ka. At the beginning of the realisation of the created educational program, the participants agreed that we will adhere and develop good habits necessary for good relations within the group and the results of the work. On a basis of the individual characteristics of the participants, I prepared the work, which should also contribute to the development of social and personal and interpersonal skills. I have continuously monitored and recorded them. During the implementation of the program, I put emphasis on repetition, patient negotiations with participants and creating a friendly atmosphere. After completing the training program, I evaluated the development of competencies in three selected participants. On that basis, I concluded that the biggest change was in the communicative competence. I also experienced a change in social and personal competencies, however, results varied widely among individual participants. Yet, I believe that the goal of the thesis was achieved. These results show that education in leisure time, based on work activities may lead to the development of social and personal and interpersonal skills that are for adults with mental disabilities necessary in the process of social integration. This thesis can be an interesting source of inspiration for the realisation of similar programs aimed at social integration of persons with mental disabilities.
|
|
The reflection of František Bakule's work in a relation to a current special educational practice
BALÍKOVÁ, Tereza
František Bakule was a significant Czech teacher during the first half of the 20th century. He was known as the first director of the "Jedlicka Institute in Prague" as well as the founder of so-called "Bakule´s Institute" as well as one of the few representatives of the "Czech alternative approach towards education" which is very well recognized all around the world. His legacy and teachings, however, are currently not being developed on the systematic level and neither they are being put into practise by Czech professional mainstream educational community. We also need to mention that is not used by even the stream of special education, in contrast to many foreign alternative pedagogical trends, which are gaining popularity and are generally applied with success. The aim of this thesis is therefore to analyse the work of Frantisek Bakule through the prism of contemporary school educational environment with emphasis on the education of students with disabilities. The first chapter is devoted to outlining the life journey of Frantisek Bakule, particularly focusing on the major milestones that influenced the formation of his personality, his ideas, inspiration and motivation which was reflected in his teachings and then in his very own coherent concept of education. To be specific, we are introduced to his family background and a significant part is then devoted to description of Frantisek´s experience as a teacher, including stages of operating in Jedlicka´s Institute and in his own "Bakule´s institute". The second part is then focused solely on Bakule´s specific educational concept. First, the core principles of the concept are defined. Later parts then talk about Bakule´s original curriculum and a his proposal of an ideal classroom environment. The text also contains a detailed description of how Bakule approached several subjects, which were at the core of his teaching concept, namely "Work activities", "Music education" and "Arts". Original teaching practices are analysed by using current teaching methodology and terminology. Due to the identified aim and goals of the thesis, the third chapter analyses the current concept of education of the above, according to Bakule´s core areas and principles. The text is designed specifically to be subsequently reflecting the work of Frantisek Bakule from the perspective of today's teaching methods, namely the methods of special education. The idea is to define common points and possible differences and uncover hidden inspirational potential, which is then the main content of the fourth and final chapter. Based on the analysis and all its subsequent reflections, the final chapter tells us that although Bakule´s educational goals don´t differ too significantly from the current concept embedded in the relevant framework of educational programs, to achieve such goals we are currently using very different techniques and methods in comparison to Bakule´s ways. Even though Bakule himself tested and verified all of his concepts in practice, which can be very simply described as "do not teach students about life and work, but through life and work", and these concepts also have been proven correct by various subsequent results of psychological researches, the current system still doesn´t draw from them too much. From all the above it is quite obvious that the legacy of life´s work of Frantisek Bakule is currently not utilized nor it is being appreciated by our professional pedagogical community. On the other hand, we need to note that it may also be due to the level of fragmentation in which his concept and materials were preserved to the present days.
|
|
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.
|
|
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.
|
guest ::
