|
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.
|
|
Packet Classification Algorithms
Puš, Viktor ; Lhotka,, Ladislav (referee) ; Dvořák, Václav (advisor)
Tato práce se zabývá klasifikací paketů v počítačových sítích. Klasifikace paketů je klíčovou úlohou mnoha síťových zařízení, především paketových filtrů - firewallů. Práce se tedy týká oblasti počítačové bezpečnosti. Práce je zaměřena na vysokorychlostní sítě s přenosovou rychlostí 100 Gb/s a více. V těchto případech nelze použít pro klasifikaci obecné procesory, které svým výkonem zdaleka nevyhovují požadavkům na rychlost. Proto se využívají specializované technické prostředky, především obvody ASIC a FPGA. Neméně důležitý je také samotný algoritmus klasifikace. Existuje mnoho algoritmů klasifikace paketů předpokládajících hardwarovou implementaci, přesto však tyto přístupy nejsou připraveny pro velmi rychlé sítě. Dizertační práce se proto zabývá návrhem nových algoritmů klasifikace paketů se zaměřením na vysokorychlostní implementaci ve specializovaném hardware. Je navržen algoritmus, který dělí problém klasifikace na jednodušší podproblémy. Prvním krokem je operace vyhledání nejdelšího shodného prefixu, používaná také při směrování paketů v IP sítích. Tato práce předpokládá využití některého existujícího přístupu, neboť již byly prezentovány algoritmy s dostatečnou rychlostí. Následujícím krokem je mapování nalezených prefixů na číslo pravidla. V této části práce přináší vylepšení využitím na míru vytvořené hashovací funkce. Díky použití hashovací funkce lze mapování provést v konstantním čase a využít při tom pouze jednu paměť s úzkým datovým rozhraním. Rychlost tohoto algoritmu lze určit analyticky a nezávisí na počtu pravidel ani na charakteru síťového provozu. S využitím dostupných součástek lze dosáhnout propustnosti 266 milionů paketů za sekundu. Následující tři algoritmy uvedené v této práci snižují paměťové nároky prvního algoritmu, aniž by ovlivňovaly rychlost. Druhý algoritmus snižuje velikost paměti o 11 % až 96 % v závislosti na sadě pravidel. Nevýhodu nízké stability odstraňuje třetí algoritmus, který v porovnání s prvním zmenšuje paměťové nároky o 31 % až 84 %. Čtvrtý algoritmus kombinuje třetí algoritmus se starším přístupem a díky využití několika technik zmenšuje paměťové nároky o 73 % až 99 %.
|
|
Location-aware data transfers scheduling for distributed virtual walkthrough applications.
Přibyl, Jaroslav ; Sochor, Jiří (referee) ; Sojka, Eduard (referee) ; Zemčík, Pavel (advisor)
Důležitou součástí aplikací procházení distribuovanou virtuální scénou je proces plánování přenosu dat. Jeho hlavním úkolem je zajištění efektivního přenosu dat a maximální kvality renderovaného obrazu. Největší vliv na kvalitu renderované scény mají omezení síťového připojení. Tyto omezení lze redukovat pomocí multi-resolution reprezentace dat scény, určováním priorit stahování jednotlivých částí scény, a přednačítáním dat. Pokročilé metody pro určování priorit a přednačítání částí scény jsou založeny na predikci pohybu uživatele vycházející z matematického popisu jeho pohybu. Tyto metody jsou schopny predikovat následující pozici uživatele jen v krátké vzdálenosti od jeho aktuální polohy. V případě náhlých, ale pravidelných změn směru pohybu uživatele jsou tyto metody nedostatečné co do přesnosti i délky predikce. V této práci je navrhnut komplexní přístup k řešení plánování přenosu dat splňující i tyto požadavky. Navrhované řešení využívá predikci pohybu uživatele založenou na znalostech k určení priority stahování dat i předstahování částí scény. Provedené experimenty nad testovacími daty ukazují, že navržené schéma plánování přenosu dat umožňuje dosažení vyšší efektivity přenosu dat a vyšší kvality renderovaného obrazu během průchodu testovací scénou.
|
|
Security of Biometric Systems
Lodrová, Dana ; Busch, Christoph (referee) ; Provazník, Ivo (referee) ; Drahanský, Martin (advisor)
Hlavním přínosem této práce jsou dva nové přístupy pro zvýšení bezpečnosti biometrických systémů založených na rozpoznávání podle otisků prstů. První přístup je z oblasti testování živosti a znemožňuje použití různých typů falešných otisků prstů a jiných metod oklamání senzoru v průběhu procesu snímání otisků. Tento patentovaný přístup je založen na změně barvy a šířky papilárních linií vlivem přitlačení prstu na skleněný podklad. Výsledná jednotka pro testování živosti může být integrována do optických senzorů. Druhý přístup je z oblasti standardizace a zvyšuje bezpečnost a interoperabilitu procesů extrakce markantů a porovnání. Pro tyto účely jsem vytvořila metodologii, která stanovuje míry sémantické shody pro extraktory markantů otisků prstů. Markanty nalezené testovanými extraktory jsou porovnávány oproti Ground-Truth markantům získaným pomocí shlukování dat poskytnutých daktyloskopickými experty. Tato navrhovaná metodologie je zahrnuta v navrhovaném dodatku k normě ISO/IEC 29109-2 (Amd. 2 WD4).
|
|
Právní a zdravotně sociální aspekty činnosti OSPOD jako ustanovených opatrovníků v zámu nezletilých dětí
BORSKÁ, Jana
The Czech Republic as a signatory of the Convention on the Rights of the Child has vested the practice of state administration in the field of care for minor children to municipalities with extended powers, where the protection of the rights and legitimate interests of minor children is safeguarded by state authorities of social and legal protection of children (ASLPC hereinafter). These authorities are incorporated to the extent laid down by the Act on Social and Legal Protection of Children (Act No 359/1999 Coll., as amended). The position and roles of ASLPC and their competence and jurisdiction are also regulated by the same act. The position of workers of these authorities and its legal embodiment is equally important. Regarding professionality, there are high demands on these workers. In the Czech Republic, significant changes in legislature have been made over the past three years. These amendments have led to the strengthening of the rights of minor children and to the establishing of new tools for their protection. In connection with the adoption of new substantive regulation of family law, which is now exhaustively dealt with by the Act No 89/2012 Coll., the Civil Code, new procedural rules have been established regarding protection of rights of minor children. Such procedural legislation includes (apart from the long-existent Act No. 99/1963, the Code of Civil Procedure) the Act No 292/2013 Coll., on Special Civil Proceedings. The decision-making regarding minor children has been vested mainly by the state into the competence of courts. The courts appoint the locally relevant ASLPC as a guardian who then represents the interests of minor children. The purpose, interwoven with and derived from the first one, was to explore the opinions of selected social workers of ASLPC and of district court judges regarding the defined problems occurring during the work of ASLPCs and courts while protecting the interests of minor children. These particularly include: the use of the tool of precautionary measure; problems of different territorial jurisdiction of courts and ASLPCs; processing of complaints regarding bias in various phases of the proceedings; professional training of workers of ASLPC It is evident from the proposals of both judges and ASLPC workers that it is necessary to unify territorial jurisdiction. The courts are suggesting the priority criterion of the address where the child mainly resides. ASLPC workers suggest the official permanent residence as the prime criterion. Bias causes problems in all phases of proceedings. It is obvious that courts take differing approaches towards the solution of this problem (some courts solve the problem of bias complaints filed by the parties while other courts do not) and for ASLPC workers it is difficult to assess how to act when such complaint is raised against them. The training of ASLPC workers - workers are obliged to educate themselves and their employer is obliged to finance such training. Not all ASLPCs are able to provide training in the required extent - due to financial reasons (the average costs of education of one employee pose from 9,169 to 13,400 CZK annually and they cover approximately 6 days of training). The heavy work-load caused by insufficient numbers of ASLPC employees prevents them from completing such compulsory training. As part of the examination of the "participation of a collision guardian in court proceedings" it has been found out that irregular participation of the worker in the proceedings (absence from participation in appeals proceedings); incomplete reports (directed to courts) from surveys in families. Based on comprehensive examination of the problems of territorial jurisdiction, it was recommended that requests are independently recorded and financial compensation is provided for ASLPCs who are requested to represent minors in front of courts, to draft proposals for precautionary measures.
|
|
Determination of the company value
TALÍŘOVÁ, Klára
This diploma thesis was focused on determination of the company value in the chosen company. For this purpose was chosen two mostly used methods on the Czech market. First one was method of discounted cash flow and the second one was method of the economic added value. Main sources for all the calculation were annual reports and financial statements for the period of five last years from 2011 to 2015. These basis were used for developing a prediction for the following five year period till 2020.
|
|
Cultural Centres
Adolfová, Barbora ; PROKOP, Petr (advisor) ; KAŠPAR, David (referee)
This thesis is concentrated on cultural centres built between years 1960 and 1990 in the former socialist Czechoslovakia. Six cultural centres have been chosen and analyzed to conclude the purposes they serve as well as the programs they offer. These chosen cultural centres are run as municipal organisations financed from the town budgets. The six towns where they are located are similar to each other in terms of their history, size and the time when their cultural centres were built. All of these centres share difficulties with the lack of cultural interest of local citizens, bad technical shape of the buildings in question and low budget.
The aim of this thesis is to compare the functioning of these six cultural centres and conclude whether being directly funded and influenced by the municipal councils has a positive impact and should serve as a model for cultural centres or should be replaced by a different one. It also focuses on cooperation between the management of cultural centres and municipal officials, cooperation with other local cultural institutions and cultural centres from different towns.
|
|
Social media influence
BAUEROVÁ, Milada
This diploma thesis deals with social media, specifically with what influence they have on an individual´s decision making while choosing a university. There are 87 universities in the Czech Republic, each of them offers unique study programmes and each one is specific, nevertheless, if they are divided according to subject-matter focus, for instance divided only into universities focused on the study of economy, it is difficult to differentiate which one will be the best choice for a possible student. For the purposes of this diploma thesis, University of South Bohemia has been chosen, and Czech University of Life Sciences Prague has been chosen for the purposes of comparison. The main goal may be specified as an analysis of social media influence during the choice of a university, and to design some useful recommendations based on the results. Other goals of this thesis are: - To find out how universities use social media, - To find out how students get involved in social media happenings. The results for this thesis will be obtained on the basis of a marketing research via a questionnaire survey among the students of the University of South Bohemia and of the Czech University of Life Sciences in Prague. Based on these results an analysis and a comparison will be carried out, finding out how strongly social media influences students when choosing a university, whether students themselves participate in social media happenings and what else may be improved by the universities.
|
|
Single cell expression analysis of genes with potential mrna gradient in mouse oocytes
Dorosh, Andriy ; Margaryan, Hasmik ; Vodička, Martin ; Ergang, Peter ; Šídová, Monika ; Dvořáková-Hortová, Kateřina
In frogs, there are clearly visible differently pigmented animal and vegetal poles of the egg determined before fertilization and leading to asymmetrical divisions. Mammalian egg does not show any comparable differentiation and it has been generally accepted that even the individual blastomeres in 2-cell and 4-cell embryos are homogenous. However, recent findings suggest that those blastomeres display different gene expression patterns and might already possess some inclinations to specific cell lineages. We therefore raised a question, whether there could be any mRNA or protein gradients in pre-fertilization oocytes similar to a previously described amphibian egg one. In mammalian eggs, there is a membrane region that is poor in microvilli, cortical granules are absent beneath plasma membrane and sperm cells generally do not bind to this location. This microvilli free region also covers the egg nucleus, and cytoskeleton localization differs markedly to the rest of the cortical space, forming actin –myosin II cortical cap/ring and is considered as animal pole. The purpose of this study was to determine gene products that can be detected at single cell level using qPCR and display gradient like distribution in mature oocytes. We checked expression of 12 selected genes in a pool of 10 oocytes and single mature oocytes. Then, we analysed gene expression in fixed intact oocytes and those undergoing laser capture microdissection procedure (LCMD). Eventually, we have determined six candidate genes for the study of intracellular spatial gene expression in mature mammalian oocytes by subcellular qPCR and in situ hybridization.
|
|
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 ::
