主  题

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号

主  题

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号

全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号
设置
  • 关闭历史记录
  • 打开历史纪录
  • 清除历史记录
引用
筛选:
文献类型 文献类型
学科分类 学科分类
发表年度 发表年度
作者 作者
机构 机构
基金 基金
研究层次 研究层次
排序:
显示:
CNKI为你找到相关结果

基于NuSMV和STPA的RBC交接场景安全分析方法研究  CNKI文献

中国列车运行控制系统 3 级(Chinese Train Control System Level 3,CTCS-3)是我国高速铁路的核心装备,负责保障高速铁路列车的行车安全,也是高速铁路的“神经中枢”,其安全性对于高速铁路的安全运营起到了关键...

夏宇 导师:王化深 北京交通大学 2018-03-01 硕士论文

关键词: 系统理论过程分析 / UML扩展 / RBC交接场景 / 模型检验

下载(185)| 被引(10)

基于UML和STPA的RBC交接场景安全分析研究  CNKI文献

高速列车运行控制系统(简称高速列控系统)作为高速铁路的关键部分,负责保障高速列车的安全运行和运输效率。一旦高速列控系统的安全性出现问题,将有可能造成行车中断,甚至是车毁人亡的严重后果。采...

韩笑 导师:王化深 北京交通大学 2016-06-01 硕士论文

关键词: 系统理论过程分析(STPA) / UML概要文件 / RBC交接 / 安全分析

下载(270)| 被引(6)

学术研究指数分析(近十年)详情>>

  • 发文趋势
时间的形状