银行家算法在柔性制造系统中的改进和应用

摘要：

提出了一种应用于柔性制造系统中的避免死锁的算法.该算法是对银行家算法的改进.银行家算法适用于操作系统,而操作系统与柔性制造系统之间存在差异,为使该算法适用于柔性制造系统,必须对其进行改进.通过研究操作系统中的进程与制造系统中的加工任务之间的差别,对算法进行改进.对制造系统采用形式化的建模方法,将建立的模型转换成适合进行模型检查的形式.运用SPIN来对此算法进行仿真,并验证此算法模型的正确性.

关键词：柔性制造系统、死锁、银行家算法

所属期刊栏目：10

分类号：TH165

资助基金：国家自然科学基金59889505,60074011,70071017

在线出版日期：2004-03-12（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：70-76