机车运输调度系统的hcpn模型及性能测量方法 hcpn model and performance measurement method of locomotive transportation dispatching system.pdfVIP

第26卷第1期 电子测量与仪器学报 场f．26No．1 2012年1月 JoURNALoFELECTRoNIcMEAsUREMENTANDINSTRUMENT · 7 · DOI：10．3724／SP．J．1187．2012．00007 机车运输调度系统的HCPN模型及性能测量方法木 陆 阳1方欢1，2李谦3葛方振1 (1．合肥工业大学计算机与信息学院合肥230009；2．安徽理工大学理学院淮南232001 3．合肥工大高科信息技术有限责任公司，合肥230088) 摘要：机车的运输调度管理是安全关键工业系统中的一个重要的研究方向，如何建立一个形式化的先验模型，利用模型 对调度策略的安全性、正确性以及运输调度系统进行性能分析是本文研究的主要目的。使用分层Petri网的建模方法，以调度策 略为框架建立整体的矿井机车运输调度控制系统模型，模型结构独立于运行路线结构。通过对模型的运行状态报告进行分析， 给出调度策略的安全性和正确性的判定条件；同时，通过分析模型的标识状态图信息得到系统性能参数指标，在此基础上，给 出机车运输速度和采区的开采速度是否匹配、进路区段的规划是否合理的评估方法和准则。 关键词：机车调度；协调；层次颜色Petri网；先验模型；性能测量 中图分类号：TP391．9 文献标识码：A 国家标准学科分类代码：420．4099 HCPNmodeland measurementmethodoflocomotive performance transportationdispatchingsystem Lu Huanl’2Li Ge Fang Qian3Fangzhenl Yan91 (1．School 230009，China； ofComputerInformation，HeifeiUniversityofTechnology,Hefei ofScience．Anhuiof 232001．China； 2．College UniversityScienceTechnology,Huainan 3．GOCOM Co．，Ltd．，Hefei230088，China) InformationTechnology Abstract：Locomotive isan issueintheareaof critical transportationdispatchingmanagementimportant safety industrial thathowtoconstructaformal canbeusedfor the and model，which system．The priori judgingsafety problem correctnessof rulesand for main ofthe evaluation，are dispatchingappliedperformance purposespaper．An locomot