|
Single particle analysis of size-segregated aerosol in Prague city center
Marvanová, S. ; Skoupý, Radim ; Kulich, P. ; Bendl, J. ; Hovorka, J. ; Machala, M.
Particulate matter (PM) is omnipresent pollutant in the ambient air known to cause cardiovascular and respiratory diseases (WHO 2004). Recently, outdoor air pollution and particulate matter in outdoor air pollution were classified as carcinogenic to humans, Group 1 (IARC 2015). Especially, ambient PM of aerodynamic diameter < 100 nm, ultrafine particles, appears to be of great importance due to its high specific surface area and high number concentration (Hughes et al. 1998). Ultrafine particles also easily enter and are being transferred in organisms, and interact with cells and subcellular components (Oberdorster et al. 2005). As the evidence of ultrafine PM significance increased, size-fractionated PMs sampled by various cascade impactors have been employed into the toxicological studies on cell cultures or isolated cells, using the organic extracts of size-fractionated PMs (Topinka et al. 2013, Topinka et al. 2015) or directly the size-fractionated particles (Becker et al. 2003, Ramgolam et al. 2009, Reibman et al. 2002, Loxham et al. 2013, Jalava et al. 2006, Thomson et al. 2015, Jalava et al. 2015). The aim of this study was to evaluate shape and composition of size-segregated aerosol particles, sampled by high volume cascade impactor, using electron microscopy and energy dispersive X-ray spectroscopy (EDX).
|
|
Detekce frekvenčního šumu polovodičového laseru pracujícího na vlnové délce 729 nm
Pham, Minh Tuan ; Čížek, Martin ; Hucl, Václav ; Lazar, Josef ; Hrabina, Jan ; Řeřucha, Šimon ; Lešundák, Adam ; Číp, Ondřej
Práce se zabývá analýzou frekvenčního šumu laserové diody s externím rezonátorem (ECDL), pracující na vlnové délce 729 nm. ECDL bude sloužit jako budící laser zakázaného přechodu, zachyceného a zchlazeného, 40Ca+ iontu. Z tohoto důvodu je nutné, aby spektrální šířka tohoto laseru byla v řádu Hz a nižší. Součástí práce je experimentální design sestavy umožňující zúžení spektrální čáry pomocí fázového uzamčení frekvence laseru na vybranou komponentu optického frekvenčního hřebene, kde je šum potlačen rychlým elektronickým regulátorem se servosmyčkou, který řídí vstupní proud laseru.
|
|
Optimalizace testu digitálního obvodu multifunkčními prvky
Stareček, Lukáš ; Gramatová, Elena (oponent) ; Kubátová, Hana (oponent) ; Kotásek, Zdeněk (vedoucí práce)
Tato práce se zabývá možností optimalizace testu číslicových obvodů pomocí multifunkčních logických hradel. Nejdůležitější částí práce je vysvětlení samotného principu optimalizace, který je popsán také formálními matematickými prostředky. Na základě tohoto popisu je v práci prezentováno několik možností využití. Ukázána je optimalizace testovatelnosti obdobná metodě vkládání testovacích bodů a jednoduchá metodika založena na základě SCOAP. Těžištěm práce je však metodika, která byla vytvořena pro optimalizaci testu obvodu. Ta byla implementována v podobě softwarových nástrojů. V práci jsou následně prezentovány výsledky použití těchto nástrojů na úloze snížení počtu testovacích vektorů se zachováním pokrytí poruch pro různé obvody včetně testovací sady ISCAS 85. Část práce je věnována také různým principům a technologiím tvorby multifunkčních logických hradel. Některá vybraná hradla z těchto technologií jsou podrobena simulacím elektronických vlastností ve SPICE. Na základě principů prezentované metodiky a výsledků simulací multifunkčních hradel je také provedena analýza a rozbor různých problémů jako je platnost testu modifikovaného obvodu a vhodnost jednotlivých technologií multifunkčních hradel pro danou metodiku. Výsledky analýz a provedených experimentů je potvrzeno, že pomocí multifunkčních hradel lze optimalizovat diagnostické vlastnosti obvodu takovým způsobem, aby došlo k požadovaným úpravám parametrů výsledných testů obvodů při minimálních dopadech na kvalitu a věrohodnost těchto testů.
|
|
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.
|
|
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
|
|
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.
|
host ::
