李海峰
- 作品数：38 被引量：78H指数：6
- 供职机构：北京航空航天大学更多>>
- 发文基金：中国人民解放军总装备部预研基金国防科技工业技术基础科研项目国家部委预研基金更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术理学自然科学总论更多>>
- 基于系统理论事故模型的雷达系统软件缺陷预测应用研究被引量：9
- 2020年
- 雷达等电子装备中软件发挥的作用逐渐增强,软件质量成为影响雷达质量和效能的关键因素,分析预测雷达系统软件潜在缺陷的趋势,对雷达系统软件质量控制与保障具有重要意义。为有效刻画雷达系统软件缺陷机理,文中提出基于系统理论事故模型(STAMP)的雷达系统软件缺陷预测方法。首先,基于STAMP与历史缺陷数据,构建雷达系统软件控制过程模型;然后,构建贝叶斯网络,对历史缺陷数据进行训练学习,获取雷达系统软件缺陷预测规则;最后,在雷达系统软件上开展工程应用,进行缺陷预测,并对预测结果进行分析,验证新方法的有效性和实用性。
- 柳溪刘嘉刘畅李海峰刘宇汪圣利
- 关键词：软件测试雷达贝叶斯网络
- 软件可靠性测试的理论分析被引量：7
- 2008年
- 目前软件可靠性测试没有真正开展起来,即使重要的军用软件也没有进行软件可靠性测试。软件可靠性模型的不一致性以及软件可靠性测试时间长、费用高、资源消耗大是造成这种局面的两个主要问题。而这两个问题很大程度是由传统基于随机系统假设的软件可靠性理论导致的。因此,在该理论下对可靠性测试方法及可靠性模型的修补与改善工作很难从根本上解决问题。只有从软件可靠性理论本身入手,提出新的研究思路,才有可能摆脱目前软件可靠性测试的困境。首先介绍了软件可靠性测试的现状,然后重点对现有可靠性理论进行了分析和总结,在此基础上,提出了软件可靠性测试研究的一些新思路。
- 刘志方钟德明曾福萍李海峰
- 关键词：软件可靠性测试
- 基于S型测试工作量函数的软件可靠性增长模型被引量：11
- 2011年
- 软件测试工作量随时间的变化情况对于软件可靠性增长曲线的形状具有显著影响,因此将测试工作量函数(TEF,Testing Effort Function)引入软件可靠性增长模型(SRGM,Software Reliability Growth Model)中以提高软件可靠性评估性能.分析了软件结构特征及学习因素对实际测试过程的综合影响,研究增长速率为先增后减的S型增长趋势的TEF,提出两种S型TEF,即延迟S型TEF与变形S型TEF,并提出考虑延迟S型TEF的SRGM(DSTEF-SRGM)以及变形S型TEF的SRGM(ISTEF-SRGM).在两组真实失效数据集上,进行了这两种SRGM与经典SRGM及其它考虑TEF的SRGM的对比研究.结果表明,ISTEF-SRGM的模型拟合效果最优,同时验证了该模型具有优越的软件可靠性评估性能及模型适应性.
- 李秋英李海峰陆民燕王学成
- 关键词：可靠性分析
- 基于环境因素的软件可靠性定性评价技术研究
- 系统80％的功能是通过软件实现的,软件可靠性水平的高低对于大飞机整体的可靠性水平的高低起着至关重要的决定作用,因此以软件可靠性为中心的软件可靠性设计、分析、度量、测试和管理等软件可靠性工程技术成为大飞机研制成功的关键技术...
- 李秋英李海峰陆民燕
- 关键词：环境因素可靠性
- 文献传递
- 一种基于深度强化学习的无人机自主导航及避障方法
- 本发明提供一种基于深度强化学习的无人机自主导航及避障方法，涉及无人机自主导航领域，所述方法以无人机的观测为输入，在Actor网络中，提取时序特征，增强无人机对周围环境的感知；将无人机当前时刻的观测向量输入到决策偏移方法模...
- 殷永峰王哲涛宿庆冉杨溢龙原仓周李海峰
- 带减函数的连续型软件可靠性验证方案被引量：6
- 2012年
- 针对连续型安全关键软件可靠性验证测试(SRDT)所需测试时间较长的问题,在现有的基于贝叶斯理论的SRDT方案的基础上,提出结合先验信息的基于减函数法的连续型软件可靠性验证测试方案(CBSDF):首先选取连续型软件可靠性参数(如失效率)的典型减函数作为失效率的先验分布密度函数(先验分布);然后根据增长测试阶段后期的失效时间数据(先验信息)计算出先验分布超参数的估计值,进而给出相应的后验分布密度函数,在此基础上得到CBSDF的具体形式;最后,将两组真实失效数据集作为先验信息的来源,将CBSDF与已有的无先验信息(CBS1)与有先验信息(CBS2)的贝叶斯验证方案进行实例对比研究,计算结果表明:在SRDT方案参数相同时,相对于CBS1与CBS2,本论文提出的CBSDF可以更为显著地降低所需的验证测试时间,且更适用于高可靠的安全关键连续型软件。
- 王学成陆民燕李海峰杨日盛
- 关键词：安全关键软件贝叶斯方法
- 基于灰色系统理论的软件可靠性综合评价框架被引量：11
- 2008年
- 从系统工程的角度出发,提出一套完整的基于灰色系统理论的软件可靠性综合评价框架.首先,在ISO/IEC 9126软件质量模型的基础上,建立起软件可靠性综合评价体系,并利用灰关联分析方法计算每个度量元与软件可靠性之间的相关程度,由此确定度量元在评价体系中的权重值.在此基础上,提出基于灰色聚类的软件可靠性综合评价方法.初步的实验结果表明,基于灰色系统理论的软件可靠性综合评价框架具有方便实用、全寿命周期评价、数据来源广泛、且可准确反映当前软件可靠性指标水平等优点,适合于软件可靠性工程决策活动.
- 李海峰陆民燕王智新李震
- 关键词：软件工程综合评价
- 基于环境因素的软件可靠性定性评价技术研究
- 系统80％的功能是通过软件实现的,软件可靠性水平的高低对于大飞机整体的可靠性水平的高低起着至关重要的决定作用,因此以软件可靠性为中心的软件可靠性设计、分析、度量、测试和管理等软件可靠性工程技术成为大飞机研制成功的关键技术...
- 李秋英李海峰陆民燕
- 关键词：环境因素飞机
- 文献传递
- 一种新的J-M模型参数区间估计工程算法被引量：1
- 2008年
- 将Bayes统计方法应用于J-M模型参数的区间估计研究.首先给出J-M模型参数的基于杰弗莱原则的先验分布,在此基础上给出模型参数的Bayes后验分布密度,由此得出模型参数的Bayes点估计.然后,在点估计基础上,给出模型参数的Bayes区间估计方法.最后,分别将J-M模型参数的最大似然、最小二乘以及Bayes区间估计法应用于多组公开的失效数据集,求解模型参数的区间估计值.计算结果表明,Bayes区间估计算法的计算精度、适用性以及稳定性是三者当中最好的.
- 李海峰陆民燕李秋英
- 关键词：BAYES方法参数估计软件可靠性模型
- 基于E语言的故障建模方法研究被引量：1
- 2010年
- 为适应故障注入的自动化和实时性要求,针对试验人员需在试验开始前给出故障信息和编写试验方案,提出产品故障、元故障和故障模型概念,提取产品故障和元故障特征。在此基础上,采用IEEEStd1647TM-2006的"E"功能验证语言,描述故障特征、构建故障模型,并给出故障模式的描述方式。最后以某电子飞行显示系统为应用案例,案例表明,故障模型及其描述方法可有效地提高故障注入的自动化和实时性水平。
- 黄抚群刘斌徐萍李海峰
- 关键词：故障特征E语言
