您的位置: 专家智库 > >

上海市教育委员会创新基金(11ZZ37)

作品数:5 被引量:13H指数:2
相关作者:郁文生钱磊项勇袁如意杨克虎更多>>
相关机构:华东师范大学迪肯大学中国矿业大学(北京)更多>>
发文基金:上海市教育委员会创新基金国家自然科学基金上海市教育委员会重点学科基金更多>>
相关领域:自动化与计算机技术经济管理理学更多>>

领域

  • 7个自动化与计算...
  • 4个经济管理
  • 4个电气工程
  • 4个理学
  • 3个文化科学
  • 2个电子电信
  • 2个交通运输工程
  • 2个航空宇航科学...
  • 2个一般工业技术
  • 1个矿业工程
  • 1个机械工程
  • 1个社会学
  • 1个语言文字

主题

  • 5个网络
  • 5个感器
  • 5个传感
  • 5个传感器
  • 4个代数
  • 4个等式
  • 4个多项式
  • 4个形式化
  • 4个远程
  • 4个嵌入式
  • 4个嵌入式系统
  • 3个等式证明
  • 3个对称多项式
  • 3个多项式插值
  • 3个信号
  • 3个形式化验证
  • 3个巡检
  • 2个代数不等式
  • 2个电平
  • 2个对称型

机构

  • 6个华东师范大学
  • 3个中国科学院自...
  • 1个北京邮电大学
  • 1个北京大学
  • 1个迪肯大学
  • 1个清华大学
  • 1个四川大学
  • 1个中国科学院
  • 1个中国矿业大学...
  • 1个中国科学院成...

资助

  • 9个国家自然科学...
  • 9个上海市教育委...
  • 6个国家重点基础...
  • 6个上海市教育委...
  • 5个中央高校基本...
  • 4个国家高技术研...
  • 4个创新研究群体...
  • 4个国家教育部博...
  • 3个中国科学院知...
  • 2个上海市自然科...
  • 2个国家重点实验...
  • 2个中国科学院海...
  • 2个中国科学院知...
  • 2个中央高校基金
  • 1个北京市自然科...
  • 1个广东省科技攻...
  • 1个教育部跨世纪...
  • 1个新疆维吾尔自...
  • 1个浙江省自然科...
  • 1个中国博士后科...

传媒

  • 4个中国矿业大学...
  • 4个计算机科学
  • 3个电机与控制学...
  • 3个电力系统自动...
  • 2个自动化学报
  • 2个系统科学与数...
  • 2个控制理论与应...
  • 2个软件学报
  • 2个计算机工程与...
  • 2个中国惯性技术...
  • 2个智能系统学报
  • 2个中国科学:信...
  • 2个第29届中国...
  • 1个华东师范大学...
  • 1个煤矿机械
  • 1个科学通报
  • 1个电信科学
  • 1个数学学报(中...
  • 1个北京大学学报...
  • 1个电子学报

地区

  • 5个上海市
  • 3个北京市
9 条 记 录,以下是 1-9
郁文生
供职机构:北京邮电大学电子工程学院
研究主题:机器证明 严格正实 N 数据仓库 鲁棒性分析
发表作品相关人物供职机构所获资助研究领域
钱磊
供职机构:华东师范大学软件学院上海市高可信计算重点实验室
研究主题:AADL 无线传感器网络 温度传感器 嵌入式系统 形式化验证
发表作品相关人物供职机构所获资助研究领域
袁如意
供职机构:中国科学院自动化研究所
研究主题:三角翼 大包 无人机 前轮 起降
发表作品相关人物供职机构所获资助研究领域
朱明华
供职机构:华东师范大学软件学院上海市高可信计算重点实验室
研究主题:AADL 无线传感器网络 温度传感器 嵌入式系统
发表作品相关人物供职机构所获资助研究领域
项勇
供职机构:迪肯大学
研究主题:脉宽调制 逆变器 特定消谐
发表作品相关人物供职机构所获资助研究领域
李倩
供职机构:华东师范大学软件学院上海市高可信计算重点实验室
研究主题:CR系统 形式化验证 混成系统 子系统 生命支持系统
发表作品相关人物供职机构所获资助研究领域
陈良育
供职机构:华东师范大学
研究主题:高效节能 汉字构形 藏文字符识别 并行计算 作图法
发表作品相关人物供职机构所获资助研究领域
陈胜利
供职机构:华东师范大学软件学院上海市高可信计算重点实验室
研究主题:对称型 不等式 可读证明 代数不等式 机器证明
发表作品相关人物供职机构所获资助研究领域
杨克虎
供职机构:中国矿业大学(北京)
研究主题:特定谐波消除 特定消谐 顶煤 多电平变换器 逆变器
发表作品相关人物供职机构所获资助研究领域
共1页<1>
聚类工具0