{$cfg_webname}
主页 > 外文翻译 > 电子翻译 >

PLC建模和正常的检查方法

来源:wenku7.com  资料编号:WK721309 资料等级:★★★★★ %E8%B5%84%E6%96%99%E7%BC%96%E5%8F%B7%EF%BC%9AWK721309
以下是资料介绍,如需要完整的请充值下载。
1.无需注册登录,支付后按照提示操作即可获取该资料.
2.资料以网页介绍的为准,下载后不会有水印.资料仅供学习参考之用. 帮助
资料介绍

PLC建模和正常的检查方法(中文3000字,英文PDF)
摘要:
高可靠性是电气控制设备的关键。PLC结合计算机技术,技术,被广泛用于工业生产过程的自动控制技术和通信。复杂的PLC系统可以满足一些传统的验证方法无法满足的要求。在这篇论文中,提出了PLC系统的建模和验证的一种有效方法。为保证PLC的高速性能,我们提出了一项“时间间隔模式”和“通知等待”的技术。它可以减少状态空间,并使它可以验证一些复杂的PLC控制系统。同时,从已建立的PLC模型到Promela语言的转换是可获得的,一套为系统建模和检查的PLC检查工具已经设计好了。使用PLC检查器检查一个经典的PLC的例子,发现一个反例。虽然这一逻辑错误发生的概率很小,这可能导致系统致命的崩溃。
关键词:模型检查,PLC建模, PLC检查器,常规方法
 

PLC建模和正常的检查方法

 

推荐资料