| 自动制造系统中的迭代式死锁预防策略 |
| |
| 引用本文： | 胡核算,李志武,王安荣.自动制造系统中的迭代式死锁预防策略[J].计算机集成制造系统,2008,14(3):602-608. |
| |
| 作者姓名： | 胡核算 李志武 王安荣 |
| |
| 作者单位： | 西安电子科技大学,机电工程学院,陕西,西安,710071 |
| |
| 基金项目： | 国家自然科学基金
,
教育部留学回国人员科研启动基金 |
| |
| 摘 要： | 为解决自动制造系统中的死锁问题，提出一种将混合整数规划算法和Petri网相结合的迭代式预防策略。在该策略中，混合整数规划算法中的0／1变量用来表示Petri网模型中的库所和变迁是否与一个最大的可被清空的信标相关。由于从一个最大的可被清空的信标中可以容易地计算出一个严格极小信标，就可以在不遍历所有的严格极小信标的情况下，直接求得一组基本信标，从而大大地降低了策略的时间算法复杂度。同时，控制该组基本信标可以确保目标系统具有简单的控制器结构和尽可能多的许可行为。实验结果表明了该控制策略的有效性和高效性。
|
| 关 键 词： | 自动制造系统 死锁预防 基本信标 混合整数规划法 |
| 文章编号： | 1006-5911(2008)03-0602-06 |
| 修稿时间： | 2007年4月28日 |
Iterative deadlock prevention in automated manufacturing systems |
| |
| HU He-suan,LI Zhi-wu,WANG An-rong.Iterative deadlock prevention in automated manufacturing systems[J].Computer Integrated Manufacturing Systems,2008,14(3):602-608. |
| |
| Authors: | HU He-suan LI Zhi-wu WANG An-rong |
| |
| Affiliation: | HU He-suan,LI Zhi-wu,WANG An-rong(School of Mechatronics Engineering,Xidian University,Xi'an 710071,China) |
| |
| Abstract: | To solve the deadlock problem arising in automated manufacturing systems,an iterative deadlock prevention policy via the combination of Mixed Integer Programming(MIP) and Petri nets was proposed.According to such a policy,any one of the 0/1 variables in an MIP model could be employed to detect whether or not a place or transition in the corresponding Petri net was related to a maximally emptied siphon,from which one strict minimal siphon could be easily extracted.Subsequently,this policy could derive a set ... |
| |
| Keywords: | automated manufacturing systems deadlock prevention elementary siphon mixed integer programming |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
