矿井机车无人驾驶系统周期性消息实时性能研究  

Periodic message real-time performance research of UMLUS

作　　者：吕增威 魏振春[1,2] 孙仁浩 徐俊逸 

机构地区：[1]合肥工业大学,合肥230009 [2]安全关键工业测控技术教育部工程研究中心,合肥230009

出　　处：《电子测量与仪器学报》2016年第2期225-232,共8页Journal of Electronic Measurement and Instrumentation

基　　金：国家国际科技合作专项项目(2014DFB10060);安徽省高校省级自然科学基金重大项目(编号:KJ2013ZD09)资助

摘　　要：矿井机车无人驾驶系统在国内外尚未广泛使用,相关技术也不成熟,大巷内环境恶劣、人员复杂且劳动强度大、轨道路况差、信息化程度不高、运输调度多变等,要求系统具有高级别的可靠性、安全性、可信性等级。针对矿井机车无人驾驶系统中机车位置和机车信息等周期性消息传输的实时性问题,设计了基于时间有色Petri网的周期性消息实时性能建模与验证方法,对消息实时性能进行形式化建模与验证,通过模拟周期性AP切换和突发中断两类失效,经不同机车车速下丢包率和时延统计验证矿井机车无人驾驶系统周期性消息传递满足系统设计要求。Mine locomotive unmanned system has not been widely used at home and abroad,the relevant technology is not mature,the environment is bad,the staff is complex and the labor intensity is large,the track road condition is not high,the information level is not high,and transport scheduling is changeable and so on. The system is required to have high level of reliability,security,credibility level. Aiming at the transmittal real-time performance problem that the locomotive position and locomotive information such as periodic messages in the underground mine locomotive unmanned system,a real-time performance modeling and validation method based on the periodic messages of the time colored Petri net is designed. Formal modeling and verification of real time performance of messages are carried out. By simulating two types of failure which are periodic AP switch and sudden interruption,the packet loss rate and the delay under different locomotive speed are obtained. Thus,the system satisfies the design requirements for the underground mine locomotive unmanned system periodic messaging.

关 键 词：矿井机车无人驾驶系统 实时性 时间有色Petri网 

分 类 号：TF393[冶金工程—冶金机械及自动化] TN911[电子电信—通信与信息系统]