您的位置： 专家智库 > >

国家自然科学基金(91318301)

作品数：30 被引量：120H指数：5
相关作者：刘静宫云战刘春金芝陈小红更多>>
相关机构：华东师范大学中国科学院大学北京邮电大学更多>>
发文基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术电子电信文化科学更多>>

领域

  • 52个自动化与计算...
  • 26个电子电信
  • 22个文化科学
  • 13个经济管理
  • 9个建筑科学
  • 9个理学
  • 8个机械工程
  • 6个医药卫生
  • 5个航空宇航科学...
  • 5个政治法律
  • 3个天文地球
  • 3个电气工程
  • 3个交通运输工程
  • 3个环境科学与工...
  • 3个一般工业技术
  • 3个军事
  • 3个自然科学总论
  • 2个石油与天然气...
  • 2个社会学
  • 2个兵器科学与技...

主题

  • 31个网络
  • 24个软件工程
  • 20个代码
  • 20个形式化
  • 18个迭代
  • 18个映射
  • 18个语义
  • 17个用户
  • 16个调度
  • 16个软件测试
  • 16个复用
  • 15个数据库
  • 14个语法树
  • 13个形式化方法
  • 13个一致性
  • 13个语句
  • 13个源代码
  • 10个等价
  • 10个多线程
  • 9个代数

机构

  • 14个南京大学
  • 11个计算机软件新...
  • 7个北京邮电大学
  • 7个中国科学院软...
  • 7个中国科学院大...
  • 6个北京大学
  • 6个华东师范大学
  • 6个教育部
  • 6个中国科学院
  • 5个中国科学院研...
  • 4个国防科学技术...
  • 3个江南计算技术...
  • 3个河南大学
  • 3个四川大学
  • 3个同济大学
  • 3个中国科学院数...
  • 2个武汉大学
  • 2个中国科学技术...
  • 1个河海大学
  • 1个桂林电子科技...

资助

  • 52个国家自然科学...
  • 37个国家高技术研...
  • 27个国家重点基础...
  • 14个中国博士后科...
  • 12个国家科技重大...
  • 12个中央高校基本...
  • 10个江苏省自然科...
  • 8个国家重点实验...
  • 8个教育部“新世...
  • 7个国家杰出青年...
  • 6个国家教育部博...
  • 6个教育部重点实...
  • 4个河南省科技攻...
  • 4个江苏省基础研...
  • 3个教育部科学技...
  • 3个四川省教育厅...
  • 3个浙江省自然科...
  • 3个中央级公益性...
  • 3个“九五”国家...
  • 3个国家自然科学...

传媒

  • 35个软件学报
  • 25个中国科学：信...
  • 23个计算机研究与...
  • 23个计算机学报
  • 23个计算机科学
  • 16个电子学报
  • 16个计算机科学与...
  • 12个计算机应用研...
  • 11个计算机教育
  • 10个计算机应用与...
  • 10个计算机工程与...
  • 9个计算机工程与...
  • 9个计算机工程
  • 9个小型微型计算...
  • 9个计算机工程与...
  • 8个计算机应用
  • 7个计算机系统应...
  • 6个南京大学学报...
  • 6个中国科学（E...
  • 5个计算机集成制...

地区

  • 17个北京市
  • 15个江苏省
  • 8个上海市
  • 4个湖南省
  • 3个河南省
  • 3个四川省
  • 2个广东省
共 52 条 记 录，以下是 1-10
刘静
供职机构：华东师范大学软件学院上海市高可信计算重点实验室
研究主题：半导体光放大器 全光波长变换 WEB服务 形式化验证 接口
发表作品相关人物供职机构所获资助研究领域
宫云战
供职机构：北京邮电大学计算机学院网络与交换技术国家重点实验室
研究主题：软件测试 控制流 抽象语法树 控制流图 测试用例
发表作品相关人物供职机构所获资助研究领域
杨秋松
供职机构：中国科学院软件研究所
研究主题：仿真 复杂度 仿真模型 信号量 ROP
发表作品相关人物供职机构所获资助研究领域
王林章
供职机构：南京大学
研究主题：制导 数据竞争 自动机 数据流分析 规约
发表作品相关人物供职机构所获资助研究领域
金芝
供职机构：北京大学
研究主题：物联网 软件系统 环境本体 软件工程 存储介质
发表作品相关人物供职机构所获资助研究领域
金大海
供职机构：北京邮电大学
研究主题：控制流 软件测试 抽象语法树 控制流图 状态机
发表作品相关人物供职机构所获资助研究领域
陈小红
供职机构：华东师范大学
研究主题：团队 同义词 设计软件 元模型 地质资料
发表作品相关人物供职机构所获资助研究领域
刘春
供职机构：河南大学
研究主题：性需求 信息物理融合系统 用户需求 向量化 面向目标
发表作品相关人物供职机构所获资助研究领域
文艳军
供职机构：国防科学技术大学
研究主题：操作系统 自动机 遍历 源程序 内核调试
发表作品相关人物供职机构所获资助研究领域
张大林
供职机构：北京邮电大学
研究主题：控制流 状态机 抽象语法树 符号化 信息库
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共6页<123456>
聚类工具0