您的位置： 专家智库 > >

国家自然科学基金(60373032)

作品数：5 被引量：43H指数：4
相关作者：刘静缪淮扣曹利培耿卫东潘云鹤更多>>
相关机构：华东师范大学上海大学浙江大学更多>>
发文基金：国家自然科学基金上海市自然科学基金教育部留学回国人员科研启动基金更多>>
相关领域：自动化与计算机技术更多>>

领域

  • 6个自动化与计算...
  • 6个文化科学
  • 4个经济管理
  • 4个电子电信
  • 3个社会学
  • 3个理学
  • 2个机械工程
  • 2个电气工程
  • 2个建筑科学
  • 2个轻工技术与工...
  • 2个交通运输工程
  • 2个医药卫生
  • 2个一般工业技术
  • 2个艺术
  • 1个天文地球
  • 1个化学工程
  • 1个金属学及工艺
  • 1个环境科学与工...
  • 1个农业科学
  • 1个政治法律

主题

  • 6个语义
  • 5个形式化
  • 4个形式化验证
  • 3个代理
  • 3个等价
  • 3个调度
  • 3个动画
  • 3个动画技术
  • 3个形式化方法
  • 2个单片
  • 2个单片机
  • 2个导航
  • 2个等价关系
  • 2个地址译码
  • 2个点集
  • 2个电路
  • 2个电器
  • 2个电图
  • 2个形式规格说明
  • 2个形式化分析

机构

  • 3个上海大学
  • 2个华东师范大学
  • 2个汕头大学
  • 2个浙江大学
  • 1个北京大学
  • 1个安阳大学
  • 1个安阳工学院
  • 1个杭州商学院
  • 1个湖州师范学院
  • 1个上海电力学院
  • 1个教育部
  • 1个中国机械工程...
  • 1个中国科学院
  • 1个中国工程院
  • 1个浙江工业大学
  • 1个国际欧亚科学...
  • 1个杭州市城市建...
  • 1个上海市计算机...
  • 1个联合国大学
  • 1个上海科学技术...

资助

  • 6个国家自然科学...
  • 4个国家高技术研...
  • 4个国家重点基础...
  • 3个上海市自然科...
  • 3个国家教育部博...
  • 3个上海市教育委...
  • 2个广东省自然科...
  • 2个国防科技技术...
  • 2个国家科技支撑...
  • 2个教育部留学回...
  • 2个浙江省科技攻...
  • 2个浙江省自然科...
  • 2个中国博士后科...
  • 2个国家教育部“...
  • 2个国家科技重大...
  • 2个浙江省科技计...
  • 2个长江学者和创...
  • 2个国家攀登计划
  • 2个教育部“新世...
  • 2个浙江省科技厅...

传媒

  • 5个计算机工程
  • 5个软件学报
  • 5个计算机工程与...
  • 5个计算机工程与...
  • 5个计算机科学
  • 4个计算机学报
  • 4个计算机应用与...
  • 4个中国科学（E...
  • 3个计算机应用
  • 3个计算机应用研...
  • 3个计算机辅助设...
  • 2个中国图象图形...
  • 2个机械工程学报
  • 2个中国大学教学
  • 2个计算机研究与...
  • 2个模式识别与人...
  • 2个科技导报
  • 2个电子学报
  • 2个浙江大学学报...
  • 2个应用科学学报

地区

  • 3个上海市
  • 2个浙江省
  • 1个河南省
共 6 条 记 录，以下是 1-6
刘静
供职机构：华东师范大学软件学院上海市高可信计算重点实验室
研究主题：半导体光放大器 全光波长变换 WEB服务 形式化验证 接口
发表作品相关人物供职机构所获资助研究领域
潘云鹤
供职机构：浙江大学
研究主题：人工智能 CAD 计算机辅助设计 计算机图形学 产品设计
发表作品相关人物供职机构所获资助研究领域
缪淮扣
供职机构：上海大学计算机工程与科学学院
研究主题：测试用例 WEB应用 Z规格说明 软件开发 OBJECT-Z
发表作品相关人物供职机构所获资助研究领域
曹利培
供职机构：安阳工学院计算机科学与信息工程学院
研究主题：WEB服务 组合优化 服务质量 QOS WEB服务组合
发表作品相关人物供职机构所获资助研究领域
何积丰
供职机构：华东师范大学
研究主题：目标代码 反汇编 高级语言 控制流图 自适应
发表作品相关人物供职机构所获资助研究领域
耿卫东
供职机构：浙江大学
研究主题：脚型 肌电 手势 人工智能 图像
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0