安全关键软件安全性评估方法

软件安全性评估的目的是评价软件是否达到系统所要求的安全性,对于保证和确认软件的安全性具有非常重要的意义.阐述了安全性评估方法的发展历程及优缺点,分析了推动安全性评估方法发展的原因.总结了各类安全性评估方法的所需数据、安全性参数、评估对象及适用阶段,剖析了安全性评估方法目前存在的问题.在此基础上,对未来的安全性评估方法的研究重点提出了两点建议,供其他研究人员参考,期望能推动软件安全性评估研究领域的深入开展.     

基于现象的机载电子对抗能力评估

为了评估机载电子对抗能力,采用层次分析法建立数学模型,以实际试飞数据为基础,结合专家打分,利用MATLAB软件进行分析计算,对4种型号飞机的电子对抗能力进行了评估,并对评估结果做了详细分析。     

基于Bayes理论的复杂装备测试性评估方法

针对当前测试性评估方法中,经典评估方法无法利用历史测试性试验信息,在小样本量下,评估结论置信度低、风险大的问题,提出了一种基于Bayes理论的测试性评估模型。首先,在传统Bayes评估方法的基础上,建立了综合利用历史试验信息和现场试验数据的测试性Bayes评估模型;该模型引入了混合Beta验前分布,利用系统折合方法将装备单元或分系统的试验信息转化成系统等效历史试验信息,并通过卡方拟合优度来确定继承因子。最后进行了实例应用研究,结果表明,该模型能够在较短的试验周期内,给出较高置信度的测试性评估结论,比经典评估方法更合理。     

效用函数的装备保障效能分析与评估

论述了装备保障效能及其评估的内涵,分析了效用函数的概念和构成方法,以ARINC系统效能模型为基础,结合我军装备保障工作的特点,系统地研究了影响装备保障效能的指标,建立了科学合理的装备保障效能指标体系,应用效用函数分析了每个效能评估指标,建立出装备保障效能评估的数学模型,并应用具体实例对其进行了论证。     

Vague物元及熵权的空袭目标威胁评估

为了应对防空反导作战需求,提出了一种基于Vague物元及熵权的空袭目标威胁评估方法。建立了空袭目标威胁评估复合Vague物元的概念,提出了一种新的将复合Vague物元转化为适合度物元的排序函数,使复合Vague物元便于量化处理,并运用熵权法客观地计算出了各空袭目标属性的权重,根据空袭目标威胁评估物元与正负理想物元的相对贴近度最终得到了目标威胁程度的排序。实例分析验证了该方法的实用性和有效性。     

投掷式通信干扰机的战斗任务级效能评估模型

针对投掷式通信干扰机战斗任务级效能评估不足的问题,在分析其典型作战任务的基础上,提出了战斗任务级效能指标——压制概率,依据对空域、频域、时域的覆盖要求,建立了压制概率的评估数学模型,进行了典型作战任务下压制概率的实例分析,分析结果表明:该指标及模型能比较准确地反应通信发射机与任务区域的相对位置、干扰机排布样式、干扰机数量等因素对投掷式通信干扰机战斗任务级效能的影响.     

装备使用阶段安全风险评估

面对武器装备快速发展和部队训练转型快速推进,装备使用安全形势日趋严峻的情况,分析了装备使用阶段存在的各种安全风险因素,构建了装备使用阶段安全风险评估指标体系,采用模糊层次分析法计算了各指标的权重,应用模糊综合评判法实现了装备使用阶段安全风险综合评估,并通过装甲装备实例验证了方法的合理性和有效性。该方法能够提高风险评估准确性,可为风险量化和有针对性地开展装备安全管理提供有益参考。     

现役武器装备改造评估模型

针对现役装备改造过程中存在的缺乏系统性和缺少评估的问题,在深入分析装备改造过程的基础上,建立了现役装备改造效果指标和评分表格,提出了改造效果的评估流程,通过将该方法应用于我军现役装备改造评估,证明了该方法的可行性．     

基于VFT和BN组合方法的空间对地观测系统效能评估

空间对地观测系统效能评估常采用底层指标加权聚合的方法,受主观因素影响较大,而且无法反映不同层次指标之间的因果关系,不利于后续的方案优化工作。为解决这一问题,提出一种基于VFT和BN组合的评估方法,建立了基于VFT和BN的效能评估流程和空间对地观测系统效能指标体系,以及时性效能指标为例,说明了该系统顶层效能贝叶斯网络的设计及其计算过程,提出了基于VFT和BN方法的效能指标计算步骤,并辅以案例验证该方法。     

基于作战势能比值的态势评估方法

作战态势评估是作战指挥的关键问题之一。引入势、作战势能及势比的概念,在数理战术学规范交战模式的基础上,综合考虑体系作战中实际战场情况对基本毁伤力和各种交战关系的影响,提出一种体系对抗背景下态势评估的新方法。