咨询与建议

限定检索结果

文献类型

  • 1 篇 期刊文献
  • 1 篇 学位论文

馆藏范围

  • 2 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 2 篇 工学
    • 2 篇 交通运输工程
    • 1 篇 计算机科学与技术...

主题

  • 2 篇 ctcs-3列车运行控...
  • 1 篇 自动机
  • 1 篇 uml
  • 1 篇 顺序图
  • 1 篇 车载设备
  • 1 篇 构件设计
  • 1 篇 形式化建模
  • 1 篇 分布式交互仿真
  • 1 篇 运营场景
  • 1 篇 hla

机构

  • 1 篇 北京交通大学
  • 1 篇 清华大学
  • 1 篇 清华信息科学与技...

作者

  • 1 篇 王帅
  • 1 篇 wang shuai
  • 1 篇 yang shi-yuan
  • 1 篇 ji yin-dong
  • 1 篇 吉吟东
  • 1 篇 邵泳哲
  • 1 篇 杨士元

语言

  • 2 篇 中文
检索条件"主题词=CTCS-3列车运行控制系统"
2 条 记 录,以下是1-10 订阅
排序:
一种基于场景的ctcs-3列车控制系统建模方法研究
收藏 引用
铁道学报 2011年 第9期33卷 55-61页
作者: 王帅 吉吟东 杨士元 清华大学计算机科学与技术系 北京100084 清华信息科学与技术国家实验室 北京100084 清华大学自动化系 北京100084
ctcs-3列车控制系统进行有效的测试、分析和验证是保证列车运行安全和旅客生命财产安全的重要手段,而形式化模型是系统测试、分析和验证的基础。本文以ctcs-3列车运行控制系统的UML非形式化模型为基础,以自动机模型作为系统形式化模... 详细信息
来源: 评论
基于UML-HLA的多仿真系统设计与实现
基于UML-HLA的多车仿真系统设计与实现
收藏 引用
作者: 邵泳哲 北京交通大学
学位级别:硕士
ctcs-3级列车运行控制系统是一种功能复杂的实时分布式大系统,由于现场条件苛刻,系统的许多功能测试尤其是安全相关和非正常情况下的功能测试无法进行,因此需要借助仿真平台,研究系统功能测试方法。高层体系结构(High Level Architectur... 详细信息
来源: 评论