|
关注：1
2013-05-23 12:21
求翻译：High reliability is the key to performance of electrical control equipment. PLC combines computer technology, automatic control technology and communication technology and becomes widely used for automation of industrial processes. Some requirements of complex PLC systems cannot be satisfied by the traditional verifica是什么意思？ 待解决
 悬赏分：1
- 离问题结束还有
High reliability is the key to performance of electrical control equipment. PLC combines computer technology, automatic control technology and communication technology and becomes widely used for automation of industrial processes. Some requirements of complex PLC systems cannot be satisfied by the traditional verifica
问题补充： |
|
2013-05-23 12:21:38
高可靠性的关键是电气控制设备的性能。
|
|
2013-05-23 12:23:18
正在翻译，请等待...
|
|
2013-05-23 12:24:58
正在翻译，请等待...
|
|
2013-05-23 12:26:38
高可靠性是电气控制设备性能的关键。PLC 结合计算机技术、 自动控制技术和通信技术，并成为广泛用于工业生产过程自动化。一些复杂的 PLC 系统的要求不能满足传统的验证方法。本文对此提出了 PLC 系统建模和验证一种有效方法。为了保证 PLC 的高速性能，我们提出的"时间间隔模式"和"通知等待"的技术。它可以减少状态空间，使它能够验证一些复杂的 PLC 系统。而且在此基础上，推导出从所建立的 PLC 模型到由于语言的转换，设计了建模与检测 PLC 系统的 PLC 检查工具。使用 PLC 检查器来检查一个古典的 PLC 例子，发现了一个反例。尽管这个逻辑错误的概率发生很小，但它可能导致崩溃致命系统
|
|
2013-05-23 12:28:18
正在翻译，请等待...
|
湖北省互联网违法和不良信息举报平台 | 网上有害信息举报专区 | 电信诈骗举报专区 | 涉历史虚无主义有害信息举报专区 | 涉企侵权举报专区
