自动制造系统建模，分析与死锁控制

死锁是自动化生产系统（如自动柔性制造系统、集成电路制造系统）控制设计时必须考虑和解决的问题。死锁造成的整个或部分系统的停顿，在有些情况下，并不是单纯地降低生产率，而是可能造成重大的经济损失和灾难性的后果。对死锁的系统研究，始于二十世纪下半叶，源于计算机操作系统中的资源分配问题。上世纪八十年代以后，制造系统完成了从大批量品种单一的生产模式向以多品种，小批量，以及具备适应市场快速变化能力为目标的现代自动制造系统转变，自动制造系统中的死锁研究也受到了重视和广泛关注。资源分配系统中的死锁产生一般认为需要四个必要条件，即相互抑制，非优先权，持有并等待和循环等待。研究表明，这四个条件中的前三个在实际的资源分配系统中往往是成立的。因此，自动制造系统中抑制死锁产生的途径是使系统的资源分配策略永远不要产生循环等待现象。死锁问题主要有以下三种解决策略：死锁检测与校正，死锁避免和死锁预防，死锁检测与校正策略允许系统出现死锁，一旦检测到系统处于死锁状态，通过重新分配资源，使系统恢复到无死锁的状态。死锁避免使用一种在线的资源控制机制，使系统不进入死锁状态。死锁预防策略事先建立一种离线的计算方法来控制资源的请求，