| 重载列车上人员攀车行为感知及其时间自动机模型 |
| |
| 引用本文： | 王瑾,孙景昊,何兴权,孟亚坤.重载列车上人员攀车行为感知及其时间自动机模型[J].计算机科学,2013,40(Z11):94-97,130. |
| |
| 作者姓名： | 王瑾 孙景昊 何兴权 孟亚坤 |
| |
| 作者单位： | 东北大学计算机与通信工程学院 沈阳510275;东北大学计算机与通信工程学院 沈阳510275;东北大学计算机与通信工程学院 沈阳510275;东北大学计算机与通信工程学院 沈阳510275 |
| |
| 基金项目： | 本文受河北省青年科学基金项目(F2013501048),秦皇岛市科技支撑计划(2012021A101)资助 |
| |
| 摘 要： | 重载列车进港安全监测是我国港口信息化建设中的重点和难点问题。实现列车运行过程追踪自动化对于保证安全高效完成列车进港监测具有十分重要的作用。在速度触发的条件下,设计了能够实时感知人员攀车行为的低功耗信息物理系统,并基于时间自动机理论给出了该系统的实时行为模型。应用UppAal工具仿真了系统的运行轨迹,并验证了系统可达性、安全性、活性和实时性等系统关键性质。实验结果表明,系统不仅在逻辑上满足正确性,而且在任何系统状态上都不会对时间约束发生偏移性错误。
|
| 关 键 词： | 重载列车 安全监测 时间自动机 UppAal |
Safety Supervision System for Heavy Haul Railway:Timed Automaton Model and Verfication |
| |
| WANG Jin,SUN Jing-hao,HE Xing-quan and MENG Ya-kun.Safety Supervision System for Heavy Haul Railway:Timed Automaton Model and Verfication[J].Computer Science,2013,40(Z11):94-97,130. |
| |
| Authors: | WANG Jin SUN Jing-hao HE Xing-quan and MENG Ya-kun |
| |
| Affiliation: | School of Communication and Computer Engineering,Northeastern University,Shenyang 510275,China;School of Communication and Computer Engineering,Northeastern University,Shenyang 510275,China;School of Communication and Computer Engineering,Northeastern University,Shenyang 510275,China;School of Communication and Computer Engineering,Northeastern University,Shenyang 510275,China |
| |
| Abstract: | |
| |
| Keywords: | Heavy haul railway Safety supervision Timed automaton UppAal |
|
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
|
