|
|
Protokol TTP pro správu hierarchických stromů zpětné vazby RTCP kanálu
Müller, Jakub ; Komosný, Dan (oponent) ; Burget, Radim (vedoucí práce)
Protokol TTP pro správu hierarchických stromu zpětné vazby RTCP kanálu představuje mechanizmu, který realizuje přenos velkého množství informací od uživatelů „úzkým“ zpětným kanálem. Velkým množství není míněno tisíce uživatelů, ale spíše až miliony, kterých můžou služby jako je IPTV dosáhnout. K tomuto účelu využívá metody sumarizace informace od části uživatelů v definovaných uzlech sítě a následný přenos zpráv a další případnou sumarizaci v nadřazených uzlech sestaveného hierarchického stromu zpětného kanálu. Obě metody umožňují především redukci množství dat, což se následně promítne do výrazného většího množství informace, které je zpětným kanálem přeneseno. Pro správnou funkčnost je třeba vždy zjistit aktuální pozici uživatele a podle ní vypočítat nejbližší sumarizační uzel, ke kterému bude svá data odesílat ke zpracování. Pro realizaci zpětného kanálu existuje hned několik možností, z kterých je představen především asynchronní způsob přenosu zpráv, sestavení a následná správa tohoto kanálu.
|
|
|
Sběr dat z velkého počtu počítačů pomocí hierarchické sumarizace
Jelínek, Mojmír ; Novotný, Vít (oponent) ; Komosný, Dan (vedoucí práce)
Tato práce pojednává o IPTV (Internet Protocol Television) systému televizního vysílání, o možnostech vysílání multimediálního obsahu skrze počítačové sítě a možnosti přenosu signalizace. Rovněž popisuje všechny nezbytné prvky, metody a procesy používané IPTV technologií. První část se zaměřuje na celkový pohled na IPTV a popis používané terminologie, dále pak na základní informace o klasickém televizním vysílání, znázorňuje a vysvětluje rozdíly oproti IPTV a rovněž popisuje výhody a nevýhody tohoto typu vysílání. Tato část rovněž ukazuje, proč má tato technologie zářivou budoucnost. Následující části popisují vývoj IPTV od jeho návrhu až po realizaci a je zde znázorněno skutečné začlenění multimediálního vysílání do ADSL (Asymmetric Digital Subscriber Line) prostředí a popsány všechny důležité prvky sítě jako je Head-End, ADSL, DSLAM (Digital Subscriber Line Access Multiplexer) a možnosti přenosu dat. Dále pak stručný popis používaných technik komprese přenášených dat (MPEG-2 a MPEG-4) a možnosti vlastního přenosu jako je broadcast, unicast a multicast. Jistě zajímavým údajem je nezbytná šířka pásma a požadavky na kvalitu přenosu. Nedílnou součástí je vlastní realizace aplikací v programovacím jazyce C++ pro vysílání a příjem paketů pomocí protokolu UDP (User Datagram Protocol) . Tyto aplikace mají za úkol vytížit hlavní server, kde se provádí měření ztrátovosti paketů a vytížení procesoru. Výstupem je tabulka naměřených hodnot pro dané velikosti paketů a pro dané intervaly mezi jejich vysíláním. Smyslem tohoto měření je nalézt hodnotu maximálního množství počítačových stanic, které je sumarizační server schopnen zpracovat. Posední částí je realizace dvojice aplikací v jazyce JAVA, které mají za úkol zjišťovat informace o koncových uzlech sítě. Oba algoritmy jsou provedeny dvouvláknově ke zvýšení dynamičnosti a rychlosti získávání daných informací. Klientská strana na jednom z vláken provozuje náhodné generátory, které budou později nahrazeny reálnými algoritmy pro získávání skutečných hodnot.
|
|
|
Verifikace programů s ukazateli založená na detekci vzorů
Kubíček, Jan ; Erlebach, Pavel (oponent) ; Vojnar, Tomáš (vedoucí práce)
Tato práce navazuje na výsledky studií v oblasti verifikace nekonečně stavových systémů. Konkrétně se jedná o oblast abstraktního model checkingu. Seznámili jsme se s metodou založenou na abstrakci paměťové konfigurace pomocí paměťových vzorů. Tato metoda byla navržena pro verifikaci programů pracujících s dynamickými paměťovými strukturami jako například seznamy. Na dynamické paměťové struktury je nahlíženo jako na orientované grafy. Verifikace na základě paměťových vzorů abstrahuje obecně libovolné množství vytvořených uzlů do jednoho sumarizovaného uzlu. Tím se dosáhne reprezentace obecně neukončeného grafu konečným zápisem. Poté je možno efektivně provést verifikaci nad tímto abstrahovaným grafem. V naší práci se zabýváme tvorbou modelu pro nástroj implementující verifikaci na základě paměťových vzorů. Model programu je vytvořen z podmnožiny jazyka C. Hlavním přínosem práce je automatizace tvorby modelu pro verifikaci a tím dosáhnutí úplné automatizovanosti procesu verifikace. Je tak možné verifikovat programy napsané v běžném programovacím jazyce. V této práci je diskutována syntaxe vstupního jazyka i implementační detaily překladu.
|
|
|
Synchronizace přenosu signalizace u internetové televize
Figurny, Roman ; Karásek, Jan (oponent) ; Müller, Jakub (vedoucí práce)
Úkolem této bakalářské práce je navrhnout synchronizační mechanismus pro signalizační servery označované jako Feedback Target v hierarchické struktuře zpětného kanálu. Dále pak funkci synchronizačního mechanismu ověřit v poskytnutém simulačním prostředí naprogramovaném v jazyce Java. Pomocí navrženého synchronizačního mechanismu docílit zkrácení doby putování signalizačních zpráv, putujících přes signalizační síť, a tím docílit rychlejší reakci na případné zahlcení sítě a případnou velkou ztrátovost paketů při poskytování multimediálního obsahu dat pomocí služby IPTV. V teoretické části jsou rozebrány protokoly RTCP, RTP a TTP. Dále jsou také rozebrány metody pro zasílání paketů v síti (multicast, unicast a broadcast), poté jsou uvedeny základní poznatky o službě IPTV, její distribuce a rozdíly oproti klasickému internetovému vysílání. Zmíněny jsou také základní pojmy v oblasti zpětného stromu, jako jsou Feedback Target, Feedback Target Manager a FTI, FDI a FTS pakety.
|
|
|
Analýza entit v psychoterapeutických sezeních
Polok, Alexander ; Karafiát, Martin (oponent) ; Matějka, Pavel (vedoucí práce)
Tato práce se zabývá analýzou psychoterapeutických sezení v rámci výzkumného projektu DeePsy. Jejím cílem je navrhnout a vytvořit sadu příznaků modelujících průběh sezení, jež mohou odhalit na první pohled nepatrné nuance. Zmíněné příznaky jsou automaticky extrahovány ze zdrojové nahrávky s využitím hlubokých neuronových sítí. Příznaky jsou zpracovány, porovnány napříč sezeními a graficky zobrazeny, čímž vzniká dokument plnící roli zpětné vazby o sezení pro terapeuta. Tato zpětná vazba může posloužit k profesnímu růstu a kvalitnější psychoterapii v budoucnu. Bylo dosaženo relativního zlepšení detekce řečové aktivity o 37,82 %. Byl zobecněn diarizační systém VBx ke konvergenci ke dvěma mluvčím s minimálním relativním zhoršením chybovosti o 0,66 %. Byl natrénován systém pro automatické rozpoznávání řeči, jehož chybovost je o 17,06 % relativně lepší než nejlepší dostupný hybridní model. Dále byly natrénovány systémy pro klasifikaci sentimentu, typu terapeutických intervencí a detekci překrývající se řeči.
|
|
|
Sumarizace českých textů z více zdrojů
Brus, Tomáš ; Bojar, Ondřej (vedoucí práce) ; Mareček, David (oponent)
Diplomová práce se zabývá problémem sumarizace sady článků na dané téma. Rozebírá několik možných způsobů sestavování sumarizace a způsoby vyhodnocení jejich výsledků. Součástí práce je implementace popsaných algoritmů a jejich aplikace na vybrané texty. Ty pocházejí z~českých zpravodajských webových serverů a jsou reprezentovány formálně pomocí hloubkové syntaxe (tektogramatická rovina).
|
|
|
Analýza textových používateľských hodnotení vybranej skupiny produktov
Valovič, Roman
Tato práce se zaměřuje na návrh systému, který v textových recenzích produktů identifikuje často diskutované vlastnosti produktů, sumarizuje je a s ohledem na sentiment v přehledné formě zobrazí uživateli. V práci je rozebrána problematika zpracování přirozeného jazyka, se specifickým zaměřením na češtinu. Čtenář je kromě jiného seznámen s metodami preprocessingu textu a jejich vlivu na kvalitu výsledků analýzy. Samotná identifikace diskutovaných vlastností probíhá primárně za pomoci shlukové analýzy s využitím algoritmu K-Means, kde předpokládáme, že dostatečně vnitřně homogenní shluky budou představovat jednotlivé vlastnosti produktů. Novou oblastí, která bude v této práci prozkoumána, je reprezentace dokumentů pomocí techniky Word embeddings a z ní vyplývající možnosti využití vektorového prostoru jako vstupu pro algoritmy strojového učení.
|
|
|
Sumarizace českých textů z více zdrojů
Brus, Tomáš ; Bojar, Ondřej (vedoucí práce) ; Mareček, David (oponent)
Diplomová práce se zabývá problémem sumarizace sady článků na dané téma. Rozebírá několik možných způsobů sestavování sumarizace a způsoby vyhodnocení jejich výsledků. Součástí práce je implementace popsaných algoritmů a jejich aplikace na vybrané texty. Ty pocházejí z~českých zpravodajských webových serverů a jsou reprezentovány formálně pomocí hloubkové syntaxe (tektogramatická rovina).
|
|
|
Verifikace programů s ukazateli založená na detekci vzorů
Kubíček, Jan ; Erlebach, Pavel (oponent) ; Vojnar, Tomáš (vedoucí práce)
Tato práce navazuje na výsledky studií v oblasti verifikace nekonečně stavových systémů. Konkrétně se jedná o oblast abstraktního model checkingu. Seznámili jsme se s metodou založenou na abstrakci paměťové konfigurace pomocí paměťových vzorů. Tato metoda byla navržena pro verifikaci programů pracujících s dynamickými paměťovými strukturami jako například seznamy. Na dynamické paměťové struktury je nahlíženo jako na orientované grafy. Verifikace na základě paměťových vzorů abstrahuje obecně libovolné množství vytvořených uzlů do jednoho sumarizovaného uzlu. Tím se dosáhne reprezentace obecně neukončeného grafu konečným zápisem. Poté je možno efektivně provést verifikaci nad tímto abstrahovaným grafem. V naší práci se zabýváme tvorbou modelu pro nástroj implementující verifikaci na základě paměťových vzorů. Model programu je vytvořen z podmnožiny jazyka C. Hlavním přínosem práce je automatizace tvorby modelu pro verifikaci a tím dosáhnutí úplné automatizovanosti procesu verifikace. Je tak možné verifikovat programy napsané v běžném programovacím jazyce. V této práci je diskutována syntaxe vstupního jazyka i implementační detaily překladu.
|
|
|
Synchronizace přenosu signalizace u internetové televize
Figurny, Roman ; Karásek, Jan (oponent) ; Müller, Jakub (vedoucí práce)
Úkolem této bakalářské práce je navrhnout synchronizační mechanismus pro signalizační servery označované jako Feedback Target v hierarchické struktuře zpětného kanálu. Dále pak funkci synchronizačního mechanismu ověřit v poskytnutém simulačním prostředí naprogramovaném v jazyce Java. Pomocí navrženého synchronizačního mechanismu docílit zkrácení doby putování signalizačních zpráv, putujících přes signalizační síť, a tím docílit rychlejší reakci na případné zahlcení sítě a případnou velkou ztrátovost paketů při poskytování multimediálního obsahu dat pomocí služby IPTV. V teoretické části jsou rozebrány protokoly RTCP, RTP a TTP. Dále jsou také rozebrány metody pro zasílání paketů v síti (multicast, unicast a broadcast), poté jsou uvedeny základní poznatky o službě IPTV, její distribuce a rozdíly oproti klasickému internetovému vysílání. Zmíněny jsou také základní pojmy v oblasti zpětného stromu, jako jsou Feedback Target, Feedback Target Manager a FTI, FDI a FTS pakety.
|
host ::
RSS.