|
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ů.
|
|
Grammars with Restricted Derivation Trees
Koutný, Jiří ; Janoušek, Jan (oponent) ; Vojnar, Tomáš (oponent) ; Meduna, Alexandr (vedoucí práce)
This doctoral thesis studies theoretical properties of grammars with restricted derivation trees. After presenting the state of the art concerning this investigation area, the research is focused on the three main kinds of the restrictions placed upon the derivation trees. First, it introduces completely new investigation area represented by cut-based restriction and examines the generative power of the grammars restricted in this way. Second, it investigates several new properties of path-based restriction placed upon the derivation trees. Specifically, it studies the impact of erasing productions on the generative power of grammars with restricted path and introduces two corresponding normal forms. Then, it describes a new relation between grammars with restricted path and some pseudoknots. Next, it presents a counterargument to the generative power of grammars with controlled path that has been considered as well-known so far. Finally, it introduces a generalization of path-based restriction to not just one but several paths. The model generalized in this way is studied, namely its pumping, closure, and parsing properties.
|
|
Point to Line Mappings and Other Line Parameterizations not only for Hough Transform
Havel, Jiří ; Kälviäinen, Heikki (oponent) ; Lefevre, Sebastien (oponent) ; Herout, Adam (vedoucí práce)
This works focuses on the Hough transform (HT). The HT is mostly used for the detection of lines or curves, but was also generalized for detection of arbitrary shapes. The main theme of this work are line parameterizations, especially the Point-to-Line mappings. These parameterizations share the property, that a point in the image maps onto a line in the parameter space. This work presents proofs of some properties of PTLMs, notably the existence of a practical pair of PTLMs for line detection and the effect of a convolution in the image space on the contents of the parameter space. Two realtime implementations of HT are presented in this work. Both accelerate HT using graphical hardware. One uses GPGPU API CUDA and the other the rendering API OpenGL. As an application of the line detection, this work describes part of the detection of checkerboard marker usable for the augmented reality.
|
|
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.
|
|
Povrchové úpravy skleněných vláken pro polymerní kompozity
Knob, Antonín ; Marek,, Aleš (oponent) ; Burša, Jiří (oponent) ; Čech, Vladimír (vedoucí práce)
Dizertační práce je zaměřena na přípravu polymerních kompozitů vyztužených skleněnými vlákny s řízenou mezifází tvořenou plazmově polymerovanými mezivrstvami na bázi tetravinylsilanu a směsí tetravinylsilanu s kyslíkem. Tenké polymerní vrstvy se specifickými fyzikálně-chemickými vlastnostmi a tloušťkou byly deponovány se záměrem zlepšení adheze na kompozitním rozhraní skleněné vlákno/polyesterová matrice. Povrchová modifikace skleněných vláken byla provedena s využitím plazmochemické depozice z plynné fáze (PECVD) využívající nízkoteplotního RF plazmatu. Proces byl kontrolován pomocí efektivního výkonu a depozičního času a výsledky vyhodnoceny ve vztahu k tloušťce mezivrstvy a různým depozičním podmínkám. Připravené mezivrstvy byly analyzovány z hlediska chemického složení fyzikálně-chemických vlastností za použití metod XPS, RBS, ERDA, FTIR a spektroskopické elipsometrie. Vybrané mechanické vlastnosti byly charakterizovány pomocí AFM. Mechanická odezva plazmových mezivrstev byla vyhodnocena pomocí testu krátkých trámečků a přímé metody testování smykové pevnosti na rozhraní využívající mikroindentaci. Smykové selhání mezifáze bylo kontrolováno dle experimentálních a modelových dat pomocí smykové pevnosti na rozhraní mezivrstva/vlákno.
|
|
Optické měření elektromechanických projevů srdečních buněk
Čmiel, Vratislav ; Križanová,, Olga (oponent) ; Babula, Petr (oponent) ; Provazník, Ivo (vedoucí práce)
Disertační práce se zabývá aplikací optických metod měření s využitím technik optické mikroskopie a fluorescenční mikroskopie při měření elektromechanických projevů izolovaných srdečních buněk a shluků diferencovaných kardiomyocytů. První navržená metoda využívá účelné kombinace fluorescenční mikroskopie s využitím rychlé fluorescenční kamery s vysokým rozlišením a mikroskopie atomárních sil pro současné měření vápníkových transientů a kontrakce shluků srdečních buněk. Získané signály prochází filtrací, zpracováním a analýzou. Výsledně získané funkční parametry kardiomyocytů získané analýzou signálů po aplikaci kofeinu jsou hodnoceny srovnáním s funkčními parametry získanými při kontrolním měření. Druhá navržená metoda je aplikována na shluky kardiomyocytů za účelem měření jejich kontrakce. Signály získané optickou metodou jsou analyzovány a výsledky porovnány s referenčním signálem získaným měřením s pomocí mikroskopie atomárních sil. Pro spolehlivější a stabilnější měření kontrakce v experimentech zaměřených na současné měření s vápníkovými transienty u izolovaných kardiomyocytů byly navrženy a realizovány optické metody měření kontrakce založené na detekci konců s využitím úpravy mikroskopického obrazu přeostřením a s využitím fluorescenční metody měření.
|
|
Nadváha a obezita adolescentů
JINDROVÁ, Kateřina
Tato bakalářská práce se zabývá problematikou nadváhy a obezity adolescentů. Problematika u dospívajících je podrobně popsána a následně rozdělena. Hlavním stanoveným cílem mé bakalářské práce bylo zmapovat problematiku nadváhy a obezity v období dospívání v rozmezí 15 - 18 let a to především jejich stravovací zvyklosti a pohybovou aktivitu. Teoretická část se zaměřuje na výskyt nadváhy a obezity v České Republice a ve světě, příčiny vzniku, rizikové faktory, klasifikaci a diagnostiku, typy, léčbu a prevenci. Zabývá se zde racionální stravou, popisuji zásady správného stravování a vhodné či nevhodné potraviny. Snažím se klást důraz na prevenci nadváhy a obezity a to především na stravování a pohybovou aktivitu. Metodická část byla zpracována pomocí kvantitativního výzkumu. Technikou sběru dat jsou dotazníky určené pro dospívající středních škol v rozmezí 1. - 3. ročník. Výzkumný soubor bude zahrnovat 150 respondentů z různých škol v Českých Budějovicích a okolí. Výsledky budou zaznamenány v podobě grafů, které budou okomentovány a doplněny tabulkami. V souladu s cílem a použitím kvantitativního výzkumu byly stanoveny hypotéza. Hypotéza 1 zněla: Nadváha a obezita se bude vyskytovat více u dospívajících se špatnými stravovacími návyky. Hypotéze 2 zněla: Nadváha a obezita se bude vyskytovat více u dospívajících s nízkou pohybovou aktivitou. Pro vypracování výzkumné části byl použit kvantitativní výzkum, který byl prováděn formou dotazníků, které byly rozdány studentům v období dospívání v rozmezí 15 - 18 let. Získaná data jsem zpracovala pomocí programu "Microsoft Excel", ve kterém jsem používala jednotlivé početní relace a funkce. Odpovědi od jednotlivých respondentů jsem zaznamenávala do databáze a za pomoci daných funkcí v Excelu jsem vyhodnocovala jednotlivé určené kategorie. Nejvíce jsem se zaměřila na kategorie týkající se pohybu a stravování. Zpracovaná data jsou interpretována jednoduchými grafy, které jsou vždy okomentovány, popřípadě doplněny tabulkami a následně statisticky zhodnoceny. Z výsledku vyplývají 2 hlavní rozdíly mezi dospívajícími s normální váhou a trpícími nadváhou a obezitou. Jedním z nich je nepravidelnost ve stravování a celkově špatné stravovací zvyklosti, velký rozdíl se též objevuje u pohybové aktivity. U obézních adolescentů se často objevuje nerovnoměrný a nepravidelný příjem potravy, nadměrný příjem kalorických nápojů typu coca cola, fanta, sprite apod., nedostatečný příjem ovoce, zeleniny, luštěnin, ryb, či žádná nebo velmi nízká pohybová aktivita. Pouze několik obézních dospívajících se od těchto kritérií odlišuje, ti však toto onemocnění mají dané geneticky. U zkoumaných respondentů s normální váhou je stravování pravidelné, vyskytují se však výjimky, které se stravují obdobně jako obézní, avšak společnou vlastností, všech dětí s normální váhou, je pravidelná fyzická aktivita. Hypotéza 1 i hypotéza 2 byly potvrzeny. Výsledky ukazují, že na vzniku obezity se podílejí velmi často genetické faktory, které lze aspoň z části pozitivně ovlivnit pravidelnou pohybovou aktivitou a vhodnými stravovacími návyky. Závěrem práce bych chtěla říci, že je nepostradatelné zaměřit se na vhodné stravovací návyky a pravidelnou pohybovou aktivity již od útlého věku, kdy si dítě osvojuje většinu návyků a zvyklostí a to včetně rodičů, kteří jsou mnohdy vzorem pro své děti. Je důležité rozvíjet znalosti o jednotlivých formách prevence, které jsou mnohdy zásadní v zabránění vzniku nadváhy a obezity.
|
|
Automatická kontrola správnosti sestavení výrobku
Doležal, Petr ; Šmirg, Ondřej (oponent) ; Říha, Kamil (vedoucí práce)
Tato práce navrhuje softwarový algoritmus pro kontrolu klíčových vlastností výrobku na základě zpracování obrazových dat. Úvodem je popsána motivace, která předcházela jejímu vzniku. Následuje teoretický rozbor použitých pokročilých metod zpracování obrazu - Houghova transformace kružnic, mechanismus semínkového zaplavování. Autor přichází s vlastním mechanismem kompenzace nerovnoměrného osvětlení ve snímané scéně, který je založen na modelování ploch pomocí matematického aparátu Bézierových bikubik. Nechybí popis implementace v jazyce C/C++, metoda kompenzace osvětlení je implementována i prostředí MATLAB. Algoritmus je hodnocen pomocí procentuální úspěšnosti rozpoznání požadovaných vlastností. Důraz autor klade na časovou efektivitu realizace.
|
|
Surface acoustic waves in the layered systems
Tarasenko, Alexander ; Boháč, Petr ; Jastrabík, Lubomír
The laser acoustic method was used for analysis of two layered systems: thin titanium and diamond like carbon films both deposited on silicon. The film and substrate parameters are determined by fitting the theoretical curve to the measured dispersion curve. The fit software seeks that set of the system parameters whose theoretical curve coincides the best with the experimental data. For the titanium film the best root-mean square deviation was 2.04 m/s with the relative error < O.I % and for the DLC system the corresponding value was 0.30 m/s (the relative error < O.O1 % ).
|
host ::
