您的位置: 专家智库 > >

北京交通大学轨道交通运行控制系统国家工程研究中心

作品数:152 被引量:748H指数:13
相关作者:石竹景浩李敏梁潇周晶晶更多>>
相关机构:中国铁道科学研究院通信信号研究所清华大学智库中心桂林电子科技大学建筑与交通工程学院更多>>
发文基金:国家自然科学基金中央高校基本科研业务费专项资金国家高技术研究发展计划更多>>
相关领域:交通运输工程自动化与计算机技术机械工程电子电信更多>>

领域

  • 5个交通运输工程
  • 2个电子电信
  • 1个自动化与计算...

主题

  • 3个列控系统
  • 3个CTCS-3
  • 2个仿真
  • 2个仿真测试
  • 2个仿真测试平台
  • 2个XML
  • 2个CTCS-3...
  • 2个车载
  • 2个车载设备
  • 1个信号系统
  • 1个形式化
  • 1个形式化分析
  • 1个时间自动机
  • 1个实时性
  • 1个实时性能
  • 1个属性约简
  • 1个铁路
  • 1个通用型
  • 1个自动机
  • 1个自动生成

机构

  • 5个北京交通大学

资助

  • 2个国家高技术研...
  • 2个国家科技支撑...
  • 1个国家重点基础...
  • 1个国家自然科学...
  • 1个中央高校基本...

传媒

  • 2个现代电子技术
  • 1个铁道学报
  • 1个铁路计算机应...
  • 1个西华大学学报...
  • 1个铁路通信信号...
  • 1个北京交通大学...

地区

  • 5个北京市
5 条 记 录,以下是 1-5
景浩
作品数:3被引量:8H指数:1
供职机构:北京交通大学轨道交通运行控制系统国家工程研究中心
研究主题:内存 安全计算机 列控系统 列车控制系统 通用型
发表作品相关人物供职机构所获资助研究领域
石竹
作品数:3被引量:10H指数:2
供职机构:北京交通大学轨道交通运行控制系统国家工程研究中心
研究主题:RBC 赋时着色PETRI网 CTCS-3 形式化分析 CTCS-3级列控系统
发表作品相关人物供职机构所获资助研究领域
李敏
作品数:2被引量:3H指数:1
供职机构:北京交通大学轨道交通运行控制系统国家工程研究中心
研究主题:仿真测试平台 XML 仿真 列控系统 CTCS-3级列控系统
发表作品相关人物供职机构所获资助研究领域
梁潇
作品数:1被引量:34H指数:1
供职机构:北京交通大学轨道交通运行控制系统国家工程研究中心
研究主题:车载设备 贝叶斯网络 故障诊断 列控车载设备 属性约简
发表作品相关人物供职机构所获资助研究领域
周晶晶
作品数:1被引量:2H指数:1
供职机构:北京交通大学轨道交通运行控制系统国家工程研究中心
研究主题:车载设备 测试用例自动生成 测试用例 时间自动机
发表作品相关人物供职机构所获资助研究领域
共1页<1>
聚类工具0