科研之友
微信
新浪微博
Facebook
分享链接
摘要
本发明属于自动制造系统技术领域,公开了一种基于数学规划算法的自动制造系统状态稳健性检测方法,对于自动制造系统的Petri网模型,将含有不可靠资源的进程的变迁划分为两类：一是不可靠资源的前序变迁,二是不可靠资源的后序变迁；对不可靠资源损坏进行文字叙述到数学表达式的转化；列出资源损坏下的数学规划算法(MP)表达式,找出使能变迁发射序列；通过验证上述变迁发射序列是否满足不使用不可靠资源的其他进程不被阻塞,得到当前状态的稳健性。本发明首先比没有考虑不可靠资源的研究,更加接近于实际自动制造系统的生产情况；其次将原先对于含有不可靠资源的自动制造系统停留在文字叙述提升到了数学表达式上,为相应算法的提出实现了可能。
- 单位
