您的位置： 专家智库 > >

罗丹

作品数：1 被引量：3H指数：1
供职机构：中国北车集团北京二七轨道交通装备有限责任公司更多>>
发文基金：国家重点实验室开放基金国家教育部博士点基金国家自然科学基金更多>>
相关领域：交通运输工程更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇交通运输工程

主题

  • 1篇形式化
  • 1篇形式化方法
  • 1篇列车
  • 1篇列车运行
  • 1篇列车运行控制
  • 1篇列车运行控制...
  • 1篇交通信息
  • 1篇交通信息工程
  • 1篇安全苛求系统

机构

  • 1篇北京交通大学
  • 1篇中国北车集团...

作者

  • 1篇曹源
  • 1篇唐涛
  • 1篇罗丹

传媒

  • 1篇西南交通大学...

年份

  • 1篇2010
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
列车运行控制系统设计正确性的验证方法被引量：3
2010年
为验证系统开发阶段列车运行控制系统设计的正确性,提出了基于RAISE软件的系统建模、描述及验证方法.以CTCS-3级两列列车追踪运行为例,采用面向系统特性的域,建立了系统域模型,并在对域模型扩充和完善的基础上,用RSL语言描述了两列列车追踪运行情况.根据RSL语言描述的公理及RAISE自身的推理规则,验证了当两列列车追踪运行时,CTCS-3级列车运行控制系统设计的正确性.
曹源唐涛罗丹穆建成
关键词：交通信息工程形式化方法列车运行控制系统安全苛求系统
全选 清除 导出
共1页<1>
聚类工具0