|
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.
|
|
Metodologie pro návrh číslicových obvodů se zvýšenou spolehlivostí
Straka, Martin ; Gramatová, Elena (oponent) ; Racek, Stanislav (oponent) ; Kotásek, Zdeněk (vedoucí práce)
Práce představuje alternativní metodiku k již existujícím technikám pro návrh číslicových systémů se zvýšenou spolehlivostí implementovaných do obvodů FPGA a doplňuje některé nové vlastnosti při realizaci a testování těchto systémů. Práce se opírá o využití částečné dynamické rekonfigurace obvodu FPGA při návrhu systémů odolných proti poruchám, kde může být částečná rekonfigurace využita jako mechanizmus pro opravu a zotavení systému po výskytu poruchy. Práce nejprve představuje obecné principy diagnostiky, testování a spolehlivosti číslicových systémů včetně stručného popisu programovatelných obvodů FPGA a jejich architektury. Dále pokračuje přehledem současných metod a technik při návrhu a implementaci systémů odolných proti poruchám do obvodů FPGA, kde jsou popsány zejména techniky z oblasti detekce a lokalizace poruch, opravy a posuzování kvality návrhu. Nejdůležitější částí práce je popis metodiky pro návrh, implementaci a testování systémů odolných proti poruchám, která byla vytvořena pro obvody FPGA, jejichž konfigurační paměť je založena na pamětech typu SRAM. Nejprve je prezentována technika pro vytváření a automatizované generování hlídacích obvodů pro číslicové systémy a komunikační protokoly v FPGA, následně je prezentovaná referenční architektura spolehlivého systému implementovaného do FPGA včetně několika odolných architektur využívajících principu částečné dynamické rekonfigurace jako mechanizmu opravy a zotavení po výskytu poruchy. Dále je popsán způsob řízení rekonfiguračního procesu a testovací platforma pro snadné testovaní a ověření kvality systémů odolných proti poruchám implementovaných dle navržené metodiky. V závěru jsou diskutovány experimentální výsledky a přínos práce.
|
|
Metodologie pro návrh číslicových obvodů se zvýšenou spolehlivostí
Straka, Martin ; Kotásek, Zdeněk (vedoucí práce)
Práce představuje alternativní metodiku k již existujícím technikám pro návrh číslicových systémů se zvýšenou spolehlivostí implementovaných do obvodů FPGA a doplňuje některé nové vlastnosti při realizaci a testování těchto systémů. Práce se opírá o využití částečné dynamické rekonfigurace obvodu FPGA při návrhu systémů odolných proti poruchám, kde může být částečná rekonfigurace využita jako mechanizmus pro opravu a zotavení systému po výskytu poruchy. Práce nejprve představuje obecné principy diagnostiky, testování a spolehlivosti číslicových systémů včetně stručného popisu programovatelných obvodů FPGA a jejich architektury. Dále pokračuje přehledem současných metod a technik při návrhu a implementaci systémů odolných proti poruchám do obvodů FPGA, kde jsou popsány zejména techniky z oblasti detekce a lokalizace poruch, opravy a posuzování kvality návrhu. Nejdůležitější částí práce je popis metodiky pro návrh, implementaci a testování systémů odolných proti poruchám, která byla vytvořena pro obvody FPGA, jejichž konfigurační paměť je založena na pamětech typu SRAM. Nejprve je prezentována technika pro vytváření a automatizované generování hlídacích obvodů pro číslicové systémy a komunikační protokoly v FPGA, následně je prezentovaná referenční architektura spolehlivého systému implementovaného do FPGA včetně několika odolných architektur využívajících principu částečné dynamické rekonfigurace jako mechanizmu opravy a zotavení po výskytu poruchy. Dále je popsán způsob řízení rekonfiguračního procesu a testovací platforma pro snadné testovaní a ověření kvality systémů odolných proti poruchám implementovaných dle navržené metodiky. V závěru jsou diskutovány experimentální výsledky a přínos práce.
|
|
Mechanochemical Preparation of Alumina-Ceria
Jirátová, Květa ; Spojakina, A. ; Tyuliev, G. ; Balabánová, Jana ; Kaluža, Luděk ; Palcheva, R.
Ceria containing catalysts play an essential role in heterogeneous catalytic processes. However, ceria shows poor thermal stability and low specific surface area and therefore, many studies have been done to improve its properties by combination with other oxides. Alumina-ceria is substantial component of the three ways catalysts, due to the ceria ability to function as the buffer of oxygen and to enhance the oxygen storage capacity of the catalysts. Ceria in these catalysts also functions as structural promoting component, increasing alumina stability towards thermal sintering. Promising method of oxides preparation, very interesting and simple but not sufficiently studied yet is a mechanochemical synthesis. Here we report on the synthesis of nano-sized alumina, ceria and ceria-alumina of various compositions by a wet solid phase mechanochemical reaction of hydrous aluminum, and/or cerium nitrate with ammonium bicarbonate after addition of a small amount of water. The aim of this contribution is to study processes being in progress during synthesis of the mixed oxides, interaction between components and their mutual effect on the properties of resulting products. The phase evolution during mechanical milling and the subsequent heat treatment of precursors were studied by X-ray diffraction, DTA/TG, H2-TPR, NH3-TPD, CO2-TPD, N2 adsorption at -195°C, IR, and XPS spectroscopy. Alumina and mixtures of alumina with different quantities of CeO2 (1- 18 wt. %) were synthesized by mechanochemical method from aluminum nitrate, cerium nitrate and ammonia bicarbonate.
Plný tet: SKMBT_C22015083108560 -  PDF
Plný text: content.csg - PDF
|
|
Společenské proměny československého venkova v první polovině 50. let na příkladu Sedlčanska
Čermáková, Hana ; Rákosník, Jakub (vedoucí práce) ; Pullmann, Michal (oponent)
Diplomová práce se snaží o zachycení změněného politického ovzduší po roce 1948 na československém venkově. Zkoumá jeden politický okres Sedlčany, který byl velmi specifický, co se týče průmyslové zaostalosti a vylidněnosti po 2. světové válce. Jeho specifika spočívala v mizivém podílu průmyslové výroby a nízké hustotě obyvatelstva. Východiskem a zároveň těžištěm práce je komunistická propaganda na okresní úrovni. Druhá kapitola se zabývá teoretickým vymezením a pojmoslovím, zejména propagandě jako sociokulturnímu pojmu, hledá její východiska, cíle a různá vymezení. Další kapitola řeší všeobecné dějiny Sedlčanska a regionální specifika. Čtvrtá a pátá kapitola se zaměřuje na místní strukturu OV KSČ a nižších složek strany v Sedlčanech, respektive celospolečenské sociální proměny v první polovině padesátých let na venkově. Druhá část diplomově práce se věnuje přímo vymezení působnosti propagačních strategií a prostředků. Nejobšírněji se práce zaobírá popsáním propagandy na okresní úrovni, sleduje práci OV KSČ, analyzuje články okresních Vesnických novin a zaznamenává vzpomínky pamětníků. Zbývající kapitoly tak pojednávají o praktické stránce propagandy, nakolik propagační strategie vlastně fungovaly v různých oblastech lidského života na venkově. Stěžejní část DP je tedy v kapitolách, věnujících se...
|
|
Metoda komponentního odepisování
IMBER, Jakub
Bakalářská práce se zabývá komponentní metodou odpisování hmotného majetku a jejím využitím v praxi. Cílem práce je představení komponentní metody, zjištění výhod a nevýhod, porovnat odpisy komponentní metody s odpisy ostatních metod, které jsou v českých účetních jednotkách častěji používány. Dalším cílem je najít pro účetní jednotku vhodnou metodu pro výpočet odpisů specifického majetku, tak aby účetní náklady co nejlépe odpovídali reálným nákladům. Teoretická část práce se převážně věnuje charakteristice dlouhodobého majetku a daňovým a účetním odpisům včetně metody komponentní. Praktická část je zaměřena na nejmenovanou společnost s ručením omezeným, jejímž předmětem podnikání je prováděním staveb (dřevostaveb), jejich změna a odstraňování, pokrývačství, tesařství, truhlářství a projektové činnosti ve výstavbě. Jsou zde vypočteny a následně porovnány jednotlivé metody odpisování s metodou komponentní. Veškeré výpočty jsou použity na specifický majetek vhodný pro komponentní metodu. Výsledkem práce je poukázání na výhody a funkčnost komponentní metody a doporučení změny odpisové metody pro účetní jednotku.
|
|
Management dodavatelů v automobilovém průmyslu
Holubcová, Romana ; Štůsek, Jaromír (vedoucí práce)
Jako téma své diplomové práce jsem si zvolila management dodavatelů v automobilovém průmyslu. Dodavatelsko-odběratelské vztahy jsou velmi důležité pro úspěch zúčastněných organizací i pro celkový rozvoj ekonomiky. Musí to být vztahy partnerské, aby se společnosti mohly rozvíjet, aby vzájemné obchody pro ně byly ekonomicky výhodné a své procesy mohly neustále zlepšovat. Ve své práci budu analyzovat stávající proces řízení dodavatelů ve společnosti, která je přímým dodavatelem do OEM. Original Equipment manufacturing (OEM), což je používaná zkratka pro finální výrobce automobilů a znamená to, že nevytváří jednotlivé produkty, ale je to vlastně montovna. Podle výsledků analýzy budou navržena zlepšení a implementována do nové směrnice pro strategický nákup.
|
|
Posouzení kapacity vybraných složek veřejné infrastruktury. Případová studie sídliště Barrandov.
Kocábek, Ondřej ; Novotný, Vojtěch (vedoucí práce) ; Vojtěch , Vojtěch (oponent)
Bakalářská práce se zabývá posouzením kapacit vybraných složek veřejné infrastruktury na sídlišti Barrandov. První část práce přibližuje formou literární rešerše problematiku územního plánování a udržitelného rozvoje, definuje pojem veřejná infrastruktura, nastiňuje zrod a vývoj panelových sídlišť a dále popisuje funkční členění a jednotlivé složky veřejné infrastruktury. Druhá část práce je zaměřena na metodiku posouzení kapacit včetně určení zkoumaných složek veřejné infrastruktury. Dále popisuje způsob určení kapacity zkoumaných složek. Třetí část práce popisuje řešené území, na které navazuje posouzení zkoumaných složek veřejné infrastruktury, vycházející z předchozí části. Z výsledků posouzení vyplynulo, že kapacity posuzovaných složek veřejné kapacity jsou v určitých ohledech na hraně své kapacitelnosti.
|
|
Vliv technologie ustájení dojnic na výskyt mastitidy
Brzáková, Lenka ; Stádník, Luděk (vedoucí práce) ; Jan, Jan (oponent)
Cílem bakalářské práce bylo zhodnotit kvalitu ustájení, dojení a provést analýzu mastitidy na vybrané farmě. První část práce obsahuje literární přehled o technologiích ustájení, problematice mastitid, její detekci, původce, léčbu a faktory působící proti jejímu výskytu. Dále je tato část práce zaměřena na typy dojíren, správný postup při dojení a na robotizované dojení. Materiál a metody práce obsahují charakteristiku vybrané farmy, kde byla sledována za rok 2014 kvalita a technologie ustájení, dojení, výživu dojnic a dalších faktorů ovlivňujících výskyt mastitidy, jako je například ošetřování paznehtů. Poté byl sledován a hodnocen výskyt, detekce a správná léčba mastitidy. Farma Montamilk s.r.o. chová 1200 ks skotu a z toho přibližně 419 ks dojnic. V části práce výsledky byla sledována a hodnocena kontrola užitkovosti za kontrolní rok 2013 -- 2014, která byla uvedena u prvotelek a u krav na druhé a další laktaci. Ze zjištěných hodnot byla pomocí grafu vyjádřena dojivost, která byla výrazně lepší u krav na druhé a další laktaci. Dále byly v této části vyjádřeny v grafu složky mléka (tuk a bílkoviny), které byly též rozděleny podle laktací. Mezi další zjišťované parametry patřil výskyt mastitidy, u kterých dojnic a v jakém ročním období byl její výskyt častější, stejně jako její léčba a náklady na léčení jedné dojnice. Na závěr byl graficky znázorněn počet somatických buněk za rok 2014 za jednotlivé laktace. V části práce diskuse proběhlo porovnání zjištěných výsledků kontroly užitkovosti na vybrané farmě s celorepublikovým průměrem. Ze zjištěných výsledků je patrné, že dojnice v Montamilku byly v dojivosti u prvotelek lepší o 427 kg mléka a u krav na druhé a další laktaci byly též vyšší o 602 kg mléka než dojnice v České republice. Dále byly porovnány mléčné složky u dojnic v Montamilku s dojnicemi v České republice a výsledky nebyly příliš rozdílné. Obsah tuku u dojnic v Montamilku byl nižší za všechny laktace při porovnání s dojnicemi v České republice. Hodnota tuku v České republice byla u prvotelek 3,87 %, v Montamilku 3,85 % a hodnota tuku u krav na druhé a další laktaci byla v České republice 3,86 % a v Montamilku 3,81 %. Pokud se zaměřím na obsah bílkovin v mléce v České republice, u prvotelek byla hodnota 3,4 % a v Montamilku byla 3,3 %. Krávy na druhé a další laktaci v České republice měly obsah bílkovin v mléce 3,38 % a v Montamilku 3,36 %.
|
host ::
