|
| |
|
|
Statická analýza v nástroji Meta Infer zaměřená na detekci souběhu nad daty
Svobodová, Lucie ; Fiedor, Jan (referee) ; Vojnar, Tomáš (advisor)
Vícevláknové programy jsou v moderních softwarových systémech využívány ke zlepšení výkonu a zvýšení efektivity. Zajištění spolehlivosti a bezpečnosti takových programů však může být náročné kvůli zvýšenému množství chyb, které se v nich vyskytují, včetně souběhu nad daty. V této práci představujeme nový statický detektor souběhu nad daty, DarC, navržený k analýze programů napsaných v jazyce C využívajících knihovnu Pthreads. Navrhovaný nástroj byl implementován jako zásuvný modul prostředí Meta Infer, což je nástroj pro statickou analýzu programů, který klade důraz na kompoziční, inkrementální a díky tomu i vysoce škálující analýzu programů. Nový analyzátor zaznamenává množinu přístupů ke sdíleným proměnným, ke kterým v analyzovaném programu došlo, spolu s informací o množině zámků uzamknutých při jednotlivých přístupech. Množina přístupů je dále použita k identifikaci dvojic přístupů, mezi nimiž by k souběhu nad daty mohlo dojít. Nástroj byl úspěšně ověřen na sadě testovacích vícevláknových programů, stejně tak jako na několika programech běžně využívaných v praxi, čímž byl ukázán jeho potenciál pro efektivní detekci souběhu nad daty v programech napsaných v programovacím jazyce C.
|
|
|
Biologický rozložitelné materiály a jejich vliv na odpadové hospodářství
Svobodová, Lucie
This bachelor thesis deals with biodegradable materials. It describes intensity of material degradability, characterizes and describes use of materials in various sectors. Methods of processing, using and disposing of biodegradable waste are described at the end of the theoretical part. The practical part deals with experiment, that was made on community composting in Boskovice. The aim of this experiment was to check information, guaranteeing one hundred percent biodegradability, which was printed on the label of fungus wipes. Eight samples were chosen from four producers. These samples were deposited in the compost heap for twelve weeks. The result was one hundred percent degradation for all examined samples, where just one sample showed traces of yellow dye before immersion into water with the purpose of cleaning from the compost residue.
|
|
|
The Influence of the Gothic Novel and the Question of Identity in the Stories of Harry Potter
SVOBODOVÁ, Lucie
This thesis observes the influence of the English Gothic novel in Harry Potter stories. Primarily, it deals with the question of identity of the chosen heroes and its interpretation in the context of the Gothic tradition. The crucial themes of this work are the feelings of uncertainty and fear of the unknown, the search for the personal identity and the meaning of existence. This thesis also focuses on the psychological characteristics of the heroes and the meaning of the background they come from. There is also a brief summary of the authors and the works that influenced J. K. Rowling's writing. The theoretical essay about the Gothic novel and fairy-tales can be found there as well.
|
|
| |
|
|
The level of the adaptation process in general at intensive care units
Aksteinerová, Monika ; Marsová, Jana (advisor) ; Svobodová, Lucie (referee)
The Graduation Thesis deals with the topic of the adaptation process of general nurses at intensive coronary care units. Through the research, we ask whether the level of the adaptation process and its duration is long enough to get nurses fully involved in the procedure. In the theoretical part, we work with the essence of the adaptation process. In particular, we analyse the nurse training process in the course of their adaptation in a new workplace. We look into issues related to the integration process management, from the view of the object and the subject as well. In addition, we pay attention to clinical practice tutors, their education and their roles - to teach, to convey and to assist. As regards the practical part of the Thesis, we have applied a quantitative research methodology. In the empirical part, we have set partial objectives and hypotheses to be confirmed or rejected through inquiry. The aim of the distribution of non-standardised questionnaires among new nurses in intensive coronary care units is to find out how their adaptation process is running, and to what degree they are satisfied with the adaptation process within the selected medical centres in Prague. We had chosen intensive coronary care units of the same type of nursing to avoid inaccuracy in terms of the interpretation of the...
|
|
| |
|
|
Men and their lifeworld in beer advertisements
Svobodová, Lucie ; Lupač, Petr (advisor) ; Vinopal, Jiří (referee)
This thesis deals with the widely discussed topic of gender stereotypes. Most of the attention of experts and also the general public in this area is focused on the issues of stereotypes associated with women's roles. This work attempts to inspect the other - the men's - side of gender stereotypes. The aim is to reconstruct the male stereotypes and their lifeworld in commercials which from this perspective focus on perhaps still typically masculine product: beer. The presence of traditional stereotypes of male and female roles is observed at the same time. The research problem is solved through a content analysis of beer advertisements and reconstruction of the lifeworld of men in them.
|
|
|
Differentiation in school curriculum at primary school
Svobodová, Lucie ; Hejlová, Helena (advisor) ; Tomková, Anna (referee)
The thesis is focused on differentiation in school curriculum at primary schools. Its aim is to describe the conditions and schemes of differentiation in school curriculum at selected primary schools in Prague and to confirm if and how they are fullfilled in the classes. It is focused mainly on care for the groups of children to whom differentiation is highly recommended. These are children with specific educational needs and talented children. The practical part of the thesis presents results of qualitative research in casuistries of selected Prague primary schools, their school curriculum and practical use of the differentiation of education in their classes. The casuistries contain descriptions of functional and tested models of individualization and differentiation at these schools. Of organizational structures (as they are described in theory) combinations of these are used most often: intrinsic differentiation (in common classes) - individually or in groups (sometimes with pedagogical assistant) and group extrinsic differentiation, that is formed as special care for children either with specific educational needs or talented children. Key words: differentiation, individualization, talented child, school curriculum, child with specific educational needs
|
|
| |
guest ::
RSS feed.