TC - Kawalec - sciaga - 1kolo, TC


1

Cechy pierwotnej tablicy przejść wyjść automat asynchr.:

1. Jest zawsze typu Moore'a,

2. Posiada tyle kolumn, ile jest różnych liter wejściowych oraz tyle wierszy, ile jest stanów stabilnych, 3. W danym wierszu może wystąpić tylko jeden stan stabilny, 4. Mogą wystąpić stany pseudorównoważne

Cenę podziału wewnętrznego wyznacza się z zależności:

c(τi) = n + L - 1, gdzie: n - liczba zmiennych wejściowych L - liczba sygnałów Qj od których zależy funkcja wzbudzeń przerzutnika Qk.

Ceną podziału wewnętrznego c(ၴi) nazywamy szacunkową ilość zmiennych od których zależy funkcja wzbudzeń przerzutnika Q i zakodowanego zgodnie z ၴi zmniejszoną o 1.

Cena wyjścia dla automatu Mealy'ego

:

c(yi) = n + L - 1, gdzie:

n - liczba zmiennych wejściowych, L - liczba sygnałów Qj od których zależy wyjście yi.

Dobór podziałów do rodziny końcowej z grafu podziałów:

a) 1 τi (L=0), b) τi τi (L=1), c) τr τi (L=1),

d) π τi, π τ1 τ2 (L=2),

e) π τi, π τ1 τ2 ... τk (L=k).

Etapy metody kodowania automatów synchronicznych metodą rachunku podziałów:

1. Wyznaczyć zbiór par podziałów π τ, gdzie τ jest pewnym podziałem dwublokowym lub w szczególności prawidłowym,

2. Narysować graf par podziałów,

3. Zaznaczyć na grafie podziały dogodne ze względu na wyjście,

4. Wybrać rodzinę Tk opt. o minimalnej cenie.

Funkcje przejść zależą od minimalnej liczby argumentów jeśli szukamy podziałów dla których spełnione są kolejno warunki:

a)1 i , b) i i , c) r i,

d) i 1 2 ,

e) i 1 2... l

2

Kodowanie automatów asynchronicznych z zastosowaniem rachunku podziałów eliminuje wyścigi krytyczne, gdy podziały wzięte do kodowania oprócz podstawowego warunku, który muszą spełniać t.j. warunku zerowego iloczynu (jednoznaczność kodowania) spełniają wszystkie warunki separacji generowane przez podziały wewnętrzne. W szczególnym przypadku, gdy nie da się spełnić wszystkich warunków separacji można spróbować rozbicia na warunki elementarne (separowany musi być stan stabilny od stabilnego i niestabilnego).

Kolejność redukcji pierwotnych tablic przejść wyjść automatu asynchronicznego:

1. Znaleźć grupy stanów pseudorównoważnych i połączyć je, 2. Narysować wykres zgodności i znaleźć minimalny zbiór stanów zgodnych dla automatu Moore'a oraz Mealy'ego,

3. Wyznaczyć minimalną tablicę przejść − wyjść automatu Moore'a i Mealy'ego, 4. Wyznaczyć tablicę wyjść automatu Mealy'ego.

Mikroprogramowane i specjalizowane układy sterujące - Porównanie:

a) szybkość działania-specjalizowane układy sterujące są szybsze. Na szybkość działania wpływa wyłącznie czas propagacji sygnału w elementach tworzących ten układ. Natomiast w układach mikroprogramowanych mamy do czynienia z pamięcią o wielokrotnie dłuższym czasie trwania niż czasy propagacji elementów.

b) złożoność, koszt układu − przy prostych tańsze będą specjalizowane (do 100 klatek), natomiast powyżej tańsze i prostsze będą mikroprogramowane

c) możliwość zmiany realizowanego mikroprogramu − lepsze będą układy mikroprogramowane ponieważ posiadają uniwersalną strukturę. Zmiana sprowadza się tylko do zmiany pamięci stałej.

Stabilne stany wewnętrzne to stany trwające przez cały czas, gdy stan wejść się nie zmienia, s(t + τ) = s(t), τ −czas wynikający z opóźnień elementów logicznych.

Stany niestabilne to stany występujące w momencie zmiany stanu wejść, s(t + *) ≠ s(t), τ − czas wynikający z opóźnień el. logicznych.

Stany pseudorównoważne to dwa stany zgodne mające stany stabilne w jednej kolumnie.

3

Podziały - def + działania

Podziałem π zbioru S nazywamy zbiór rozłącznych podzbiorów tego zbioru, których suma równa jest S,

π = { B1, B2, . . .,Bn },

B i ∩ B j = * dla i ≠ j;

B1 ∪ B2 ∪ . . . ∪ Bn = S.

Sumą π1 + π2 podziałów π1 i π2 nazywamy najmniejszy podział π taki, że jeżeli stan S jest elementem jakiegoś bloku z π1 lub π2 to cały ten blok jest zawarty w jednym bloku podziału π. Np. {123, 45} + {1, 2345} = {12345}.

Iloczynem π1• π2 podziałów π1 i π2 nazywamy podział, którego blokami są przecięcia bloków podziału π1 z blokami podziału π2. Np.

{134, 256} • {135, 246} = {13, 4, 5, 26}. Ma zastosowanie przy sprawdzaniu warunku zerowego iloczynu i liczeniu cen.

Podział π1 jest nie większy od podziału π2 , π1 ≤ π2, gdy każdy blok z π1 jest zawarty w pewnym bloku π2. Np. {1, 2, 3, 45, 67} {12, 345, 67}. Ma zastosowanie przy liczeniu cen i kodowaniu automatów asynchronicznych (wyznaczanie podziałów niemniejszych od wewntrznyh).

Para podziałów π1 i π2 stanów wewnętrznych to uporządkowana dwójka podziałów π 1 → π 2 taka, że dla każdych dwóch stanów zawartych w pewnym bloku z π 1 i dla każdego x i ⊂ X, x i - następniki tych stanów zawarte są w pewnym bloku podziału π2. Ma zastosowanie przy wyznaczaniu rodzin końcowych (struktura kratowa, ceny).

Podziałami prawidłowymi nazywamy podziały spełniające warunki:

1) są to podziały dwublokowe,

2) liczba elem. w bloku nie przekracza 2k 1, k −długość ciągu kodowego.

Podziały nieprawidłowe:

to takie, w których liczba elementów w bloku przekracza 2k 1, k − długość ciągu kodowego. Mogą być wzięte do kodowania, ale tym samym odchodzi się od możliwości minimalizacji złożoności układu.

4

Rodziną końcową Tk nazywamy zbiór podziałów prawidłowych spełniający warunek zerowego iloczynu

Optymalną rodziną końcową Tk opt nazywamy rodzinę końcową zapewniającą przy kodowaniu:- najprostszą postać funkcji przejść

i funkcji wyjść

Rozdzielacz: to układ formujący ciąg sygnałów od a1 do an przyjmujących wartość 1 w kolejnych chwilach czasowych t = 1,2,..,n. Rozdzielacze mogą być zbudowane z wykorzystaniem licznika z dekoderem lub rejestru przesuwającego zawierającego na jednej pozycji jedynkę. Rozdzielacze dzielimy na warunkowe (rozdział impulsów wyjściowych jest zależny od spełnienia pewnych warunków) oraz bezwarunkowe (w rytm impulsów zegarowych pojawia się stan „1” logicznej tylko na jednym wyjściu).

Specjalizowane układy sterujące(synteza układu Mealy'ego i Moore'a) :

Synteza układu Mealy'ego − wzbudzanie i sygnały sterujące zależą zarówno od stanu wewnętrznego jak i od sygnałów wejściowych i kontrolnych z układu operacyjnego. Jest stosowany gdy układ operacyjny jest układem synchronicznym. W automacie tym badanie warunków i wykonywanie następujących po nich mikrooperacji jest realizowane w jednym takcie.

Synteza układu Moore'a

wykonywanie mikrorozkazów i sprawdzenie warunków powinno odbywać się w różnych taktach. Taktowanie jest dwufazowe, tak aby faza pierwsza taktowała automat sterujący, a faza druga bloki układu operacyjnego. Syntezę automatu prowadzi się na podstawie grafu sterowania, w którym stany wewnętrzne odpowiadają każdej z klatek sieci działań, albo przy użyciu taktowania dwufazowego łączone są mikrorozkaz z występującym po nim warunkiem.

Prawidłowa praca układu asynchronicznego: wymagane jest spełnienie dwóch warunków:

1) przy zmianie stanu wejść zmienia się tylko jeden sygnał wejściowy

2) następna zmiana stanu wejść może nastąpić dopiero po czasie τ niezbędnym dla ustalenia się stanu wewnętrznego układu.

5

Struktury automatu asynchronicznego:

Automat asynchroniczny może być zrealizowany w postaci układu kombinacyjnego objętego sprzężeniem zwrotnym lub na przerzutnikach statycznych (dla których tablica wzbudzeń jest taka jak dla synchronicznego przerzutnika RS). Realizacja na sprzężeniach zwrotnych jest zwykle prostsza.

Tworzenie tablicy wyjść automatu Mealy'ego dla automatu asynchronicznego odbywa się dwuetapowo. Dla stanów stabilnych wpisuje się takie wyjścia jakie były dla tych stanów w pierwotnej tablicy przejść − wyjść. Dla stanów niestabilnych w odpowiadającej im klatce wpisuje się takie samo wyjście jakie ma stan stabilny, do którego układ ma przejść pod warunkiem, że w tym wierszu występuje już taka wartość wyjścia, Jeżeli takiej wartości nie ma, to wpisuje się wartość nieokreśloną.

Wyścig krytyczny to zjawisko możliwości przejścia automatu ze stanu niestabilnego do różnych stanów stabilnych. Wyścigi krytyczne w automatach asynchronicznych muszą być zawsze usuwane.

Wyścig niekrytyczny to zjawisko przejścia automatu ze stanu niestabilnego różnymi drogami do odpowiadającego mu stanu stabilnego. Nie prowadzą one do błędnego działania układu, a więc nie muszą być usuwane.

Warunkiem wystarczającym uniknięcia wyścigów jest takie zakodowanie automatu, aby przy każdej zmianie stanu zmieniał się stan tylko jednego elementu pamięci

SPIS TREŚCI

Cechy pierwotnej tabl. przejść/wyjść automat asynchr 1

Cenę podziału wewnętrznego 1

Cena wyjścia dla automatu Mealy'ego 1

Dobór podziałów do rodz. końcowej z grafu podziałów: 1

Etapy metody kodowania automatów synchronicznych 1

Funkcje przejść 1

Kodowanie automatów asynchronicznych 2

Kolejność redukcji pierwotnych tablic przejść 2

Mikroprogramowane i specjalizowane ukł. sterujące 2

Podziały - def + działania 3

Prawidłowa praca układu asynchronicznego 4

Rodzina końcowa/optymalna 4

Rozdzielacz 4

Specjalizowane ukł, sterujące(synteza ukł

Mealy'ego i Moore'a) 4

Stany stabilne/niestabilne/pseudorówn. 2

Struktury automatu asynchronicznego 5

Tworzenie tablicy wyjść automatu Mealy'ego 5

Wyścig krytyczny/ niekrytyczny 5

Warunek uniknięcia wyścigów 5



Wyszukiwarka

Podobne podstrony:
ściąga TC II
ściąga TC, SGGW Technika Rolnicza i Leśna, Technika cieplna
ściąga na TC all
sciaga TC wej6
TC sciaga, Automatyka i Robotyka, Semestr IV, Technika Cyfrowa, TC, Technika Cyfrowa, Materiały, Mat
Sciaga 7 sem[1]. automaty, TC
sciaga tc nr8
tc sciaga
ściąga TC II
tc spr 3
AudioAmp z trx TEN–TEC 580 Delta, schemat dxp filtr ssb i cw TC 580
pytania do keta wszyastkie, TC
Instrukcja TC cw3 cw4 synch asy Nieznany
antro 1kolo sciaga
2011 TC ulubione Jamro

więcej podobnych podstron