|
|||||
|
|
| 机车运输调度系统的HCPN模型及性能测量方法 | |
| 引用本文： | 陆阳,方欢,李谦,葛方振. 机车运输调度系统的HCPN模型及性能测量方法[J]. 电子测量与仪器学报, 2012, 26(1): 7-17 |
| 作者姓名： | 陆阳 方欢 李谦 葛方振 |
| 作者单位： | 1. 合肥工业大学计算机与信息学院 合肥230009 2. 合肥工业大学计算机与信息学院 合肥230009;安徽理工大学理学院 淮南232001 3. 合肥工大高科信息技术有限责任公司,合肥,230088 |
| 基金项目： | 国家自然科学基金资助项目（60873195 61070220）; 高等学校博士点基金资助项目（20090111110002）; 安徽省高等学校省级自然科学研究重大项目（ZD200905） |
| 摘 要： | 机车的运输调度管理是安全关键工业系统中的一个重要的研究方向,如何建立一个形式化的先验模型,利用模型对调度策略的安全性、正确性以及运输调度系统进行性能分析是本文研究的主要目的。使用分层Petri网的建模方法,以调度策略为框架建立整体的矿井机车运输调度控制系统模型,模型结构独立于运行路线结构。通过对模型的运行状态报告进行分析,给出调度策略的安全性和正确性的判定条件;同时,通过分析模型的标识状态图信息得到系统性能参数指标,在此基础上,给出机车运输速度和采区的开采速度是否匹配、进路区段的规划是否合理的评估方法和准则。 |
| 关 键 词： | 机车调度 协调 层次颜色Petri网 先验模型 性能测量 |
HCPN model and performance measurement method of locomotive transportation dispatching system |
|
| Lu Yang , Fang Huan , Li Qian , Ge Fangzhen. HCPN model and performance measurement method of locomotive transportation dispatching system[J]. Journal of Electronic Measurement and Instrument, 2012, 26(1): 7-17 | |
| Authors: | Lu Yang Fang Huan Li Qian Ge Fangzhen |
| Affiliation: | 1.School of Computer ＆ Information,Heifei University of Technology,Hefei 230009,China; 2.College of Science,Anhui University of Science ＆ Technology,Huainan 232001,China; 3.GOCOM Information ＆ Technology Co.,Ltd.,Hefei 230088,China) |
| Abstract: | 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. |
| Keywords: | locomotive dispatching coordination hierarchical colored Petri net priori model performance measurement |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |