您的位置: 专家智库 > >

国家自然科学基金(2011BAG01B00)

作品数:5 被引量:4H指数:2
相关作者:徐中伟朱龙赵笑龙徐睿娜喻钢更多>>
相关机构:同济大学上海大学更多>>
发文基金:国家自然科学基金更多>>
相关领域:自动化与计算机技术理学更多>>

领域

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

主题

  • 5个形式化
  • 5个形式化建模
  • 4个对象中间件
  • 4个中间件
  • 4个软件测试
  • 4个实时性
  • 4个列车
  • 3个地铁
  • 3个多线程
  • 3个形式化方法
  • 3个移动最小二乘
  • 3个移动最小二乘...
  • 3个数据采集
  • 3个总线
  • 3个最小二乘
  • 3个最小二乘法
  • 2个动态故障树
  • 2个信号系统
  • 2个信息熵
  • 2个图元

机构

  • 10个同济大学
  • 2个铁路产品质量...
  • 1个青岛科技大学
  • 1个江西师范大学
  • 1个教育部
  • 1个上海大学
  • 1个苏州健雄职业...

资助

  • 10个国家自然科学...
  • 3个国家高技术研...
  • 3个国家科技支撑...
  • 3个铁道部科技研...
  • 2个铁道部科技基...
  • 1个江西省科技攻...
  • 1个山东省自然科...
  • 1个江西省教育厅...
  • 1个上海市高校选...
  • 1个“十一五”国...
  • 1个江苏省现代教...
  • 1个上海市科委重...
  • 1个上海市科学技...

传媒

  • 6个计算机应用与...
  • 5个城市轨道交通...
  • 4个信息技术
  • 4个科协论坛(下...
  • 3个佳木斯大学学...
  • 3个同济大学学报...
  • 3个计算机工程
  • 3个计算机应用
  • 3个计算机工程与...
  • 3个铁道学报
  • 2个机电一体化
  • 2个电子学报
  • 2个计算机工程与...
  • 2个现代计算机
  • 2个计算机仿真
  • 2个系统仿真学报
  • 2个计算机工程与...
  • 1个信息系统工程
  • 1个国外电子元器...
  • 1个现代隧道技术

地区

  • 9个上海市
  • 1个江苏省
10 条 记 录,以下是 1-10
徐中伟
供职机构:同济大学
研究主题:软件测试 安全苛求系统 CBTC 安全性 列控中心
发表作品相关人物供职机构所获资助研究领域
赵笑龙
供职机构:同济大学电子与信息工程学院
研究主题:移动最小二乘法 查询 VC++ PXI总线 高速数据采集
发表作品相关人物供职机构所获资助研究领域
朱龙
供职机构:同济大学电子与信息工程学院
研究主题:HLA CBTC 基于HLA 扩展性 协同性
发表作品相关人物供职机构所获资助研究领域
林佰柱
供职机构:同济大学电子与信息工程学院
研究主题:查询 VC++ PXI总线 高速数据采集 多线程
发表作品相关人物供职机构所获资助研究领域
沈啸
供职机构:苏州健雄职业技术学院
研究主题:ORACLE数据库 安全性测试 安全性 网络协议 超星
发表作品相关人物供职机构所获资助研究领域
徐睿娜
供职机构:同济大学电子与信息工程学院
研究主题:计算机辅助设计 图元
发表作品相关人物供职机构所获资助研究领域
朱麟
供职机构:同济大学电子与信息工程学院
研究主题:HLA CBTC 基于HLA 扩展性 协同性
发表作品相关人物供职机构所获资助研究领域
喻钢
供职机构:上海大学
研究主题:BIM 管片 隧道管片 隧道 巡检
发表作品相关人物供职机构所获资助研究领域
陈邦兴
供职机构:同济大学电子与信息工程学院
研究主题:有色PETRI网 PETRI网 软件测试 CBTC 形式化建模
发表作品相关人物供职机构所获资助研究领域
唐晨
供职机构:同济大学电子与信息工程学院
研究主题:形式化方法 EVENT-B EVENT 形式化建模 形式化
发表作品相关人物供职机构所获资助研究领域
共1页<1>
聚类工具0