|
Formal Systems Based on Automata and Grammars
Čermák, Martin ; Rybička, Jiří (oponent) ; Šaloun, Petr (oponent) ; Meduna, Alexandr (vedoucí práce)
The present thesis continues with study of grammar and automata systems. First of all, it deals with regularly controlled CD grammar systems with phrase-structure grammars as components. Into these systems, three new derivation restrictions are placed and their effect on the generative power of these systems are investigated. Thereafter, this thesis defines two automata counterparts of canonical multi-generative nonterminal and rule synchronized grammar systems, generating vectors of strings, and it shows that these investigated systems are equivalent. Furthermore, this thesis generalizes definitions of these systems and establishes fundamental hierarchy of n-languages (sets of n-tuples of strings). In relation with these mentioned systems, automaton-grammar translating systems based upon finite automaton and context-free grammar are introduced and investigated as a mechanism for direct translating. At the end, in this thesis introduced automata systems are used as the core of parse-method based upon n-path-restricted tree-controlled grammars.
|
|
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).
|
|
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.
|
|
Čerpadlo s difuzorem s použitím stochastických lopatek (oběžné kolo i difuzor)
Dobšáková, Lenka ; Melichar, Jan (oponent) ; Veselý, Jindřich (oponent) ; Haluza, Miloslav (vedoucí práce)
Tato dizertační práce se zabývá studiem nerovnoměrné lopatkové mříže u odstředivých čerpadel. Vliv nerovnoměrné lopatkové mříže je zkoumána u oběžného i rozváděcího kola. Nerovnoměrné lopatkování kol čerpadla je v této práci zkoumáno z hlediska vlivu na účinnostní charakteristiku. Myšlenkou použití nerovnoměrného lopatkování je získání ploché účinnostní charakteristiky. Odstředivé čerpadlo by pak mohlo být používáno na větším rozsahu výkonů při dosažení dostatečně velké účinnosti. Práce je založena na experimentální měření a numerické simulaci nerovnoměrných hydraulických prvků čerpadla. Nerovnoměrné oběžné kolo a rozvaděč byli pro tento výzkum nově navrženy. Pro měření bylo v rámci této práce potřeba navrhnout a sestavit novou měřící trať malých ponorných čerpadel. Měřeny byly různé sestavy čerpadla s kombinacemi běžných návrhů hydraulik na jeden pracovní bod a hydraulik s nerovnoměrnou lopatkovou mříží. Všechna měření byla vyhodnocena a byly získány charakteristiky účinnosti, dopravní výšky a příkonu pro každou měřenou kombinaci. Část sestav měřených experimentálně byla také numericky vypočtena pomocí programu Ansys Fluent. Z numerických výpočtů byla sbírána data potřebná pro vyhodnocení charakteristiky účinnosti a měrné energie pro každou řešenou sestavu. Teoretické úvahy se týkají vlivu nerovnoměrné mříže u rozvaděče a vzniká tak doporučení, jak by bylo možné významně snížit ztráty v kanálech. Bylo také provedeno teoretické odvození způsobu, jak získat plochou charakteristiku účinnosti oběžného kola.
|
|
Environmentální aspekty pěstování energetických plodin - produkce CO2eq
PÍSAŘÍK, Martin
Diplomová práce se zabývá částečným hodnocením životního cyklu třech druhů energetických rostlin, konkrétně kukuřicí setou (Zea mays L.), chrasticí rákosovitou (Phalaris arundinacea L.), Szarvasi I (Agropyron elongatum L.) a jejich environmentálních dopadů během jejich pěstování. Jako rámec hodnocení byla použita doba od předseťové přípravy v prvním roce až po poslední sklizeň po desetiletém pěstitelském cyklu. K výpočtu emisí skleníkových plynů byl použit softwarový nástroj SimaPro. Cílem bylo zjistit kolik emisí skleníkových plynů (kg CO2eq na 1 kg sušiny) vznikne při pěstování vybraných energetických rostlin a porovnat, která rostlina je z environmentálního hlediska nejvíce šetrná k životnímu prostředí. Celková emisní zátěž vyprodukovaná během životního cyklu kukuřice seté je 0,199210 kg CO2eqv na 1kg sušiny, u chrastice rákosovité 0,182075 kg CO2eqv na 1kg sušiny. Szarvasi I je z environmentálního hlediska nejvíce šetrná produkuje 0,110232 kg CO2eqv na 1kg sušiny.
|
|
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 %.
|
|
Vliv zkrmování lněného semínka na kvalitu mléčného tuku koz
Malá, Kateřina ; Fantová, Milena (vedoucí práce)
Druh podávaného krmiva, jeho kvalita, forma úpravy a technika krmení ovlivňují složení a kvalitu mléka. Podíl složek mléka je velmi proměnlivý v závislosti na výživě a zdravotním stavu jedince. K největším změnám dochází v obsahu mléčného tuku. Mléčný tuk je zodpovědný za přirozenou chuť mléka. Ovšem z hlediska moderního světa a zdraví lidí, jsou nasycené mastné kyseliny obsažené v mléčném tuku považovány za negativně působící složky s následným vznikem kardiovaskulárních onemocnění a vzniku atherosklerózy u lidí. V současné době tedy roste poptávka po nenasycených mastných kyselinách v mléce, jakožto zdraví prospěšné variantě. Z tohoto důvodu je snaha ovlivňovat složení nebo obsah mastných kyselin v mléce dojných zvířat. Jedním ze způsobů jak významně zvýšit obsah žádoucích MUFA a PUFA kyselin v mléčném tuku je použití olejů nebo semen olejnin v krmné dávce. Velice pozitivní vliv má lněné semínko, které mimo jiné obsahuje vysokou hladinu kyseliny linolenové.
Cílem této práce je provést a vyhodnotit analýzu mléčného tuku u koz, které jsou přikrmovány lněným semínkem v extrudované formě v porovnání s kontrolní skupinou koz bez příkrmu. Lze předpokládat, že zkrmování lněného semínka zvýší obsah mléčného tuku, včetně omega-3 a omega-6 mastných kyselin.
|
host ::
