Detail předmětu

Logical systems

FEKT-NLOSAk. rok: 2017/2018

Při studiu kurzu se předpokládají znalosti z předmětu Řídicí elektronika (REB), který student absolvoval v bakalářeském studiu. Náplň kurzu představuje širší pohled na logické systémy a jejich teoretický základ (např. vícehodnotová logika a její přednosti a nedostatky), a ucelený soubor podrobněji probíraných témat souvisejících s aplikací logických systémů v řízení, v ovládání měřicích celků a ve sběru a zpracování dat (vznik a eliminace rušení, řešení a navrhování nestandartních logických členů a obvodů, kódování a jeho využití k zabezpečení přenosu a ukládání dat, využití obvodů velké integrace - polovodičových pamětí, programovatelných logických polí včetně jejich programování, podpůrných obvodů mikroprocesorů).

Jazyk výuky

angličtina

Počet kreditů

6

Garant předmětu

Ing. Radovan Holek, CSc.

Zajišťuje ústav

Ústav automatizace a měřicí techniky (UAMT)

Výsledky učení předmětu

Student získá úzký kontakt s číslicovou technikou, jejími teoretickýžmi základy a technickými prostředky pro její praktické použití.
Získá základní znalosti pro popis, analýzu a návrh kombinačních a sekvenčních logických sítí v číslicových systémech.
Student bude schopen pomocí jazyja VHDL popsat číslicový systém a provést jeho fyzickou implementaci.

Prerekvizity

Jsou požadovány znalosti na úrovni bakalářského studia.

Plánované vzdělávací činnosti a výukové metody

Metody vyuřování zahrnují přednášky, numerická cvičení a laboratorní úlohy. Student odevzdá 7 domácích projektů.
V laboratoři se realizují dva projekty na přípravcích.

Způsob a kritéria hodnocení

Podmínky pro úspěšné ukončení předmětu stanoví každoročně aktualizovaná vyhláška garanta předmětu.
max. 30 bodů Odevzdání vzorových úlob z labolatorních cvičení
max.70 bodů Písemná závěrečná zkouška

Osnovy výuky

1.Boolova algebra. Minimalizace logických výrazů: Karnaghovy mapy.
2.Minimalizace logických výrazů: Quinův-McCluskeyho algoritmus Analýza činnosti logických sítí, souběh a hazard.
3.Sčítačka,multiplexor, demultiplexor, dekoderAsynchronní logické sítě, klopné obvody.
4.Sekvenční logické obvody a sítě. Stavové automaty a jejich reprezentace.
5.Základy jazyka VHDL. Datové typy, Příkazy jazyka VHDL
6.Popis kombinačních obvodů, Synchronních sekvenční obvody, Konečné automy. Testování obvodů a návrh testů, funkční simulace.

Učební cíle

Rozšířit znalosti teorie logických obvodů z bakalářského studia a doplnit je znalostí logických systémů a jejich navrhování, konstrukce, zkoušení a praktického použití.
Získat základní znalosti metod pro popis, analýzu a návrh kombinačních a sekvenčních logických obvodů.
Seznámit studenty se syntaxí a sémantikou jazyka pro popis hardware (VHDL).
Využití jazyka VHDL pro modelování, simulaci a syntézu komplexních číslicových systémů.
Představení programovacích technik za pomocí vývojového prostředku XILINX ISE
Realizace vzorových úloh na přípravku NEXYS 3.

Vymezení kontrolované výuky a způsob jejího provádění a formy nahrazování zameškané výuky

Vymezení kontrolované výuky a způsob jejího provádění stanoví každoročně aktualizovaná vyhláška garanta předmětu.

Základní literatura

Friedman A., D., Menon P., R.: Theory and Design of Switching Circuits, Computer Science Press, Inc., 1975, (EN)
Perrin J., P., Denouette M., Daclin E.: Systémes logiques 1, 2, Dunod, Paris, 1970, (EN)
Wuensch G., Schreiber H.: Digitale Systeme, Verlag Technik, Berlin, 1986 (EN)

Zařazení předmětu ve studijních plánech

  • Program EEKR-MN magisterský navazující

    obor MN-KAM , 1 ročník, zimní semestr, povinný

Typ (způsob) výuky

 

Přednáška

39 hod., povinná

Vyučující / Lektor

Ing. Radovan Holek, CSc.

Osnova

Spojité a diskrétní vyjádření informace signálem, pojmy "signálová veličina" a "kód". Obecný logický člen, jeho statická a dynamická charakteristika a jeho statická a dynamická odolnost vůči rušení. Logické členy pasivní a aktivní. Logika vícehodnová a dvouhodnotová, kladná a záporná a s ní spojená dualita logických členů.
Boolská funkce a způsoby jejího záznamu (slovní záznam, pravdivostní tabulka, soubor stavových indexů, Haaseho graf, Karnaughova a Svobodova mapa, Boolská matice). Binární a Grayův (symetrický) kód. Pojem souseda - sousední vrcholy a tělesa v Haseho grafu.
Hazardní stavy prvního a druhého druhu, jejich eliminace minimalizací Boolské funkce a sní spojené úspory materiálu. Minimalizace kombinančního obvodu s jedním výstupem (Quine Mc Cluskey-ho a Svobodova metoda). Rušení vlastní a cizí.
Minimalizace kombinačního obvodu s více výstupy. Zhodnocení minimalizačních metod, víceúrovňové kombinační obvody.
Obecný konečný automat, Konečný automat Mealy-ho a Mooreův. Pojem vnitřních stavů konečného automatu, způsoby popisu chování konečného automatu, vývojová tabulka, tabulka přechodů, Boolské rovnice a způsoby zápisu časové diskretizace. Asynchronní a synchronní funkce konečného automatu, pravidlo setrvačnosti.
Kombinační zpětná vazba u konečného automatu a její návrh. Boolská rovnice, její řešení mapovou metodou, jedno- a víceznačnost řešení, vznik přídavných podmínek pro vztahy mezi nezávisle proměnnými.
Realizace nestandartních logických členů. Funkce rozhodovacího obvodu a spínače v logickém členu. Kontaktové spínače, relé a stykače buzené stejnosměrným a střídavým proudem. Spínání ohmické, induktivní a kapacitní zátěže při stejnosměrném i střídavém napájení.
Vznik vlastního rušení nedokonalostí spínání a rozpínání, životnost spínacích prvků, vyjádření zátěže spínacího a rozpínacího prvku spínacím a rozpínacím (zdánlivým) výkonem. Spolupráce elektromechanického a bezkontaktního logického členu, vymýcení vlivu zákmitů mechanických kontaktů.
Přenos binárního signálu po sběrnici, vznik vlastního rušení následkem odrazů, impedanční přizpůsobení vstupů a výstupů logických členů, přenosová kapacita a šíře pásma sběrnice, binární kódy s návratem a bez návratu k nule.
Kódové metody zabezpečení komunikace, detekce a oprava jedné a více chyb, parita podélná a příčná. Cyklické kódy, BCH (Bose-Chaudhuri-Hocquent) kódy, Reed-Solomonovy kódy a konvoluční kódy a jejich dekódování, Meggitův dekodér.
Polovodičové paměti pro zápis i čtení (RAM), jejich skladba z dílčích částí, pojem třístavového výstupu. Paměti statické a dynamické, osvěžování (refresh). Paměti pouze pro čtení ROM, program. paměti PROM, mazatelné EPROM, elektricky mazatelné EEPROM.
Programovatelná logická pole a jejich architektury, vývojové systémy, program PGAL. Testování naprogramovaného logického pole.
Podpůrné obvody pro mikroprocesory a obvody střední a velké integrace -základní typy a vybrané jednoúčelové obvody.

Cvičení odborného základu

13 hod., povinná

Vyučující / Lektor

Ing. Radovan Holek, CSc.

Osnova

Záznam Boolských funkcí do map a grafů, příklady minimalizace funkce s jedním výstupem.
Příklady víceúrovňových dekodérů a minimalizace skupiny Boolských funkcí.
Sekvenční obvody popisované jako konečné automaty.
Návrh zpětných vazeb konečného automatu řešením Boolských rovnic.
Návrh programu pro naprogramování logického pole.
Zápočtový test.

Laboratorní cvičení

13 hod., povinná

Vyučující / Lektor

Ing. Radovan Holek, CSc.

Osnova

Měření dynamiky bezkontaktních aktivních logických členů, experimentální určení jejich statické a dynamické odolnosti vůči rušení.
Měření statické charakteristiky ss a st relé a nespojitosti spínání jeho kontaktů, ověření spolupráce elektromechanického a bezkontaktního spínacího obvodu.
Měření dynamiky impulsního snímače rychlosti otáčení a vlivu vyhodnocovacích obvodů.
Měření základních typů sekvenčních obvodů a změn jejich chování při různých způsobech provozu (monostabilní multivibrátor, který zkracuje či prodlužuje vstupní impuls, vliv zotavovací doby na vstupní citlivost obvodu).
Vyzkoušení správné funkce naprogramovaného logického pole a alternativ jeho odezvy na nežádoucí vstupní stavy.
Ověření správné funkce vybraných obvodů velké integrace a jejího zabezpečení proti chybám při nesprávné manipulaci.