• 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 产品样本
  • 电子图书
  • 原文传递

限定检索结果

检索条件"机构=北京二七轨道交通装备有限责任公司科研管理部北京100072"
共 1 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
视图：
排序：
列车运行控制系统设计正确性的验证方法
收藏
分享
引用
《西南交通大学学报》2010年 第4期45卷 574-579页
作者：曹源 唐涛 罗丹 穆建成北京交通大学轨道交通控制与安全国家重点实验室北京100044 北京二七轨道交通装备有限责任公司科研管理部北京100072 铁道部科学技术司北京100844 
为验证系统开发阶段列车运行控制系统设计的正确性,提出了基于RAISE软件的系统建模、描述及验证方法.以CTCS-3级两列列车追踪运行为例,采用面向系统特性的域,建立了系统域模型,并在对域模型扩充和完善的基础上,用RSL语言描述了两列列车...
来源：详细信息评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页<< <1> >>
聚类工具 回到顶部