机车运输调度系统的HCPN模型及性能测量方法

被引:11
作者
陆阳 [1 ]
方欢 [1 ,2 ]
李谦 [3 ]
葛方振 [1 ]
机构
[1] 合肥工业大学计算机与信息学院
[2] 安徽理工大学理学院
[3] 合肥工大高科信息技术有限责任公司
关键词
机车调度; 协调; 层次颜色Petri网; 先验模型; 性能测量;
D O I
暂无
中图分类号
TP301.1 [自动机理论]; TD524 [轨道运输与设备];
学科分类号
摘要
机车的运输调度管理是安全关键工业系统中的一个重要的研究方向,如何建立一个形式化的先验模型,利用模型对调度策略的安全性、正确性以及运输调度系统进行性能分析是本文研究的主要目的。使用分层Petri网的建模方法,以调度策略为框架建立整体的矿井机车运输调度控制系统模型,模型结构独立于运行路线结构。通过对模型的运行状态报告进行分析,给出调度策略的安全性和正确性的判定条件;同时,通过分析模型的标识状态图信息得到系统性能参数指标,在此基础上,给出机车运输速度和采区的开采速度是否匹配、进路区段的规划是否合理的评估方法和准则。
引用
收藏
页码:7 / 17
页数:11
相关论文
共 8 条
[1]  
Petri网导论.[M].吴哲辉著;.机械工业出版社.2006,
[2]  
矿井机车监控系统.[M].李玉良; 编著.中国矿业大学出版社.2003,
[3]   烧结矿质量级联集成智能预测模型 [J].
李勇 ;
吴敏 ;
曹卫华 ;
赖旭芝 ;
王春生 .
仪器仪表学报, 2011, 32 (08) :1742-1750
[4]   基于时钟同步的分布式实时系统监控 [J].
王刚 ;
乔纯捷 ;
王跃科 .
电子测量与仪器学报, 2010, 24 (03) :274-278
[5]   一种高可用性的冗余工业实时以太网设计 [J].
黄文君 ;
谢东凯 ;
卢山 ;
何伟挺 .
仪器仪表学报, 2010, 31 (03) :704-708
[6]   基于一种混合Petri网的列车运行系统的建模与分析 [J].
叶阳东 ;
程少芬 ;
王旭 ;
贾利民 .
铁道学报, 2009, 31 (05) :42-49
[7]   矿井机车运输监控系统调度联锁过程的Petri网建模 [J].
陆阳 ;
郭智奇 ;
韩江洪 ;
杨晴晴 .
煤炭学报, 2007, (11) :1216-1223
[8]   A hybrid Petri nets-based simulation model for evaluating the design of railway transit stations [J].
Kaakai, Fateh ;
Hayat, Said ;
Moudni, Abdellah El .
SIMULATION MODELLING PRACTICE AND THEORY, 2007, 15 (08) :935-969