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

第33卷第8期 系统工程理论与实践 V01．33，No．8 2013年8月 SystemsEngineeringTheoryPractice Aug．，2013 中图分类号：TP399 文献标志码：A 文章编号：1000-6788(2013)08-2087—10 井下机车运输调度的资源分配模型及无死锁优化调度 方欢·，一，陆阳，，徐自军。，杨娟· (1．合肥工业大学计算机与信息学院，合肥230009；2．安徽理工大学理学院，淮南232001； 3．合肥工大高科信息技术有限责任公司，合肥230088) 摘要对井下机车运输系统进行无死锁调度和性能优化，首先，建立三种不同调度策略下的资源 分配Petri网模型，设计对应调度策略下无死锁标识的最大边界设置算法，证明了调度策略在最大 标识边界设置下的无死锁性．然后，以最小化时耗和能耗为优化目标，利用遗传算法，采用变迁标号 的自然编码方式，通过检查变迁的引发条件检测染色体的可行性，修复不可行的染色体使其对应的 调度满足资源约束，从而保证了算法所利用的所有染色体均可对应系统的可行调度，最后进行实例 仿真．设计的无死锁调度的最大标识边界设置算法和遗传算法为井下机车的运输调度提供了可靠 的理论基础． 关键词运输调度；资源分配模型；无死锁调度；调度优化；Petri网 Resourceallocationmodelanddeadlock-free optimization for locomotive schedulingundergroundtransportation FANG Juanl Huanl，一，LUYan91，XUZi-jun3，YANG of of of Technology,Hefei230009，China；2．CollegeScience，Anhui (1，SchoolComputerInformation，HeifeiUniverisity of 232001，China；3．GOCOMInformation＆TechnologyCo．，Ltd．， UniverisityScienceTechnology,Huainan Hefei 230088，China) AbstractAdeadlock—free schemeand for locomotive scheduling optimizationundergroundtransportation Petrinetmodelsunderdifferent are resourceallocation systempresented．Firstly，three dispatchingpolicies are maximal are the makingsboundarysettingalgorithmsdesigned，and modeled，theircorresponding deadlock-f