đồ án: thiết kế hệ thống điều khiển tự động, chương 7

Ta có thể xây dựng hàm hoàn chỉnh thao tác bởi chương trình FBD với các sơ đồ khối của các hàm cơ sở từ thư viện FBD. Mỗi khối hàm cơ sở có số lượng đầu vào/ra cố định trên các điểm nối. Đầu vào được nối vào mặt bên trái của khối và đầu ra mặt bên phải. Hàm cơ sở thực hiện các hàm đơn giản giữa các đầu vào và đầu ra của nó. Kết quả của hàm lô gíc được chuyển đến đầu ra. Tên của khối được ký hiệu bằng các ký tự...
Nội dung trích xuất từ tài liệu:
đồ án: thiết kế hệ thống điều khiển tự động, chương 7 chương 7: Ng«n ng÷ S¬ ®å khèi cña hµm l« gÝc FBD S¬ ®å khèi cña hµm l« gÝc lµ ng«n ng÷ lËp tr×nh ®å ho¹. Ng«n ng÷ nµy cho phÐp ng−êi lËp tr×nh x©y dùng c¸c qui tr×nh ®iÒu khiÓn phøc t¹p b»ng c¸ch lÊy c¸c hµm tõ th− viÖn FBD vµ viÕt chóng vµo mét diÖn tÝch ®å ho¹. Mét khèi hµm l« gÝc biÓu diÔn quan hÖ hay hµm gi÷a c¸c biÕn ®Çu vµo vµ ®Çu ra. Ta cã thÓ x©y dùng hµm hoµn chØnh thao t¸c bëi ch−¬ng tr×nh FBD víi c¸c s¬ ®å khèi cña c¸c hµm c¬ së tõ th− viÖn FBD. Mçi khèi hµm c¬ së cã sè l−îng ®Çu vµo/ra cè ®Þnh trªn c¸c ®iÓm nèi. §Çu vµo ®−îc nèi vµo mÆt bªn tr¸i cña khèi vµ ®Çu ra mÆt bªn ph¶i. Hµm c¬ së thùc hiÖn c¸c hµm ®¬n gi¶n gi÷a c¸c ®Çu vµo vµ ®Çu ra cña nã. KÕt qu¶ cña hµm l« gÝc ®−îc chuyÓn ®Õn ®Çu ra. Tªn cña khèi ®−îc ký hiÖu b»ng c¸c ký tù la tinh. S¬ ®å khèi hµm logic lµ mét ng«n ng÷ ký hiÖu, trong ®ã c¸c tæ hîp kh¸c nhau cña c¸c biÕn l« gÝc ®−îc biÔu diÔn bëi c¸c ký hiÖu logic tiªu chuÈn ho¸. T−¬ng tù nh− s¬ ®å thang, ®Ó lËp tr×nh ®−îc trong ng«n ng÷ nµy ta cÇn ph¶i cã mµn h×nh ®Ó hiÓn thÞ s¬ ®å. 1. C¸c biÕn logic: T−¬ng tù nh− c¸c ng«n ng÷ kh¸c, c¸c biÕn ®−îc ký hiÖu lµ c¸c ch÷ in hoa. C¸c phÇn tö l« gÝc cã thÓ cã nhiÒu d¹ng ký hiÖu kh¸c nhau, tuú thuéc vµo tiªu chuÈn sö dông: BS, AFNOR, ISO vv.. C¸c ký hiÖu cña c¸c phÇn tö l« gÝc theo chuÈn ISO nh− sau: A NOT: A 1 X X= A NOR: ≥1 X X= A+B B A AND: A & X X = A.B XOR: =1 X X= A. B + A .B B B OR: A A ≥1 X X = A+B Tæ hîp: B & X X =(A+B). C C 1 B 2. C¸c phÐp tÝnh logic: T−¬ng ®−¬ng víi c¸c lÖnh sau: X0 1 = Y0 OUT Y0 X0 1 = Y0 STR NOT X0 OUT Y0 X3 STR X3 ≥1 OR Y4 Y4 = Y0 OR IR0 IR0 OUT Y0 X3 STR NOT X3 ≥1 OR Y4 Y4 = Y0 OR NOT IR0 IR0 OUT Y0 X0 STR X0 AND X1 & = Y0 OUT NOT Y0 X1 Y0 STR NOT Y0 AND NOT X0 X0 & = Y1 AND X1 X1 OUT Y1 Y0 STR NOT Y0 AND NOT X0 X0 & AND X1 X1 ≥1 = 2 Y9 IR0 STR IR0 AND NOT X0 & X0 X1 AND X1 OR STR OUT Y9 Y0 STR NOT Y0 OR NOT X0 X0 ≥1 OR X1 X1 & = Y9 IR0 STR IR0 OR NOT X0 X0 ≥1 OR X1 X1 AND STR OUT Y9 TMR 0 X0 10 STR X1 = Y0 TMR 0 X1 OUT Y0 X3 STR X3 10 = Y CTR X9 10 OUT Y7 3 X3 STR 10 STR X X4 Y10 X9 CTR 7 10 X9 OUT Y10 Ng«n ng÷ Grafcet §©y lµ ng«n ng÷ ®−îc ph¸t triÓn bëi c¸c nhµ khoa häc Ph¸p vµo n¨m 1982. Ng«n ng÷ nµy ®−îc ®Æt tªn tõ ch÷ viÕt tÊt cña Graphe Fonctionnel de Commande Etapes – Transition (§å ho¹ chøc n¨ng ®iÒu khiÓn giai ®o¹n – chuyÓn tiÕp) do hai c¬ quan khoa häc cña Ph¸p lµ AFCET ( Liªn hiÖp Ph¸p vÒ kinh tÕ vµ kü thuËt) vµ ADEPA ( HiÖp héi vª ph¸t triÓn nÒn s¶n xuÊt tù ®éng) hîp t¸c so¹n th¶o. Grafcet lµ c«ng cô ®Ô biÓu diÔn c¸c ho¹t ®éng ®iÒu khiÓn cña c¸c hÖ thèng tù ®éng. Trong c¸c ho¹t ®éng cña c¸c hÖ thèng vËt lý th× ta cã thÓ gÆp hai d¹ng ho¹t ®éng: ho¹t ®éng kÕ tiÕp nhau vµ ho¹t ®éng ®ång thêi. Mçi ho¹t ®éng hay mçi tr¹ng th¸i ®−îc thÓ hiÖn b»ng mét khèi h×nh vu«ng hoÆc h×nh ch÷ nhËt. C¸c ho¹t ®éng ®−îc liªn kÕt víi nhau b»ng c¸c ®o¹n th¼ng, giòa c¸c ®o¹n th¼ng nµy ®−îc v¹ch b»ng mét g¹ch ph©n c¸ch ®Ó chØ tr¹ng th¸i chuyÓn tiÕp tøc lµ kÕt thóc cña mét ho¹t ®éng vµ c¸c ®iÒu kiÖn b¾t ®Çu cho ho¹t ®éng tiÕp theo. §Çu vµo cña mét khèi lµ ®iÒu kiÖn ®Ó b¾t ®Çu cña tr¹ng th¸i hay cña ho¹t ®éng kÕ tiÕp vµ chÝnh lµ kÕt thóc cña mét hay nhiÒu ho¹t ®éng tr−íc ®ã. Ng«n ng÷ Grafcet biÓu diÔn c¸c ...