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

书籍简介:

死锁是自动化生产系统（如自动柔性制造系统、集成电路制造系统）控制设计时必须考虑和解决的问题。死锁造成的整个或部分系统的停顿，在有些情况下，并不是单纯地降低生产率，而是可能造成重大的经济损失和灾难性的后果。对死锁的系统研究，始于二十世纪下半叶，源于计算机操作系统中的资源分配问题。上世纪八十年代以后，制造系统完成了从大批量品种单一的生产模式向以多品种，小批量，以及具备适应市场快速变化能力为目标的现代自动制造系统转变，自动制造系统中的死锁研究也受到了重视和广泛关注。资源分配系统中的死锁产生一般认为需要四个必要条件，即相互抑制，非优先权，持有并等待和循环等待。研究表明，这四个条件中的前三个在实际的资源分配系统中往往是成立的。因此，自动制造系统中抑制死锁产生的途径是使系统的资源分配策略永远不要产生循环等待现象。死锁问题主要有以下三种解决策略：死锁检测与校正，死锁避免和死锁预防，死锁检测与校正策略允许系统出现死锁，一旦检测到系统处于死锁状态，通过重新分配资源，使系统恢复到无死锁的状态。死锁避免使用一种在线的资源控制机制，使系统不进入死锁状态。死锁预防策略事先建立一种离线的计算方法来控制资源的请求，从而保证系统不会发生死锁。目前国际上研究死锁问题的主要数学方法有：图论，形式语言和自动机理论，以及Petri网。由于Petri网的固有优点，最近二十年来被广泛地作为研究自动制造系统死锁分析与控制的数学工具，尤其在死锁避免和死锁预防方面取得了丰富的研究成果。遗憾的是，这一领域的最新研究进展在国内还很少得到反映和介绍。此书的写作目的，正是试图填补这一空缺，向读者系统介绍基于Petri网理论的自动制造系统死锁分析与控制的最新进展和研究成果。

书籍规格:

书籍信息归属:

自动制造系统建模、分析与死锁控制是科学出版社于2009.出版的中图分类号为 TH165 的主题关于 柔性制造系统：自动化系统－系统建模 ,柔性制造系统：自动化系统－系统分析 ,柔性制造系统：自动化系统－锁定 的书籍。