|
Zabezpečení přenosu dat Reedovými-Solomonovými kódy
Šalanský, Jan ; Šporik, Jan (oponent) ; Němec, Karel (vedoucí práce)
Tato bakalářská práce se zabývá zabezpečením přenosu dat Reedovými-Solomonovými kódy. Rozebírá konstrukci kódu, způsob kódování a především prostředky dekódování. Postupně popisuje jednotlivé fáze dekódování: výpočet syndromového vektoru, nalezení lokalizačního polynomu chyb, určení pozic chybných symbolů Chienovým vyhledáváním a výpočet opravných symbolů pomocí Forneyova algoritmu. Pro nalezení lokalizačního polynomu chyb srovnává tyto základní algoritmy: Petersonův–Gorensteinův–Zierlerův algoritmus, Berlekampův-Masseyův algoritmus a rozšířený Euklidův algoritmus. Na základě těchto teoretických poznatků je zde ukázán podrobný proces návrhu a softwarové realizace jednoduchého protichybového systému. Návrh systému začíná zvolením vhodného Reedova-Solomonova kódu R-S(63,39). Pokračuje konstrukcí základních algebraických struktur pro tento kód a odvozením kodéru a dekodéru. Návrh protichybového systému končí ukázkovým výpočtem kódování a dekódování. Na základě těchto výpočtů a za použití ukázkových příkladů uvedených ve zdrojové literatuře byl naprogramován výsledný protichybový systém pro platformy MS Windows a Linux.
|
|
Systém pro rozpoznávání 2D čárových kódů
Sedlář, Martin ; Richter, Miloslav (oponent) ; Petyovský, Petr (vedoucí práce)
Tato bakalářská práce se zabývá čtením 2D čárových kódů. Na začátku je uveden stručný přehled nejpoužívanějších čárových kódů. Dále se hlavně práce zabývá QR kódy. Vysvětlena je jejich struktura, složení a pravidla pro jejich tvorbu a čtení. Nastíněna je problematika uspořádání scény při jejich snímání. Popsán je algoritmus pro čtení QR kódů, který je psaný v jazyce C++ a využívá knihovnu OpenCV.
|
|
Zabezpečení přenosu dat obecnými lineárními blokovými kódy
Dzurenda, Petr ; Tejkal, Vladimír (oponent) ; Němec, Karel (vedoucí práce)
Práce se v úvodu zabývá problematikou základních vlastností obecných lineárních blokových kódů, konkrétně pak vytvářením generující a kontrolní matice a způsoby dekódování obecných lineárních blokových kódů, načež jsou tyto teoretické poznatky uplatněny v další části bakalářské práce a to návrhu kódu a realizace kodeku. Další část práce je zaměřena na konkrétní návrh obecného lineárního blokového kódu splňujícího požadavky kladené zadáním. V této kapitole lze najít způsob vytváření generující matice kódu schopného opravit tři nezávislé chyby, dále vytváření kontrolní matice pro dekódování a korekční obvod schopný tyto chyby opravit. Součástí je také popis vytvořených programů. Na konci kapitoly je uveden příklad kódování a dekódování vytvořeného kódu. Navazující částí je realizace kodeku, kde je podrobně popsán způsob vytvoření kodéru a dekodéru lineárního blokového kódu a v následující navazující části je tento kodek odsymulován v programu Matlab Simulink. V poslední části jsou za pomoci programu Eagle vytvořeny desky plošných spojů pro kodér a dekodér.
|
|
Simulakrum, hyperrealita a estetické kódy prezidentské volební kampaně
SPUSTOVÁ, Kateřina
Práce se věnuje otázkám spojeným se vztahem simulakra, hyperreality, estetických kódů a post-moderní společnosti se zřetelem na politický aparát. Východiskem jsou filosofické úvahy o simulakru a hyperrealitě Jeana Baudrillarda, Rolanda Barthese a Michela Foucaulta. V potaz jsou rovněž brána díla zabývající se přeměnou společnosti a řeči a také ta díla, která se věnují médiím. Práce se také snaží nastínit chronologický vývoj jednotlivých jevů se zřetelem na současnou společnost.
|
|
Mřížky a kódy
Rytíř, Pavel ; Loebl, Martin (vedoucí práce) ; Pangrác, Ondřej (oponent)
Diplomová práce zkoumá trojúhelníkové kon gurace, binární matroidy a mřížky generované binárními kódy. Zkoumáme domněnku, zdali mřížka generovaná kódovými slovy binárního kódu má bázi skládající se pouze z kódových slov. Domněnku dokážeme pro matroidy s dobrou uchovou dekompozicí. Prostudujeme operaci hranové kontrakce trojúhelníkové kon gurace. Hlavní dopad kontrakce na cyklus a acyklickou trojúhelníkovou kon guraci. Dokážeme, že pro každý graf existuje trojúhelníková kon gurace s kostrou která obsahuje tento graf jako minor. Pro každý binární matroid sestrojíme trojúhelníkovou kon guraci, která obsahuje tento matroid jako minor. Navíc dokážeme, že mezi prostory cyklů kon gurace a matroidu existuje bijekce. Tato bijekce zobrazuje kružnice matroidu na kružnice kon gurace.
|
|
Konverze modelů regulárních jazyků
Navrkal, David ; Kučera, Jiří (oponent) ; Křivka, Zbyněk (vedoucí práce)
p { margin-bottom: 0.08in; direction: ltr; color: rgb(0, 0, 0); line-height: 150%; widows: 2; orphans: 2; }p.western { font-family: "Times New Roman",serif; font-size: 11pt; }p.cjk { font-family: "Times New Roman",serif; font-size: 11pt; }p.ctl { font-family: "Times New Roman",serif; font-size: 12pt; } p { margin-bottom: 0.08in; direction: ltr; color: rgb(0, 0, 0); line-height: 150%; widows: 2; orphans: 2; }p.western { font-family: "Times New Roman",serif; font-size: 11pt; }p.cjk { font-family: "Times New Roman",serif; font-size: 11pt; }p.ctl { font-family: "Times New Roman",serif; font-size: 12pt; } Moje práce se zabývá, jak didakticky prezentovat studentům modely regulárních jazyků se zaměřením na jejich vzájemné konverze. Tyto konverze jsou převod regulárního výrazu na konečný automat (KA), odstranění epsilon pravidel z KA a determinizace KA. Cílem bylo toto implementovat aplikaci. V této práci dokumentuji vývoj této aplikace. Tuto aplikaci jsem programoval v jazyku C++ za použití grafické knihovny Qt 5. Aplikaci jsem vyvíjel v operačním systému Linux a testoval v prostředí Microsoft Windows 7. Všechny tyto konverze jsou implementovány. Aplikace je uživatelsky přívětivá, intuitivní a funkční. Aplikace nebyla testována na širším vzorku studentů. Přínosem této práce je aplikace, která pomůže studentům formálních jazyků a automatů lépe pochopit a procvičit si tuto teorii na příkladech. Zdrojové kódy tohoto projektu (regularConvertor) jsou dostupné online na serveru Github. p { margin-bottom: 0.08in; direction: ltr; color: rgb(0, 0, 0); line-height: 150%; widows: 2; orphans: 2; }p.western { font-family: "Times New Roman",serif; font-size: 11pt; }p.cjk { font-family: "Times New Roman",serif; font-size: 11pt; }p.ctl { font-family: "Times New Roman",serif; font-size: 12pt; }ráce se zabývá, jak didakticky prezentovat studentům modely regulárních jazyků se zaměřením na jejich vzájemné konverze. Tyto konverze jsou převod regulárního výrazu na konečný automat (KA), odstranění epsilon pravidel z KA a determinizace KA. Cílem bylo toto implementovat aplikaci. V této práci dokumentuji vývoj této aplikace.
|
|
Postoj EU ke geneticky modifikovaným potravinám
PŇÁČKOVÁ, Štěpánka
Bakalářská práce pojednává o postupném procesu přeměny některých rostlin v plodiny a jejich následném šlechtění člověkem až po současný vývoj, pro který je charakteristické genové inženýrství. Manipulace člověka s genetickými kódy organismů má své výhody i možná rizika, které se promítají v postojích k produkci a spotřebě geneticky upravených plodin. V Evropě je tato problematika diskutovaným tématem, přičemž GMO mají jak odpůrce, tak zastánce. Tato skutečnost se odráží v právních předpisech evropské unie, které vymezují přísné podmínky a opatření pro GMO.
|
|
Lineární kódy nad okruhy
Kobrle, Tomáš ; Šťovíček, Jan (vedoucí práce) ; Příhoda, Pavel (oponent)
Tato diplomová práce se zaměřuje na speciální typ okruhů nazývaný algebry cest s cílem definovat a popsat lineární kódy nad těmito okruhy. Algebra cest je definována pomocí grafické struktury tak zvaných quiverů, jejich struktura se pak dále přenáší i na moduly algeber cest. Samotné kódy jsou definovány nad nerozložitelnými injektivními moduly algeber cest s ohledem na nedávné výsledky z teorie kódů nad okruhy. Takto definované kódy nám umožňují studovat parametry a verze základních tvrzení z teorie lineárních kódů na tělesy pro kódy nad okruhy. Zmíněná tvrzení se týkají duálních kódů a s nimi spjatou MacWilliams identitou následovaný tvrzením o ekvivalenci kódů. Nakonec se vracíme k algebrám cest s popisem způsobu, jak je lze udělat použitelné v teorii kódů nad okruhy.
|
|
AS-I customer modul
Varga, Tomáš ; Bradáč, Zdeněk (oponent) ; Štohl, Radek (vedoucí práce)
Bachelor thesis consists of three parts. First part describes and gives closer look at communication network AS-Interface. Based on the first theoretical part is proposed device managed by microprocesor - type slave, as memory for at least 8 alphanumerical signs. In the second part we find proposal of scheme wiring in Eagle lyer editor 4.12 program and proposal of circuit board. The circuit board has been manufactured and components installed according to the proposal. Finished circuit board was subsequently revived. The third part of the thesis is dedicated to programming. The source codes were written by using the C programming language. The program has been then recorded into microprocessor.
|
|
Reed-Solomonovy kódy a jejich aplikace
Horal, Pavel ; Vojtěchovský, Petr (oponent) ; Drápal, Aleš (vedoucí práce)
Xazev praee: Reed-Solomonovy kody a jejich aplikaco Autor: Pavel Iloral Katcdra (ustav): Katedra Algebry Vedouci bakalafsko prace: Doc. RNDr. Ales Drapal. CSc. c-nia.il vedoiiciho: drapar^karlin.mil', cuni.cz Abstrakt: Prace podava ucelenon definici klasiekyeh Reed-Solomonovych kodn, vcetne potfobuyeh zakladu tcxjric1 k()du. Je dokazana cykliciiost RS kodn delky q - I . Na cyklienosti jsou pak zalozeny tri inx'zontovane dekcklovac'i algoritmy fPetersonnv, Rorlrkain])-Mas.seyuv a Enklidi'iv dekodova.ci algoritmns), vcetne. dukazfi existcniee feseni. V ])oslodni ka])itole uvadiin nckolik a.]>likaci RS kodu, vcetne nejznainejyiho standardu CIRC' pouzivancho na Imdebnich CD. Klieova alova: .s;nnoo])ravny k(5d.1'X'C, Reed-Solomon. Pcterstm, Berlekanip-Massey. Euklid. CIRC1 Title: Rood-Solomon codes and applications Author: Pavel llora.1 Department: Department of Algebra Supervisor: Doc. HXDr. Ales Drapal, CSc. Supervisor's e-mail address: drapal (fkarlin.nirl.ouni.c/ Alislracl: This work presents compact definition of classic Heed-Solomon codes with necessary elements of coding theory. The ryclicity of RS codes of length q - 1 is prooved and there are comletely described three decoding algorithms (Peterson's, Berlekamp-Ma,ssoy and Euclid decoding algorithm) based on RS cyclirity. I also in- troduce a few RS...
|
host ::
