EATMT – Rozšířený automat pro sekvenční řízení

Symbol blokuPotřebná licence: ADVANCED

Popis funkce
Blok EATMT implementuje konečný automat s maximálně 256 stavy a 256 pravidly pro přechody, čímž rozšiřuje možnosti bloku ATMT.

Současný stav automatu $i$, $i=0,1,\dots ,255$, je indikován jednotlivými bity celočíselných výstupů q0, q1, …, q15. Pouze jeden bit s indexem $i,\mathrm{\text{MOD}},16$ na výstupu $\mathtt{\text{q}}\left(i,\mathrm{\text{DIV}},16\right)$ je nastaven na 1. Ostatní bity tohoto výstupu a ostatní výstupy jsou nulové. Bity jsou číslovány od nuly, začínajíce nejméně významným bitem. Všimněte si, že operátory $\mathrm{\text{DIV}}$ a $\mathrm{\text{MOD}}$ označují celočíselné dělení a zbytek po celočíselném dělení. Současný stav je také indikován výstupem $\mathtt{\text{ksa}}\in 0,1,\dots ,255$.

Podmínky pro přechod $C_k$, $k=0,1,\dots ,255$, jsou aktivovány jednotlivými bity vstupů c0, c1, …, c15. $k$-tá podmínka pro přechod je splněna, když je $\left(k,\mathrm{\text{MOD}},16\right)$-tý bit vstupu $\mathtt{\text{c}}\left(k,\mathrm{\text{DIV}},16\right)$ roven 1. Přechod jinak nemůže proběhnout.

Pro kompozici vstupních signálů c0, c1,…,c15 z jednotlivých Booleovských signálů mohou být použity bitové multiplexory BMHEXD nebo BMOCT. Podobně mohou být výstupní signály q0, q1,…,q15 dekomponovány pomocí bitových demultiplexorů BDHEXD nebo BDOCT.

Funkce automatu je definována následující tabulkou přechodů:

Každý řádek této tabulky vyjadřuje jedno pravidlo přechodu. Např. prvý řádek

má tento význam:

Výše popsaný význam řádku tabulky platí pro $C1<1000$. Pro $C1\ge 1000$ se předpokládá negace $\left(C1-1000\right)$-té podmínky pro přechod.

Výše zmíněnou tabulku lze snadno sestavit z diagramu stavů automatu nebo z popisu SFC (Sequential Function Charts, dříve Grafcet).

Vstup $\mathtt{\text{R1}}=\mathtt{\text{on}}$ resetuje automat do počátečního stavu $S0$. Vstup SET umožňuje manuální přechod ze současného stavu do stavu ns0 při detekci náběžné hrany. Vstup R1 má přednost před vstupem SET. Vstup $\mathtt{\text{HLD}}=\mathtt{\text{on}}$ zastaví vykonávání automatu, takže zůstává ve svém současném stavu bez ohledu na vstupní signály c$i$ a časovač tstep se nezvyšuje. Výstup TOUT signalizuje, že stroj zůstává v daném stavu déle, než se očekávalo. Časové limity $TOi$ pro jednotlivé stavy jsou definovány polem touts. Pokud je $TOi$ nastaveno na nulu, pro daný stav neexistuje časový limit. Výstup TOUT je nastaven na off vždy, když automat změní svůj stav.

Je možné umožnit více přechodů stavů v jednom cyklu pomocí parametru morestps. Tato možnost by však měla být pečlivě zvážena a otestována, zejména pokud je výstup TOUT použit v podmínkách pro přechod. V takovém případě se silně doporučuje zahrnout do podmínek pro přechod také výstup ksa.

Vývojové nástroje REXYGEN zahrnují také program SFCEditor. Pomocí tohoto nástroje můžete graficky vytvářet schémata SFC. Tento editor spustíte z REXYGEN Studio kliknutím na tlačítko Konfigurovat v dialogu parametrů bloku EATMT.

Tento blok propaguje kvalitu signálu. Více informací je uvedeno v sekci 1.4.

2024 © REX Controls s.r.o., www.rexygen.com