您的位置： 专家智库 > >

北京市科技计划项目(W06H0020)

作品数：1 被引量：8H指数：1
相关作者：郜春海马连川郭志良吕继东更多>>
相关机构：北京交通大学更多>>
发文基金：北京市科技计划项目国家科技支撑计划更多>>
相关领域：自动化与计算机技术更多>>

领域

  • 4个自动化与计算...
  • 4个交通运输工程
  • 3个电子电信
  • 2个机械工程
  • 1个经济管理
  • 1个环境科学与工...
  • 1个文化科学

主题

  • 4个形式化
  • 4个形式化验证
  • 3个地铁
  • 2个单元列车
  • 2个电动
  • 2个电动客车
  • 2个电路
  • 2个电平
  • 2个电子江图
  • 2个电子设备
  • 2个调度
  • 2个队形
  • 2个队形控制
  • 2个信号
  • 1个带隙基准
  • 1个带隙基准电压
  • 1个带隙基准电压...
  • 1个代价函数
  • 1个单播
  • 1个单次

机构

  • 4个北京交通大学
  • 2个北方交通大学
  • 1个国家工程研究...
  • 1个北京市地铁运...

资助

  • 4个国家科技支撑...
  • 4个北京市科技计...
  • 3个国家高技术研...
  • 3个国家自然科学...
  • 2个铁道部科技研...
  • 2个国家科技重大...
  • 2个“十一五”国...
  • 2个北京市科委项...
  • 2个国家教育部博...
  • 2个中央高校基本...
  • 1个北京市自然科...
  • 1个国家重点基础...
  • 1个中央级公益性...
  • 1个北京市科委科...
  • 1个北京市重点实...
  • 1个长江学者和创...
  • 1个国家重点实验...
  • 1个教育部“新世...
  • 1个铁道部科技基...

传媒

  • 4个铁道学报
  • 3个铁道通信信号
  • 3个铁路计算机应...
  • 3个中国铁道科学
  • 3个北京交通大学...
  • 2个西南交通大学...
  • 2个北方交通大学...
  • 2个中国安全科学...
  • 2个水运工程
  • 2个都市快轨交通
  • 2个世界轨道交通
  • 1个计算机安全
  • 1个中国铁路
  • 1个通信学报
  • 1个机车电传动
  • 1个计算机应用与...
  • 1个自动化博览
  • 1个计算机工程与...
  • 1个电子测量与仪...
  • 1个铁道机车车辆

地区

  • 4个北京市
共 4 条 记 录，以下是 1-4
郜春海
供职机构：北京市地铁运营有限公司
研究主题：城市轨道交通 列车 轨道交通 列车运行控制系统 CBTC系统
发表作品相关人物供职机构所获资助研究领域
郭志良
供职机构：北京交通大学电子信息工程学院全光网络与现代通信网教育部重点实验室
研究主题：UPPAAL 安全计算机 形式化验证 自动机模型 时间自动机
发表作品相关人物供职机构所获资助研究领域
吕继东
供职机构：北京交通大学
研究主题：列车 列控系统 时间自动机 UPPAAL 编组
发表作品相关人物供职机构所获资助研究领域
马连川
供职机构：北京交通大学
研究主题：安全计算机 列车运行控制系统 云计算 安全通信协议 COTS
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0