您的位置： 专家智库 > >

甘肃省教育厅研究生导师科研项目(210110)

作品数：1 被引量：1H指数：1
相关作者：水晶黎磊董昱更多>>
相关机构：兰州交通大学更多>>
发文基金：甘肃省教育厅研究生导师科研项目国家自然科学基金更多>>
相关领域：自然科学总论更多>>

领域

  • 3个自然科学总论
  • 2个机械工程
  • 2个交通运输工程
  • 1个电子电信
  • 1个电气工程
  • 1个自动化与计算...
  • 1个环境科学与工...
  • 1个文化科学

主题

  • 3个形式化
  • 3个形式化方法
  • 3个形式化建模
  • 3个形式化建模与...
  • 3个列控系统
  • 3个符号模型检验
  • 3个CTCS-2...
  • 3个车载
  • 3个车载设备
  • 1个代理
  • 1个道岔
  • 1个道岔融雪
  • 1个道岔融雪系统
  • 1个地图匹配
  • 1个点估计
  • 1个电车
  • 1个电磁感应加热
  • 1个电动转辙机
  • 1个电分相
  • 1个电接触

机构

  • 3个兰州交通大学

资助

  • 3个国家自然科学...
  • 3个甘肃省教育厅...
  • 1个甘肃省科技攻...
  • 1个甘肃省自然科...
  • 1个甘肃省科技支...
  • 1个甘肃省科技计...
  • 1个教育部“春晖...
  • 1个教育部重点实...
  • 1个兰州市科技发...

传媒

  • 3个计算机工程
  • 2个城市轨道交通...
  • 2个兰州交通大学...
  • 1个电子科技
  • 1个大众科技
  • 1个铁道通信信号
  • 1个工业控制计算...
  • 1个自动化仪表
  • 1个计算机应用与...
  • 1个甘肃科技
  • 1个自动化与仪器...
  • 1个小型微型计算...
  • 1个测控技术
  • 1个微计算机信息
  • 1个电子测量与仪...
  • 1个信息技术
  • 1个铁道学报
  • 1个铁道标准设计
  • 1个铁路计算机应...
  • 1个西铁科技

地区

  • 3个甘肃省
共 3 条 记 录，以下是 1-3
水晶
供职机构：兰州交通大学自动化与电气学院
研究主题：车载设备 CTCS-2级列控系统 符号模型检验 形式化建模与验证 形式化方法
发表作品相关人物供职机构所获资助研究领域
董昱
供职机构：兰州交通大学自动化与电气学院
研究主题：计算机联锁 列车 故障诊断 LINUX 铁路信号
发表作品相关人物供职机构所获资助研究领域
黎磊
供职机构：兰州交通大学自动化与电气学院
研究主题：城市轨道交通 NTP 网络时间协议 嵌入式 时间服务器
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0