Co to jest wyscig
Wyscig wystepuje gdy co najmniej dwa przerzutniki w jednym przejsciu zmieniają swój stan. Nie wiemy wtedy który z przerzutników zmieni swój stan jako pierwszy np. ze stanu 100 dążąc do stanu 111 możemy najpierw uzyskac stan 101 lub 110, należy wtedy tak dostosowac tablice przejsc aby ze stanów 101 oraz 110 uzyskać stan do którego chcielismy dojsc (czyli 111).
Pojecie generacji
To cykliczna zmiana stanów w których swój stan zmienia tylko jeden przerzutnik. Przyklada generacji: 11-10- 11 albo 000001
Jak się sprawdza warunek separacji
Kodowanie z zastosowaniem rachunku
podziałów
Poprawne kodowanie można uzyskać, wybierając
podziały tak, aby zawsze istniał podział, w którym pary
stanów (sk, sm) i (sr , sn) należą do różnych bloków
Wyrażenia sk, sm - sr , sn nakazujące umieszczenie
różnych par stanów w różnych blokach podziału
określającego kod, nazywamy warunkami
elementarnymi
Czy podział nieprawidłowy można wziąc do rodziny koncowej? Wyjasnij
Co to jest wyscig krytyczny,czym sie sie rozni od niekrytycznego
Wyscig krytyczny(gdy w jednej kolumnie wystepuja co najmniej dwa stany stabilne) wystepuje gdy automatu zmieniajac stan pierwszego przerzutnika szybciej przechodzi do stanu posredniego (ze zmienionym stanem jednego przerzutnika)i w nim zostaje oraz gdy zmieniajac najpierw drugi przerzutnik automat pozostaje w stanie posrednim i w nim zostaje .
Def kawalca:
-----
Wyścigami w automatach asynchronicznych nazywamy
zjawisko istnienia różnych dróg przejść ze stanu
niestabilnego do stanu stabilnego
Wyścigi mogą wystąpić w układzie tylko wtedy gdy
przełączenie automatu wymaga zmiany stanu co
najmniej dwóch elementów pamięci
Wyścigiem krytycznym nazywamy zjawisko możliwości
przejścia automatu ze stanu niestabilnego do różnych
stanów stabilnych
Wyścigiem niekrytycznym nazywamy zjawisko przejścia
automatu ze stanu niestabilnego różnymi drogami do
odpowiadającego mu stanu stabilnego
Wyścigi niekrytyczne nie prowadzą do błędnego
działania układu, a więc nie muszą być usuwane
------
okreslic relacje podzialów ( suma i iloczyn podzialow i okreslic relacje niemniejszosci.) 3 dzialania
Okreslić relacje podzialów ( suma i iloczyn podzialow i okreslic relacje niemniejszosci.) 3 dzialania
Iloczynem p1 • p2 podziałów p1 i p2 nazywamy podział, którego blokami są przecięcia bloków podziału p1 z blokami podziału p2
{134, 256} • {135, 246} = { 13, 4, 5, 26}
Sumą p1 + p2 podziałów p1 i p2 nazywamy najmniejszy podział p' taki, że jeżeli stan S jest elementem jakiegoś bloku z p1 lub p2 to cały ten blok jest zawarty w jednym bloku podziału p'
{123, 45} + { 1, 2345} = {12345}
Podział p1 jest nie większy od podziału p2 , czyli p1 ? p2 gdy każdy blok z p1 jest zawarty w pewnym bloku p2
{1, 2, 3, 45, 67} ? { 12, 345, 67}
czym sie rozni graf automatu synchronicznego od grafu automatu asynchronicznego
Jakie warunki muszą byc spełnione przy syntezie automatów asynchronicznych.
Przy zmianie stanu wejsc zmienia się tylko jeden sygnal wejsciowy, nastepna zmiana stanu wejsc może nastapic dopiero po czasie niezbednym dla ustalenia się stanu wewnetrznego ukladu
Napisać jaka jest metoda usuwania wyścigów niekrytycznych i kiedy ją musimy stosować
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 (graficzna metoda hipersześcianów)
Jakie warunki muszą byc spełnione przy syntezie automatów asynchronicznych.
Warunki rodziny koncowej w automacie asynchronicznym
Warunek zerwoego iloczynu i warunek separacji
-Kiedy wystepuje zjawisko wyscigu w asynchronicznym
Wyscig wystepuje gdy co najmniej dwa przerzutniki w jednym przejsciu zmieniają swój stan. Nie wiemy wtedy który z przerzutników zmieni swój stan jako pierwszy np. ze stanu 100 dążąc do stanu 111 możemy najpierw uzyskac stan 101 lub 110
Jakie warunki musi spełnić rodzina koncowa.
Warunek zerowego iloczynu i warunek separacji (chyba tylko to)
2. Porównać automaty synchroniczne i asynchroniczne.
- Porównać metody realizacji układów
- Jak tworzymy wykresy czasowe? - podaj ich cechy
- Wytłumacz pojęcia wyścig krytyczny i niekrytyczny
- Narysować i wyjaśnić strukturę automatów synchronicznych
- Podana tablica - podać warunki elementarne i warunki separacji
- Jak rozpoznać czy automat jest synchroniczny czy asynchroniczny?
- Założenia przy jakich prowadzona jest synteza układów asynchronicznych
stany stabilne występują w wierszach
pojedynczo
stan niestabilny może wystąpić tylko w tej
kolumnie, w której występuje odpowiadający
mu stan stabilny
przy zmianie stanu wejść zmienia się tylko jeden
sygnał wejściowy
następna zmiana stanu wejść może nastąpić
dopiero po czasie τ niezbędnym dla ustalenia
się stanu wewnętrznego układu
- Opisać mechanizm minimalizacji układów synchronicznych.
- Porównać elementarne automaty synch.(czyli przerzutniki)