Gpszeti automatika

Bevezets. A Boole-algebra alapelemei, aximarendszere, alapfggvnyei Irnyts: az anyag-s energiatalakt termelsi folyamatokba val beavatkozs azok elindtsa, lelltsa, vagy bizonyos jellemzoiknek befolysolsa cljbl. Rszei: informciszerzs tletalkots rendelkezs beavatkozs

Lehetsges megoldsai: vezrls (nyitott hatslnc) szablyozs (zrt hatslnc) Jel fogalma: egy jl mrheto fizikai mennyisg, az n. jelhordoz diszkrt rtke, vagy rtkvltozsa. Fizikai megjelensi formja vltoz (feszltsg, ram, homrsklet, nyoms, stb.). Analg jelek: folytonos rtkkszlet (a jel egy tartomnyon bell tetszoleges rtket vehet fel). Diszkrt jelek: az rtkkszlet diszkrt pontok halmaza. A gyakorlatban azok a diszkrt jelek a fontosak, amelyek rtkkszlete egy kvantum egsz szm tbbszrse Digitlis jelek. Kitntetett szerepe van a binris jeleknek oka: ktllapot elemek alkalmazsa. A binris jel kt jl megklnbztetheto diszkrt rtket vehet fel igaz-hamis, {0,1}.

Brmely digitlis rendszer logikai alapkapcsolsokbl ptheto fel. A formlis logika trvnyszerusgeinek algebrai formban val lersra szolgl a BOOLE-algebra (logikai algebra). A logikai algebra alapmuveletei A muveletekben szereplo vltozk ktrtku logikai vltozk, jellskre a binris szmrendszer szimblumait {0,1} hasznljuk. A logikai algebra hrom alapmuvelete N vltozra: Logikai sszeads (F=A+B+...+N), azaz VAGY kapcsolat, Logikai szorzs ( F = A B ), azaz S kapcsolat, ... N Logikai tagads ( F = A ), azaz negci. Mivel a logikai algebrban a vltozk csak kt rtket vehetnek fel, a tagadssal mindig az 1-re kiegszto (komplementer) rtket nyerjk. Ezrt: ha A=1, akkor A = 0 , ha A=0, akkor A = 1 . A s A egyms komplementerei, ezrt az is igaz, hogy:
A + A = 1, s A =A.

A logikai algebra alapttelei Ide tartoznak az azonossgi s talaktsi ttelek. Az azonossgi ttelek az sszeads, szorzs s a tagads elemi ttelei, a kommutatv, az asszociatv, a disztributv s az abszorpcis trvny. Az talaktsi ttelek (De Morgan-ttelek) a logikai

muveletek s vltozk kztti dualitst fejezik ki. Segtsgkkel logikai szorzat sszegg, vagy logikai sszeg szorzatt alakthat.

A logikai algebra azonossgi ttelei Megnevezs Az sszeads elemi ttelei A szorzs elemi ttelei A tagads elemi ttelei Kommutatv trvny Asszociatv trvny Disztributv trvny Abszorpcis trvny Azonossgi ttelek A+ 0=A A + 1= 1 A+ A=A A 0 = 0 A 1 = A A A = A A+ A =1 A A = 0 A =A A + B = B+ A A B = B A ( A + B)+ C = A + ( B + C) (A B)C = A ( B C) A ( B + C) = A B + A C A + B C = (A + B)(A + C)

A + A B = A A ( A + B) = A

De-Morgan ttelek:
A + B + ... + N = A B ... N , A B ... N = A + B + ... + N .

A fenti ttelek az elemi ttelek tbbszri alkalmazsval, vagy igazsgtblval bizonythatk.

Pldk: 1. Msodik disztributv trvny:

(A + B)(A + C) = A A +

A B + A C + B C = A (1 + B + C)+ B C =

= A + B C

2. Msodik abszorpcis trvny:

A ( A + B) = A A + A B = A + A B = A (1 + B) = A 1 = A

Igazsgtbla: logikai fggvny, vagy kifejezs rtktblzata, amely a fggetlen vltozk sszes lehetsges kombincijhoz (n vltz esetn ez 2 n ) megadja a fggo vltoz rtkt. Plda: a De-Morgan ttelek igazsgtbls bizonytsa A 0 0 1 1 B 0 1 0 1
A 1 1 0 0 B 1 0 1 0

A+ B 0 1 1 1

A B A + B A B 0 1 1 0 0 0 0 0 0 1 0 0

A B A + B 1 1 1 1 1 1 0 0

Logikai fggvnyek s megadsi mdjaik A logikai hlzatok tervezsnek fontos lpse a bemeneti s kimeneti logikai vltozk kztti logikai kapcsolatok, fggvnyek megadsa. A logikai fggvnyeknek mind a fggo vltozja, mind a fggetlen vltozi logikai vltozk. Egy n vltozs logikai fggvnykapcsolat ltalnos alakja:
F = f ( A 1 , A 2 , ..., A n ),

ahol F fggo logikai vltoz A1, A2, ...An fggetlen logikai vltozk f fggvnykapcsolat. A logikai fggvnykapcsolatok megadhatk igazsgtblzattal, algebrai alakban, Veitch-tblval s mtrixos formban.

Logikai fggvnyek megadsa algebrai alakban Elonye a tmrsg, azonban egy-egy fggvnykapcsolatnak tbb, egymstl eltro algebrai alakja adhat meg. Ezrt a szablyos (norml v. kanonikus) alakokat hasznljuk, ugyanis egy fggvnykapcsolathoz miden szablyos alakbl csak egyetlen adhat meg. Kt ilyen, szablyos alakkal foglalkozunk rszletesebben. Minterm alak: mintermek logikai sszege Minterm: egy n vltozs minterm az n fggetlen vltoz logikai szorzata, amelyben az sszes vltoz ponlt, vagy neglt alakja szerepel. Jele: m n , ahol n a vltozszm, i az illeto mintermnek i megfelelo vltozkombincit jello binris szm decimlis rtke (i = 0, 1,...,2 n 1). Pldk:
3 m5 = a , bc

m 4 = a b c d . 3

Maxterm alak: maxtermek logikai szorzata Maxterm: egy n vltozs maxterm az n fggetlen vltoz logikai sszege, amelyben az sszes vltoz ponlt, vagy neglt alakja szerepel.

Jele: M in , ahol n a vltozszm, i az illeto maxtermnek megfelelo vltozkombincit jello binris szm decimlis rtke (i = 0, 1,...,2 n 1). Pldk:
M 3 = a b c , 6 M 4 = a b c d . 7

Mintermek s maxtermek sszefggse

m n = M (n2 1) i , i
n

M in = m (n2 1) i .
n

Fggvny minterm alakja

F = x i m n , i
n m i= 0 2n 1

ahol x i az i indexu vltozvaricihoz taroz fggvnyrtk (0, vagy 1). Az sszegben azok a mintermek szerepelnek, amelyek mellett x i = 1. Fggvny maxterm alakja
F = (x i + M in ),
n M 2n 1 i =0

ahol x i az i indexu vltozvaricihoz taroz fggvnyrtk (0, vagy 1). A szorzatban azok a maxtermek szerepelnek, amelyek mellett x i = 0 . A kt kanonikus alak egymsba talakthat:

F =F
n m

n m

2 1x m n = 2 x + m n = 2 1 x + M . = i i i i i ( 2 1) i i=0 i= 0 i =0
n n 1 n n

) [

Ez azt jelenti, hogy valamely fggvny mindig felrhat ugyanolyan vltozszm minterm s maxterm alakban. Plda: a 0 0 1 1 b 0 1 0 1 F 1 0 0 1
2 Fm = a b + a b

2 FM = a + b a + b

)(

Bizonyts analitikusan:

( a + b)( a + b) = a a +

a b + a b + b b = a b + a b .

Az n fggetlen vltoz esetre rtelmezheto egymstl 2 klnbzo logikai fggvnyek szma N = ( 2) .

n

Fontosabb logikai fggvnyek Logikai kifejezs: muveleti jelekkel sszekapcsolt logikai vltozk. A NV-rendszer alapveto fggvnyei a Nem, s, Vagy fggvnykapcsolatok.

NEM (negcis ) fggvny: A 0 1 F 1 0

F=A

Az egyetlen egy vltozra is rtelmezheto fggvny. Szabvnyos jele:

A

S fggvny: Legalbb kt vltozra rtelmezheto logikai fggvny, melynek igazsgtblja: A B F 0 0 0 0 1 0 F = A B 1 0 0 1 1 1 A fggvny rtke akkor 1, ha mindkt vltoz rtke 1. Szabvnyos jele:
A B

&

VAGY fggvny: Legalbb kt vltozra rtelmezheto logikai fggvny, melynek igazsgtblja: A 0 0 1 1 B 0 1 0 1 F 0 1 1 1

F=A+ B

A fggvny rtke akkor 1, ha brmelyik vltoz, vagy mindkt vltoz rtke 1. Szabvnyos jele:
A B

>=1

Tovbbi gyakori fggvnykapcsolatok KIZR-VAGY (XOR, v. antivalencia) fggvny: Legalbb kt vltozra rtelmezheto logikai fggvny, melynek igazsgtblja: A 0 0 1 1 B 0 1 0 1 F 0 1 1 0

F = A B = A B + A B

A fggvny rtke csak akkor 1, ha szigoran csak egyetlen vltozja egyenlo 1-gyel. Szabvnyos jele:

A B

>1

KOINCIDENCIA (ekvivalencia) fggvny: Legalbb kt vltozra rtelmezheto logikai fggvny, melynek igazsgtblja: A 0 0 1 1 B 0 1 0 1 F 1 0 0 1

F = A B = A B + A B

A fggvny rtke akkor 1, ha mindkt vltozja 0, vagy mindkt vltozja 1. A koincidencia ramkrt olyankor hasznljk, amikor kt binris szm egyenlosgt kell rzkelni. Szabvnyos jele:
A B

=1

Ktszintu fggvnyek S-NEM (NAND) fggvny Legalbb kt vltozra rtelmezheto logikai fggvny, melynek igazsgtblja: A 0 0 1 B 0 1 0 F 1 1 1

F = A B

F = A B + A B + A B = A B + A B + A B + A B F = A B + B + B A + A = A + B = A B

Szabvnyos jele:
A B

&

VAGY-NEM

(NOR)

fggvny

Legalbb kt vltozra rtelmezheto logikai fggvny, melynek igazsgtblja: A 0 0 1 1 B 0 1 0 1 F 1 0 0 0

F = A B = A + B

Szabvnyos jele:
A B

>=1

Logikai fggvnyek minimalizlsa Egy adott igazsgtblhoz tartoz logikai fggvny kifejezheto a kt kanonikus alak brmelyikvel, ezek azonban nem a legegyszerubb kifejezsi formi az adott fggvnynek. Ezrt szksg van a kapott fggvny minimalizlsra.

Minimalizls: valamely logikai fggvny minimlis tagokkal, illetve az egyes tagok minimlis szm vltozval val kifejezse. Ez megoldhat a BOOLE-algebra alaptteleinek sorozatos alkalmazsval, ez az t azonban bonyolult. Plda: egy fggvny a kvetkezo igazsgtblval adott
A = 23 B = 22 C = 21 D = 20

0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1

0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1

0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1

0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1

F 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0

F = A B C D + A B C D + A B C D + A B C D .

Sorozatos kiemelseket alkalmazva:

F = D A B C + A B C + A B C + A B C

F = D B C A + A + B C A + A = D B C + B C = D C B + B F = C D

[ (

)]

Az gy keletkezett fggvny az eredetivel azonos logikai feladatot lt el, de takarkosabb mdon. E mdszer htrnya az, hogy a vltozk szmnak nvekedsvel mind nehezebben kezelheto. A gyakorlatban ezrt elterjedtebb az n. VEITCH-KARNAUGH tblval trtno minimalizls, melynek elve megegyezik az elobbi algebrai eljrssal. A VEITCH-KARNAUGH tbla egy 2 n cellbl ll tblzat (n a vltozk szma), melyben a cellk gy vannak elhelyezve, hogy a vltozk minden lehetsges kombincijnak szigoran egy cella feleljen meg. A tbla felptse 3 s 4 vltoz esetre a kvetkezo:
A A

C B B D B

A minterm fggvnyben azok az i indexu mintermek szerepelnek, amelyekhez tartoz vltozvaricikhoz a fggvny x i = 1 rtke tartozik. gy a vltozszmnak megfelelo VEITCHtbla ezen sejtjeibe 1-et runk. Az elobbiekben minimalizlt fggvny minterm tblja teht a kvetkezo lesz:

A 0 0 1 D 1 0 C 0 1 0 0 0 0 0 0 B 0 B 0 1

F = A B C D + A B C D + A B C D + A B C D

A grafikus egyszerusts lpsei: Rajzoljuk be a kialakthat legnagyobb rendszm ( 2 k szm egyest tartalmaz) tmbt, vagy tmbket. A fggvny minden 1-es sejtje legalbb egyszer le legyen fedve. Egyazon egyes tbb hurokban is szerepelhet. A leheto legnagyobb mretu s legkevesebb szm tmbt kell ltrehozni. rjuk ki a tmbknek megfelelo algebrai kifejezseket. Ha lehetsges, tovbbi egyszerustst vgznk (tbbnyire kiemelssel). Ezt figyelembe vve az elozo fggvny a kvetkezokpp minimalizlhat:
A 0 0 1 D 1 0 C 0 1 0 0 0 0 0 0 B 0 B 0 1

F = C D

Logikai muveleteket megvalst villamos eszkzk A kapcsolramkrknek kt, egymstl jl megklnbztetheto fizikai llapota lehetsges (zrt-nyitott). Ezen fizikai llapotok a kt binris vltozhoz hozzrendelhetok. A logikai ramkrk binris jellemzoje elektromos mennyisg (feszltsg, ramerossg, fzis, stb.). A klasszikus technika a kommutci problmjt mozg mechanikai elemeket tartalmaz kapcsolkkal (relkkel) oldotta meg. A korszerubb eszkzk rintkezomentesek, n. kapuramkrk. A logikai ramkrk fejlesztsben az aktv elem tpusa szerint hrom genercit klnbztetnk meg. Elso generci: Aktv eleme az elektroncso volt. E megolds htrnyai a futoszl jelenlte, az izztshoz szksges energia, a nagy rtku feszltsgek, a mretek s a dissziplt hoenergia. Msodik generci: Aktv eleme a tranzisztor. Jelentos ipari alkalmazsok. Htrnya a bonyolult berendezsekhez szksges nagyszm alkatrsz. Harmadik generci: A flvezeto-technolgia fejlodsvel megjelentek az integrlt ramkrk (SSI, MSI, LSI, VLSI).

Kombincis s szekvencilis hlzatok

Logikai feladat: vges szm felttel kzl egyesek teljeslshez hozzrendelnk valamilyen elors szerint ugyancsak vges szm lehetsges kvetkezmny kzl egyetegyet. Logikai hlzat: kapcsolatot teremt a felttelek s a hatsukra bekvetkezo esemnyek kzt (villamos, pneumatikus, hidraulikus, stb.).
Felttelek
rzkel berendezs

Bemeneti jelrtkek
Logikai hlzat

Kimeneti jelrtkek
Vgrehajt berendezs

Kvetkezmny

Ha a hlzat bemeneteinek szma n, 2 n szm bemeneti kombinci hozhat ltre. Hasonlkppen m darab kimenet esetn 2 m kimeneti kombinci kpezheto. A logikai hlzatok mukdse gy fogalmazhat meg, hogy minden egyes bemeneti kombincihoz elort mdon ltrehoznak egy kimeneti kombincit. Az elorst a logikai feladat valamilyen megfogalmazsa tartalmazza. A kombincis hlzatok jellemzoje az, hogy a mindenkori kimeneti kombinci csak a bemeneti kombinci pillanatnyi rtknek fggvnye. Azonos bemeneti kombincihoz mindig ugyanaz a kimeneti kombinci tartozik, de egyazon kimeneti kombinci tbb bemeneti kombincihoz is tartozhat. A logikai hlzat teht kt llapothalmazt kapcsol ssze.

x1 x2
Kombincis hlzat

y1 y2

xn

ym

A felrhat logikai fggvnykapcsolatok:

y 1 = f1 ( x 1 , x 2 ,..., x n ), . . . y m = f m ( x 1 , x 2 ,..., x n ).

Az n szm binris bemeneti vltozbl kpezheto bemeneti llapotok szma: N x 2 n . Az m szm binris bemeneti vltozbl kpezheto bemeneti llapotok szma: N y 2 m . ltalban igaz, hogy:
N y N x .

Ha a fenti relcik egyenlosgek, a hlzat idelis, ha egyenlotlensgek, redundns. A hlzatok msik csoportja az elort kimeneti kombincit nem kpes csak a bemeneti kombincik alapjn elolltani, szksg van ptllagos kombincikra is. A logikai hlzat kpes arra,

hogy mukdse sorn megvltoztassa ezeket a szekunder kombincikat. A feladatban elort kimeneti kombincit a bemeneti s a ptllagos kombinci pillanatnyi rtke egyttesen szabja meg. A szekunder kombincik segtsgvel az ilyen hlzat kpes arra, hogy ugyanahhoz a bemeneti kombincihoz ms-ms kimeneti kombincit szolgltasson attl fggoen, hogy a bemeneti kombinci fellpsekor milyen rtku a szekunder kombinci. Az ilyen hlzatokat sorrendi (szekvencilis) hlzatoknak nevezzk. Kombincis hlzatok tervezsnek lpsei A feladat pontos megfogalmazsa, a fggetlen s fggo vltozk megllaptsa. A fggo s fggetlen vltozk kapcsolatnak tblzatos rgztse vagy a logikai fggvnykapcsolatok lersa. A minimalizlt logikai fggvnyek algebrai meghatrozsa. (Ptllagos egyszerusts). alakjnak

A realizls hardver eszkzeinek kivlasztsa, realizls. Pldk: 1. Megtervezendo munkadarabok trolsra, tovbbtsra alkalmas plyarendszer vezrlohlzata. A s B munkahelyek, a, b, c, d plyaszakaszok, amelyek rzkelik, hogy van-e rajtuk munkadarab, M1, M2, M3, M4 vltllt mgnesek, Trol: teljes plyateltettsg esetn kapacitsa megfelelo a munkadarabok fogadsra.

Trol 1 A M1 0 1 0 1 0 M4 1 d c b 0 a B

M2 M3

A vezrlohlzatnak biztostania kell, hogy a munkadarabok a rendelkezsre ll legrvidebb ton haladjanak A-bl B-be. Bemeneti vltozk: a, b, c, d rzkelok, kimeneti vltozk: M1, M2, M3, M4 vltllt mgnesek. Kdolt be-s kimeneti tblzat
0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 a 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 b 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 c 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 d 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 M1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 M2 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 x M3 x x x x x x x x 0 0 0 0 1 1 1 x M4 x x x x x x x x x x x x 0 0 1 x

A redundns (kzmbs) kimeneteket x-szel jelltk. A tblzatbl lthat, hogy f M = a b c d , ugyanis f M oszlopban ennl az egyetlen mintermnl ll 1 rtk. A tbbi fggvnyt minimalizljuk.
1 1

A 0 0 fM2 0 D 0 0 C A x x fM4 x D x x C x x x x 0 x x x 1 x 0 B c 1 1 0 x 1 D x x C 0 0 0 1 1 1 1 B a fM3 x x x x x x x 0 1

A 0 1 B 1 0 b

A logikai feladatot megvalst vezrlohlzat rels realizlsa:

a a b c d Ra Rb Rc Rd Ra Rb Rc Ra Rb Rc Rd M1 M2 M3 M4

2. Megtervezendo decimlis szmok htszegmenses kijelzsre alkalmas kijelzo vezrlsre alkalmas kombincis hlzat. A kijelzot a kvetkezo egyszerustett vzlat mutatja:
a f e d b c

A 10 decimlis szm megjelentse 4 binris vltoz segtsgvel lehetsges. Ez 24=16 kombincit valst meg. A fel nem hasznlt bemeneti kombincikhoz rendelhetjk pl. klnbzo jelek megjelentst. Pldnkban az egyszerusg kedvrt ezeket redundnsnak tekintjk. Dec. 0 1 2 3 4 5 6 7 8 9 A 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 B 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 C 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 D 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 a 1 0 1 1 0 1 1 1 1 1 x x x x x x b 1 1 1 1 1 0 0 1 1 1 x x x x x x c 1 1 0 1 1 1 1 1 1 1 x x x x x x d 1 0 1 1 0 1 1 0 1 1 x x x x x x e 1 0 1 0 0 0 1 0 1 0 x x x x x x f 1 0 0 0 1 1 1 0 1 1 x x x x x x g 0 0 1 1 1 1 1 0 1 1 x x x x x x

A 1 0 1 1 x x 1 x B 1 0 1 B x 1 C x x 1

A 1 1 1 0 x x 1 x B 0 1 1 B x 1 C x x 1

Fa=
D

Fb=
D

Fa = A + C + B D + B D
A 1 1 0 1 x x 1 x B 1 1 1 B x 1 C x x

Fb = A + B + C D + A C D
A 0 0 1 1 x x 1 x B 1 0 0 B x 1 C x x 1

Fc=
D

Fd=
D

Fc = B + C + D

Fd = A + B C + C D + B C D

A 1 0 1 1 x x 1
1 0 1 x x

A 1 x B 1 0 0 B x 0 C x x 1

x B x 0

Fe=
D

0 0

0 B x 0 C x

Ff=
D

Fe = B D + C D

Ff = A + B D + C D + B C

A 0 1 1 1 x x 1 x B 1 0 0 B x 1 C x x 1

Fg=
D

Fg = A + B D + B C + B C

A feladatot megvalst kombincis hlzat NV rendszeru kapcsolsi rajza a kvetkezo brn lthat.

A B C D

A B C D

& 1 & 1 1 1 &

>=1 >=1

Fa

& 1
>=1

Fg

&

Fb

&

1 1 1 1
>=1

&

Fc

&
>=1

Fd

&

&

1 & 1 &
Fe
>=1

& 1 1 & 1
>=1

Ff

& 1

A vezrlohlzatok msik csoportjt a sorrendi, vagy szekvencilis hlzatok alkotjk. E hlzatok kimeneti llapota a bemeneti rtkvaricikon kvl az azok sorrendjt kpviselo belso llapotvltozk azonos idopontbeli rtkvariciitl is fgg. Egy szekvencilis hlzat blokkvzlata teht a kvetkezo:
Szekvencilis hlzat

Xn Qn

fy(Xn,Qn) fq(Xn,Qn)

Yn Qn+1

Yn

Ksleltets vagy trols

A sorrendi hlzat a modellen lthat kt egyenletrendszerrel jellemezheto:

f y (X n , Q n ) Y n

f q (X n , Q n ) Q n + 1

Az bra jellsei a kvetkezok: n - a t idoponthoz tartoz rtk; n+1- a t idopontot kveto tn+1 idoponthoz tartoz rtk; Xn=Xt - a bemeneti vltozk pillanatnyi rtkvaricija; Qn=Qt - a belso vltozk pillanatnyi rtkvaricija, amely az Xn bemeneti rtkvarici fellpsekor mr visszajutott a bemenetre; Qn+1=Qt+1 - a szekunder vltozk kvetkezo (j) rtkvaricija, amelyet Xn s Qn egyttesen hoz ltre s

amely t ksleltetssel meghatrozza a kvetkezo tem Qnjt; Yn =Yt - a pillanatnyi kimeneti rtkvarici, amelyet Xn s Qn egyttesen hoz ltre; fy - a kimeneteket elollt logikai fggvnyek rendszere; fq - a belso llapotok j rtkeit elollt fggvnyrendszer. A sorrendi hlzatok lehetnek aszinkron s szinkron hlzatok. Az elso esetben minden bemeneti binris rtkvarici vltozs j vezrlotemet jelent, mg a msodik esetben az temeket egy szinkronjel (rajel) jelli ki. Elemi szekvencilis hlzatok Ezek trol elemek, amelyeknek egyetlen llapotvltozjuk van s 1 bit informci (0,1 llapot) trolst teszik lehetov. ltalban kt bemeneti s egy kimeneti vltozjuk van. Mukdsk szinkron, vagy aszinkron. A vezrlo bemeneti vltozk s a trol llapot logikai kapcsolatai szerint RS, JK, D, vagy T trolt klnbztetnk meg. RS trol Aszinkron trol, nincs rajel-genertor, llapotvltozsa nem az rajelhez kttt. llapotvltozsi tblzata a kvetkezo: S R 0 1 0 0 0 1 0 1 0 0 1 0 1 1 1 1 X X
S 0 Qt+1= Qt 1 0 0 R X X 1 =S+RQt 1

S R

Q Q

Dinamikus JK trol Szinkron trol, a bemeneti vltoz s az rajel egyttesen szabja meg a kimenet llapott.
C t t t t

J K Q

J C K

Qt

J K 0 1

0 0 0 1

0 1 0 0

1 0 1 1

1 1 1 0

J Qt+1= Qt 0 1 0 0 K 1 0 1 1 =JQt+KQ t

Dinamikus D trol

Q D

Q C

C D Q

t t t

Megfigyelheto, hogy Q a D rtkeit veszi fel. D 0 1 0 0 0 1 1 1

Qt

Q t+ 1 = D Q t + D Q t

Dinamikus T trol

Q T

Q C

C T Q

t t t

Amg T=1, minden rajel lnl megvltoztatja llapott.

Qt

T 0 1

0 0 1

1 1 0

Q t+ 1 = T Q t + T Q t

Szekvencilis hlzatok tervezsnek lpsei A feladat pontos megfogalmazsa, a fggetlen s fggo vltozk megllaptsa. Az temdiagram felvtele, a belso vltozk mukdsi feltteleinek meghatrozsa. A vltozk kapcsolatnak tblzatos rgztse.

A minimalizlt logikai fggvnyek algebrai meghatrozsa. (Ptllagos egyszerusts).

alakjnak

A realizls hardver eszkzeinek kivlasztsa, realizls. Pldk: 1. Adott egy megmunkl gp elotol rendszere. A szn a vzolt mozgsciklus szerint az NI nyomgomb indtjelnek hatsra eloremegy vghelyzetig, majd htramegy alaphelyzetbe s ott vr az jabb indtjelre. Az irnyvlts a hajtmotor fziscserjvel trtnik a KE s KH elore-s htrameneti mgneskapcsolkkal. HA s HV alap-s vghelyzeti helyzetkapcsolk.
NI HA HV NI

SZN

HA

KE

KH

Elksztendo a szksges vezrls temdiagramja. Megllaptand a szksges elemi memrik szma s ezek mukdsi felttelei. Megtervezendo a vezrls. A tervezsnl figyelembe kell venni, hogy az indts utn az NI indtgomb jbli lenyomsa legyen hatstalan. Elksztendo a fenti feladatot megvalst hlzat ramutas kapcsolsi rajza.

A vezrls temdiagramja:
1 2a 2b
3 4

5a 5b

NI HA HV Q KE KH

Lthat, hogy az 1. s 3., valamint a 4. s 6. tem bemeneti llapotai megegyeznek, azonban a hozzjuk rendelt kimeneti llapotok klnbzok. Ezt az ellentmondst az elemi memria brn lthat felvtelvel lehet feloldani oly mdon, hogy az azonos bemeneti llapotok kzl az egyikhez az elemi memria 0, a msikhoz az elemi memria 1 llapott rendeljk.

Az temdiagramnak megfelelo kdolt tmeneti s kimeneti tblzat: tem 1 2a 2b 3 4 5a 5b 6 NI 0 1 1 0 0 0 0 0 0 0 1 1 1 1 1 1 HA 1 1 1 1 0 0 0 0 1 1 0 0 0 0 1 1 HV 0 0 0 0 0 1 1 0 1 1 0 0 1 1 1 1 Qt 0 0 1 1 1 1 0 0 0 1 0 1 0 1 0 1 Qt+1 0 1 1 1 1 0 0 0 x x 0 1 0 0 x x KE 0 1 1 1 1 0 0 0 x x 0 1 0 0 x x KH 0 0 0 0 0 1 1 1 x x 1 0 1 1 x x

6* 4* 5b* 5a*

Az temdiagramban elo nem fordul bemeneti kombincikhoz rendelt kimeneteket a kvetkezo megfontols alapjn hatrozzuk meg. Az zemszeruen biztosan be nem kvetkezo bemeneti kombincikhoz (HA*HV=1) kzmbs (redundns) kimenetet rendelnk. A *-gal jellt bemeneti kombincik azt az llapotot jelentik, mintha az illeto temben jra lenyomtuk volna az NI gombot. Feladatunk szerint ennek hatstalannak kell lennie, gy ugyanazt a kimenetet rendeljk ezekhez a bemenetekhez is, mint a * nlkli temekben. Egybknt az temdiagramban nem szereplo bemeneti kombincikhoz x, vagy 0 kimenetet szoks rendelni. A tblzat alapjn a kapcsolfggvnyek Veitch-tbli:

HA 0 0 Qt+1= 0 NI 0 1 Qt HA 0 0 KE= 0 NI 0 1 Qt HA 1 1 KH= 1 NI 1 0 Qt 0 0 1 B x x 0 1 0 x 0 x HV 1 1 0 B x x 1 0 1 x 0 x HV 1 1 0 B x x 1 0 1 x 0 x HV

KE = Q t+ 1 = NI HA + HV Q t

KH = HV + HA Q t

Q t + 1 = NI HA + HV Q t

Az ezt megvalst vezrlohlzat kapcsolsi rajza a kvetkezo:

NI RNI HA HV NI HV HV RKH HA Q HA RQ Q RKE

RHA RHV

NI

HA HV

&

S R

Q Q

Q=KE

&
>=1

KH

Gpszeti automatika
Kombincis s szekvencilis funkcionlis elemek

Kombincis elemek

funkcionlis

Szekvencilis elemek Trolk Regiszterek Szmllk

funkcionlis

Kdolk Dekdolk tkdolk Multiplexerek Demultiplexerek Kompartorok Aritmetikai feldolgoz egysg Logikai feldolgoz egysg

Kombincis funkcionlis elemek Kdtalaktk Kdolk

Esemnyek x1 Kdok y0

xn

ym

Az esemnyek szmra igaz, hogy:

n < 2m+ 1 Felttelezzk, hogy az esemnyek klcsnsen kizrjk egymst, gy minden esemnynek egy (lland hosszsg) kdsz felel meg.

Dekdolk A bemeneti binris kombincikhoz (kdokhoz) egy-egy aktv kimenetet rendel

Kdok x0 Esemnyek y1

xn

ym

Itt az albbi relci igaz:

2n + 1 m Kombincis hlzatok megvalstsra is felhasznlhat.

tkdolk A klnbzo kdrendszerek kzti tvltst valstja meg. Sem a bemenetekre, sem a kimenetekre nem elors az egy idoben egyetlen aktv llapot.
Kdok x0 Kdok y0

xn

ym

Ebben az esetben:
2 n+ 1 2m+ 1 ,

illetve:

n m.
Gyakori talaktsok: Binris Binris Binris Binris Binris Decimlis, Hexadecimlis, BCD, Gray, Johnson.

Adatvlaszt egysgek Multiplexerek (kivlasztk) Binris informci kivlasztst vgzi, azaz valamelyik bemenetet a kimenetre kapcsolja a cmbemenetek pillanatnyi kombincijnak megfeleloen (engedlyezs esetn).
D0 D1 D2 D3 Cm Eng. A B ST MX Q

A d a t

Demultiplexerek (elosztk) Az egyetlen bemenetet sszekapcsolja a vezrls ltal megadott kimenettel

Adat

D A

Q0 Q1 Q2 DM Q3 Q4 Q5 Q6 Q7

Cm

B C

Kapuz bemenet

A kapuzjel aktv llapota esetn a cmvonalakra kapcsold dekdol oldja meg a megfelelo adatkimenet engedlyezst. Aritmetikai egysgek sszehasonltk (Kompartorok)
A0 A1 A2 A3 A>B A=B A<B B0 B1 B2 B3 == Q A>B Q A=B Q A<B

Kt ngybites (A, B) szmot hasonlt ssze s a pillanatnyi relcinak megfelelo kimenetn ad aktv szintet. A tbb helyirtken val sszehasonlts rdekben a bovto bemeneteiken a kompartorok sszekapcsolhatk.

Egybites sszead

A S B C S1 C

C 0 0 0 0 1 1 1 1

B 0 0 1 1 0 0 1 1

A 0 1 0 1 0 1 0 1

S 0 1 1 0 1 0 0 1

C 0 0 0 1 0 1 1 1

S = A B + A B
C = A B

S az A s B egybites szmok sszegt adja, C pedig az tvitelt. Logikai processzor s/Vagy muveletek vgzsre alkalmas. A muveleti kd mondja meg, milyen legyen a kimeneten megjeleno logikai fggvny.

A S B
Logikai rtk

U0

Un

Muveleti kd

Pl. U0=0 S kapcsolat, U0=1 VAGY kapcsolat.

S = U 0 A B + U 0 (A + B)

(Ugyanez ktszintu kapurendszerrel is megoldhat). Aritmetikai processzor Csak S/VAGY kapukkal definilhat tbb muvelet.

A C B
(tbb bites)

S C

U0

Un

Muveleti kd

Aritmetikai-logikai egysg Ez a legfejlettebb kombincis hlzat.

S0 S1 S2 S3 M A0 A1 A2 A3 B0 B1 B2 B3
tvitel Kompartor

A=B G H

Muveleti kd

Vlaszts aritm. v. log.

Specilis tvitel

C F0 F1 F2 F3

tvitel

Szumma

Az S0,...S3 vezrlo bemenetek rtkkombinciinak megfeleloen a kt bemeno ngybites szmon (A s B) a kvetkezo muveleteket vgzi el: algebrai sszegzs, kivons, logikai sszegzs, logikai szorzs, kizr VAGY kapcsolat, a kimenetek (F) 0, vagy 1 rtkbe vezrlse. Szekvencilis funkcionlis elemek Regiszterek Egyms mell helyezett memriacellk.
TP, OC, vagy Tristate

SR Lptets SL

ra

Engedlyezs

Reset

E Bers (Load) Prhuzamos Soros

Kzs funkcik: engedlyezs, bers, (statikus, v. dinamikus) kzs reset, kimenet vezrlse (V, csak Tristate-nl), lptets.

Regiszterek belso felptse

TS kimenet V

Q S J
Soros bemenet

Q R C K

Shift Clock

&
LOAD DATA 1

&
Prh. bers DATA 2

Kzs Reset

Szmllk Olyan funkcionlis egysgek, amelyek alkalmasak impulzusok megszmllsra s a nyert szmrtk megorzsre. Tulajdonkppen klnleges regiszterek.

ra C Szmll bemenet V

M Md Control H-elre L-htra R

Prhuzamos bers E L

A szmll bemenet a regiszterben levo jeleket egy kdolt aritmetikai rtknek tekinti s ezt az rtket 1-gyel nveli. C=a szmll kapacitsa. Azon impulzusok szma, melyek hatsra a szmll ugyanazt a belso tartalmat veszi fel, mint a kezdeti idopillanatban. A reverzibilis szmll tartalma egyarnt nvelheto s cskkentheto. Szmllk osztlyozsa:

 A vezrls szerint: - aszinkron, - szinkron. A szmlls irnya szerint: - elore, - vissza, - mindkt irnyba (reverzibilis). A keletkezo szmrtk kdolsa szerint: - binris, - BCD, - specilis. Aszinkron binris szmll
E Q0 Q1 J C R K R Q J C K R Q Q2

J C K
Reset

Szmlland pulzusok

Aszinkron szmllnl a pulzus csak egy cellra hat, ez terjed tovbb, ezrt mukdse lass. Minden cella csak a szomszdjval van kapcsolatban. Idodiagramja:

C R E Q0 Q1 Q2
1

t t t t t t

jelzovonal

Ha Q0=20, Q1=21, Q2=22, az 101 binris kombinci az 5 decimlis szmnak felel meg. Frekvenciaosztst vgez. Szinkron BCD szmll
Letiltja a 10. pulzus utni billenst

Q0

Q1

Q2

Q3

&
J C
Szmlland pulzusok

&
J C K Q1 J C K Q2

&
J C K Q3 Q3

Q0

Q3 Q1-gyel egytt trldik

Szinkron mukds esetn a pulzus mindegyik cellra egyidejuleg hat. A cellk a berkezs pillanatban tudjk a szomszdjuk llapott. Idodiagramja:
1 2 3 4 5 6 7 8 9 10

C Q0 Q1 Q2 Q3

t t
letiltva, mert Q3=0

t t t
Q1-gyel egytt trldik

A vastag vonalak nlkl 0000-tl 1111-ig szmolna, azaz hexadecimlis szmll lenne.

Johnson szmll

J C
Szmlland pulzusok

Q0

J C

Q1

J C

Q2

J C

Q3

Q0

Q1

Q2

Q3

Idodiagramja:
1 2 3 4 5 6 7 8 9 10

C Q0 Q1 Q2 Q3

t t t t t

A Johnson szmllval tetszs szerinti tbbfzis jel llthat elo, amelynek frekvencija csak az rajeltol fgg. Kslelteto s monostabil billenokrk A ksleltetok a bemeneti impulzust meghatrozott idovel ksobb adjk a kimenetre. (Megoldhat pl. lpteto regiszterrel). A monostabil ramkrkkel egy impulzus idotartama megnvelheto, vagy lecskkentheto.

Memrik Olyan, elemi trolegysgekbol integrlt kzepes, nagy s igen nagy bonyolultsg ramkrk, amelyek nagymennyisgu binris informci trolsra alkalmasak. Az egyes trolrekeszek kztti vlaszts a cmzsi rendszer segtsgvel trtnik. Csatlakoz vezetkeik gy cm (A), vagy adat (D) vonalak. A vezrlshez mindig tartozik egy, vagy tbb engedlyezo (EN) vonal. A kimenet OC, vagy TS. A kapacits kifejezi, hogy az illeto trol egysgben mennyi elemi binris informci bit trolhat. A szervezs megmutatja, hogy a kapacits ltal megszabott informcimennyisg milyen csoportostsban kezelheto, azaz egyetlen cmzssel 1, 4, 8, vagy 16 bit mretu adatblokk (sz) rheto el. A flvezetos memrik csoportostsa: Funkci szerint: csak olvashat (ROM), rhat s olvashat (RWM,RAM). Gyrtstechnolgia szerint:bipolris, MOS, CMOS, HMOS, specilis. Csak olvashat memrik Maszkprogramozott (ROM): a gyrtsi eljrs sorn a flvezeto struktrjban rgztik az adatokat, gy azok tbb nem vltoztathatk, A felhasznl ltal programozhat (PROM): a felhasznl maga rgzti az adatokat vgleges formban (gets), A felhasznl ltal tbbszr programozhat (EPROM): villamos tltsek elszigetelt mikrokrnyezetben val trolsa elvn mukdik, ultraibolya besugrzssal trlheto, azaz tlts nlkli llapotba hozhat. Az EEROM rvid ideju elektromos impulzussal trlheto, elektromosan trhat (EAROM): a bers elektromosan s cmezhetoen trtnik, ez a felhasznl szempontjbl a legrugalmasabb.

Az tprogramozhat memrik informcitartalmnak psge nhnyszor 10 vig garantlt. Az tprogramozsok szma korltozott. A klso zavar hatsok vletlenszeru adattrsokat okozhatnak. rhat s olvashat memrik Adatbersra s olvassra egyarnt ignybe vehetok. Az informci trolsa a MOS, CMOS technolgival kszlt elemeknl kt alapveto mdon valsul meg. Bistabil billenokrk llapotaknt (SRAM), Mikrokapacitsban trolt tlts formjban: dinamikus (DRAM) memria.

Gpszeti automatika
A programozhat logikai vezrlok mukdse, felhasznlsa a gpszeti automatikban A logikai vezrlok (PLC=Programmable Logical Controller) szabadon programozhat vezrlo berendezsek, amelyek alkalmasak automatizlt gpek, illetve technolgiai folyamatok programozhat vezrlsre. A felhasznl ltal trtno programozs lehetov teszi a feladathoz val rugalmas alkalmazkodst, a vezrlsi algoritmus megvltoztatst, mdostst. A PLC mukdsi elve
x1

F1

R1
Input regiszter xn Bit processzor

R0
Output regiszter

Fm

Program memria

Program betlt

A vezrlsi algoritmust tartalmaz PLC programot a programoz berendezs segtsgvel juttatjuk a PLC programtrol memrijba.

A programoz berendezs a PLC program elksztsre, betltsre, ellenorzsre s mdostsra szolgl. Tbbnyire nem integrlt rsze a PLC-nek, lehet clhardver, vagy szemlyi szmtgp. Kapcsolata a PLC-vel egyedi, vagy szabvnyos kommunikcis csatornn valsul meg. A programoz berendezs a PLC bemeno nyelvn megrt programot a logikai muveleteket vgzo processzor utastsrendszernek megfelelo gpi kdra fordtja s gy kerl a PLC memrijba. A betlttt program automatikus futs zemmdban vezrli a PLCvel sszehuzalozott berendezst. Ekkor a PLC a vezrelt berendezssel van kapcsolatban az input-output csatornkon t. A PLC belso mukdse ismtlodo ciklusokban van szervezve. bekapcsols utn a belso vezrls kezdeti llapotba lltja a PLC funkcionlis egysgeit, belso regisztereit, majd egy belso rajel ltal meghatrozott idopillanatban mintt vesz az input csatornk llapotrl. Ezek az llapotok az input regiszterekbe kerlnek. Az input aktulis rtkeinek ismeretben a PLC belso vezrlse sorra veszi a memriban trolt PLC program utastsait s azokat egyms utn (szekvencilisan) vgrehajtva kiszmtja az outputok illetve a belso llapotjelzok (markerek) aktulis rtkeit. Ezek aztn az output regiszterekbe kerlnek. innen galvanikus levlaszts s erosts utn a jelek a mukdteto kszlkekhez jutnak (motorok mgneskapcsoli, szelepek mukdteto mgnesei tirisztorok, stb.). Ha valamennyi programutasts vgrehajtsra kerlt, a szmtsi ciklus vget rt. A belso vezrls jra mintavtelezi az input csatornk llapott s a ciklus ismtlodik. Az a tny, hogy a kimenetek idoben sorosan keletkeznek (egyszerre egy egyenlet szmtdik ki) nem okoz nehzsget, mert a technolgiai folyamatok jval lassbbak, mint a PLC bitprocesszornak szmolsi sebessge. A klasszikus PLC felptse Fo modulja a bitprocesszor. Rszei: Logikai egysg (LU), feladata a muveletvgzs,

 Akkumultor (A), 1 bites trol. A bitprocesszor mukdse: Egy ltalnos ktoperandus muvelethez hrom cm szksges. Ezek: - egyik operandus cme, - msik operandus cme, - eredmny cme. Plda:
x LU y x+y=z
1. op.
2. op. Eredmny

Utastskd z

Ez a feladat egy cmmel is megoldhat a kvetekezokppen: 1. y rtkt bevisszk az akkuba, 2. x rtkt a bemenetre adjuk, 3. utastst adunk, 4. az eredmny az akkuban keletkezik, y fellrdik. Htrnya: a muvelet elvgzse utn y elvsz.

Mvelet vgzse eltt

Mvelet vgzse utn

A =Y A

A =Z A

gy minden lpshez egy cm s egy utasts kell. Mindig az akku tartalmazza a muveletvgzs eredmnyt. Az utastsok a bers sorrendjben hajtdnak vgre. A PLC tovbbi moduljai

C OC
START

OM

PU

SC

PC

MEM

OR

STOP

I/O C

OC A

IR

MUX

LU S

DMUX

MR

MUX

(melyik input)

MUX C C
(input v. output)

C C C C

Memria Feladata a PLC program trolsa. A program a programoz berendezsbol (PU) kommunikcis vonalon kerl a memriba. Programszmll (PC) Sorban cmzi a memrit. A megcmzett programutasts kerl vgrehajtsra. A PC-t a rendszervezrlo (SC=system controller) impulzussal lpteti. Input regiszter Az input vltozk aktulis rtkt tartalmazza. Az utastsban levo input cmmel vlasztjuk ki a megfelelo vltozt. MUX A multiplexerek a cmek segtsgvel a kivlasztst vgzik. DMUX A dermultiplexer az akku tartalmt a cmzett belso trolba (MR) rja. Marker regiszter A belso trol egyik rsze a belso vltozk (markerek), msik rsze az output vltozk rtkt trolja. Output regiszter Az output vltozk rtke idonknt az output regiszterbe s innen az outputra kerl.

A klasszikus PLC elemi utastskszlete

SOR 0 1 2 3 4 5 6 7 KD 000 001 010 011 100 101 110 111 EGYENLET A=S A=S K=A K=A A=A S A=A S A=A+S A=A+S MNEMONIK LD LN ST SN AD AN OR ON REL LOGIKA MAGYARZAT BETLTS BETLT NEGLTAT KITROL KITROL NEGLTAT S S-NEGLT VAGY VAGY-NEGLT

7 I/O

5 CM

1 KD

Az utastskszlet 8 utastst tartalmaz. Ebbol 2 cmzett adatmozgats az akkuba, 2 cmzett adatmozgats a belso trolba, 4 logikai utasts. Egy utasts gpi kdja 1 byte=8 bit. Ebbol 3 bit utastskd, 4 bit vltozcm, 1 bit I/O vlaszts. Az utasts gpi kdjt rvidtve hexa szmknt brzolhatjuk. Az utastsokat emlkezteto szimblumokkal (mnemonikokkal) is megadhatjuk. Ilyenkor a programoz berendezs fordtja gpi kdra. Pldk: 1. RS trol
S R X X X Q Q I2 S T I1 R Q O2 Q O1

Qt+1=S+R Q

I/O

CM

KD

HEXA

1 2 3 4 5

LN I1 AD O1 OR I2 ST O1 SN O2

R Xt +S Xt+1 Xt+1

0 0 0 0 1 0 0 1 1 0 0 0 1 1 0 0 0 0 0 1 0 1 1 0 1 0 0 0 1 0 1 0 1 0 0 1 0 0 1 1

09 8C 16 8A 93

2. plda

I1

I2 O1

1. 2. 3.

LD OR ST LD OR AD ST

I1 I3 O2 I2 I4 O2 O1

I3

I4

4. 5. 6. 7.