您的位置： 专家智库 > >

国家高技术研究发展计划(2009AA01Z147)

作品数：17 被引量：143H指数：6
相关作者：徐宝文董云卫陈林周毓明董国伟更多>>
相关机构：南京大学西北工业大学东南大学更多>>
发文基金：国家高技术研究发展计划国家自然科学基金国家重点基础研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

领域

  • 20个自动化与计算...
  • 9个电子电信
  • 8个文化科学
  • 8个自然科学总论
  • 8个理学
  • 7个经济管理
  • 7个天文地球
  • 7个机械工程
  • 7个交通运输工程
  • 7个兵器科学与技...
  • 6个哲学宗教
  • 6个生物学
  • 6个化学工程
  • 6个矿业工程
  • 6个冶金工程
  • 6个金属学及工艺
  • 6个动力工程及工...
  • 6个电气工程
  • 6个建筑科学
  • 6个水利工程

主题

  • 13个测试用例
  • 11个代码
  • 11个形式化
  • 11个软件测试
  • 11个设计模式
  • 9个形式化方法
  • 9个用户
  • 9个软件体系结构
  • 9个体系结构
  • 9个总线
  • 9个精化
  • 9个NP完全
  • 8个用户需求
  • 8个数据生成
  • 8个能耗
  • 8个切片
  • 7个带宽
  • 7个代码克隆
  • 7个单子
  • 7个状态转换图

机构

  • 15个东南大学
  • 15个南京大学
  • 10个南京航空航天...
  • 9个桂林电子科技...
  • 9个国防科学技术...
  • 9个南京邮电大学
  • 9个西北工业大学
  • 8个北京航空航天...
  • 7个河海大学
  • 7个北京大学
  • 6个北京工商大学
  • 6个哈尔滨工程大...
  • 5个安徽工业大学
  • 5个安徽医科大学
  • 5个北方工业大学
  • 5个北方民族大学
  • 5个北海道大学
  • 5个北京航空工程...
  • 5个北京中医药大...
  • 5个长春理工大学

作者

  • 14个徐宝文
  • 11个陈林
  • 10个周晓宇
  • 10个许蕾
  • 9个陈振宇
  • 9个聂长海
  • 8个钱巨
  • 8个张德平
  • 8个董国伟
  • 7个周毓明
  • 7个董云卫
  • 7个尹恒
  • 6个王广仁
  • 6个史亮
  • 5个周兴社
  • 5个孙志超
  • 5个张庆茂
  • 4个李士宁
  • 4个覃杨森
  • 4个张凡

传媒

  • 17个计算机科学
  • 15个计算机学报
  • 11个计算机与数字...
  • 10个科学通报
  • 10个计算机研究与...
  • 10个电子学报
  • 10个东南大学学报...
  • 9个软件学报
  • 9个中国科学：信...
  • 7个系统工程与电...
  • 5个分析化学
  • 5个分子科学学报
  • 5个化工科技
  • 5个工业安全与环...
  • 5个中华精神科杂...
  • 5个中国科技论坛
  • 5个中国计划生育...
  • 5个全面腐蚀控制
  • 5个植物学通报
  • 5个资源科学
共 20 条 记 录，以下是 1-10
国家自然科学基金
相关领域：医药卫生 理学 自动化与计算机技术 经济管理 农业科学
相关作品相关人物相关机构相关资助相关领域
国家重点基础研究发展计划(2009CB320703)
相关领域：自动化与计算机技术
相关作品相关人物相关机构相关资助相关领域
国家重点基础研究发展计划
相关领域：天文地球 医药卫生 理学 农业科学 自动化与计算机技术
相关作品相关人物相关机构相关资助相关领域
国家自然科学基金(90818027)
相关领域：自动化与计算机技术 兵器科学与技术 理学 电子电信
相关作品相关人物相关机构相关资助相关领域
国家自然科学基金(60736017)
高可靠构件化嵌入式软件设计与验证技术及其支撑环境研究
相关领域：自动化与计算机技术 自然科学总论 机械工程
相关作品相关人物相关机构相关资助相关领域
陕西省自然科学基金
相关领域：医药卫生 自动化与计算机技术 理学 电子电信 建筑科学
相关作品相关人物相关机构相关资助相关领域
国家杰出青年科学基金
相关领域：医药卫生 自动化与计算机技术 理学 天文地球 建筑科学
相关作品相关人物相关机构相关资助相关领域
国家杰出青年科学基金(60425206)
相关领域：自动化与计算机技术
相关作品相关人物相关机构相关资助相关领域
陕西省自然科学基金(2009JM8003-5)
相关领域：自动化与计算机技术
相关作品相关人物相关机构相关资助相关领域
西北工业大学基础研究基金
相关领域：自动化与计算机技术 理学 航空宇航科学技术 一般工业技术 电子电信
相关作品相关人物相关机构相关资助相关领域
全选 清除 导出
共2页<12>
聚类工具0