欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
机车的运输调度管理是安全关键工业系统中的一个重要的研究方向,如何建立一个形式化的先验模型,利用模型对调度策略的安全性、正确性以及运输调度系统进行性能分析是本文研究的主要目的。使用分层Petri网的建模方法,以调度策略为框架建立整体的矿井机车运输调度控制系统模型,模型结构独立于运行路线结构。通过对模型的运行状态报告进行分析,给出调度策略的安全性和正确性的判定条件;同时,通过分析模型的标识状态图信息得到系统性能参数指标,在此基础上,给出机车运输速度和采区的开采速度是否匹配、进路区段的规划是否合理的评估方法和准则。
英文摘要：
Locomotive transportation dispatching management is an important issue in the area of safety critical industrial system.The problem that how to construct a formal priori model,which can be used for judging the safety and correctness of dispatching rules and applied for performance evaluation,are main purposes of the paper.An integrated locomotive transportation dispatching monitoring system model is constructed by hierarchical colored Petri net,its structure based on dispatching strategy but independent of transportation routes.The conditions that judging safety and correctness of the corresponding dispatching strategy are presented using the simulation report information.Furthermore the concerning performance index information of the system is obtained.On the base,the evaluation method and the criteria,with which whether the transportation speed matches the mining speed and the path in various transportation tasks planning is reasonable or not,are given.
同期刊论文项目
同项目期刊论文
期刊信息
位置：