|
Acceleration Methods for Evolutionary Design of Digital Circuits
Vašíček, Zdeněk ; Miller, Julian (oponent) ; Zelinka,, Ivan (oponent) ; Sekanina, Lukáš (vedoucí práce)
Although many examples showing the merits of evolutionary design over conventional design techniques utilized in the field of digital circuits design have been published, the evolutionary approaches are usually hardly applicable in practice due to the various so-called scalability problems. The scalability problem represents a general problem that refers to a situation in which the evolutionary algorithm is able to provide a solution to a small problem instances only. For example, the scalability of evaluation of a candidate digital circuit represents a serious issue because the time needed to evaluate a candidate solution grows exponentially with the increasing number of primary inputs. In this thesis, the scalability problem of evaluation of a candidate digital circuit is addressed. Three different approaches to overcoming this problem are proposed. Our goal is to demonstrate that the evolutionary design approach can produce interesting and human competitive solutions when the problem of scalability is reduced and thus a sufficient number of generations can be utilized. In order to increase the performance of the evolutionary design of image filters, a domain specific FPGA-based accelerator has been designed. The evolutionary design of image filters is a kind of regression problem which requires to evaluate a large number of training vectors as well as generations in order to find a satisfactory solution. By means of the proposed FPGA accelerator, very efficient nonlinear image filters have been discovered. One of the discovered implementations of an impulse noise filter consisting of four evolutionary designed filters is protected by the Czech utility model. A different approach has been introduced in the area of logic synthesis. A method combining formal verification techniques with evolutionary design that allows a significant acceleration of the fitness evaluation procedure was proposed. The proposed system can produce complex and simultaneously innovative designs, overcoming thus the major bottleneck of the evolutionary synthesis at gate level. The proposed method has been evaluated using a set of benchmark circuits and compared with conventional academia as well as commercial synthesis tools. In comparison with the conventional synthesis tools, the average improvement in terms of the number of gates provided by our system is approximately 25%. Finally, the problem of the multiple constant multiplier design, which belongs to the class of problems where a candidate solution can be perfectly evaluated in a short time, has been investigated. We have demonstrated that there exists a class of circuits that can be evaluated efficiently if a domain knowledge is utilized (in this case the linearity of components).
|
|
Metodika aplikace testu obvodu založená na identifikaci testovatelných bloků
Herrman, Tomáš ; Plíva, Zdeněk (oponent) ; Racek, Stanislav (oponent) ; Kotásek, Zdeněk (vedoucí práce)
Dizertační práce se zabývá analýzou číslicových obvodů popsaných na úrovni meziregistrových přenosů. Je v ní zahrnuta pouze problematika související s testovatelností obvodových datových cest, řadičem ovládajícím tok dat těmito cestami se nezabývá. Stěžejní částí práce je návrh konceptu testovatelného bloku (TB), pomocí něhož se obvod rozdělí na části, jež jsou plně testovatelné přes jejich vstupy a výstupy, přes takzvané hraniční registry bloku nebo primární vstupy/výstupy. Přínosem nové metodiky je také redukce počtu registrů v řetězci scan, do něhož jsou zařazeny pouze hraniční registry. Segmentací obvodu dosáhneme také zjednodušení generování testu rozdělením tohoto problému na více menších částí. Navržená metodika pro identifikaci TB v číslicovém obvodu využívá dvou vybraných evolučních algoritmů operujících na formálním modelu obvodu na úrovni RT.
|
|
Zavedení kontaktních testů ekotoxicity pro hodnocení terrestrických ekosystémů
Modlitbová, Pavlína ; Kráčmar, Stanislav (oponent) ; Beklová, Miroslava (oponent) ; Demnerová, Kateřina (oponent) ; Vávrová, Milada (vedoucí práce)
Tématem předložené dizertační práce bylo provedení testů toxicity s využitím testovacího organismu ze zástupců suchozemských stejnonožců Porcellio scaber. Tento testovací organismus byl zvolen jako nejvhodnější pro posouzení toxicity vybraných anorganických sloučenin kontaminujících terestrický ekosystém. Jeho výběr byl proveden na základě důkladně zpracované metodiky tohoto testu, dále známých biologických a biochemických vlastností výše specifikovaného živého organismu, případně na jeho ekologické relevantnosti. Kromě klasických endpointů, jakými jsou mortalita, změna hmotnosti testovacích jedinců a také vliv přítomnosti a koncentrace kontaminantů na konzumaci stravy, byly rovněž sledovány změny v morfometrické charakteristice, a to na úrovni tkání a buněk, cytotoxicita a rovněž byla posuzována možná bioakumulace v různých částech těla tohoto organismu. Vybrané testované látky lze zařadit do oblasti nanočástic a anorganických solí. U vybraných nanočástic zlata byla provedena kompletní ekotoxikologická studie na několika úrovních organizace živé hmoty (organismus, tkáň, buňka). Pro vybrané soli byla provedena studie, která byla zaměřená především na chování organismů a klasické endpointy.
|
|
Zohlednění počtu vychovaných dětí v důchodovém systému
Veselý, Václav ; Fiala, Tomáš (vedoucí práce) ; Pechholdová, Markéta (oponent)
Diplomová práce se zabývá důchodovým systémem v České republice. Upozorňuje na budoucí nárůst jeho deficitu a jako řešení nabízí zohlednění počtu dětí v důchodovém systému. V práci je nejprve podrobně popsán penzijní systém v České republice. Vzhledem k tomu, že jeho základem je první průběžně financovaný pilíř, při uvážení očekávaného vývoje demografické situace je zřejmé, že jeho stabilita by při zachování výše pojistného i výše důchodových dávek mohla být ohrožena. Kohortně komponentní metodou (s migrací) je projektován stav obyvatelstva České republiky (ve střední variantě) podle pohlaví a věku s prahem v roce 2011 a horizontem 100 let. Podobně jsou projektovány také příjmy a výdaje průběžného důchodového systému. Pokud budou splněny parametry projekce, které byly na jejím počátku stanoveny, celková výše deficitu důchodového systému za projektované období dosáhne 9,5 biliónu Kč (v cenách roku 2011). To odpovídá průměrné roční výši deficitu 95,3 mld. Kč. Pro snížení deficitu je možné zvýšit sazbu pojistného. To ale zároveň může přinést pokles porodnosti, neboť při nižších příjmech se lidé spíše rozhodnou omezit počet dětí. To by však problémy průběžného systému ještě více prohloubilo. Řešením může být zohlednění počtu vychovaných dětí v důchodovém systému. Tak by byl odstraněn současný stav, kdy je ekonomicky daleko výhodnější zůstat po celý život bezdětný. Navíc by takovéto opatření mohlo přinést i zvýšení plodnosti žen. V diplomové práci je modelována výše deficitu pro různě nastavené parametry důchodového systému a různý vývoj demografické situace.
|
|
Security aspects of inbound tourism to Israel
Vlaháčová, Lucia ; Jarolímková, Liběna (vedoucí práce) ; Burda, Petr (oponent)
Cílem práce je zhodnotit situaci na poli bezpečnosti v incomingovém turismu Izraele a posoudit bezpečnostní image této destinace. Objektivní hodnocení bezpečnostního statusu Izraele je v práci zastoupené Indexem světového míru. Ten komplexně posuzuje mírumilovnost země. Subjektivní hodnocení stavu pochází z dotazníkovému průzkumu. Průzkum byl zaměřený na konkrétní segment trhu - turisty, kteří zemi navštívili. Práce též obsahuje přehled důležitých historických událostí, jejichž následky se projevily v příjezdech mezinárodních návštěvníků i v celém turistickém sektoru. Zároveň uvádí typy bezpečnostních krizí, které v turismu mohou nastat. Popisuje jejich vliv na toto odvětví i následné efekty a opatření krizového managementu. V závěru je na základě zjištěných informací potvrzená hypotéza o bezpečnosti turistických atraktivit i samotných turistů v destinaci Izrael.
|
|
Metodiky řízení informatických procesů, srovnání, vliv na efektivitu podnikového IS/ICT
Novák, Tomáš ; Voříšek, Jiří (vedoucí práce) ; Kufner, Vladimír (oponent)
Tato diplomová práce se zabývá metodikami řízení informatických procesů. V rámci práce jsou zvažovány metodické rámce ITIL, COBIT, ITGPM, přičemž práce se zaměřuje zejména na aspekty týkající se stanovení a zajištění Service Level Agreements (SLA) u informatických služeb. Téma práce si autor zvolil s ohledem na své profesní zaměření, při němž se jako projektový manažer prakticky seznámil s problémy, které provázejí vývoj i praktický provoz informačních systémů. Cílem práce je zjistit, jaký je přístup jednotlivých metodik k otázkám SLA a jejich zajištění. Ve své druhé části se pak práce snaží zachytit praktický dopad SLA na proces vývoje a provoz informačního systému. Stanovených cílů se práce snaží dosáhnout ve své první části na teoretické úrovni, kdy je pro každý z vybraných metodických rámců zachycen jeho přístup ke zvolené problematice parametrů provozu informatických služeb a jejich zajištění. Stále ještě na teoretické úrovni si práce dále klade za cíl zjistit, zda lze jednotlivé metodiky (jejich přístupy) vhodně zkombinovat pro zajištění a případně ověření výše uvedeného cíle. Ve své druhé části se pak práce zabývá praktickou analýzou dopadu stanovených SLA na proces vývoje a provozu informačního systému. Autor na příkladu popisuje nutné úpravy procesů na straně dodavatele i odběratele, a to již od prvních fází vývoje SW až po procesy provázející běh informačního systému v produkčním režimu. V rámci popisu jsou brány v potaz jak přístupy jednotlivých rámců popsané v první části, tak také praktické zkušenosti a názory autora na danou problematiku. V závěru práce jsou stručně shrnuty poznatky a závěry, vyplývající ze zpracování daného tématu, včetně názoru a doporučení autora.
|
|
Chemistry of Nucleic Acid Components. 12th Symposium
Točík, Zdeněk ; Hocek, Michal
In keeping with the main goals of the well-established series, the main topics of the XII NAC symposium covered the synthesis, transformations, physical chemistry, and biological activity of nucleosides, nucleotides and oligonucleotides as well as the aspects of their molecular biology in the broader sense.
|
|
Využití reálných opcí pro hodnocení IT investic
Polakovič, Robert ; Šebesta, Michal (vedoucí práce) ; Bruckner, Tomáš (oponent)
Tato diplomová práce se zabývá použitím reálných opcí při hodnocení IT investic. V úvodní části práce analyzuje klasické přístupy k hodnocení investic, vymezuje projekt v investičním a informatickém pojetí a podává přehled tradičních metod hodnocení IT investic. Následující část seznamuje čtenáře nejprve s finančními opcemi, představuje jednotlivé typy, parametry, metody výpočtu a také základní postupy zajištění proti riziku. Následně jsou představeny opce reálné, odlišnost od opcí finančních, způsoby využití, parametry, metody výpočtu a omezení. Další část práce analyzuje použití reálných při hodnocení IT investic, zdůvodňuje účel jejich použití a popisuje vybrané metodiky aplikace reálných opcí v IT oblasti. V rámci této analýzy byl proveden výběr jednotlivých aplikací s důrazem na to, aby práce poskytovala co možná nejširší pohled na možnosti využití reálných opcí v této oblasti. Závěrem práce je prezentována případová studie, kdy je jedna z představených metodik aplikována na reálném IT projektu. Tato část především demonstruje některé aspekty a náročnost řešení použití reálných opcí v podmínkách reálného projektu.
|
|
ANALÝZA VÝVOJE ZADLUŽENOSTI DOMÁCNOSTÍ V ČR V LETECH 2000 - 2011
Kučerková, Zuzana ; Kotýnková, Magdalena (vedoucí práce) ; Pavlíček, Tomáš (oponent)
Cílem diplomové práce je analýza vývoje úrovně zadlužení domácností v České republice v letech 2000 - 2011, příčin tohoto zadlužování a analýza využití nástroje oddlužení. Teoretická část práce je zaměřena na ekonomické, sociální a právní aspekty v problematice zadlužování domácností. Obsahem praktické části je analýza statistických dat popisujících vývoj úrovně zadluženosti domácností v letech 2000 - 2011 za pomoci sledování absolutních i relativních ukazatelů měření. Dále je uskutečněna analýza využití nástroje oddlužení v České republice v období let 2008 - 2012. Na základě provedené analýzy jsou navrženy způsoby vedoucí ke zlepšení situace zadlužených domácností. Zvláštní důraz je kladen na relativně novou skupinu ohrožených domácností - důchodce a rovněž jsou definovány příčiny vzniku tohoto jevu.
|
|
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.
|
host ::
