科研之友
微信
新浪微博
Facebook
分享链接
摘要
为了对高速铁路移动闭塞系统(Moving Automatic System,简称MAS)进行更加精确的仿真,利用CPN Tools建立高速铁路列车追踪运行车地通信过程的CPN模型,应用CPN ML语言模拟无线通信模型中数据包的丢包现象;引入时间标志对模型中数据传输的时间特性进行分析。仿真过程中为模型各个控制环节定义数据采集监控器,连续仿真3次分析追踪运行车地通信信息传输的时间特性。结果表明:该分析方法可以得到准确的性能分析报告,仿真结果对高速铁路中MAS系统开发阶段的形式化验证具有一定的借鉴意义。
- 单位
