您的位置： 专家智库 > >

郭丹青

作品数：2 被引量：7H指数：1
供职机构：中国科学院软件研究所更多>>
发文基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
相关领域：交通运输工程自动化与计算机技术更多>>

合作作者

领域

  • 6个交通运输工程
  • 5个自动化与计算...
  • 2个经济管理
  • 2个天文地球
  • 2个机械工程
  • 2个电子电信
  • 2个文化科学
  • 2个理学
  • 1个电气工程
  • 1个航空宇航科学...
  • 1个环境科学与工...
  • 1个一般工业技术

主题

  • 6个形式化
  • 6个形式化验证
  • 6个中国高速铁路
  • 6个铁路
  • 4个语法
  • 3个地铁
  • 3个形式化方法
  • 3个语法树
  • 2个代价函数
  • 2个代数
  • 2个单元列车
  • 2个导航
  • 2个等价
  • 2个地铁列车
  • 2个地图
  • 2个定理
  • 2个定理证明
  • 2个多机器人
  • 2个多机器人路径...
  • 2个软件开发

机构

  • 3个北京交通大学
  • 3个中国科学院软...
  • 1个北方交通大学
  • 1个北京大学

资助

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

传媒

  • 6个中国科学：信...
  • 3个铁道通信信号
  • 3个铁道学报
  • 2个中国标准化
  • 2个计算机应用与...
  • 2个西南交通大学...
  • 2个软件学报
  • 2个铁路计算机应...
  • 2个中国铁道科学
  • 2个都市快轨交通
  • 2个北京交通大学...
  • 1个计算机安全
  • 1个经济研究参考
  • 1个华东师范大学...
  • 1个城市轨道交通...
  • 1个电子与信息学...
  • 1个自动化学报
  • 1个测绘学报
  • 1个铁道运输与经...
  • 1个中国铁路

地区

  • 6个北京市
共 6 条 记 录，以下是 1-6
王淑灵
供职机构：中国科学院软件研究所
研究主题：形式化验证 形式化 混成系统 多机器人路径规划 定理证明
发表作品相关人物供职机构所获资助研究领域
詹乃军
供职机构：中国科学院软件研究所
研究主题：形式化方法 软件测试 软件开发 人工智能 形式规约
发表作品相关人物供职机构所获资助研究领域
唐涛
供职机构：北京交通大学
研究主题：列车 城市轨道交通 列车运行控制系统 轨道交通 列控系统
发表作品相关人物供职机构所获资助研究领域
周达天
供职机构：北京交通大学
研究主题：列车定位 多传感器融合 速度传感器 多传感器信息融合 列车运行控制系统
发表作品相关人物供职机构所获资助研究领域
邹亮
供职机构：中国科学院软件研究所
研究主题：仿真 形式化验证 形式化 列控系统 中国高速铁路
发表作品相关人物供职机构所获资助研究领域
吕继东
供职机构：北京交通大学
研究主题：列车 列控系统 时间自动机 UPPAAL 编组
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0