中央高校基本科研业务费专项资金(2012JBM024)
- 作品数：2 被引量：2H指数：1
- 相关作者：宋海锋吕继东刘雨袁磊李开成更多>>
- 相关机构：北京交通大学更多>>
- 发文基金：中央高校基本科研业务费专项资金国家高技术研究发展计划更多>>
- 相关领域：交通运输工程自动化与计算机技术更多>>
- 基于XML的时间自动机状态可达性分析在RBC子系统中的应用
- 2014年
- 时间自动机中的状态可达性分析是模型建立完成之后的一个重要验证工作,大多数时间自动机建模工具均为非开源代码,不能与实际系统进行有机的结合。本文以CTCS-3中的无线闭塞中心(RBC)[1]为实际系统,提出基于XML的时间自动机状态可达性分析[2],实现了建模工具与实际测试平台不同开发环境下的数据交互,为完善整个测试平台在理论方法与实际应用相结合方面提出一个较为可行的方法。
- 宋海锋唐涛李开成吕继东
- 关键词：CTCS-3可达性分析形式化建模
- 多分辨率建模在CTCS-3级列控系统车载设备仿真与测试中的应用被引量：2
- 2014年
- 针对CTCS-3列控系统的车载设备仿真与测试过程中,多数信息需要以图形界面的形式呈现出来,而显示界面牵涉到的信息量十分巨大的问题,提出在构建整个显示系统之前采用多分辨率建模的方法,将系统进行合理的分割和规划,使整个系统层次清晰,最后通过LabView进行系统仿真。实验结果表明,通过该方法设计的图形界面有效地减轻了技术人员的工作强度,能将重点内容放在测试关心的地方。
- 宋海锋袁磊吕继东刘雨
- 关键词：CTCS-3车载设备多分辨率建模
