|
Retargetable Analysis of Machine Code
Křoustek, Jakub ; Janoušek, Jan (referee) ; Návrat,, Pavol (referee) ; Kolář, Dušan (advisor)
Analýza softwaru je metodologie, jejímž účelem je analyzovat chování daného programu. Jednotlivé metody této analýzy je možné využít i v dalších oborech, jako je zpětné inženýrství, migrace kódu apod. V této práci se zaměříme na analýzu strojového kódu, na zjištění nedostatků existujících metod a na návrh metod nových, které umožní rychlou a přesnou rekonfigurovatelnou analýzu kódu (tj. budou nezávislé na konkrétní cílové platformě). Zkoumány budou dva typy analýz - dynamická (tj. analýza za běhu aplikace) a statická (tj. analýza aplikace bez jejího spuštění). Přínos této práce v rámci dynamické analýzy je realizován jako rekonfigurovatelný ladicí nástroj a dále jako dva typy tzv. rekonfigurovatelného translátovaného simulátoru. Přínos v rámci statické analýzy spočívá v navržení a implementování rekonfigurovatelného zpětného překladače, který slouží pro transformaci strojového kódu zpět do vysokoúrovňové reprezentace. Všechny tyto nástroje jsou založeny na nových metodách navržených autorem této práce. Na základě experimentálních výsledků a ohlasů od uživatelů je možné usuzovat, že tyto nástroje jsou plně srovnatelné s existujícími (komerčními) nástroji a nezřídka dosahují i lepších výsledků.
|
|
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ů.
|
|
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.
|
|
Acceleration Methods for Evolutionary Design of Digital Circuits
Vašíček, Zdeněk ; Miller, Julian (referee) ; Zelinka,, Ivan (referee) ; Sekanina, Lukáš (advisor)
Ačkoliv můžeme v literatuře nalézt řadu příkladů prezentujících evoluční návrh jakožto zajímavou a slibnou alternativu k tradičním návrhovým technikám používaným v oblasti číslicových obvodů, praktické nasazení je často problematické zejména v důsledku tzv. problému škálovatelnosti, který se projevuje např. tak, že evoluční algoritmus je schopen poskytovat uspokojivé výsledky pouze pro malé instance řešeného problému. Vážný problém představuje tzv. problém škálovatelnosti evaluace fitness funkce, který je markantní zejména v oblasti syntézy kombinačních obvodů, kde doba potřebná pro ohodnocení kandidátního řešení typicky roste exponenciálně se zvyšujícím se počtem primárních vstupů. Tato disertační práce se zabývá návrhem několika metod umožňujících redukovat problem škálovatelnosti evaluace v oblasti evolučního návrhu a optimalizace číslicových systémů. Cílem je pomocí několika případových studií ukázat, že s využitím vhodných akceleračních technik jsou evoluční techniky schopny automaticky navrhovat inovativní/kompetitivní řešení praktických problémů. Aby bylo možné redukovat problém škálovatelnosti v oblasti evolučního návrhu číslicových filtrů, byl navržen doménově specifický akcelerátor na bázi FPGA. Tato problematika reprezentuje případ, kdy je nutné ohodnotit velké množství trénovacích dat a současně provést mnoho generací. Pomocí navrženého akcelerátoru se podařilo objevit efektivní implementace různých nelineárních obrazových filtrů. S využitím evolučně navržených filtrů byl vytvořen robustní nelineární filtr implusního šumu, který je chráněn užitným vzorem. Navržený filtr vykazuje v porovnání s konvenčními řešeními vysokou kvalitu filtrace a nízkou implementační cenu. Spojením evolučního návrhu a technik známých z oblasti formální verifikace se podařilo vytvořit systém umožňující výrazně redukovat problém škálovatelnosti evoluční syntézy kombinačních obvodů na úrovni hradel. Navržená metoda dovoluje produkovat komplexní a přesto kvalitní řešení, která jsou schopna konkurovat komerčním nástrojům pro logickou syntézu. Navržený algoritmus byl experimentálně ověřen na sadě několika benchmarkových obvodů včetně tzv. obtížně syntetizovatelných obvodů, kde dosahoval v průměru o 25% lepších výsledků než dostupné akademické i komerční nástroje. Poslední doménou, kterou se práce zabývá, je akcelerace evolučního návrhu lineárních systémů. Na příkladu evolučního návrhu násobiček s vícenásobnými konstantními koeficienty bylo ukázáno, že čas potřebný k evaluaci kandidátního řešení lze výrazně redukovat (defacto na ohodocení jediného testovacího vektoru), je-li brán v potaz charakter řešeného problému (v tomto případě linearita).
|
|
HUMAN ACTION RECOGNITION IN VIDEO
Řezníček, Ivo ; Baláž, Teodor (referee) ; Sojka, Eduard (referee) ; Zemčík, Pavel (advisor)
Tato disertační práce se zabývá vylepšením systémů pro rozpoznávání činností člověka. Současný stav vědění v této oblasti jest prezentován. Toto zahrnuje způsoby získávání digitálních obrazů a videí společně se způsoby reprezentace těchto entit za použití počítače. Dále jest prezentováno jak jsou použity extraktory příznakových vektorů a extraktory pros- torově-časových příznakových vektorů a způsoby přípravy těchto dat pro další zpracování. Příkladem následného zpracování jsou klasifikační metody. Pro zpracování se obecně obvykle používají části videa s proměnlivou délkou. Hlavní přínos této práce je vyřčená hypotéza o optimální délce analýzy video sekvence, kdy kvalita řešení je porovnatelná s řešením bez restrikce délky videosekvence. Algoritmus pro ověření této hypotézy jest navržen, implementován a otestován. Hypotéza byla experimentálně ověřena za použití tohoto algoritmu. Při hledání optimální délky bylo též dosaženo jistého zlepšení kvality klasifikace. Experimenty, výsledky a budoucí využití této práce jsou taktéž prezentovány.
|
|
Human and social capital in primary education
KOKŠTEIN, Jiří
The thesis contains a theoretical insight into the studies that the issue of human and social capital involved from different perspectives, engage their evolution over time, their measurability, examine them, and complemented with other evidence. This part contains relation of human and social capital in relation to the aging of the human population and focuses on the human capital of older workers. Theoretical study ends with an insight into the basic education, the role of teacher and seeks to provide information on surveys already conducted in the area of education, which in the application of serve for me compared to the data obtained from the survey. The application part is focused on the teaching staff of primary schools. Education in currently globalized world, changing not only its content but also methods and forms of work. Irreplaceable role in this process is played by educators. To meet all the demands placed on them, it is essential that they pay close attention to their continuing education and sharing of acquired education, which is essential to the growth of human and social capital, because they are interacting. The work examines selected sample of teachers and approaches to this issue by detecting what is education motivates them whether they are satisfied with the benefits of educational events, what type of education they prefer etc. Working findings further analyzes looking for relationships between age and sex educators according to the hypotheses . Educator is someone who is in constant contact with other people. This of course also formalizes its attitudes and experiences. As a human being perceives the views of society and shapes on her own views, which it subsequently may influence the exercise of his profession. Therefore, in this part of the thesis is dedicated to exploring and bridging social capital, which determines the size of the circle of people with whom the teachers generally meet and interact. The last research that is possible to find thesis, it is perceptions of social status of teachers by themselves.
|
|
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.
|
|
The Use of the Addictive Drugs by the Seniors
KOPAČKOVÁ, Dominika
The bachelor thesis deals with using addictive substances by senior citizens. The age cathegoty 60+ should not be omitted when speaking of using addictive substances. Even senior citizens are users of some addictive substances, especially drugs. The thesis is divided into two parts, theoretical and explorative one. There are four chapters in the theoretical part (Old age and ageing, Substance addiction, Addictive substances and their classification, Usage of addictive substances in the old age) and summarizes the knowledge from recent literature about this topic. First, the old age and ageing are described. This chapter deals with ageing and old age of the human. This work describes the right mental hygiene, too. Multi-factorial manifestation of the old age (biological, psychological and social) is mentioned as well. In the second chapter there are described the factors that increase probability of the addiction origin. These factors can be genetic, biological, and psychological. There are mentioned some system models of the formation, development and maintenance of addiction, dependence and definition of the signs that addiction manifests. The third chapter divides addictive substances between legal and illegal. There are their effects, impacts on the human organism decribed. The group of legal addictive substances are included tobacco, alcohol, drugs and certain foods. Illegal substances represented here by cannabis, hallucinogens, stimulants, opiates. The last fourth chapter focuses directly on the addictive behaviour of the senior citizens. Seniors are also users of substances with addictive potential. At first alcoholism is mapped, other chapters devote addiction to nicotine, drugs and narcotics. The main goal of the thesis is to determine whether seniors use an addictive substance. A partial goal of is to find out the extent and cause of using addictive substances by the senior population. To find out these goals there were used the principles of quantitive research. To collect the data there were used questionnaires, created all by the author. The questionnaires were created with open and closed questiones and used in the printed form. The research has been conducted in Sušice and its close surroundings in February 2015. Respondents were the people with the least age limit of 70 years. These were 40 people living in their households or home for elderly. The results show that also amongst senior citizens can be found those ones who use the addictive substances. Current problem are by the doctor prescribed drugs. Today´s senior citizen uses drugs regularly, very often also combination of more drugs. Seniors often use medication to relieve the pain because the pain occurs more frequently. They use drugs to help them sleep better, too. The next group of addictive substances, which this chapter deals with, are drugs with a shoothing effect. There are smokers between the senior citizens who bare this bad habit from their midlife. Some research shows that cannabis helps people with Parkinson's and Alzheimer´s disease. Seniors do not use cannabis for these purposes because it is not legal. Alcohol is drunk by older people on occassion, on the other hand there are also people who drink such an amount that is not considered as not-risky. Seniors do not drink so much on one occasion, compared to the young generation. In the thesis this problem is described more detailed. Results of the research can be used by lay public to understand issues of addictive substances better. This thesis can be source of information for students of healt-social fields of study and it can improve the awareness about reasons of using addictive substances amongs senior citizens.
|
|
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.
|
guest ::
