离散制造系统的初态验证与错误检测 |
| |
引用本文: | 邢科义,李俊民.离散制造系统的初态验证与错误检测[J].航空计算技术,1996,26(4):9-12. |
| |
作者姓名: | 邢科义 李俊民 |
| |
作者单位: | 西安电子科技大学 |
| |
摘 要: | 离散制造系统要达到一定的生产目标。其初始资源、工件配置以及运行状态应满足一定条件.这些条件可以通过制造系统Petri网模型的初始标识、可达标识是否在一个可行集之中来分析验证。可行集是系统运行的不变量,标识离开可行集就产生一个错误.本文建立基于Petri网的动态规划算法,利用动态规划给出初态验证与错误检测的一个有效方法。
|
关 键 词: | 制造系统,Petri网,动态规划,初态验证与错误检测 |
本文献已被 CNKI 维普 等数据库收录! |
|