|
|
Dependability Assessment Based on SMC
Gajdošík, Róbert ; Lojda, Jakub (oponent) ; Strnadel, Josef (vedoucí práce)
The aim of this thesis is assessing dependability of computerized systems using modelling and simulation. After establishing basic nomenclature, research was performed on de- pendability metrics, fault taxonomy and dependability bolstering techniques. Afterwards, analytical solutions were explored to be used as a reference point. Next, multiple simulation tools were assessed and Uppaal SMC was chosen as the most suitable tool because of it’s timed automaton framework enriched with a query language and multiple Simulation Model Checking tools. Finally, systems describing multiple relevant situations were implemented and evaluated against both themselves and the analytically computed reference point.
|
|
|
Souběh fotonických služeb v optickém vlákně
Látal, Michal ; Horváth, Tomáš (oponent) ; Münster, Petr (vedoucí práce)
Diplomová práce se zaměřuje na společný přenos vybraných fotonických služeb jedním jednovidovým optickým vláknem. V práci je rozebrána problematika společného přenosu více fotonických služeb jedním optickým vláknem při využití technologie vlnového multiplexu. Dále je popsán vznik a vliv nelineárních jevů doprovázejících společný přenos fotonických služeb. Kromě běžného datového přenosu s přenosovou rychlostí 10 Gbit/s je zvažován společný přenos vysokorychlostního datového signál o přenosové rychlosti 200 Gbit/s, přenos přesného času a vysokovýkonného senzorického signálu. Při společném přenosu vybraných fotonických služeb bylo provedeno měření přenosových parametrů pro různé varianty uspořádání společného přenosu. Analyzován byl především vliv nelineárních jevů a možné vzájemné rušení jednotlivých přenosových kanálů při odstupu 50 a 100 GHz mezi jednotlivými signály.
|
|
|
Paralelní detekce virových agens v patogenezi autoimunitních onemocnění
Kunteová, Kateřina ; Cinek, Ondřej (vedoucí práce) ; Saláková, Martina (oponent)
S celkovým rozvojem metod molekulární genetiky v průběhu let vznikly i nové metody, které lze využít ve virologii. Stále více je využíváno sekvenování nové generace, které umožňuje současně paralelní sekvenaci mnoha vzorků, navíc také umožní rozlišit infekci více virovými typy ve vzorku. Cílem práce bylo vyvinout metodu, kterou by bylo možné genotypizovat všechny známé typy lidských adenovirů, lidských enterovirů, a bakteriofágů, vybraných pro jejich výskyt ve střevě. Metoda využívá sekvenování nové generace. Prvním krokem při vývoji metody byl návrh primerů, které jsou schopny detekovat všechny známé typy zmíněných virů, pokrývající oblast, která je schopná tyto viry mezi sebou odlišit. Tato metoda byla testována na souboru 47 vzorků lidských adenovirů a 30 vzorků lidských enterovirů se známým sérotypem. Vytvořeny byly také vzorky se dvěma sérotypy v různém poměru. Po amplifikaci cílových částí genomu byly vzorky přečištěny a sekvenovány na přístroji MiSeq, Illumina. Metoda byla dále využita při typizování adenovirů, enterovirů a bakteriofágů v pre-diabetických kohortách DIPP, MIDIA a v kohortě diabetiků z afrických a asijských zemí. Výchozím vzorkem byla RNA/ DNA izolovaná ze vzorku stolice. Prokázali jsme, že metoda dokáže zachytit všechny testované typy virů, včetně vzorků směsných infekcí...
|
|
|
Softwarově definované optické sítě
Kloda, Tomáš ; Horváth, Tomáš (oponent) ; Kočí, Lukáš (vedoucí práce)
Tato práce je zaměřena na vysvětlení principu softwarově definovaných sítí a komunikace přes protokol OpenFlow s popisem přenášených zpráv. Dále se práce zabývá softwarově definovanými optickými sítěmi, kde jsou popsány kombinace OpenFlow s dalšími technologiemi a způsoby řízení optické cesty. V další části se práce soustředí na popis fyzické vrstvy páteřních optických sítích, kde se nachází popis multiplexů, DWDM technologie a optických prvků. Tato práce dále zahrnuje návrhy softwarově definované optické sítě s implementací rozšířeného záhlaví pro přenos v optické doméně. Výstupem práce jsou simulace obsahující synchronizaci mezi jednotlivými prvky během inicializace softwarově definované optické sítě s výskytem zpoždění. V závěru je práce soustředěna na simulace samotného datového přenosu uvnitř navržené softwarově definované optické sítě.
|
|
|
Využití polarizačního multiplexu v optických přístupových sítích
Jakoubek, Petr ; Čučka, Milan (oponent) ; Šifta, Radim (vedoucí práce)
Práce se zabývá popisem polarizačního multiplexu, jevů spojených s tímto multiplexem, jeho výhodami a nevýhodami. Popisuje základy optických vláken, jevy působící na přenos optickým vláknem, dělení optických přístupových sítí a používané multiplexy s ohledem na jejich vhodnost k součastnému použití s polarizačním multiplexem. Dále aktivní i pasivní prvky, které jsou používány pro vysokorychlostní optické přenosy, zejména polarizační multiplex. Popisuje polarizaci signálu ve vlákně, druhy polarizací a jevy, díky kterým k polarizaci signálu dochází. Práce zahrnuje praktické měření vlivu teploty na polarizaci a přeslechy signálu ve vlákně pro vysoké teploty do 70 °C a záporné teploty do -40 °C. Obsahuje porovnání praktického měření a simulace pro přenos signálu s rychlostí 1 Gb/s vláknem G.652.D pro dvě různé situace. Reálné měření navíc obsahuje testování na triple play služby, neboli testování pro přenos videa, hlasu a dat. První měření zahrnuje přenos signálu, který je přenášen v jedné polarizační rovině a je ovlivňován bílým šumem simulujícím současný přenos analogové televize v rovině druhé. Druhé měření předpokládá obousměrný přenos po jednom vlákně, kdy pro vzestupný směr je využita jedna polarizační rovina, pro sestupný směr rovina druhá a tím je uskutečněn duplexní přenos mezi dvěma koncovými body. Měření a simulace potvrdili schopnost využití polarizačního multiplexu a jeho praktické využití v optických přístupových sítích v rozsahu běžných okolních teplot.
|
|
|
Měření vysílání DVB-T simulovaným přenosovým kanálem
Vašut, Jakub ; Kratochvíl, Tomáš (oponent) ; Štukavec, Radim (vedoucí práce)
Cílem této bakalářské práce je prostudování základních funkčních bloků kodéru a modulátoru standartu DVB-T. Dále je úkolem seznámit se s dokumentací DVB-T modulátoru DTA-110T a ASI/SDI adaptéru DTA-145 od firmy DekTec. Popsán je softwarový simulátor přenosového kanálu DTC-305 a možnosti nastavení parametrů přenosového kanálu. Jsou proměřeny přenosové kanály uplatňující se při přenosu signálu DVB-T a stanoven jejich vliv na kvalitu přijímaného signálu.
|
|
|
Analýza chyb v transportním toku MPEG-2 TS při přenosu DTV
Chrobák, Jan ; Slanina, Martin (oponent) ; Kratochvíl, Tomáš (vedoucí práce)
Tato práce pojednává o monitorování a měření počtu chyb v transportním toku MPEG-2 TS při příjmu vysílání digitální televize podle standardu DVB. V práci jsou na úvod popsány definice a standardy DVB pro přenos transportního toku včetně jeho synchronizace, podmínek pro dekódování a tabulek servisních informací. K experimentálnímu měření v laboratoři byl využit měřící dekodér R&S DVMD, který umožňuje dlouhodobé monitorování a automatizované vyhodnocení chyb jednotlivých priorit. Zpracované výsledky měření při příjmu vysílání DVB-T a multiplexu 1 a 2 a DVB-S a tzv. paketu CS link jsou rovněž součástí práce.
|
|
| |
|
|
Platforma MHP a její využití v DVB-T
Janík, Lukáš ; Balík, Miroslav (oponent) ; Kohoutek, Michal (vedoucí práce)
Tato bakalářská práce řeší problém digitálních televizí a set-top boxů, přesněji řečeno platformu MHP a její využití v DVB-T, jak již vyplívá z názvu. V prvních kapitolách se zmiňuji o součastném analogovém pozemním vysílání a nastiňuji nutnost přechodu k digitálnímu vysílání. Dále zde můžete číst nutnost zavedení platformy MHP. Tuto platformu rozebírám dopodrobna a popisuji její klady, zápory a možnosti jejího využití nyní i do budoucna. Zmiňuji se o různých typech set-top boxů a o jejich nejhlavnějších výrobcí. Dále se zmiňuji a vysvětluji celkový cyklus vývoje aplikace, od psaní zdrojového kódu, přes testování ve vývojovém prostředí IRT, respektive Osmosys, až po nahrátí do skutečného set-top boxu. Představuji zde také svou praktickou část bakalářské práce, kterou bylo vývoj chatovacího klienta pro platformu MHP, který umožňuje komunikaci dvou uživatelů v reálném čase. Tuto aplikaci jsem otestoval v programu IRT a nahrál do skutečného set-top boxu. Dále zde rozebírám problematiku programovacího jazyku Java, jako vhodného vývojového jazyka pro tuto platformu. Zmiňuji se o standartu HAVi a nastiňuji jeho důležitost, při celkovém využití platformy MHP.
|
|
|
Možnosti zvýšení propustnosti optovláknové průmyslové sítě
Čičmanský, Tomáš ; Münster, Petr (oponent) ; Filka, Miloslav (vedoucí práce)
Diplomová práca sa venuje problematike priemyselných sietí s využitím optických vlá- kien ako hlavných prenosových liniek. Úlohou tejto diplomovej práce je naštudovať a zosumarizovať problematiku priemyselných sietí, ako aj spôsoby zvyšovania ich preno- sovej kapacity. V telekomunikačných a počítačových sieťach sú štandardne používané multiplexy, vďaka ktorým sme schopný žiadanú prenosovú kapacitu dosiahnuť. Preto sa nasledovná práca zaoberá výberom vhodných riešení za pomoci popisovaných multiplexov ale aj iných prenosových metód. Diplomová práca si kladie za cieľ porovnať rôzne spôsoby renovácie staršej priemyselnej siete. Na tejto priemyselnej sieti by malo byť demonštrované použitie jednotlivých metód spolu s ich nastávajúcimi problémami a riešeniami. Vhodné riešenie je vyberané na základe ceny, výkonu a zložitosti inštalácie zariadení a prenosových médií.
|
host ::
RSS.