您的位置： 专家智库 > >

张健

作品数：31 被引量：40H指数：1
供职机构：中国科学院软件研究所更多>>
发文基金：国家自然科学基金国家重点基础研究发展计划更多>>
相关领域：自动化与计算机技术交通运输工程机械工程农业科学更多>>

合作作者

领域

  • 48个自动化与计算...
  • 16个电子电信
  • 16个文化科学
  • 14个经济管理
  • 13个理学
  • 9个机械工程
  • 6个航空宇航科学...
  • 6个自然科学总论
  • 5个交通运输工程
  • 5个医药卫生
  • 4个政治法律
  • 3个天文地球
  • 3个化学工程
  • 3个金属学及工艺
  • 3个电气工程
  • 3个环境科学与工...
  • 3个农业科学
  • 3个一般工业技术
  • 3个社会学
  • 3个军事

主题

  • 25个计算机
  • 25个操作系
  • 25个操作系统
  • 23个网络
  • 20个软件测试
  • 18个形式化
  • 18个用户
  • 17个代码
  • 17个调度
  • 17个数据库
  • 16个神经网
  • 16个神经网络
  • 15个嵌入式
  • 15个国产操作系统
  • 14个软件开发
  • 13个映射
  • 12个源代码
  • 12个软件系统
  • 12个软件质量
  • 10个虚拟机

机构

  • 36个中国科学院软...
  • 7个中国科学院
  • 5个国防科学技术...
  • 4个中国人民大学
  • 3个武汉大学
  • 3个教育部
  • 3个中国科学院大...
  • 2个浙江大学
  • 2个中国科学院研...
  • 2个国防科技大学
  • 1个哈尔滨工程大...
  • 1个大连理工大学
  • 1个复旦大学
  • 1个贵阳学院
  • 1个东南大学
  • 1个广西大学
  • 1个北京林业大学
  • 1个北京人民警察...
  • 1个大连医科大学
  • 1个哈尔滨工业大...

资助

  • 36个国家自然科学...
  • 25个国家高技术研...
  • 20个国家重点基础...
  • 10个国家科技重大...
  • 6个北京市自然科...
  • 5个国家重点实验...
  • 5个中央高校基本...
  • 4个国防科技技术...
  • 4个国家科技支撑...
  • 4个国家杰出青年...
  • 4个国家教育部博...
  • 4个中国科学院“...
  • 4个中国科学院知...
  • 3个国家科技攻关...
  • 3个中国博士后科...
  • 3个“九五”国家...
  • 3个教育部“新世...
  • 3个中国科学院知...
  • 2个The Ro...
  • 2个安徽省自然科...

传媒

  • 27个软件学报
  • 18个计算机科学
  • 17个计算机研究与...
  • 16个计算机应用
  • 14个小型微型计算...
  • 13个计算机学报
  • 13个计算机工程与...
  • 12个计算机工程
  • 12个计算机应用研...
  • 11个计算机工程与...
  • 9个电子学报
  • 9个计算机应用与...
  • 7个微电子学与计...
  • 7个信息安全学报
  • 6个清华大学学报...
  • 6个计算机系统应...
  • 6个计算机科学与...
  • 5个计算机工程与...
  • 5个中国科学：信...
  • 4个通信学报

地区

  • 42个北京市
  • 3个湖南省
  • 1个安徽省
  • 1个湖北省
  • 1个江苏省
共 48 条 记 录，以下是 1-10
詹乃军
供职机构：中国科学院软件研究所
研究主题：形式化方法 软件开发 人工智能 形式规约 形式化验证
发表作品相关人物供职机构所获资助研究领域
赵军锁
供职机构：中国科学院软件研究所
研究主题：卫星 星载 卫星姿态 天基 神经网络
发表作品相关人物供职机构所获资助研究领域
吴凤鸽
供职机构：中国科学院软件研究所
研究主题：卫星 卫星姿态控制 卫星姿态 测控 在轨卫星
发表作品相关人物供职机构所获资助研究领域
蔡彦
供职机构：中国科学院软件研究所
研究主题：线程 软件测试 死锁 数据竞争 选线
发表作品相关人物供职机构所获资助研究领域
晏荣杰
供职机构：中国科学院软件研究所
研究主题：软件复用 软件体系结构 软件工程 构件库 体系结构
发表作品相关人物供职机构所获资助研究领域
陈柏强
供职机构：中国科学院软件研究所
研究主题：测试数据 参量 检错 多参量 自然数
发表作品相关人物供职机构所获资助研究领域
徐辰
供职机构：中国科学院软件研究所
研究主题：测试数据自动生成 测试数据 EFSM 反例 形式化方法
发表作品相关人物供职机构所获资助研究领域
王晓旭
供职机构：中国科学院软件研究所
研究主题：软件测试 有限状态自动机 测试数据生成 测试数据自动生成 测试数据
发表作品相关人物供职机构所获资助研究领域
梁彬
供职机构：中国人民大学信息学院
研究主题：漏洞 细粒度 漏洞检测 植入 ANDROID
发表作品相关人物供职机构所获资助研究领域
张智强
供职机构：中国科学院软件研究所
研究主题：测试用例 被控系统 二分搜索 黑盒 快速定位方法
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共5页<12345>
聚类工具0