Detail předmětu
Systémy odolné proti poruchám
SPP Ak. rok 2024/2025 letní semestr 5 kreditů
Principy odolnosti, struktury a techniky pro zvýšení odolnosti systémů proti poruchám. Kódy pro zabezpečení a opravu informace. Lineární blokové kódy. Řídké paritní kódy. Maticový popis kódů. Cyklické kódy. Konstrukce Galoisových těles pro cyklické kódy. BCH a RS kódy. Kódy pro zabezpečení informace v pamětech typu Flash a CDROM. Úvod do kvantového počítání, oprava chyb v kvantových systémech.
Garant předmětu
Koordinátor předmětu
Jazyk výuky
Zakončení
Rozsah
- 26 hod. přednášky
- 26 hod. projekty
Bodové hodnocení
- 70 bodů závěrečná zkouška
- 30 bodů projekty
Zajišťuje ústav
Přednášející
Cvičící
Cíle předmětu
Seznámit studenty s různými formami redundance a jejich využitím k vytváření počítačových systémů pracujících správně i za přítomnosti poruch nebo chyb v datech. Zvládnuté přístupy k vytváření odolnosti proti poruchám obvodovými a softwarovými prostředky.
Motivace:
Pokud bychom měli zvolit matematický objev s největším dopadem za posledních 50 let, samoopravný kód by byl jistým kandidátem. Takový kód chrání digitální informace, které jsou přenášeny nebo ukládány, před náhodnými chybami. Předmět SPP mimo jiné ukazuje, že řada objektů abstraktní algebry - např. matice, prvočísla, polynomy, grupy nebo konečná tělesa - mají významné praktické aplikace, protože se používají při návrhu a analýze kódů pro opravu chyb. Bez nich by zařízení jako CDROM, paměti Flash nebo prostředky digitální komunikace, nefungovala.
Požadované prerekvizitní znalosti a dovednosti
Základy lineární algebry a diskrétní matematiky, základy návrhu číslicových systémů.
Literatura studijní
- Lin, S., Costello, D.J.: Error Control Coding: Fundamentals and Applications, 2. vyd., PEARSON, 2010
- Koren, I., Krishna, C. M.: Fault-Tolerant Systems, 2. vyd., Morgan Kaufmann, 2020
- Sanvicente, E.: Understanding Error Control Coding. Springer, 2019
- Dumas, J.-G., Roch, J.-L., Tannier, E., Varrette, S.: Foundations of Coding: Compression, Encryption, Error Correction. Wiley-Blackwell, 2015
- Jiang, Y.: A Practical Guide to Error-Control Coding Using MATLAB. Artech House, 2010
Literatura referenční
- Lin, S., Costello, D.J.: Error Control Coding: Fundamentals and Applications, 2. vyd., PEARSON, 2010
- Koren, I., Krishna, C. M.: Fault-Tolerant Systems, 2. vyd., Morgan Kaufmann, 2020
- Sanvicente, E.: Understanding Error Control Coding. Springer, 2019
- Dumas, J.-G., Roch, J.-L., Tannier, E., Varrette, S.: Foundations of Coding: Compression, Encryption, Error Correction. Wiley-Blackwell, 2015
- Jiang, Y.: A Practical Guide to Error-Control Coding Using MATLAB. Artech House, 2010
Osnova přednášek
- Úvod, přehled a kategorie systémů odolných proti poruchám.
- Techniky zajištění odolnosti systémů proti poruchám.
- Detekce a oprava chyb v datech. Paritní kódy. Kontrolní součet.
- Lineární blokové kódy: Hammingovy kódy a řídké paritní kódy.
- Maticová algebra pro popis kódů.
- Cyklické kódy: princip, obvodová realizace, CRC.
- Algebra pro pokročilé kódy: Galoisova tělesa.
- Pokročilé cyklické kódy: BCH a Reed-Solomonovy kódy.
- Zabezpečení v reálných systémech: paměti Flash a CDROM.
- Úvod do teorie kvantového počítání.
- Kvantové operátory, kvantová hradla, kvantové obvody.
- Základní principy zabezpečení kvantových výpočtů.
- Programování a simulace kvantového výpočtu.
Osnova ostatní - projekty, práce
Individuálně zadávaná témata projektů.
Průběžná kontrola studia
Vypracování projektu a dosažení minimálního hodnocení 10 bodů za jeho prezentaci pro získání zápočtu a připuštění ke zkoušce. Složení závěrečné písemné zkoušky a dosažení celkového minimálního hodnocení v součtu za hodnocené aktivity předmětu 50 bodů.
Způsob kontaktu s vyučujícím
Vizte kontakty na osobní www stránce a konzultační hodiny s možností rezervsace termínů.
Rozvrh
Den | Typ | Týdny | Místn. | Od | Do | Kapacita | PSK | Skup | Info |
---|---|---|---|---|---|---|---|---|---|
Po | přednáška | 2., 3., 4., 5., 6., 7., 8., 9., 10., 12., 13. výuky | L314 | 09:00 | 10:50 | 30 | 1MIT 2MIT | NVER xx | Bidlo |
Čt | zkouška | 2025-05-22 | A113 | 10:00 | 11:50 | 1. termín | |||
Pá | zkouška | 2025-06-06 | A113 | 09:00 | 10:50 | 3. termín | |||
Pá | zkouška | 2025-05-30 | A113 | 13:00 | 14:50 | 2. termín |
Zařazení předmětu ve studijních plánech