03 - Układy sekwencyjne.pdf

(297 KB) Pobierz
UKŁADY SEKWENCYJNE
1. Przerzutniki asynchroniczne i synchroniczne
2. Klasyfikacja układów sekwencyjnych
Układy sekwencyjne:
a) – układy procesowo zależne
- układy czasowo zależne
b) – układy Moore’a
- układy Mealy’ego
c) – układy asynchroniczne
- układy synchroniczne
d) – układy o programach liniowych
- układy o programach rozgałęzionych
e) - układy o działaniu cyklicznym
- układy acykliczne
f) – układy deterministyczne
- układy probabilistyczne
X t
X t
Q t+1
Y t


Q t+1
Q t
Q t
Schemat układu Moore’a
Schemat układu Mealy’ego
Funkcja przejść
Funkcja przejść
t X
1
t
t X
1
t
Q
(
Q
,
)
Q
(
Q
,
)
Funkcja wyjść
Funkcja wyjść
t Q
t
t Q
t
Y
(
)
Y
(
X
,
)
1
2
1
1158385360.549.png 1158385360.632.png 1158385360.643.png 1158385360.654.png 1158385360.001.png 1158385360.012.png 1158385360.023.png 1158385360.034.png 1158385360.045.png 1158385360.056.png
 
3. Synteza układów sekwencyjnych z elementów logicznych i
przerzutników
Ze względu na charakter zależności pomiędzy kolejnymi stanami sygnałów
oddziałujących na obiekt, można wyróżnić trzy typy procesów:
- w których określony jest czas trwania kolejnych faz procesu, a więc i czas trwania
kolejnych stanów sygnałów oddziałujących na obiekt,
- w których, czas trwania kolejnych faz procesu nie jest określony - rozpoczęcie
realizacji danej fazy uzależnione jest od zakończenia fazy poprzedniej,
- w których występują obydwa wymienione przypadki.
Układ przeznaczony do sterowania procesem pierwszego typu nazywa się układem
czasowo–zależnym. Układ taki nie ma sygnałów wejściowych, informujących o stanie
sterowania procesu. Układ czasowo-zależny realizować może tylko program liniowy. Układ
przeznaczony do sterowania procesem drugiego typu nazywa się procesowo-zależnym. Układ
sterowania procesami trzeciego typu jest rozwiązaniem pośrednim między układem czasowo
– zależnym a procesowo-zależnym.
Ogólnie w procesie syntezy układów sekwencyjnych można wyróżnić etapy:
- formalizacja założeń, czyli sformułowanie założeń w postaci umożliwiającej
tworzenie modelu matematycznego układu (w etapie tym wyodrębnia się stany
wewnętrzne, często w ilości większej niż jest to niezbędne, oraz przypisuje im stany
wyjść - przyjmuje się zatem model układu Moore’a. Najczęściej wyjściową formą
zapisu działania automatu jest pierwotna tablica przejść i wyjść, graf lub sieć działań,
- minimalizacja liczebności zbioru stanów wewnętrznych (w etapie tym podejmuje się
również decyzję o ewentualnej zmianie układu Moore'a na układ Mealy'ego, co
prowadzi do dalszego, zmniejszenia liczby stanów wewnętrznych),
- kodowanie, czyli przypisanie poszczególnym stanom wewnętrznym stanów sygnałów
pamięciowych,
- wyznaczanie funkcji wyjść,
- wyznaczanie funkcji przejść,
- sporządzenie schematów blokowych i montażowych,
- realizacja układu.
Przykład 1
W wielogniazdowym automacie montażowo-pakującym (rys. 1) wyroby po
zmontowaniu gromadzone są w magazynie 1 i ładowane w kilku gniazdach do pojemników 3.
Do poszczególnych gniazd co pewien czas dostarczany jest pusty pojemnik 3, który pozostaje
w gnieździe przez okres wtedy tylko wystarczający do pełnego załadowania, kiedy ładowanie
rozpocznie się natychmiast po dostarczeniu pojemnika do gniazda. W okresach kiedy w
magazynie nie ma wystarczającej do pełnego załadowania kolejnego pojemnika ilości wy-
robów z magazynu do pojemnika nie powinno być uruchamiane. Z automatu wydalane są
wtedy puste pojemniki. Sortowanie pojemników na puste i pełne odbywa się poza automatem.
Urządzenie przekładające 2 włączane jest przez sygnał y=1. Urządzenie to powinno
być włączone na czas trwania sygnału x 1 =1, informującego o obecności pojemnika w
gnieździe, lecz tylko wtedy jeżeli w momencie pojawienia się stanu x 1 =1sygnał x 2 =1. Sygnał
x 2 =1 informuje o tym, że w magazynie znajduje cię wystarczająca do pełnego załadowania
kolejnego pojemnika ilość wyrobów.
Należy zaprojektować układ sterujący urządzeniem przekładającym 2. Zadaniem tego
układu jest zabezpieczenie przed możliwością częściowego zapełniania pojemników.
2
1158385360.077.png
1
2
x 2
y
3
x 1
Rys. 1. Schemat do przykładu 1
Rozwiązanie
Projektowany układ ma jeden sygnał wyjściowy y (sterujący pracą urządzenia
przekładającego) oraz dwa sygnały wejściowe: x 1 i x 2 . Nie może to być układ kombinacyjny,
ponieważ dla x 1 =x 2 =1 zarówno może być y=0 (jeżeli stan x 1 =1 rozpoczął się gdy x 2 =0) jak i
y=1 (jeżeli stan x 1 =1 rozpoczął się gdy było x 2 =1). Jest to więc układ sekwencyjny. Ponieważ
zmiany stanu wyjść powinny zachodzić w momentach zmian stanów wejść, należy przyjąć, że
jest to układ asynchroniczny.
Dla układów o niewielkiej liczbie sygnałów wejściowych tablicę przejść i wyjść
tworzy się na podstawie przebiegów czasowych sygnałów. Ponieważ w trakcie pracy układu
wystąpić mogą różne sekwencje sygnałów wejściowych (nie ma określonego cyklu przebiegu
sygnałów – jest to więc układ o rozgałęzionym programie pracy), należy utworzyć
przykładowy przebieg czasowy sygnałów, starając się uwzględnić w nim wszystkie mogące
wystąpić podczas pracy sekwencje zmian . Przykład takiego przebiegu czasowego pokazano
na rys.
3
3
x 1
5 4 0
0
1
0
1 2 1 0 3 4 5
0
0
1
2
3
4
3
4
a)
t
x 2
t
y
t
3
1158385360.088.png 1158385360.099.png 1158385360.110.png 1158385360.121.png 1158385360.132.png 1158385360.143.png 1158385360.154.png 1158385360.165.png 1158385360.176.png 1158385360.187.png 1158385360.198.png 1158385360.208.png 1158385360.219.png 1158385360.230.png 1158385360.241.png 1158385360.252.png 1158385360.263.png 1158385360.274.png 1158385360.285.png 1158385360.296.png 1158385360.307.png 1158385360.318.png 1158385360.329.png 1158385360.340.png 1158385360.351.png 1158385360.362.png 1158385360.373.png 1158385360.384.png 1158385360.395.png 1158385360.406.png 1158385360.417.png 1158385360.428.png 1158385360.439.png 1158385360.450.png 1158385360.461.png 1158385360.472.png 1158385360.483.png 1158385360.494.png 1158385360.505.png 1158385360.516.png 1158385360.527.png 1158385360.538.png 1158385360.550.png 1158385360.561.png 1158385360.572.png 1158385360.583.png 1158385360.594.png 1158385360.605.png 1158385360.616.png 1158385360.627.png 1158385360.630.png 1158385360.631.png 1158385360.633.png 1158385360.634.png 1158385360.635.png 1158385360.636.png 1158385360.637.png 1158385360.638.png 1158385360.639.png 1158385360.640.png 1158385360.641.png 1158385360.642.png 1158385360.644.png 1158385360.645.png 1158385360.646.png 1158385360.647.png 1158385360.648.png 1158385360.649.png 1158385360.650.png 1158385360.651.png 1158385360.652.png 1158385360.653.png 1158385360.655.png 1158385360.656.png 1158385360.657.png 1158385360.658.png 1158385360.659.png 1158385360.660.png 1158385360.661.png 1158385360.662.png 1158385360.663.png 1158385360.664.png 1158385360.002.png 1158385360.003.png 1158385360.004.png 1158385360.005.png 1158385360.006.png 1158385360.007.png 1158385360.008.png 1158385360.009.png 1158385360.010.png 1158385360.011.png 1158385360.013.png 1158385360.014.png 1158385360.015.png 1158385360.016.png 1158385360.017.png 1158385360.018.png 1158385360.019.png 1158385360.020.png 1158385360.021.png 1158385360.022.png 1158385360.024.png 1158385360.025.png 1158385360.026.png 1158385360.027.png 1158385360.028.png 1158385360.029.png 1158385360.030.png 1158385360.031.png 1158385360.032.png 1158385360.033.png 1158385360.035.png 1158385360.036.png 1158385360.037.png 1158385360.038.png 1158385360.039.png 1158385360.040.png 1158385360.041.png 1158385360.042.png 1158385360.043.png 1158385360.044.png 1158385360.046.png 1158385360.047.png 1158385360.048.png 1158385360.049.png 1158385360.050.png 1158385360.051.png 1158385360.052.png 1158385360.053.png 1158385360.054.png 1158385360.055.png 1158385360.057.png 1158385360.058.png 1158385360.059.png 1158385360.060.png 1158385360.061.png 1158385360.062.png 1158385360.063.png 1158385360.064.png 1158385360.065.png 1158385360.066.png 1158385360.067.png 1158385360.068.png 1158385360.069.png 1158385360.070.png 1158385360.071.png 1158385360.072.png 1158385360.073.png 1158385360.074.png 1158385360.075.png 1158385360.076.png 1158385360.078.png 1158385360.079.png 1158385360.080.png 1158385360.081.png 1158385360.082.png 1158385360.083.png 1158385360.084.png 1158385360.085.png 1158385360.086.png 1158385360.087.png 1158385360.089.png 1158385360.090.png 1158385360.091.png 1158385360.092.png 1158385360.093.png 1158385360.094.png 1158385360.095.png 1158385360.096.png 1158385360.097.png 1158385360.098.png 1158385360.100.png 1158385360.101.png 1158385360.102.png 1158385360.103.png 1158385360.104.png 1158385360.105.png 1158385360.106.png 1158385360.107.png 1158385360.108.png 1158385360.109.png 1158385360.111.png 1158385360.112.png 1158385360.113.png 1158385360.114.png 1158385360.115.png 1158385360.116.png 1158385360.117.png 1158385360.118.png 1158385360.119.png 1158385360.120.png 1158385360.122.png 1158385360.123.png 1158385360.124.png 1158385360.125.png 1158385360.126.png 1158385360.127.png 1158385360.128.png 1158385360.129.png 1158385360.130.png 1158385360.131.png 1158385360.133.png 1158385360.134.png 1158385360.135.png 1158385360.136.png 1158385360.137.png 1158385360.138.png 1158385360.139.png 1158385360.140.png 1158385360.141.png 1158385360.142.png 1158385360.144.png 1158385360.145.png 1158385360.146.png 1158385360.147.png 1158385360.148.png 1158385360.149.png 1158385360.150.png 1158385360.151.png 1158385360.152.png 1158385360.153.png 1158385360.155.png 1158385360.156.png 1158385360.157.png 1158385360.158.png 1158385360.159.png 1158385360.160.png 1158385360.161.png 1158385360.162.png 1158385360.163.png 1158385360.164.png 1158385360.166.png 1158385360.167.png 1158385360.168.png 1158385360.169.png 1158385360.170.png 1158385360.171.png 1158385360.172.png 1158385360.173.png 1158385360.174.png 1158385360.175.png 1158385360.177.png 1158385360.178.png 1158385360.179.png 1158385360.180.png 1158385360.181.png 1158385360.182.png 1158385360.183.png 1158385360.184.png 1158385360.185.png 1158385360.186.png 1158385360.188.png 1158385360.189.png 1158385360.190.png 1158385360.191.png 1158385360.192.png 1158385360.193.png 1158385360.194.png 1158385360.195.png 1158385360.196.png 1158385360.197.png 1158385360.199.png 1158385360.200.png 1158385360.201.png 1158385360.202.png 1158385360.203.png 1158385360.204.png
 
3
3
x 1
5 4 0
0
1
0
1 2 1 0 3 4 5
0
0
1
2
3
4
3
4
a)
t
x 2
t
y
t
b)
c)
0
x 1 x 2
Q t
00
01
11
10
y
5
1
0
1
2
4
2
3
3
4
5
Q t+1
d)
e)
x 1 x 2
2
00
01
11
10
y
Q t
0
1
1
2
Q t+1
0
Rys. 2. Rysunek do przykładu 1: a) przebiegi czasowe sygnałów; b) pierwotna tablica przejść
i wyjść, c) wykres skracania, d) uproszczona (skrócona) tablica przejść i wyjść, e) wykres
przejść
4
1158385360.205.png 1158385360.206.png 1158385360.207.png 1158385360.209.png 1158385360.210.png 1158385360.211.png 1158385360.212.png 1158385360.213.png 1158385360.214.png 1158385360.215.png 1158385360.216.png 1158385360.217.png 1158385360.218.png 1158385360.220.png 1158385360.221.png 1158385360.222.png 1158385360.223.png 1158385360.224.png 1158385360.225.png 1158385360.226.png 1158385360.227.png 1158385360.228.png 1158385360.229.png 1158385360.231.png 1158385360.232.png 1158385360.233.png 1158385360.234.png 1158385360.235.png 1158385360.236.png 1158385360.237.png 1158385360.238.png 1158385360.239.png 1158385360.240.png 1158385360.242.png 1158385360.243.png 1158385360.244.png 1158385360.245.png 1158385360.246.png 1158385360.247.png 1158385360.248.png 1158385360.249.png 1158385360.250.png 1158385360.251.png 1158385360.253.png 1158385360.254.png 1158385360.255.png 1158385360.256.png 1158385360.257.png 1158385360.258.png 1158385360.259.png 1158385360.260.png 1158385360.261.png 1158385360.262.png 1158385360.264.png 1158385360.265.png 1158385360.266.png 1158385360.267.png 1158385360.268.png 1158385360.269.png 1158385360.270.png 1158385360.271.png 1158385360.272.png 1158385360.273.png 1158385360.275.png 1158385360.276.png 1158385360.277.png 1158385360.278.png 1158385360.279.png 1158385360.280.png 1158385360.281.png 1158385360.282.png 1158385360.283.png 1158385360.284.png 1158385360.286.png 1158385360.287.png 1158385360.288.png 1158385360.289.png 1158385360.290.png 1158385360.291.png 1158385360.292.png 1158385360.293.png 1158385360.294.png 1158385360.295.png 1158385360.297.png 1158385360.298.png 1158385360.299.png 1158385360.300.png 1158385360.301.png 1158385360.302.png 1158385360.303.png 1158385360.304.png 1158385360.305.png 1158385360.306.png 1158385360.308.png 1158385360.309.png 1158385360.310.png 1158385360.311.png 1158385360.312.png 1158385360.313.png 1158385360.314.png 1158385360.315.png 1158385360.316.png 1158385360.317.png 1158385360.319.png 1158385360.320.png 1158385360.321.png 1158385360.322.png 1158385360.323.png 1158385360.324.png 1158385360.325.png 1158385360.326.png 1158385360.327.png 1158385360.328.png 1158385360.330.png 1158385360.331.png 1158385360.332.png 1158385360.333.png 1158385360.334.png 1158385360.335.png 1158385360.336.png 1158385360.337.png 1158385360.338.png 1158385360.339.png 1158385360.341.png 1158385360.342.png 1158385360.343.png 1158385360.344.png 1158385360.345.png 1158385360.346.png 1158385360.347.png 1158385360.348.png 1158385360.349.png 1158385360.350.png 1158385360.352.png 1158385360.353.png 1158385360.354.png 1158385360.355.png 1158385360.356.png 1158385360.357.png 1158385360.358.png 1158385360.359.png 1158385360.360.png 1158385360.361.png 1158385360.363.png 1158385360.364.png 1158385360.365.png 1158385360.366.png 1158385360.367.png 1158385360.368.png 1158385360.369.png 1158385360.370.png 1158385360.371.png 1158385360.372.png 1158385360.374.png 1158385360.375.png 1158385360.376.png 1158385360.377.png 1158385360.378.png 1158385360.379.png 1158385360.380.png 1158385360.381.png 1158385360.382.png 1158385360.383.png 1158385360.385.png 1158385360.386.png 1158385360.387.png 1158385360.388.png 1158385360.389.png 1158385360.390.png 1158385360.391.png 1158385360.392.png 1158385360.393.png 1158385360.394.png 1158385360.396.png 1158385360.397.png 1158385360.398.png 1158385360.399.png 1158385360.400.png 1158385360.401.png 1158385360.402.png 1158385360.403.png 1158385360.404.png 1158385360.405.png 1158385360.407.png 1158385360.408.png 1158385360.409.png 1158385360.410.png 1158385360.411.png 1158385360.412.png 1158385360.413.png 1158385360.414.png 1158385360.415.png 1158385360.416.png 1158385360.418.png 1158385360.419.png 1158385360.420.png 1158385360.421.png 1158385360.422.png 1158385360.423.png 1158385360.424.png 1158385360.425.png 1158385360.426.png 1158385360.427.png 1158385360.429.png 1158385360.430.png 1158385360.431.png 1158385360.432.png 1158385360.433.png 1158385360.434.png 1158385360.435.png 1158385360.436.png 1158385360.437.png 1158385360.438.png 1158385360.440.png 1158385360.441.png 1158385360.442.png 1158385360.443.png 1158385360.444.png 1158385360.445.png 1158385360.446.png 1158385360.447.png 1158385360.448.png 1158385360.449.png 1158385360.451.png 1158385360.452.png 1158385360.453.png 1158385360.454.png 1158385360.455.png 1158385360.456.png 1158385360.457.png 1158385360.458.png 1158385360.459.png 1158385360.460.png 1158385360.462.png 1158385360.463.png 1158385360.464.png 1158385360.465.png 1158385360.466.png 1158385360.467.png 1158385360.468.png 1158385360.469.png 1158385360.470.png 1158385360.471.png 1158385360.473.png 1158385360.474.png 1158385360.475.png 1158385360.476.png 1158385360.477.png 1158385360.478.png 1158385360.479.png 1158385360.480.png 1158385360.481.png 1158385360.482.png 1158385360.484.png 1158385360.485.png 1158385360.486.png 1158385360.487.png 1158385360.488.png 1158385360.489.png 1158385360.490.png 1158385360.491.png 1158385360.492.png 1158385360.493.png 1158385360.495.png 1158385360.496.png 1158385360.497.png 1158385360.498.png 1158385360.499.png 1158385360.500.png 1158385360.501.png 1158385360.502.png 1158385360.503.png 1158385360.504.png 1158385360.506.png 1158385360.507.png 1158385360.508.png 1158385360.509.png 1158385360.510.png 1158385360.511.png 1158385360.512.png 1158385360.513.png 1158385360.514.png 1158385360.515.png 1158385360.517.png 1158385360.518.png 1158385360.519.png 1158385360.520.png 1158385360.521.png 1158385360.522.png 1158385360.523.png 1158385360.524.png 1158385360.525.png 1158385360.526.png 1158385360.528.png 1158385360.529.png 1158385360.530.png 1158385360.531.png 1158385360.532.png 1158385360.533.png 1158385360.534.png 1158385360.535.png 1158385360.536.png 1158385360.537.png 1158385360.539.png 1158385360.540.png 1158385360.541.png 1158385360.542.png 1158385360.543.png 1158385360.544.png 1158385360.545.png 1158385360.546.png 1158385360.547.png 1158385360.548.png 1158385360.551.png 1158385360.552.png 1158385360.553.png 1158385360.554.png 1158385360.555.png 1158385360.556.png 1158385360.557.png 1158385360.558.png 1158385360.559.png 1158385360.560.png 1158385360.562.png 1158385360.563.png 1158385360.564.png 1158385360.565.png 1158385360.566.png 1158385360.567.png 1158385360.568.png 1158385360.569.png 1158385360.570.png 1158385360.571.png 1158385360.573.png 1158385360.574.png 1158385360.575.png 1158385360.576.png 1158385360.577.png 1158385360.578.png 1158385360.579.png 1158385360.580.png 1158385360.581.png 1158385360.582.png 1158385360.584.png 1158385360.585.png 1158385360.586.png 1158385360.587.png 1158385360.588.png 1158385360.589.png 1158385360.590.png 1158385360.591.png
Wariant z przejściem cyklicznym
Tablica nie zakodowana
Tablica zakodowana
x 1 x 2
x 1 x 2
Q 1 Q 2
00
01
11
10
y
00
01
11
10
y
Q t
0
00
1
01
2
11
Q t+1
10
,
Q
t Q 1
2
1
t
1
Funkcje przejść:
Fukcja wyjść:
Wariant z dodatkowym stanem wewnętrznym
Tablica nie zakodowana
Tablica zakodowana
x 1 x 2
x 1 x 2
Q 1 Q 2
00
01
11
10
y
00
01
11
10
y
Q t
0
00
1
01
2
11
3
10
Q t+1
,
Q
t Q 1
2
1
t
1
Funkcje przejść:
Fukcja wyjść:
5
1158385360.592.png 1158385360.593.png 1158385360.595.png 1158385360.596.png 1158385360.597.png 1158385360.598.png 1158385360.599.png 1158385360.600.png 1158385360.601.png 1158385360.602.png 1158385360.603.png 1158385360.604.png 1158385360.606.png 1158385360.607.png 1158385360.608.png 1158385360.609.png 1158385360.610.png 1158385360.611.png 1158385360.612.png 1158385360.613.png 1158385360.614.png 1158385360.615.png 1158385360.617.png 1158385360.618.png 1158385360.619.png 1158385360.620.png 1158385360.621.png 1158385360.622.png 1158385360.623.png 1158385360.624.png 1158385360.625.png 1158385360.626.png 1158385360.628.png 1158385360.629.png
Zgłoś jeśli naruszono regulamin