您的位置： 专家智库 > >

国家重点基础研究发展计划(2011CB302802)

作品数：17 被引量：47H指数：4
相关作者：陈仪香郁文生张敏李慧勇赵文明更多>>
相关机构：华东师范大学杭州职业技术学院安徽工程大学更多>>
发文基金：国家重点基础研究发展计划国家自然科学基金上海市教育委员会重点学科基金更多>>
相关领域：自动化与计算机技术理学电子电信更多>>

领域

  • 25个自动化与计算...
  • 12个理学
  • 11个文化科学
  • 9个电子电信
  • 6个经济管理
  • 5个医药卫生
  • 4个电气工程
  • 4个建筑科学
  • 3个哲学宗教
  • 3个天文地球
  • 3个机械工程
  • 3个交通运输工程
  • 3个环境科学与工...
  • 3个社会学
  • 3个政治法律
  • 3个自然科学总论
  • 2个生物学
  • 2个水利工程
  • 2个轻工技术与工...
  • 2个航空宇航科学...

主题

  • 13个网络
  • 10个感器
  • 10个传感
  • 10个传感器
  • 9个计算机
  • 8个形式化
  • 8个教学
  • 7个代数
  • 7个形式化验证
  • 7个语言
  • 6个视频
  • 6个数据库
  • 6个图像
  • 6个教育
  • 5个调度
  • 5个数学
  • 4个注记
  • 4个自动机
  • 3个代数判据
  • 3个识别技术

机构

  • 20个华东师范大学
  • 4个中国科学院自...
  • 2个北京大学
  • 2个江苏科技大学
  • 2个清华大学
  • 2个教育部
  • 2个陕西师范大学
  • 2个南通纺织职业...
  • 1个贵州大学
  • 1个北京邮电大学
  • 1个北京化工大学
  • 1个杭州职业技术...
  • 1个上海师范大学
  • 1个三峡大学
  • 1个四川大学
  • 1个苏州大学
  • 1个浙江理工大学
  • 1个中国科学院
  • 1个上海大学
  • 1个西安电子科技...

资助

  • 26个国家重点基础...
  • 26个国家自然科学...
  • 11个国家高技术研...
  • 10个上海市教育委...
  • 8个创新研究群体...
  • 8个中央高校基本...
  • 7个上海市自然科...
  • 6个上海市教育委...
  • 5个浙江省教育厅...
  • 5个国家教育部博...
  • 5个国家重点实验...
  • 5个上海市教育委...
  • 5个上海市科学技...
  • 5个中国科学院海...
  • 4个中国博士后科...
  • 3个安徽省自然科...
  • 3个中国科学院知...
  • 2个教育部跨世纪...
  • 2个上海市青年科...
  • 2个浙江省自然科...

传媒

  • 8个计算机应用研...
  • 8个计算机科学
  • 7个计算机应用
  • 6个控制理论与应...
  • 5个系统科学与数...
  • 5个计算机工程
  • 5个计算机工程与...
  • 4个软件学报
  • 4个中国科学（E...
  • 3个科技通报
  • 3个模糊系统与数...
  • 3个科学通报
  • 3个自动化学报
  • 3个计算机研究与...
  • 3个计算机学报
  • 3个计算机时代
  • 3个计算机技术与...
  • 3个中国自动化学...
  • 3个中国自动化与...
  • 2个职业技术教育

地区

  • 16个上海市
  • 4个北京市
  • 2个江苏省
  • 2个浙江省
  • 1个湖南省
共 26 条 记 录，以下是 1-10
陈仪香
供职机构：华东师范大学
研究主题：互模拟 DOMAIN理论 拓扑 拓扑学 程序设计语言
发表作品相关人物供职机构所获资助研究领域
郁文生
供职机构：北京邮电大学电子工程学院
研究主题：机器证明 严格正实 N 数据仓库 鲁棒性分析
发表作品相关人物供职机构所获资助研究领域
张敏
供职机构：华东师范大学
研究主题：钛酸 研磨机 互模拟 形式化描述 形式化验证
发表作品相关人物供职机构所获资助研究领域
赵文明
供职机构：杭州职业技术学院
研究主题：移动AGENT 高职教育 高职 CDIO 课程
发表作品相关人物供职机构所获资助研究领域
李慧勇
供职机构：华东师范大学
研究主题：车联网 STE 调度算法 数据流 异构计算
发表作品相关人物供职机构所获资助研究领域
潘海玉
供职机构：华东师范大学
研究主题：模糊推理 KRIPKE结构 模糊逻辑 计算树逻辑 三I算法
发表作品相关人物供职机构所获资助研究领域
钱磊
供职机构：华东师范大学软件学院上海市高可信计算重点实验室
研究主题：AADL 无线传感器网络 温度传感器 嵌入式系统 形式化验证
发表作品相关人物供职机构所获资助研究领域
何冠男
供职机构：北京化工大学信息科学与技术学院
研究主题：复分析 机器证明 控制器设计 注记 巧克力
发表作品相关人物供职机构所获资助研究领域
栾天骄
供职机构：华东师范大学
研究主题：MAUDE 规范语言 重写逻辑 实时系统 操作语义
发表作品相关人物供职机构所获资助研究领域
纪政
供职机构：华东师范大学
研究主题：STATEFLOW 规范语言 实时系统 STE C-
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共3页<123>
聚类工具0