| |
| |
|
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.
|
|
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ů.
|
|
Exploitation of GPU in graphics and image processing algorithms
Jošth, Radovan ; Svoboda, David (referee) ; Trajtel,, Ľudovít (referee) ; Herout, Adam (advisor)
Táto práca popisuje niekoľko vybraných algoritmov, ktoré boli primárne vyvinuté pre CPU procesory, avšak vzhľadom k vysokému dopytu po ich vylepšeniach sme sa rozhodli ich využiť v prospech GPGPU (procesorov grafického adaptéra). Modifikácia týchto algoritmov bola zároveň cieľom nášho výskumu, ktorý bol prevedený pomocou CUDA rozhrania. Práca je členená podľa troch skupín algoritmov, ktorým sme sa venovali: detekcia objektov v reálnom čase, spektrálna analýza obrazu a detekcia čiar v reálnom čase. Pre výskum detekcie objektov v reálnom čase sme zvolili použitie LRD a LRP funkcií. Výskum spektrálnej analýzy obrazu bol prevedný pomocou PCA a NTF algoritmov. Pre potreby skúmania detekcie čiar v reálnom čase sme používali dva rôzne spôsoby modifikovanej akumulačnej schémy Houghovej transformácie. Pred samotnou časťou práce venujúcej sa konkrétnym algoritmom a predmetu skúmania, je v úvodných kapitolách, hneď po kapitole ozrejmujúcej dôvody skúmania vybranej problematiky, stručný prehľad architektúry GPU a GPGPU. Záverečné kapitoly sú zamerané na konkretizovanie vlastného prínosu autora, jeho zameranie, dosiahnuté výsledky a zvolený prístup k ich dosiahnutiu. Súčasťou výsledkov je niekoľko vyvinutých produktov.
|
|
Test Application Methodology Based On the Identification of Testable blocks
Herrman, Tomáš ; Plíva, Zdeněk (referee) ; Racek, Stanislav (referee) ; Kotásek, Zdeněk (advisor)
The PhD thesis deals with the analysis of digital systems described on RT level. The methodology of data paths analysis is decribed, the data path controller analysis is not solved in the thesis. The methodology is built on the concept of Testable Block (TB) which allows to divide digital component to such segments which can be tested through their inputs/outputs, border registers and primary inputs/outputs are used for this purpose. As a result, lower number of registers is needed to be included into scan chain - border registers are the only ones which are scanned. The segmentation allows also to reduce the volume of test vectors, tests are generated for segments, not for the complete component. To identify TBs, two evolutionary algorithms are used, they operate on TB formal model which is also defined in the thesis.
|
|
The contributions of the sections (NACE-CZ) to the creation of gross value added
BEDNÁŘOVÁ, Monika
The aim of this thesis was to evaluate the contributions of the sections (NACE-CZ) to the creation of gross value added. The first part of this thesis described the theoretical concepts relating to national economic gross value added. Analytical processes were used for the calculations, which may be used only if we are dealing with an additive link between individual factors. The sections' contributions to the creation of national eco-nomic gross value added were evaluated in the practical part, on the basis of the proc-esses set forth in the methodology. In the given time horizon, contributions by institu-tional sectors and groups of sections classified according to the level of technology showed a certain dependency on the actual economic cycle. Although the strongest in-stitutional sector is non-financial enterprises, they were the ones most affected during the crisis period, together with government institutions. On the contrary, the financial institution sector showed a strong position during the crisis period. In terms of the grouping of the sections according to the level of technology, the greatest contribution to national economic gross value added is by groups B1 and B2. The influence of the economic cycle was noted in all the groups but, according to the results, group C did not react quite as sensitively as the other groups.
|
|
Methodology of the Cooperation between the Director and Actor and Contermporary Theater Practice
Glogrová, Kateřina ; BURIAN, Jan (advisor) ; HRBEK, Daniel (referee)
The thesis deals with the cooperation between the director and actor during individual phases of the staging process as they appear in everyday theatre life. The indiviual phases of the staging process are supplemented by the author's own experience with managing the actors, which she gained especially in the course of her studies at the Drama Faculty of AMU. The second part of the thesis investigates the issues of inner truthfulness and the possibilities of its achievement within the production of a play. As a part of collecting the material for the thesis, the author conducted a research, which included interviews with three professional directors - Hana Burešová, Ladislav Smoček and Štěpán Pácl, whose methods of work are described. In the final part of the thesis the author states that it is difficult to draw general conclusions about the cooperation between the director and actor because it is always of subjective nature. The issue of inner truthfulness is similarly difficult to generalise. Due to the multiplicity of options, however, neither of them loses attractiveness for further research.
|
|
Political competition in local governments and public procurement
Palguta, Ján
Municipalities in the Czech Republic manage 23.9% of the total public expenditure (approximately 10% of the GDP), with approximately half of these funds redistributed through public procurement. This is a very significant amount of public resources that should be given due attention. This analysis demonstrates that the composition of municipal governments significantly influences the process of public procurement. Our methodology allows to interpreting the estimated relationships as causal, rather than as mere correlations.
|
|
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.
|
guest ::
