CAJ | 학술논문

机车的运输调度管理是安全关键工业系统中的一个重要的研究方向,如何建立一个形式化的先验模型,利用模型对调度策略的安全性、正确性以及运输调度系统进行性能分析是本文研究的主要目的.使用分层Petri网的建模方法,以调度策略为框架建立整体的矿井机车运输调度控制系统模型,模型结构独立于运行路线结构.通过对模型的运行状态报告进行分析,给出调度策略的安全性和正确性的判定条件；同时,通过分析模型的标识状态图信息得到系统性能参数指标,在此基础上,给出机车运输速度和采区的开采速度是否匹配、进路区段的规划是否合理的评估方法和准则.
궤차적운수조도관리시안전관건공업계통중적일개중요적연구방향,여하건립일개형식화적선험모형,이용모형대조도책략적안전성、정학성이급운수조도계통진행성능분석시본문연구적주요목적.사용분층Petri망적건모방법,이조도책략위광가건립정체적광정궤차운수조도공제계통모형,모형결구독립우운행로선결구.통과대모형적운행상태보고진행분석,급출조도책략적안전성화정학성적판정조건；동시,통과분석모형적표식상태도신식득도계통성능삼수지표,재차기출상,급출궤차운수속도화채구적개채속도시부필배、진로구단적규화시부합리적평고방법화준칙.