【摘 要】
：
为了有效地解决300mm晶圆制造中整体式自动物料搬运系统的设备缓冲约束引起死锁的问题，构建了基于图论的两阶段解死锁算法．首先对问题域进行了形式化描述，在此基础上，证明了死锁
【基金项目】
：
国家自然科学基金资助项目(61273035);2013“大型智能化装卸码头”智能制造装备发展专项
论文部分内容阅读
为了有效地解决300mm晶圆制造中整体式自动物料搬运系统的设备缓冲约束引起死锁的问题，构建了基于图论的两阶段解死锁算法．首先对问题域进行了形式化描述，在此基础上，证明了死锁产生和解除的充分条件，以关键设备死锁解除时间最小化为目标，建立了数学规划模型，并构造了解死锁算法．该启发式算法使用存储柜转存晶圆批来释放死锁的小车资源，并应用图论理论构造了多个并行路径来解除死锁．最后，对算法进行了仿真实验，结果表明该算法能有效求解设备缓冲约束引起的死锁问题．与其他解死锁方法相比，上述算法能有效减少解死锁时间，提高了关键
其他文献
歌唱既是一门艺术,也是一门技术,只有掌握了声乐技巧,才能使歌唱效果更好,才能将歌曲中蕴含的情感充分表达出来,感染听众。论文主要从声乐技巧概念、艺术表现概念、声乐技巧
本文从我国中长期教育改革和发展的战略主题、美术类人才的特点及其健康发展角度入手，就美术类高等人才的选拔与培养提出三点建议：一是要注重保护学生的想象力、激发学生的创新
目的探讨硝苯地平联合特拉唑嗪治疗老年原发性高血压临床疗效及安全性。方法选取2008—2009年我院初诊为原发性高血压的老年患者,应用硝苯地平和特拉唑嗪联合治疗,疗程12周,
随着我国人口老龄化,老年原发性高血压是老年人最常见的疾病,发病率逐年增加。由于长期高血压可导致严重多脏器损伤,对老年患者的心、脑、肾均可造成严重损伤,诱发多种疾病。
目的：研究尖吻腹蛇血凝酶在泌尿外科手术中止血的价值。方法：将前列腺增生患者147例、膀胱肿瘤患者33例按照可比性的原则分为A、B、C3组进行研究，给予注射用尖吻蝮蛇血凝酶（1U／支），A
国有商业银行是经营货币的特殊企业，其全部的经营活动都最终通过会计工作来反映．商业银行会计作为会计体系中的一个独立分支．也是金融企业会计的重要组成部分。商业银行的所有经
从硬件底层优化设计考虑．将串行加法转变为超前进位加法来提高底层的运算速度。通过设计超前进位加法将迭代关系去掉，使各变量运算彼此相对独立，避免进位传播，来降低门级层数．最终
<正> 如今,速度越来越被认为是获得竞争优势的关键。人们向往着能将老牌知名企业的管理能力和新兴公司的快速反应能力结合起来。如同琳达·阿普里盖特在报道中所述,信息技术
当地震发生后,抗震救灾的相关部门首先应该考虑的是如何调配应急救援物资,以此确保受灾地区人民基本的生活和生命安全,防止消极情绪的产生引发其他社会问题。文章提出基于TOP
通过硝化法合成邻硝基苯甲醛实验的比较，介绍A法的反应原理及实验。