»ùÓÚPLCµÄÈ«×Ô¶¯°ü×°Âë¶âÉú²úÏß¿ØÖÆÏµÍ³Éè¼Æ - ͼÎÄ ÏÂÔØ±¾ÎÄ

½á ÂÛ

ÔÚ±¾¿ÎÌâÉè¼Æ¹¤×÷ÖУ¬³ýÁ˶ÍÁ¶ÁË×Ô¼ºµÄÄÜÁ¦Í⣬Ҳ»ýÀÛÁ˲»ÉÙ¾­Ñ飬ÏÖ×ܽáÈçÏÂ:

(1)ÕÆÎÕÁËPLC¿ØÖÆÔ­Àí¼°±à³Ì·½Ê½£¬Êìʶ°ü×°Âë¶âÉú²úÏߵŤÒÕ¹ý³Ì¼°¶¯×÷Á÷³Ì¡£

(2)Íê³ÉÁËÈ«×Ô¶¯°ü×°Éú²úÏß¿ØÖÆÏµÍ³Ó²¼þºÍÈí¼þµÄÉè¼ÆÓëµ÷ÊÔ¹¤×÷£¬Ê¹ÏµÍ³Äܹ»°´Ô¤ÆÚµÄÄ¿±êÕý³£µØÔËÐС£

(3)È«²¿³ÌÐò¾ù²ÉÓÃÄ£¿é»¯Éè¼ÆË¼Ï룬³ÌÐòµÄ×¢ÊͺÍÎļþÒ²±È½Ï³ä×㣬²»½öÔÚÉè¼ÆÊ±Ê¹½á¹¹ÇåÎú£¬Ò×ÓÚ¼ì²éºÍÐ޸ġ£¶øÇÒΪÒÔºóÈí¼þµÄά»¤ºÍ¸Ä½øÌṩÁË·½±ã¡£

¾­¹ý´Ë´ÎÉè¼Æ£¬×î´óµÄÊÕ»ñÊǶÔÀíÂÛºÍʵ¼ÊÏà½áºÏµÄÖØÒªÐÔÓÐÁËÉî¿ÌµÄÈÏʶ¡£Ô­À´Ôڿα¾ÉÏѧµ½µÄ¶«Î÷µ±Êµ¼ÊÓÃÆðÀ´Ê±²ÅÖªµÀÏà²îÉõÔ¶£¬ËùÓÐÕâЩ£¬¶¼Ê¹ÎÒÉîÉîÈÏʶµ½¡°Ö½ÉϵÃÀ´ÖÕ¾õdz£¬ÐëÖª´ËÊÂÒª¹ªÐС±¡£

Ëæ×Å¿ÆÑ§¼¼ÊõµÄѸÃÍ·¢Õ¹£¬Éú²úÁ¦Ë®Æ½µÄ²»¶ÏÌá¸ß£¬ÈËÃǶԽµµÍÀͶ¯Ç¿¶È¡¢¸ÄÉÆ¹¤×÷»·¾³ÈÕÒæÖØÊÓÆðÀ´¡£ÔÚеÄÊÀ¼Í£¬Ëæ×ÅÎÒ¹ú¸÷ÏîÊÂÒµµÄÅ·¢Õ¹ÒÔ¼°ÖªÊ¶¾­¼ÃËùÃæÁٵĻúÓöºÍÌôÕ½£¬°ü×°Âë¶â»úе±Ø½«·¢»ÓÔ½À´Ô½ÖØÒªµÄ×÷Óã¬Îª¹úÃñÉú²ú²úÉú²»¿É¹ÀÁ¿µÄ¾­¼ÃÐ§Òæ¡£ÎÒ¹úĿǰ¶Ô°ü×°Âë¶â»úеµÄÓ¦Óüº¾­Ô½À´Ô½Ã÷ÏÔµÄÖØÊÓ£¬Ëæ×ÅÒµÄÚÈËÊ¿µÄ¸ü¶àÁ˽⣬ÏàÐÅ»áÓиü¹ã·ºµÄÓ¦ÓÃǰ¾°¡£

42

²Î¿¼ÎÄÏ×

[1] ÕÅÍòÖÒ£¬Ëï½ú.¿É±à³Ì¿ØÖÆÆ÷ÈëÃÅÓëÓ¦ÓÃʵÀý[M].ÖйúµçÁ¦³ö°æÉ磬2005£º

25-42

[2] ³Ì×Ó»ª.PLCÔ­ÀíÓë±à³ÌʵÀý·ÖÎö[M].¹ú·À¹¤Òµ³ö°æÉ磬2007£º15-60 [3] Áγ£³õ.FXϵÁÐPLC±à³Ì¼°Ó¦ÓÃ[M].»úе¹¤Òµ³ö°æÉ磬2005£º23-58 [4] ¶­°®Ã·.»ùÓÚPLCµÄ¾ÛÒÒÏ©°ü×°Âë¶â»ú¿ØÖÆÏµÍ³Éè¼Æ[J].°ü×°¹¤³Ì.2005£¬

26(1):39-40

[5] ºéÖ¾Óý.Àý˵PLC[M].ÈËÃñÓʵç³ö°æÉ磬2006£º6-48

[6] ÒüÕÂΰ£¬Ã«ÖÐÑå.°ü×°»úе[M].»¯Ñ§¹¤Òµ³ö°æÉ磬2005£º5-80

[7] ½¯¼Ìºì,¬־Õä,ÔÀÂúÁÖ,¸ß°²°î.È«×Ô¶¯°ü×°Âë¶âÉú²úÏß¿ØÖÆÏµÍ³Éè¼Æ[J].¼Æ

Ëã»úѧϰ.2007£¬25(1):15-16

[8] ÎâÖ¾ÈÙ,´÷Ô¶¾´,³ÂºÎáÔ.È«×Ô¶¯°ü×°Âë¶âÉú²úÏßÖÐ×Ô¶¯ÉÏ´ü»ú×éµÄÉè¼Æ[J].

°ü×°ÓëʳƷ»úе.2007£¬24(1):38-40

[9] ¶¡Àè¹â,³ÂСȪ,Àʤ.ÎÒ¹ú°ü×°Âë¶â»úеµÄÏÖ×´¼°·¢Õ¹Ç÷ÊÆ[J].¹ãÎ÷¹¤Ñ§

Ժѧ±¨.2001£¬23(1):37-39

[10] º«µÂÉú.ZML1400ÐÍÈ«×Ô¶¯Âë¶â»úµÄÓ¦ÓÃ[J].´¿¼î¹¤Òµ.2008£¬23(1):22-25 [11] ʱʢ־,κÒãÁ¢,º«ËØÏÍ.°ü×°Âë¶â×Ô¶¯Éú²úÏßµÄÓ¦ÓÃÑо¿[J].¿Æ¼¼´´Ðµ¼

±¨.2009£¬23(1):72

[12] ´÷¹ÚÐ㣬ÁõÌ«ºþ£¬¹®¶ØÎÀ£¬ÀîÃ÷.PLCÔÚÔËÁÏС³µ×Ô¶¯¿ØÖÆÏµÍ³ÖеÄÓ¦ÓÃ[J].

¹¤¿ó×Ô¶¯»¯.2005£¬(6):57-59

[13] Henning Dierks.Comparing model checking and logical reasoning for real-time

systems[J].Formal Aspects of Computing.2004£¬16(2):104-120

[14] Nanette Bauer,Sebastian Engell,Ralf Huuck,et al.verification of PLC Programs

Given as Sequential Funetion Lecture Notes in Computer Seience[J].Lecture Notes in Computer Seience.2004£¬3147:517-54

[15] Springer Berlin.Networks. Lecture Notes in Computer Seience[J].2005£¬

(3436):31

43

Ö л

±¾ÎĵÄÑо¿¹¤×÷ÊÇÔÚµ¼Ê¦ÑîÀòÀÏʦµÄϤÐÄÖ¸µ¼ÏÂÍê³ÉµÄ¡£´ÓÂÛÎĵÄÑ¡Ìâ¡¢Ñо¿·½·¨µ½ÂÛÎÄ׫дµÄÕû¸ö¹ý³Ì£¬µ¼Ê¦¶¼¸øÓèÁËÎÒÄÍÐĵÄÖ¸µ¼ºÍϸÖµĹػ³£»ÔÚÇóѧÉúÑÄÖУ¬µ¼Ê¦Ô¨²©µÄרҵ֪ʶ¡¢ÑϽ÷µÄÖÎѧ̬¶ÈÒÔ¼°ÈÏÕæ¸ºÔðµÄ¹¤×÷×÷·çÒ»Ö±Ó°Ïì¡¢¼¤Àø×ÅÎÒ£¬²¢½«Ê¹ÎÒÖÕÉíÊÜÒæ¡£Ôڴ˽÷Ïòµ¼Ê¦ÑîÀòÀÏʦÖÂÒÔÉîÉîµÄ¾´ÒâºÍÖÔÐĵĸÐл¡£

ÑîÀÏʦ²»½öѧϰÉϰïÖúÁËÎÒ£¬¶øÇÒËýÓÃËýÄÇ¿ÅÉÆÁ¼µÄÐĺÍÑϽôµÄÉú»î×÷·ç¡¢»¹ÓжԹ¤×÷ÄÇÖÖÈȳÀ£¬ÎÒÃÇÿһ¸öËýÖ¸µ¼µÄѧÉúËý¶¼ÈÏÕæµÄ¡¢ÊÖ°ÑÊÖµÄÖ¸µ¼£¬²»·Å¹ýÿһ¸ö´íÎ󣬲»´í¹ýÿһ´Î´´ÐµĻú»á¡£Ò²Òò´Ë£¬ÑîÀÏʦÔÚ˼Ïë¡¢Éú»îÉϸøÁËÎҺܴóµÄ¹Ø»³ºÍ°ïÖú£¬ÔÚÑîÀÏÊ¦Ç±ÒÆÄ¬»¯µÄÓ°ÏìºÍѬÌÕÏ£¬Ê¹ÎÒÎÞÂÛÔÚ֪ʶÉÏ£¬»¹ÊÇÔÚ˼ÏëÉÏ£¬¶¼µÃµ½Á˺ܺõĶÍÁ¶ºÍÌá¸ß£¬ÔÚ´Ë£¬ÎÒÔÙ´ÎÏòÑîÀÏʦ±íʾ×îÉîÉîµÄ¸ÐлºÍ×î³ç¸ßµÄ¾´Òâ¡£

44