您的位置： 专家智库 > >

祝玉军

作品数：3 被引量：12H指数：2
供职机构：同济大学电子与信息工程学院更多>>
发文基金：国家自然科学基金铁道部科技研究开发计划“十一五”国家科技支撑计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

领域

  • 7个自动化与计算...
  • 4个交通运输工程
  • 3个机械工程
  • 3个电子电信
  • 2个自然科学总论
  • 1个电气工程
  • 1个建筑科学
  • 1个环境科学与工...
  • 1个农业科学
  • 1个一般工业技术
  • 1个理学

主题

  • 5个安全苛求系统
  • 4个形式化
  • 4个网络
  • 3个信号系统
  • 3个运动学
  • 3个运动学模型
  • 3个软件测试
  • 3个事件树
  • 3个模糊逻辑
  • 2个单类支持向量...
  • 2个道岔
  • 2个地铁
  • 2个信息传输
  • 2个形式化方法
  • 2个形式化建模
  • 2个形式化开发
  • 2个形式化开发方...
  • 2个形式化验证
  • 1个代码
  • 1个代码生成

机构

  • 7个同济大学
  • 1个广东工业大学
  • 1个青岛科技大学
  • 1个教育部
  • 1个铁路产品质量...

资助

  • 6个国家自然科学...
  • 4个铁道部科技研...
  • 3个国家高技术研...
  • 3个国家科技支撑...
  • 3个“十一五”国...
  • 3个铁道部科技基...
  • 1个山东省自然科...
  • 1个江西省教育厅...
  • 1个广东省科技厅...
  • 1个上海市科学技...

传媒

  • 6个计算机应用与...
  • 3个机电一体化
  • 3个城市轨道交通...
  • 3个佳木斯大学学...
  • 3个计算机仿真
  • 3个计算机工程与...
  • 3个铁道学报
  • 2个电子学报
  • 2个武汉大学学报...
  • 2个同济大学学报...
  • 2个计算机工程
  • 2个微型电脑应用
  • 2个计算机应用
  • 2个计算机应用研...
  • 2个计算机工程与...
  • 2个系统仿真学报
  • 2个信息技术
  • 2个铁路计算机应...
  • 2个中国铁道科学
  • 2个铁路通信信号...

地区

  • 7个上海市
共 7 条 记 录，以下是 1-7
陈邦兴
供职机构：同济大学电子与信息工程学院
研究主题：有色PETRI网 PETRI网 软件测试 CBTC 形式化建模
发表作品相关人物供职机构所获资助研究领域
徐中伟
供职机构：同济大学电子与信息工程学院
研究主题：软件测试 安全苛求系统 CBTC 安全性 列控中心
发表作品相关人物供职机构所获资助研究领域
梅萌
供职机构：同济大学电子与信息工程学院
研究主题：列车 跟驰 CBTC 移动闭塞系统 列控系统
发表作品相关人物供职机构所获资助研究领域
朱海宏
供职机构：同济大学电子与信息工程学院信息与控制工程系
研究主题：贝叶斯网络 安全性 高铁 概率安全评估 故障树
发表作品相关人物供职机构所获资助研究领域
袁峰
供职机构：同济大学电子与信息工程学院
研究主题：安全苛求系统 模糊逻辑
发表作品相关人物供职机构所获资助研究领域
朱海鹰
供职机构：同济大学电子与信息工程学院
研究主题：CBTC 测试用例生成 MSC CBTC系统 生成测试用例
发表作品相关人物供职机构所获资助研究领域
向侯鹏
供职机构：同济大学电子与信息工程学院
研究主题：安全苛求系统 模糊逻辑
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0