您的位置： 专家智库 > >

何兴权

作品数：1 被引量：0H指数：0
供职机构：东北大学更多>>
发文基金：秦皇岛市科技支撑计划项目河北省青年科技基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇时间自动机
  • 1篇重载
  • 1篇重载列车
  • 1篇自动机
  • 1篇列车
  • 1篇安全监测
  • 1篇UPPAAL

机构

  • 1篇东北大学

作者

  • 1篇王瑾
  • 1篇孙景昊
  • 1篇孟亚坤
  • 1篇何兴权

传媒

  • 1篇计算机科学

年份

  • 1篇2013
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
重载列车上人员攀车行为感知及其时间自动机模型
2013年
重载列车进港安全监测是我国港口信息化建设中的重点和难点问题。实现列车运行过程追踪自动化对于保证安全高效完成列车进港监测具有十分重要的作用。在速度触发的条件下,设计了能够实时感知人员攀车行为的低功耗信息物理系统,并基于时间自动机理论给出了该系统的实时行为模型。应用UppAal工具仿真了系统的运行轨迹,并验证了系统可达性、安全性、活性和实时性等系统关键性质。实验结果表明,系统不仅在逻辑上满足正确性,而且在任何系统状态上都不会对时间约束发生偏移性错误。
王瑾孙景昊何兴权孟亚坤
关键词：重载列车安全监测时间自动机UPPAAL
全选 清除 导出
共1页<1>
聚类工具0