Xem mẫu

  1. §iÒu khiÓn vµ khèng chÕ lß t¹o khÝ ebook@free4vn.org -------------------------------------------------------------------------------------------- giíi thiÖu vÒ grafcet 1. §Þnh nghÜa Grafcet : Grafcet lµ tõ viÕt t¾t cña tiÕng Ph¸p “Graphe fonctionnel de commande Ðtape transition” , lµ mét ®å h×nh chøc n¨ng cho phÐp m« t¶ c¸c tr¹ng th¸i lµm viÖc cña hÑ thèng vµ biÓu diÔn qu¸ tr×nh ®iÒu khiÓn víi c¸c tr¹ng th¸i chuyÓn biÕn tõ tr¹ng th¸i nµy sang tr¹ng th¸i kh¸c , ®ã lµ mét Grafcet ®Þnh h­íng vµ ®­îc x¸c ®Þnh bëi c¸c phÇn tö sau : G := { E , T , A , M }. Trong ®ã : + E = { E1 , E2 , … , Em } lµ mét tËp h÷u h¹n c¸c tr¹ng th¸i (giai ®o¹n) cña hÖ thèng , ®­îc ký hiÖu b»ng c¸c h×nh vu«ng . Mçi tr¹ng th¸i øng víi nh÷ng t¸c ®éng nµo ®ã cña phÇn tö ®iÒu khiÓn vµ trong mét tr¹ng th¸i c¸c hµnh vi ®iÒu khiÓn lµ kh«ng thay ®æi . Mét tr¹ng th¸i cã thÓ lµ ho¹t ®éng hoÆc kh«ng ho¹t ®éng . §iÒu khiÓn chÝnh lµ thùc hiÖn c¸c mÖnh ®Ò logic chøa c¸c biÕn vµo vµ c¸c biÕn ra ®Ó hÖ thèng cã ®­îc mét tr¹ng th¸i x¸c ®Þnh trong hÖ vµ ®ã còng chÝnh lµ mét tr¹ng th¸i cña Grafcet . VÝ dô tr¹ng th¸i Ej ë h×nh 1 lµ sù phèi hîp cña biÕn ra P vµ M , víi M = Ek.a , trong ®ã Ek lµ biÕn ®Æc tr­ng cho sù ho¹t ®éng cña tr¹ng th¸i Ek , cßn a lµ biÕn ®Çu vµo cña hÖ . + T = { t1 , t2 , … , ti } lµ tËp hîp c¸c chuyÓn tr¹ng th¸i ®­îc biÓu diÔn b»ng g¹ch ngang “_” . Hµm Boole g¾n víi mét chuyÓn tr¹ng th¸i ®­îc gäi lµ “mét tiÕp nhËn” . Gi÷a hai tr¹ng th¸i lu«n lu«n tån t¹i mét chuyÓn tr¹ng th¸i . ChuyÓn tr¹ng th¸i tj ë h×nh 2 ®­îc thùc hiÖn bëi tÝch logic Ev.a.c , trong ®ã Ev lµ biÕn ®Æc tr­ng cho sù ho¹t ®éng cña tr¹ng th¸i Ev , cßn a vµ c lµ c¸c biÕn vµo . ViÖc chÊp nhËn chuyÓn tj lµ tj = Ev.a.c . ChuyÓn tr¹ng th¸i tj ë h×nh 3 ®­îc thùc hiÖn bëi ®iÒu kiÖn logic : Ek.(-a) , trong ®ã Ek lµ biÓu diÔn ho¹t ®éng cña tr¹ng th¸i Ek , cßn -a biÓu diÔn sù thay ®æi tõ 0 ¸ 1 cña biÕn vµo a . tj tj (P,Ek.a:M) Ek.(-a) Ej Ev.a.c H×nh_2 H×nh_3 H×nh_1 ------------------------------------------------------------------------------------------- 48 T.g: Phan ViÖt C­êng
  2. §iÒu khiÓn vµ khèng chÕ lß t¹o khÝ ebook@free4vn.org -------------------------------------------------------------------------------------------- + A = { a1 , a2 , … , an } lµ tËp hîp c¸c cung ®Þnh h­íng nèi gi÷a mét tr¹ng th¸i víi mét chuyÓn hoÆc mét chuyÓn víi mét tr¹ng th¸i . + M = { m1 , m2 , … , mm }lµ tËp c¸c gi¸ trÞ (0,1) . NÕu mi = 1 th× tr¹ng th¸i i lµ ho¹t ®éng , nÕu mi = 0 th× tr¹ng th¸i i lµ kh«ng ho¹t ®éng . Grafcet cho mét qu¸ tr×nh lu«n lu«n lµ mét ®å h×nh kÐp kÝn tõ tr¹ng th¸i ®Çu ®Õn tr¹ng th¸i cuèi vµ tõ tr¹ng th¸i cuèi ®Õn tr¹ng th¸i ®Çu . 2. Mét sè ký hiÖu dïng trong grafcet : Mét tr¹ng th¸i ®­îc biÓu diÔn b»ng mét h×nh vu«ng cã ®¸nh sè . G¾n liÒn víi biÓu t­îng tr¹ng th¸i lµ mét h×nh ch÷ nhËt bªn c¹nh , trong h×nh ch÷ nhËt nµy cã ghi c¸c t¸c ®éng cña tr¹ng th¸i ®ã . · Tr¹ng th¸i khëi ®Çu ®­îc thÓ hiÖn b»ng 2 h×nh vu«ng lång vµo nhau . · Tr¹ng th¸i ho¹t ®éng ®­îc thÓ hiÖn b»ng mét h×nh vu«ng . 2 3 3 Qu¸ tr×nh Sù di chuyÓn chi 1 tiÕt tõ A ¸ B h·m a b c d Trong ®ã : a,b _ Ký hiÖu tr¹ng th¸i c _ Tr¹ng th¸i khëi ®Çu d _ Tr¹ng th¸i ho¹t ®éng 7 5 9 3 8 6 9a 4 H×nh 5-a H×nh 5_b H×nh 5_c H×nh 5_d ViÖc chuyÓn tiÕp tõ tr¹ng th¸i nµy sang tr¹ng th¸i kh¸c ®­îc thùc hiÖn khi c¸c ®iÒu kiÖn chuyÓn tiÕp ®­îc tho¶ m·n . Ch¼ng h¹n viÖc chuyÓn tiÕp gi÷a c¸c tr¹ng ------------------------------------------------------------------------------------------- 49 T.g: Phan ViÖt C­êng
  3. §iÒu khiÓn vµ khèng chÕ lß t¹o khÝ ebook@free4vn.org -------------------------------------------------------------------------------------------- th¸i 3 vµ 4 (h×nh 5.a) ®­îc thùc hiÖn khi t¸c ®éng lªn biÕn b , cßn chuyÓn tiÕp gi÷a tr¹ng th¸i 5 vµ 6 ®­îc thùc hiÖn ë s­ên t¨ng cña biÕn c (h×nh 5.b) , ë h×nh 5.c lµ t¸c ®éng cña s­ên gi¶m cña biÕn d . ChuyÓn tiÕp gi÷a tr¹ng th¸i 9 vµ 9a (h×nh 5.d) sÏ s¶y ra sau 2s kÓ tõ khi cã t¸c ®éng cuèi cïng cña tr¹ng th¸i 9 ®­îc thùc hiÖn . C¸c ký hiÖu ph©n nh¸nh 1 7 8 t12 t13 t79 t89 2 3 9 H×nh 6_a(OR) H×nh 6_b(OR) 7 8 1 t123 t789 9 2 3 H×nh 6_c(AND) H×nh 6_d(AND) ë h×nh 6_a , khi tr¹ng th¸i 1®· ho¹t ®éng , nÕu chuyÓn t12 tho¶ m·n th× tr¹ng th¸i 2 ho¹t ®éng ; nÕu chuyÓn t13 tho¶ m·n th× tr¹ng th¸i 3 ho¹t ®éng . ë h×nh 6_b , nÕu tr¹ng th¸i 7 ho¹t ®éng vµ t79 tho¶ m·n th× tr¹ng th¸i 9 ho¹t ®éng , còng nh­ vËy nÕu tr¹ng th¸i 8 ho¹t ®éng vµ t89 tho¶ m·n th× tr¹ng th¸i 9 ho¹t ®éng . ë h×nh 6_c , nÕu tr¹ng th¸i 1 ho¹t ®éng vµ t123 tho¶ m·n th× tr¹ng th¸i 2 vµ 3 ®ång thêi ho¹t ®éng . ë h×nh 6_d , nÕu tr¹ng th¸i 7 vµ 8 cïng ho¹t ®éng vµ t789 tho¶ m·n th× tr¹ng th¸i 9 ho¹t ®éng . ------------------------------------------------------------------------------------------- 50 T.g: Phan ViÖt C­êng
  4. §iÒu khiÓn vµ khèng chÕ lß t¹o khÝ ebook@free4vn.org -------------------------------------------------------------------------------------------- 2 6 a a d 3 7 b e 4 8 c f 5 9 H×nh 7_a H×nh 7_b H×nh 7_a biÓu diÔn Grafcet cho phÐp thùc hiÖn b­íc nh¶y . Khi ®iÒu kiÖn a ®­îc tho¶ m·n th× qu¸ tr×nh sÏ chuyÓn ho¹t ®éng tõ tr¹ng th¸i 2 sang tr¹ng th¸i 5 vµ bá qua c¸c tr¹ng th¸i trung gian 3 , 4 ;nÕu ®iÒu kiÖn a kh«ng ®­îc tho¶ m·n c¸c tr¹ng th¸i chuyÓn tiÕp theo tr×nh tù b×nh th­êng ( 2Þ3Þ4 ) . ë h×nh 7_b khi ®iÒu kiÖn f kh«ng tho¶ m·n th× tr¹ng th¸i 8 sÏ quay l¹i tr¹ng th¸i 7 , nÕu f tho¶ m·n th× tr¹ng th¸i 8 míi chuyÓn sang tr¹ng th¸i 9 . 3. Quy t¾c v­ît qua chuyÓn tiÕp . · Mét chuyÓn tiÕp lµ hîp c¸ch (hoÆc chuÈn) khi tÊt c¶ c¸c tr¹ng th¸i ®Çu vµo cña nã lµ ho¹t ®éng . Mét chuyÓn tiÕp chØ ®­îc v­ît qua khi nã lµ chuÈn vµ tiÕp nhËn g¾n víi chuyÓn tiÕp lµ ®óng . · V­ît qua mét chuyÓn tiÕp sÏ lµm ho¹t ®éng tr¹ng th¸i kÕ tiÕp vµ khö bá ho¹t ®éng cña tr¹ng th¸i tr­íc ®ã . ------------------------------------------------------------------------------------------- 51 T.g: Phan ViÖt C­êng
nguon tai.lieu . vn