| |
| |
|
Diagnostika kanálkových vlnovodů laditelným polovodičovým laserem
Ondráček, František ; Skalský, Miroslav ; Čtyroký, Jiří
V příspěvku je popsáno uspořádání pro nově budované měřící pracoviště s laditelným polovodičovým laserem a jsou prezentovány první výsledky spektrálního měření útlumu a grupového indexu lomu rezonátorovou metodou v kanálkových vlnovodech. Kanálkové vlnovody byly připraveny metodou iontové výměny ve speciálních sklech, protonovou výměnou v monokrystalu LiNbO.sub.3./sub. i difúzí titanu do LiNbO.sub.3./sub.. Jsou diskutovány výhody i úskalí použité metody a je naznačen směr dalšího vývoje měřící metodiky na pracovišti.
|
|
Srovnání kvantitativního měření ocelových standardů dvoupulzní a jednopulzní LIBS
Pořízka, Pavel ; Hrdlička, Aleš (oponent) ; Kaiser, Jozef (vedoucí práce)
V této diplomové práci je diskutován rozdíl mezi jednopulzní (Single Pulse) a dvoupulzní (Double Pulse) metodou spektrometrie laserem indukovaného mikroplazmatu (LIBS). Je zde pojednáno o časovém vývoji parametrů (hustota elektronů, teplota plazmatu, hustota iontů, resp. atomů jednotlivých prvků) laserem indukovaného mikroplazmatu (LIP). Současně jsou uvedeny metody pro stanovení hodnot jednotlivých parametrů plazmatu (Boltzmannova rovnice, Sahova-Boltzmannova rovnice). Lokální termodynamická rovnováha (LTE), která je nezbytnou podmínkou pro zavedení dříve zmíněných metod výpočtu jednotlivých parametrů, je v této práci podpořena teoretickými úvahami. Diplomová práce rovněž obsahuje experimentální nastavení jednotlivých komponent laserové sestavy a způsob optimalizace. Uvedené teoretické přednosti metody DP LIBS jsou demonstrovány na výsledcích experimentálních měření ocelových standardů.
|
|
Vývoj algoritmů pro odhad stavu experimentálního vozidla
Lamberský, Vojtěch ; Krejsa, Jiří (oponent) ; Grepl, Robert (vedoucí práce)
Tato práce se zabývá studiem filtračních algoritmů používajících matematický model systému k zlepšení kvality filtrace. Navržené filtrační algoritmy jsou použité v řídící jednotce experimentálního vozidla (filtrování signálu pro zpětnovazební regulátory). Na experimentálním vozidle je demonstrováno zlepšení odhady polohy při použití Kalmanova filtru. V další části je popsán způsob návrhu algoritmu pro mikrokontroléry dsPIC z prostředí Matlabu.
|
|
Tvorba mikro a nanoporů v polovodičích A.sup.3./sup. B.sup.5./sup
Nohavica, Dušan ; Gladkov, Petar ; Zelinka, Jiří ; Dvořák, Martin ; Pirov, J.
Elektrochemicky lze vytvářet pory take v polovodičích A.sup.3./sup. B.sup.5./sup.. Konkrétně byly v naší laboratoři studovány podmínky přípravy porů v InP, GaAs a GaP. Nejúplnější soubor výsledků byl shromážděn v případě InP, který umožňuje přípravu téměř dokonale samoorganizovaných mikroporů. Byly připraveny i struktury vícenásobné, kombinující krystalografické a proudové pory. Jsou uvedeny i podrobnosti vedoucí k přípravě různě orientovaných krystalografických porů. Roněž v GaAs a GaP existují oba typy porů, ale v jejich pravidelnosti existují specifické rozdíly.
|
|
Vystružovací nástroje s břity z cermetu a PVD povlakem
Technik, Radim ; Humár, Anton (oponent) ; Kouřil, Karel (vedoucí práce)
Diplomová práce se zaměřuje na problematiku vystružování nástroji s břity z cermetu a PVD povlakem. Poukazuje na historický vývoj a současné požadavky na kvalitu vyráběných povrchů. Obsahuje charakteristiku výstružníků, jejich základní rozdělení, konstrukci, řeznou geometrii a hlavní předpoklady vývoje vystružovacích nástrojů. V práci je posuzována vhodnost cermetů a PVD povlaků při aplikaci na vystružovací nástroje. Obsahuje přehled současného stavu na trhu s vystružovacími nástroji, včetně speciálních cermetových nástrojů a jednotlivých prvků poskytovaného Tool Managementu. Experimentální část této práce je zaměřena na ověření užitných vlastností cermetové, tepelně upínané, výměnné vystružovací hlavice s PVD povlakem, vyrobené firmou HAM-FINAL s.r.o. Součástí experimentální části je rovněž ekonomické zhodnocení investice při nákupu tohoto nástroje demonstrované na příkladě praktického použití.
|
|
Harnessing Forest Automata for Verification of Heap Manipulating Programs
Šimáček, Jiří ; Abdulla, Parosh (oponent) ; Křetínský, Mojmír (oponent) ; Vojnar, Tomáš (vedoucí práce)
This work addresses verification of infinite-state systems, more specifically, verification of programs manipulating complex dynamic linked data structures. Many different approaches emerged to date, but none of them provides a~sufficiently robust solution which would succeed in all possible scenarios appearing in practice. Therefore, in this work, we propose a new approach which aims at improving the current state of the art in several dimensions. Our approach is based on using tree automata, but it is also partially inspired by some ideas taken from the methods based on separation logic. Apart from that, we also present multiple advancements within the implementation of various tree automata operations, crucial for our verification method to succeed in practice. Namely, we provide an optimised algorithm for computing simulations over labelled transition systems which then translates into more efficient computation of simulations over tree automata. We also give a new algorithm for checking inclusion over tree automata, and we provide experimental evaluation demonstrating
|
|
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.
|
host ::
