重载列车上人员攀车行为感知及其时间自动机模型

摘要：

重载列车进港安全监测是我国港口信息化建设中的重点和难点问题.实现列车运行过程追踪自动化对于保证安全高效完成列车进港监测具有十分重要的作用.在速度触发的条件下,设计了能够实时感知人员攀车行为的低功耗信息物理系统,并基于时间自动机理论给出了该系统的实时行为模型.应用UppAal工具仿真了系统的运行轨迹,并验证了系统可达性、安全性、活性和实时性等系统关键性质.实验结果表明,系统不仅在逻辑上满足正确性,而且在任何系统状态上都不会对时间约束发生偏移性错误.

关键词：重载列车、安全监测、时间自动机、UppAal

所属期刊栏目：40

分类号：TP301(计算技术、计算机技术)

资助基金：河北省青年科学基金项目F2013501048;秦皇岛市科技支撑计划2012021A101

在线出版日期：2014-04-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：94-97,130