您的位置： 专家智库 > >

王世海

作品数：86 被引量：10H指数：3
供职机构：北京航空航天大学更多>>
相关领域：自动化与计算机技术理学一般工业技术航空宇航科学技术更多>>

合作作者

文献类型

  • 81篇专利
  • 3篇期刊文章
  • 2篇会议论文

领域

  • 42篇自动化与计算...
  • 2篇航空宇航科学...
  • 2篇一般工业技术
  • 2篇文化科学
  • 2篇理学

主题

  • 11篇软件测试
  • 11篇AADL
  • 10篇软件故障
  • 10篇故障定位
  • 9篇关联规则
  • 8篇代码
  • 8篇关联规则算法
  • 7篇仿真
  • 6篇硬件
  • 6篇预测技术
  • 6篇测试用例
  • 5篇异构
  • 5篇软件测试技术
  • 5篇加权
  • 5篇安全性
  • 4篇断言
  • 4篇形式化
  • 4篇形式化验证
  • 4篇语句
  • 4篇置信度

机构

  • 86篇北京航空航天...
  • 1篇中国航空无线...

作者

  • 86篇王世海
  • 64篇刘斌
  • 15篇安东
  • 8篇刘宇
  • 6篇赵廷弟
  • 5篇余正伟
  • 5篇李泽林
  • 4篇姜博
  • 4篇崔灿
  • 3篇孙海龙
  • 3篇张明星
  • 3篇常亮
  • 3篇高小鹏
  • 2篇李成群
  • 2篇李超
  • 2篇肖鹏
  • 2篇李大庆
  • 2篇谢静
  • 2篇王飞龙
  • 1篇杨顺昆

传媒

  • 1篇系统工程与电...
  • 1篇测控技术
  • 1篇北京航空航天...

年份

  • 3篇2025
  • 10篇2024
  • 23篇2023
  • 18篇2022
  • 4篇2021
  • 6篇2020
  • 4篇2019
  • 6篇2018
  • 4篇2017
  • 6篇2016
  • 1篇2015
  • 1篇2013
共 86 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
机载防撞系统防撞软件测试场景在系统测试中的设计方法
本发明公开了机载防撞系统防撞软件测试场景在系统测试中的设计方法，步骤1获取防撞系统构成及运行方式，构建软件系统级测试环境；步骤2分解标准测试场景描述文件中的输入数据，提取有效信息；依据系统功能、内外部接口信息，将防撞软件...
路云峰刘斌陈国艳王世海余正伟
文献传递
一种基于复杂网络理论的SOA系统可靠性评价方法
一种基于复杂网络理论的SOA系统可靠性分析方法，它有四大步骤，属于复杂系统可靠性技术领域；其目的是针对SOA系统结构功能复杂，以及传统可靠性分析方法的实施存在困难甚至无法实施，提出一套可以有效分析SOA这一复杂系统可靠性...
李大庆王飞龙王世海刘斌
文献传递
一种基于遗传算法的IMA系统动态重构策略优化方法
本发明公开了一种基于遗传算法的IMA系统动态重构策略优化方法，属于综合电子系统设计领域。本发明使用遗传算法技术解决了IMA系统进行动态重构时配置方案状态空间爆炸问题，通过加入IMA系统可靠性、实时性和静态负载平衡分析方法...
王世海 周思远刘斌
文献传递
一种机载防撞系统防撞软件仿真测试方法
本发明公开了一种机载防撞系统防撞软件仿真测试方法；获取防撞软件的外部交联接口和内部交联接口，以及内外部接口分别对应的数据协议信息；基于外部交联接口以及其对应的数据协议信息，对外部交联设备进行仿真建模，获得仿真设备；基于内...
路云峰刘斌陈国艳王世海余正伟
一种黑盒图像目标对抗样本生成方法及系统
本发明涉及一种黑盒图像目标对抗样本生成方法及系统，属于深度学习技术领域，解决了现有对抗样本迁移攻击成功率低的问题。包括采集非目标攻击类别的图像构建为训练集；选择一个与目标模型功能相同的模型作为替代模型；构建对抗样本生成器...
王世海 施腾飞刘斌 武文韬刘宇
一种基于AADL的智能体与面向服务的体系结构建模方法
本发明公开了一种基于AADL的智能体与面向服务的体系结构建模方法，首先分析智能体与面向服务的体系结构的特性信息，确定智能体各状态下的特性信息和引起其行为变化的元素，以及确定面向服务体系结构的业务服务类型、配置情况和各项业...
安东王世海
结合缺陷预测和关联矩阵的面向任务的软件测试策略生成方法
本发明公开了一种结合缺陷预测和关联矩阵的面向任务的软件测试策略生成方法，包括：构建一个自顶向下的从任务层到功能层、功能层到操作层、操作层到单元层的纵向层次结构模型；构建每个纵向层次的层内横向映射关系，形成纵横一体化层次结...
崔灿刘斌王世海肖鹏
文献传递
一种基于形式化的FPGA软件安全性验证方法及验证平台
本发明公开了一种基于形式化的FPGA软件安全性验证方法及验证平台，属于可编程逻辑器件软件测试技术领域。其方法包括，获取FPGA软件通用安全性设计要求信息，根据FPGA软件通用设计要求信息生成SVA断言模板；提取拟验证的安...
路云峰贾杨王世海刘斌
基于扰动特征恢复的神经网络特定误分类修复方法
本发明涉及一种基于扰动特征恢复的神经网络特定误分类修复方法，属于误分类修复技术领域，解决了现有技术中特定类别区分能力不足、误分类修复的原模型分类准确率下降的问题。具体步骤包括：利用经原始图像数据集训练得到的神经网络模型对...
王世海李浩然刘斌
一种基于SMOTE+Boosting算法的软件缺陷倾向预测方法
本发明公开了一种基于SMOTE+Boosting算法的软件缺陷倾向预测方法，针对软件缺陷数据的非平衡性问题，首先使用SMOTE算法合成人工少数类样本，使之与多数类样本的数量达到平衡；然后根据原样本分布的密度信息计算人工少...
利广玲王世海刘斌
文献传递
全选 清除 导出
共9页<123456789>
聚类工具0