您的位置： 专家智库 > >

王世海

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

合作作者

文献类型

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

领域

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

主题

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

机构

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

作者

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

传媒

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

年份

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