Hodnoty výstupního vektoru Y jsou funkcí současných i minulých hodnot vstupního vektoru X.
Q je vektorem vnitřního (současného) stavu (Present State). P je přechodová funkce generuje vektor následujícího stavu (Next State).
Existence vnitřních proměnných způsobuje, že stejné hodnoty vstupních proměnných přivedené na vstup obvodu, nevyvolávají vždy stejnou odezvu na výstupu obvodu.
Moorův typ – hodnota výstupní proměnné je přímým obrazem stavu vnitřních proměnných.
Sekvenční obvody dělíme dále na synchronní a asynchronní: asynchronních - změna vstupní proměnné se promítne ihned do stavu sekvenčního obvodu. synchronních - zaveden řídicí synchronizační signál (hodinový signál, hodiny). Změna vstupní proměnné se promítne do stavu sekvenčního obvodu až při příchodu hodinového signálu.
Podle reakce na hodinový signál synchronní sekvenční obvody dělíme na úrovňové a hranové: Úrovňové – sekvenční obvod sleduje hodnoty vstupních proměnných a tím i jejich změny po celou dobu trvání hodinového signálu a průběžně na ně reaguje Hranové – sekvenční obvod reaguje na hodnoty vstupních proměnných jen při příchodu hrany hodinového signálu (náběžná nebo sestupná hrana).
Asynchronní (Latch)
Synchronní (Flip-Flop)
Bistabilní KO
Mají dva stabilní stavy, aktuální stav si pamatují dokud není aktivní některý z excitačních vstupů
Realizace pomocí NOR
Tříbitový binární asynchronní čítač
čítač asynchronní (modulo 10)
čítač asynchronní (modulo 12)
Čtyřbitový binární asynchronní čítač
????
Definice
… vstupní abeceda (množina hodnot vstupního vektoru)
… výstupní abeceda (množina hodnot výstupního vektoru)
… vnitřní abeceda (množina hodnot vektoru vnitřního stavu)
… počáteční stav
… přechodová funkce, přiřazuje některým dvojicím z přiřazuje prvek z Q,
… výstupní funkce, která některým dvojicím z přiřazuje prvek z Y; rozlišujeme Mealyho a Moorův výstup
Mealyho automat
výstup je funkcí jak stavu, tak i vstupu
Moorův automat
výstup je funkcí stavu
Kombinační síť
Na základě současného stavu a hodnoty vstupů generuje (binární) kód následujícího stavu automatu (Next State)
Pameť
Výstupy
0 | 0 | 0 | X | 0 | X | 0 | 0 | |
0 | 1 | 1 | 0 | 1 | X | 1 | 1 | |
1 | 0 | 0 | 1 | X | 1 | 0 | 1 | |
1 | 1 | X | 0 | X | 0 | 1 | 0 |
robot má dvě kolečka a umí se otáčet vlevo a vpravo:
robot má vpředu dotekový senzor, který generuje signál x následovně:
robot má na střeše majáček
„inteligentní“ chování robota – stavy řídícího automatu
otáčení | z1=1 | zatoč vlevo |
---|---|---|
z2=1 | zatoč vpravo | |
z1=0 a z2=0 | robot jede dopředu | |
senzor | x=1 | detekována překážka |
x=0 | žádná překážka není detekována | |
majáček | m=1 | svítí, pokud robot jede |
m=0 | nesvítí, pokud robot zatáčí vlevo či vpravo | |
stavy řídícího automatu | A | překážka není detekována, poslední zatočení bylo vlevo |
B | překážka detekována, zatoč vpravo | |
C | překážka není detekována, poslední zatočení bylo vpravo | |
D | překážka detekována, zatoč vlevo |
definice výstupů
přiřazení kódů jednotlivým stavům
podrobný popis chování robota
typ KO pro paměť
Pravdivostní tabulka
Současný stav | Vstup X | Následující stav | Moorův výstup M | |||
---|---|---|---|---|---|---|
jméno | kód | jméno | kód | Mealyho výstupy Z1 Z2 | ||
A | 00 | 0 | A | 00 | 00 | 1 |
A | 00 | 1 | B | 01 | 01 | 1 |
B | 01 | 0 | C | 10 | 00 | 0 |
B | 01 | 1 | D | 01 | 01 | 0 |
C | 10 | 0 | C | 10 | 00 | 1 |
C | 10 | 1 | D | 11 | 10 | 1 |
D | 11 | 0 | D | 11 | 00 | 0 |
D | 11 | 1 | A | 00 | 10 | 0 |
Graf přechodů
ve stavech - kód stavu/hodnota Moorova výstupu M (kód/M)
na hranách - hodnota vstupu X/hodnota Mealyho výstupů Z1a aZ2 (X/Z1Z2)
Vytvoření rovnic pro dané KO
3 | ||
---|---|---|
Celé jméno | OK | !!! |
vagy | ||
Jirka Hynek | ||
2 |