井下调度运输的自动调度策略研究

为了提高煤矿井下机车调度效率和实现井下调度系统自动化,基于Petri网理论知识结合实际井下矿场路况建立机车调度Petri网模型,然后对Petri网模型添加限制库所和变迁使其调度过程无死锁,并通过理论证明了该调度模型是无死锁和冲突的,可以指导机车井下运输调度.然后在机车调度规则下针对不同的井下机车调度相关参数,提出了3种不同情况下的机车最优调度策略,并通过验证实际矿场参数后的分析证明了该调度策略下机车的调度是不触发死锁情况下的最优调度.最后通过仿真实验以及实际应用证明了该调度策略的正确性和完备性,为井下运输的自动调度提供了理论基础.

Research on automatic scheduling strategy for downhole dispatching transportation

To improve the efficiency of underground locomotive dispatching in coal mines and realize the automation of a underground dispatching system, Petri nets models of locomotive dispatching are established based on the theoretical knowledge of Petri nets and actual underground mine road conditions, then add restricted places and transitions to the Petri net model to make the dispatching process deadlock-free, and theoretically proved that the dispatching model is deadlock and conflict-free, and can guide locomotive underground transportation dispatching. And under the locomotive operation rules for different underground locomotive dispatching related parameters, three optimal locomotive dispatching strategies under different conditions are proposed, and the analysis after verifying the actual mine parameters proves that the locomotive dispatching under the scheduling strategy is the optimal dispatching without triggering deadlock. And finally through the simulation experiment and practical application proves the correctness and completeness of the dispatching policy, provides a theoretical basis for the underground transportation automatic dispatching.