摘要
提出了一种应用于柔性制造系统中的避免死锁的算法。该算法是对银行家算法的改进。银行家算法适用于操作系统,而操作系统与柔性制造系统之间存在差异,为使该算法适用于柔性制造系统,必须对其进行改进。通过研究操作系统中的进程与制造系统中的加工任务之间的差别,对算法进行改进。对制造系统采用形式化的建模方法,将建立的模型转换成适合进行模型检查的形式。运用SPIN来对此算法进行仿真,并验证此算法模型的正确性。
An algorithm for deadlock avoidance used in Flexible Manufacturing System (FMS) is presented. This algorithm is an improvement of the Banker's algorithm. As the Banker's algorithm is commonly used in the Operating System (OS), some improvement will have to be made on the algorithm when this algorithm is used in FMS. The differences between the process in OS and FMS are fully discussed to improve this algorithm. And then the formal methods are adopted in the manufacturing systems, which translate the simulation model into a format suitable for model checking. SPIN is used to simulate the algorithm and verify that the model does not have the deadlock.
基金
国家自然科学基金资助项目(59889505
60074011
70071017)。~~
