|
Relational Verification of Programs with Integer Data
Konečný, Filip ; Bouajjani, Ahmed (referee) ; Jančar, Petr (referee) ; Vojnar, Tomáš (advisor)
Tato práce představuje nové metody pro verifikaci programů pracujících s neomezenými celočíslenými proměnnými, konkrétně metody pro analýzu dosažitelnosti a~konečnosti. Většina těchto metod je založena na akceleračních technikách, které počítají tranzitivní uzávěry cyklů programu. V práci je nejprve představen algoritmus pro akceleraci několika tříd celočíselných relací. Tento algoritmus je až o čtyři řády rychlejší než existující techniky. Z teoretického hlediska práce dokazuje, že uvažované třídy relací jsou periodické a~poskytuje tudíž jednotné řešení prolému akcelerace. Práce dále představuje semi-algoritmus pro analýzu dosažitelnosti celočíselných programů, který sleduje relace mezi proměnnými programu a~aplikuje akcelerační techniky za účelem modulárního výpočtu souhrnů procedur. Dále je v práci navržen alternativní algoritmus pro analýzu dosažitelnosti, který integruje predikátovou abstrakci s accelerací s cílem zvýšit pravděpodobnost konvergence výpočtu. Provedené experimenty ukazují, že oba algoritmy lze úspěšně aplikovat k verifikaci programů, na kterých předchozí metody selhávaly. Práce se rovněž zabývá problémem konečnosti běhu programů a~dokazuje, že tento problém je rozhodnutelný pro několik tříd celočíselných relací. Pro některé z těchto tříd relací je v práci navržen algoritmus, který v polynomiálním čase vypočítá množinu všech konfigurací programu, z nichž existuje nekonečný běh. Tento algoritmus je integrován do metody, která analyzuje konečnost běhů celočíselných programů. Efektivnost této metody je demonstrována na několika netriviálních celočíselných programech.
|
|
The Pump with a Diffuser with Stochastic Blades (Runner and Diffuser)
Dobšáková, Lenka ; Melichar, Jan (referee) ; Veselý, Jindřich (referee) ; Haluza, Miloslav (advisor)
This doctoral thesis studies the non-uniform blade cascade for centrifugal pumps. Influence of non-uniform blade cascade is investigated on the impeller and diffuser. A non-uniform blading impeller of pumps in this doctoral thesis was examined in terms of influence on efficiency characteristic. The idea of using non-uniform blading is to obtain a flat efficiency characteristic. Then the centrifugal pump could be used on larger scale of power with achieving a sufficiently high efficiency. The work is based on experimental measurements and numerical simulations of non-uniform hydraulic pump components. Non-uniform impeller and the diffuser were newly designed for this research. A new measuring track of small submersible pumps was needed to design and build for measurements. Different pump combinations with conventional hydraulics on one working point and hydraulics with non-uniform were measured. All measurements were evaluated and characteristics of efficiency, head and power were obtained for each measured combination. Some of pump combinations (which were measured in experiment) were numerically simulated by program Ansys Fluent. Data needed to evaluate the characteristic of efficiency and specific energy were collected from each numerical simulation. A theoretical consideration concerns the influence of non-uniform blade cascade applied on diffuser. The suggestion how to decrease hydraulic losses in canals was done. The theoretical consideration how to make a flat efficiency characteristic was made.
|
|
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.
|
|
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.
|
|
Consumption of fiber in old age
ŠÁLEK, Jan
The theme of this bachelor thesis is the Consumption of fiber in the old age (seniors). Formerly, the dietary fiber was considered unnecessarily burdensome for human organism. Later, it was found that it has a relatively large impact on human health, especially by serving as a prebiotic for symbiotic bacteria inhabiting the gastrointestinal tract. There is still prevailing opinion that roughage divides into a soluble and insoluble, despite that some types of fiber cannot be definitely classified and placed into any of these groups because they have characteristics of both of them. The daily recommended dose is 30 g. The qualitative research was used for elaboration of the practical part. The first goal was to find out how much fiber seniors consume. The second aim was to compare the consumption of fiber among elderly people living alone and the elderly living in retirement homes built for them. The research group, at the first research question, consists of 20 seniors from the Southern Region aged over 65 years. The research group, at the second research question, consists of five retirement homes from the whole Czech Republic. All respondents were given a record sheet for one week, and instructions on how to fill it. Acquired menus were subsequently re-calculated through the program "Nutriservis Professional". The results show higher consumption of fiber than the average in the Czech Republic, but there is still almost a half missing to get the recommended daily dose. There was observed BMI and its impact on the consumption of fiber. No significant effect was found, because overweight had all interviewees except one respondent. The financial limit is visible for evaluated diet of homes for the elderly, therefore, there are no whole grain products, vegetables and almost no fruit. Despite these limitations, the average consumption of fiber is almost equal to elderly people living alone. In conclusion, there is a proposition how to, despite the low funds, increase the intake of roughage, and avoid or, at least, reduce the problems associated with its low consumption. Recommendations for respondents are individual and given under each evaluation.
|
|
Patients satisfaction with the provided services. An important indicator of the quality of health care facilities.
MALANÍKOVÁ, Jana
My master's thesis which topic is "Satisfaction of patients with the services provided. An important indicator of quality of medical equipment " is mainly focused on satisfaction of patients with the services provided in the Hospital České Budějovice, a.s. Furthermore, the mapping focused on overall satisfaction with care in the already mentioned Hospital České Budějovice and on exploring whether patients evaluate the quality of information provided by a medical doctor in this hospital affirmatively and whether they are satisfied with care of local nurses. The satisfaction of patients is an important indicator of the quality of care provided, which has an impact on their status of basic human needs. One main purpose was determined: Monitoring the satisfaction of patients with the services provided in the Hospital České Budějovice, a.s. and this purpose was fulfilled. Quantitative research was executed, to its realization the interview method was used. By means of the technique of standardized anonymous questionnaires on the basis of the above-mentioned purpose,the 3 following hypothesis were verified: 1) Patients are satisfied with the overall care in the Hospital České Budějovice, a.s. 2) Interviewed patients evaluate the quality of information provided by a medical doctor in the Hospital České Budějovice, a.s. affirmatively 3) Interviewed patients are satisfied with the care of nurses in the Hospital České Budějovice, a.s. I processed the data to confirm or refute the pre-established hypotheses. The evaluation of the data was carried out using statistical nonparametric methods, Chi-square test and the chosen level of significance of p=0.05. The results of the research have been clearly processed into the tables and graphs. The program Microsoft Office Excel 2010 was used to process the results.
|
|
The use of new technologies in teaching mathematics
BUMBÁLEK, Roman
Modern information technologies accompany all of us in our daily life. They not only use to serve to our work and for the entertainment, they even have got a great potential to be used in the education. The submitted thesis deals with the appropriate utilization of the special IT application in the pedagogic process, especially in teaching of maths, the topic of trigonometric functions. The aim of this thesis is to create structures with a high potential of the modern technology handling. To tackle this task the graphical program GeoGebra was chosen due to its qualities for creating dynamic structures and the other advantages presented further in the thesis. To the created constructions the detailed instructions how they can be constructed are added. The thesis is also accompanied by worksheets with solved tasks, focusing on the application of trigonometric functions in real situations.
|
|
Computer aided verification and proving geometric theorems
CUKR, Pavel
The aim of this diploma thesis Computer aided verification and proving of geometric theorems is verification and proving of selected geometric theorems and statements using dynamic geometry software (GeoGebra) and computer algebra programs (CoCoA). Each problem is first demonstrated and verified in the GeoGebra program. Then classical proof and computer aided proof, or determination of the equation of a curve, using the program CoCoA follow. The use of dynamic geometry software and computer algebra programs is suitable as a teaching tool in maths lessons at primary and secondary schools.
|
|
Management of production populations of forest tree species utilizing methods of mathematical programing
Hořejší, Matouš ; Lstibůrek, Milan (advisor) ; Stejskal, Jan (referee)
Breeding of forest tree species is a great opportunity for the entire forestry sector to succeed in the present modern World. Genetically improved forest trees have much better growing quality and they can sustain higher stress and unfavorable climatic conditions.
Efficient algorithms are necessary for optimizing and establishing seed orchards. These should optimally select clones as parents in future seed orchards. In the present thesis, we developed model, based on mathematical programming methods, which creates mix of clones with the maximum breeding value and constraints on genetic diversity.
|
|
The Motivation as a Leadership
Mudruňka, Jan ; Horáková, Jana (advisor) ; Fiedler, Jiří (referee)
Abstract
This bachelor thesis deals with the topic of Motivation as a way of keeping people. In the theoretical part is through the help of key words a reader familiar with the concepts of manager, management the role, management functions, leadership, incentive mechanism, participation, motivation the program benefits.
After getting acquainted with these concepts, which are further developed and properly explained it is compiled by a questionnaire consisting of 13 questions dealing with motivation and benefits in the workplace. The questionnaire is submitted to the selected five managers. The three owners or co- owners private companies, the remaining two are employed in the public sector. With the questionnaire were brought to the attention of the three women and two men.
The individual answers have been commenting and at the end summarized into a single conclusion. From this conclusion it follows that the motivational processes and benefits in individual organisations are set up similarly and that the best motivator is financial reward, or the public praise. Furthermore, it was found: managers prefer individual approach to leadership, a good team and the pleasant environment of the employees want rather than some of the other motivators. Last but not least can from the responses of most managers sense that you may want a the personal development of the employees, but only in a given field. Part of the managers do not agree with the further education of employees due to concerns about competition.
The male part of the managers used a rather shorter sharper the answer to the question, the staff applies a rather authoritative way of leadership, while the female part of the managers was rather longer and more sentence. From the responses it is apparent that women apply to their employees rather democratic style of leadership.
Key words: Manager, managerial role, managerial functions, leadership, incentive mechanism, participation, incentive program, benefits
|