您的位置： 专家智库 > >

李海峰

作品数：13 被引量：32H指数：3
供职机构：中国航空综合技术研究所更多>>
发文基金：国家自然科学基金国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术电子电信更多>>

合作作者

领域

  • 14个自动化与计算...
  • 7个电子电信
  • 6个理学
  • 5个航空宇航科学...
  • 4个交通运输工程
  • 4个文化科学
  • 3个经济管理
  • 3个一般工业技术
  • 3个自然科学总论
  • 2个机械工程
  • 2个动力工程及工...
  • 2个兵器科学与技...
  • 1个石油与天然气...
  • 1个电气工程
  • 1个社会学
  • 1个政治法律

主题

  • 9个嵌入式
  • 9个嵌入式软件
  • 8个安全关键系统
  • 7个失效模式
  • 6个形式化
  • 6个软件测试
  • 6个时序逻辑
  • 6个线性时序逻辑
  • 5个形式化验证
  • 4个代码
  • 4个软件可靠性测...
  • 4个软件可靠性建...
  • 4个软件可靠性模...
  • 4个软件可靠性评...
  • 3个代码分析
  • 3个代码结构
  • 3个代码模式
  • 3个代数
  • 3个软件模型
  • 3个数据生成

机构

  • 6个南京航空航天...
  • 5个中国航空综合...
  • 3个江苏科技大学
  • 3个北京航空航天...
  • 1个东南大学
  • 1个南京理工大学
  • 1个天津工业大学
  • 1个南京航空学院
  • 1个镇江市金舟软...

资助

  • 9个国家自然科学...
  • 7个中国航空科学...
  • 6个国家高技术研...
  • 6个中央高校基本...
  • 5个江苏省自然科...
  • 4个中国博士后科...
  • 3个中央级公益性...
  • 3个江苏高校优势...
  • 3个江苏省博士后...
  • 3个江苏省普通高...
  • 3个教育部人文社...
  • 2个湖南省自然科...
  • 2个上海市高校选...
  • 2个高等学校特色...
  • 2个国家教育部博...
  • 2个国家重点实验...
  • 2个江苏省现代教...
  • 2个上海市教育委...
  • 2个上海市教育委...
  • 1个安徽省自然科...

传媒

  • 8个软件学报
  • 6个计算机应用与...
  • 6个计算机科学
  • 5个小型微型计算...
  • 5个计算机与数字...
  • 4个系统工程与电...
  • 4个计算机应用研...
  • 4个计算机工程与...
  • 4个计算机与现代...
  • 4个计算机教育
  • 4个电子设计工程
  • 3个计算机研究与...
  • 3个计算机学报
  • 3个计算机工程与...
  • 3个微型机与应用
  • 3个北京航空航天...
  • 2个电子技术应用
  • 2个南京航空航天...
  • 2个机械设计与制...
  • 2个船舶工程

地区

  • 9个江苏省
  • 6个北京市
共 15 条 记 录，以下是 1-10
郑军
供职机构：中国航空综合技术研究所
研究主题：软件测试 测试环境 FPGA 映射 软硬件
发表作品相关人物供职机构所获资助研究领域
刘畅
供职机构：北京航空航天大学宇航学院
研究主题：无人机 软件测试 离子发动机 电弧加热发动机 光学系统
发表作品相关人物供职机构所获资助研究领域
沈国华
供职机构：南京航空航天大学
研究主题：本体 描述逻辑 数据挖掘 隐私 数据流
发表作品相关人物供职机构所获资助研究领域
李震
供职机构：江苏科技大学
研究主题：永磁同步电机 无刷直流电机 软件可靠性模型 PETRI网 软件工程
发表作品相关人物供职机构所获资助研究领域
周汉清
供职机构：中国航空综合技术研究所
研究主题：嵌入式软件 分词方法 最大匹配算法 测试用例生成 SYSML
发表作品相关人物供职机构所获资助研究领域
蔡玉华
供职机构：中国航空综合技术研究所
研究主题：嵌入式软件 测试用例生成 测试用例集 测试数据生成 SYSML
发表作品相关人物供职机构所获资助研究领域
谢许扬
供职机构：中国航空综合技术研究所
研究主题：安全性 嵌入式软件 飞机 计算机技术
发表作品相关人物供职机构所获资助研究领域
王飞
供职机构：南京航空航天大学计算机科学与技术学院
研究主题：可追踪性 MAPREDUCE 基于数据流 数据流 嵌入式
发表作品相关人物供职机构所获资助研究领域
顾益
供职机构：南京航空航天大学
研究主题：SPIN SFMEA 失效模式 安全关键系统 航空发动机
发表作品相关人物供职机构所获资助研究领域
王栓奇
供职机构：北京航空航天大学可靠性与系统工程学院
研究主题：软件可靠性模型 分布参数 内部信息 密度函数 失效率
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共2页<12>
聚类工具0