您的位置： 专家智库 > >

任鹏程

作品数：1 被引量：0H指数：0
供职机构：北京交通大学轨道交通控制与安全国家重点实验室更多>>
发文基金：中央高校基本科研业务费专项资金国家自然科学基金国家重点基础研究发展计划更多>>
相关领域：交通运输工程更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇交通运输工程

主题

  • 1篇列控系统

机构

  • 1篇北京交通大学

作者

  • 1篇吕继东
  • 1篇唐涛
  • 1篇王海峰
  • 1篇任鹏程

传媒

  • 1篇铁道通信信号

年份

  • 1篇2016
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
复杂场景下列控系统功能一致性分析
2016年
基于Simulink&Stateflow建立了高速铁路列控系统运营场景的仿真模型,首先根据C2和C3行车许可运营场景的控制时序流,分析了单一场景功能的正确性;其次,结合等级转换场景,验证了C2和C3行车许可运营场景在语用层次上的一致性;再次,结合模式转换场景,验证了C2和C3行车许可运营场景在语义层次的不一致性,发现了列控系统运营场景规范中一个导致列车无法正常行车的漏洞;最后,通过对列控系统运营场景功能逻辑的修改,保证了列车运行的正确性。
任鹏程唐涛吕继东王海峰
关键词：列控系统
全选 清除 导出
共1页<1>
聚类工具0