井下机车运输调度的资源分配模型及无死锁优化调度

摘要：

对井下机车运输系统进行无死锁调度和性能优化,首先,建立三种不同调度策略下的资源分配Petri网模型,设计对应调度策略下无死锁标识的最大边界设置算法,证明了调度策略在最大标识边界设置下的无死锁性.然后,以最小化时耗和能耗为优化目标,利用遗传算法,采用变迁标号的自然编码方式,通过检查变迁的引发条件检测染色体的可行性,修复不可行的染色体使其对应的调度满足资源约束,从而保证了算法所利用的所有染色体均可对应系统的可行调度,最后进行实例仿真.设计的无死锁调度的最大标识边界设置算法和遗传算法为井下机车的运输调度提供了可靠的理论基础.

关键词：运输调度、资源分配模型、无死锁调度、调度优化、Petri网

所属期刊栏目：33

分类号：TP399(计算技术、计算机技术)

资助基金：国家自然科学基金60873195,61070220;高等学校博士点基金20090111110002;安徽省高等学校省级自然科学研究重大项目ZD200905

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

页数：共10页

页码：2087-2096