|
Analysis and Testing of Concurrent Programs
Letko, Zdeněk ; Lourenco, Joao (referee) ; Sekanina, Lukáš (referee) ; Vojnar, Tomáš (advisor)
V disertační práci je nejprve uvedena taxonomie chyb v souběžném zpracování dat a přehled technik pro jejich dynamickou detekci. Následně jsou navrženy nové metriky pro měření synchronizace a souběžného chování programů společně s metodologií jejich odvozování. Tyto techniky se zejména uplatní v testování využívajícím techniky prohledávání prostoru a v saturačním testování. Práce dále představuje novou heuristiku vkládání šumu, jejímž cílem je maximalizace proložení instrukcí pozorovaných během testování. Tato heuristika je porovnána s již existujícími heuristikami na několika testech. Výsledky ukazují, že nová heuristika překonává ty existující v určitých případech. Nakonec práce představuje inovativní aplikaci stochastických optimalizačních algoritmů v procesu testování vícevláknových aplikací. Principem metody je hledání vhodných kombinací parametrů testů a metod vkládání šumu. Tato metoda byla prototypově implementována a otestována na množině testovacích příkladů. Výsledky ukazují, že metoda má potenciál vyznamně vylepšit testování vícevláknových programů.
|
|
One-Sided Random Context Grammars
Zemek, Petr ; Černá, Ivana (referee) ; Doc. In.g Petr Sosík, Dr. (referee) ; Meduna, Alexandr (advisor)
Tato disertační práce zavádí jednostranné gramatiky s nahodilým kontextem jako řízené gramatiky založené na bezkontextových gramatikách. V těchto gramatikách je ke každému pravidlu přiřazena množina povolujících symbolů a množina zakazujících symbolů a množina pravidel je rozdělena na množinu levých pravidel s nahodilým kontextem a množinu pravých pravidel s nahodilým kontextem . Levým pravidlem s nahodilým kontextem lze přepsat neterminál pokud se všechny povolující symboly vyskytují vlevo od přepisovaného neterminálu a žádný zakazující symbol tam přítomen není. Pravé pravidlo s nahodilým kontextem lze aplikovat analogicky, ale ona kontrola na přítomnost a nepřítomnost symbolů je provedena doprava od přepisovaného neterminálu. Práce je rozdělena na tři části. První část uvádí motivaci za zavedením jednostranných gramatik s nahodilým kontextem a umisťuje materiál pokrytý v této práci do vědeckého kontextu. Poté dává přehled základů teorie formálních jazyků a některých méně známých oblastí, jejichž znalost je nutná pro pochopení studovaného tématu. Druhá část tvoří jádro práce. Formálně definuje jednostranné gramatiky s nahodilým kontextem a studuje je z mnoha pohledů. Mezi studovaná témata patří generativní síla, vztah k jiným typům gramatik, redukce, normální formy, nejlevější derivace, zobecněné a LL verze těchto gramatiky. Třetí část této práce zakončuje diskusi několika poznámkami. Mezi ně patří poznámky týkající se aplikovatelnosti zavedených gramatik v praxi, bibliografie a otevřených problémů.
|
|
Identification opportunities for the selected company
FEIKLOVÁ, Michaela
The main aim of this Diploma thesis called "Identification opportunities for the selected company" is to identify the opportunities on market and to provide possible solutions how to use these opportunities. The Diploma thesis is divided into two main parts. First part is a literature overview that should give the reader the basic knowledge and understanding of the topic. Where the information was gained by studying different sources related to the main aim of the thesis. Second part is the analytical part of the thesis. Different analysis has been chosen to support the work. The marketing situation analysis was used and included the analysis of the macroenvironment (the STEP analysis), the microenvironment, market and sales. This analysis was followed by the analysis of part of the external environment (Porter's model of five competitive forces). The last part of the analytical part is focused on the internal analysis. The human resources, finance, sales and products were analysed. The findings from the analytical chapter were used for the final SWOT analysis.
|
|
Database design for connecting SAP as a data source for a Web application
MARHOUN, Lukáš
The thesis deals with connecting SAP ERP system via local database system MS SQL Server using the tools SAP BI, data synchronization between systems and advanced usage of T-SQL language for preparing data for web applications and reports written in PHP. The thesis contains a brief overview of the SAP system and the possibility of connecting to the SAP system. The general principles of described solution can be used in conjunction with other systems and programming languages.
|
|
Biotechnology in the world and the Czech lands
Pěknicová, Jana
Biotechnology in the world and the Czech lands Biotechnology is any technology that uses biological systems, living organisms, or parts of a particular production or their conversion or other specific applications. The lecture should show a brief overview of the biotechnology industry in the world, in the Czech lands, in the Institute of Biotechnology CAS, v. v. i., and in the project BIOCEV: 1. Biotechnology in the world • Beginning of biotechnologies • Milestones • Application in medicine • Gene therapy • Genetic modification (science, agriculture, industry) 2. Biotechnology in the Czech lands • Czech biotechnology: milestones 3. Institute of Biotechnology CAS, v. v. i. • Research and outputs into practice 4. BIOCEV – Biotechnological and Biomedicine Centre of the Academy of Sciences and Charles University in Vestec Establishment of centre of excellence as part of the European scientific area guaranteeing the development of modern biotechnology and medicine.
|
|
Role and competences of the nurse in compared with Czech Republic and Namibia
KLYNCYPAROVÁ, Hana
Theoretical grounds The nursing profession among the professions and mission. Job nurse is one of very important professions. Nurse is an independent worker who has an irreplaceable role in the provision of care. In practice, certain roles, such as the role of a caregiver, the educationalist, communicator, the role of the lawyer, consultant, person, who brings the change, manager and researcher. These roles are constantly interacting and are interconnected. Health care has multidisciplinary and multiprofessional character. Although each of these professions contribute to care in a unique way, all share certain skills that are necessary to ensure the quality of care. Over the years there have been increasing professional skills and increase competencies. Expanded the range of services for which they previously did not have the competence or sisters had a written authorization of a doctor. This work is made up of theoretical and empirical part. The theoretical part provides an overview and information on the field of nursing and its history, dealing with the care system and education system in the Czech Republic and Namibia. The following list of findings roles and their importance in the nursing profession. The last part deals with the competencies of nurses in both countries. The aim of the thesis: The aim of the study was to determine the roles and responsibilities of nurses in the Czech Republic and Namibia. To to obtain this information were chosen research question what role nurses advocate in the Czech Republic and Namibia, and what are nurses in the Czech Republic and Namibia competence. Methods: To ensure the necessary data and information was chosen qualitative research through deep interviews. Nurses who were interviewed were from a hospital in the Czech Republic and nurses from hospitals in Namibia Keetmanshoop. All interviews were recorded on a Dictaphone andwritten down on the paper. Results: Recorded interviews were analyzed after writing down, we were using paper and pencil methods. Dialogs were openly coded. The analysis of these data arose following categories: the role of caregivers, the role of the teacher, communicator, the lawyer's role, the role of counselor, role of person who brings the change, the role of leader, manager's role, the role of researcher and categories of competence. Individual categories were assigned to subcategories. All informationwere are illustrated by clear diagrams of the individual categories. Conclusion: The Research shows that nurses have a general maintenance of the roles and competencies, actually both of sides, Namibia and Czech Republic also. both groups were mostly able to define roles in nursing care. Surprisingly czech nurses most failed in the role of the Advocate, while African colleague have proven to be very informed. Research also showed negative effect of paperwork and administration in czech system. Nurses having feeling they do not provide active care as they would be able to. Czech nurses seems also low initiative and ambitious, Czech nurses do not desire for increasing competence on the other hand African nurses, who have more competencies, want still more, than they already have.
|
|
Experiences of health workers with acupressure
ROUBÍČKOVÁ, Radka
The abstract of the diploma thesis is focused on the acupressure and its influence of backache of medical staff. We chose the theme of acupressure because it is a non-invasive treatment method which can be practiced by everyone in the comfort of the home and no aid is necessary to have, just the basic knowledge and training how to perform acupressure. Acupressure is not physically or time consuming and that is why it is considered as a suitable means as an additional treatment of pain and other health disorders. It can improve nursing care. The theoretical part deals with pain and pain of medical staff who are the highest risk group of backache in the lumbar region. The backache is the most frequent cause of incapacity for work. Furthermore, in the theoretical part we deal with acupressure, one of the methods of alternative medicine. For the processing of the theoretical part, we used the available foreign and Czech literary sources. The empirical part of the diploma thesis is a quantitative method. The results obtained from the research were processed in the overview tables and case reports. For the thesis we set two research objectives. The first objective was to find out the experience of medical staff with acupressure. The second objective was to verify the influence of the techniques of acupressure for backache of medical staff. On the basis of the aim two hypotheses were created. The first hypothesis should show whether the backache will be softened by application of the acupressure techniques. The second one shows whether there is the difference in approach of nurses and doctors to perform acupressure.
|
|
A nursing issue: peripheral venous catheter
TOMÁNKOVÁ NOVÁKOVÁ, Monika
Peripheral venous catheter is used to access the venous system. It is one of the most commonly used invasive procedures in health care facilities. This procedure falls within the competence and daily tasks of nurses. Therefore this type of nursing care is susceptible to risk of proceeding routinely which might result in conscious or unconscious errors. Peripheral venous catheter needs to be introduced into the patient's vein in the following cases: planned parenteral nutrition, infusion or transfusion therapy, application of intravascular medication or contrast media, rehydration, blood sampling (which can be performed immediately after introducing the peripheral venous catheter and before administrating medication) and also during an emergency care for critically ill (such as cardiopulmonary resuscitation). Nurses should be as knowledgeable as possible about this issue so that the peripheral venous catheter can be introduced well and fulfil its purpose. It is important to ensure that nurses obtain all the necessary information about their patients before inserting the catheter and that they are able to properly inform the patients about the procedure and to communicate with them. Next, nurses should be familiar with the correct procedure for inserting catheters, they should be informed about possible contraindications and know how to choose the correct type of catheter as well as where to place it. Furthermore, nurses should care for this vascular access correctly and provide the patient with enough information about taking care of the catheter after the procedure. Finally, nurses should be aware of their own potential errors and also of possible complications. Therefore they should employ aseptic technique so that they can eliminate nosocomial infections. The thesis is divided into a theoretical and an empirical part. The theoretical part focuses on the history of peripheral venous catheters and their types, indications and contraindications, necessary equipment, nursing care, complications, etc. The empirical part consists of a research. The aim of the thesis was to map the use of peripheral venous catheters in hospitals as well as to identify factors that may lead to problems among the patients with peripheral venous catheters. Four research questions were assigned to these aims. 1. What is the procedure prior to inserting a peripheral venous catheter? 2. What are the standards of caring for patients with an inserted peripheral venous catheter? 3. In which steps of caring for peripheral venous catheters do the nurses lack knowledge? What equipment do the nurses prepare in order to insert a peripheral venous catheter? The Bachelor's thesis was conducted using a qualitative research survey. The methods of collecting data included semi-structured interviews and participant observations. The research was carried out only in one hospital ward and it was anonymous. First, the data were collected by means of a semi-structured interview. The nurses were asked 14 questions (see Appendix 8). During this interview, several more subquestions were added. The results of the interviews were then grouped into several categories for the sake of clarity. The second method of collecting data was participant observation. The observed facts were recorded into an observation sheet (see Appendix 9). The same nurses who were interviewed were also observed. This Bachelor's thesis has been written in order to provide a basic overview of the peripheral venous catheters. It could be used as an information source for more experienced as well as novice nurses. The practical output of this Bachelor's thesis is a nursing care standard concerning peripheral venous catheters. This standard was missing in the hospital ward and could help the nurses to take care of these vascular accesses, to proceed correctly and eliminate possible errors (see Appendix10).
|
|
Comparison of intercultural competences of nursing staff in the Czech Republic and German-speaking areas
TÝLEOVÁ, Tereza
The increasing migration of population in the 21 century causes development of multicultural societies. With the increasing number of foreigners in individual countries it is possible to also presume an increasing number of patients/clients from different cultures in medical facilities. These facts require modern attitude to nursing, developing of transcultural nursing, implementing multi- and transcultural education in the health care education and propagation of multicultural conception of nursing between the nursing personnel. The result of these necessary changes should be the ability to provide effective nursing care which is culturally adjusted to the patient/client that would also take their specifics, customs and traditions of their culture into account and that would saturate all their biological, psychological, social and spiritual needs according to their race, nationality or belief. This thesis deals with multicultural nursing and confronts cultural competence of the nursing staff in Czech Republic with that in German-speaking countries. This thesis aim is to state the level of multicultural competence of the nursing staff and explore conditions provided to the nursing personnel of the hospital for giving culturally adapted care to patients-foreigners. The results of the research give an overview of the state of culturally competent care in comparable medical facilities in Czech Republic, Germany, Austria and Switzerland. They will also give a feedback to the questioned hospitals. Such information may alert their management to possible lack of knowledge of their nursing personnel and help them direct its further education. The theoretical part of the theses defines the basic concepts regarding culture, ethnic groups, race or nation, formulates the difference between the terms "multicultural" and "transcultural" nursing, multicultural education and culturally competent care, compile the most common sections of specific cultural needs of the individuals. In short it also processes J. Campinha-Bacote's model of cultural competence in health care delivery, the Papadopoulos, Tilki and Taylor Model for developing cultural competence and the Purnell Model for cultural competence. It also shortly deals with nursing frameworks for acquiring cultural data, such as the Sunrise model from M. Leininger, the Giger and Davidhizar Transcultural assessment model and Bloch's ethnic/cultural assessment guide. The empirical part processes and evaluates data obtained during the quantitative research. The accumulation of the data was conducted through anonymous questionnaires that were distributed between the nursing personnel of internal and surgical wards of the hospitals in Czech Republic and in German-speaking countries. In Czech Republic these were hospitals in Prague and in Tábor, in Germany a hospital in Dortmund and one in Cottbus, in Austria the hospitals in Salzburg and in Weiz and in Switzerland a hospital in Aarau and one in St. Gallen. The collection of the data was conducted either on-line or by way of printed questionnaire forms. The acquired data were valorized and sorted into diagrams and tables for further clarity. From the respondent´s answers follows that the queried medical facilities in Czech Republic do not provide sufficient conditions for their workers to give culturally competent nursing care on such a level, as it is at the facilities questioned in the German-speaking areas. The results also show that language skills of the nursing personnel in these hospitals in Czech Republic are worse than those in the German-speaking countries. With the level of multicultural competence the situation is similar; in this field Czech nursing personnel does not match their foreign counterpart. It is necessary to remark that this research sample of two hospitals from each of the countries is insufficient for the results to be applied on the whole Czech Republic or German speaking countries.
|
|
Economics of Snails Breeding
Šesták, Marek ; Maier, Tomáš (advisor)
Thesis on "Economics of Snails Breeding" deals with the establishment and further development of family farm. The theoretical part is focused on getting an overview about the possibilities of farming in our conditions, requirements for nutrition and sales. The practical part is focused on a selected farm, the financial analysis and the conclusion will be proposed measures to improve its economic performance.
|