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

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

导引头目标模拟器设计与实现

作为雷达导引头半实物仿真系统中的重要组成部分,导引头目标模拟器主要用于产生包含目标距离、速度、角度和功率等特征信息的回波信号,并能简单地模拟干扰信号.介绍了回波信号的特征原理,提出了导引头目标模拟器的设计实现方法,着重说明了采用数字频率综合器(DDS)和数字射频存储器(DRFM)方法模拟目标的速度和距离信息.该模拟器的实现可以方便地对目标信号进行模拟,同时也具有较高的模拟精度.     

无线传感器网络中数据流异常数据的联合估计算法

为保证无线传感器网络数据的完整性,针对数据流中存在异常数据的问题,提出了一种基于BP神经网络和多元线性回归的联合估计算法。首先,将存在异常数据的数据流作为样本输入,利用神经网络的非线性拟合能力对异常数据进行估计。然后,通过相邻的传感器节点数据建立多元线性回归模型,对异常数据进行估计。最后,根据两种算法在不同情况下的误差大小,调整它们各自在异常数据估计中的权重,计算出最接近真实值的估计值。以Berkeley Intel实验室的传感器数据为实验数据,通过Matlab软件对本文方法进行测试并分析仿真结果,实验结果表明文中提出的方法能对异常数据进行有效估计,并且具有较高的可靠性和稳定性。     

磨合预处理对有机钼添加剂摩擦学性能的影响

采用MMW-1万能摩擦磨损试验机,考察了磨合预处理工况(时间、载荷)对两种有机钼添加剂在CF-4 15W-40柴油机油中抗磨减摩性能的影响。采用扫描电子显微镜和能谱仪分析了磨斑表面形貌和表面元素组成。结果表明,适当的磨合预处理可有效增强有机钼添加剂在柴油机油中的抗磨减摩性能,且经过磨合预处理的磨斑表面形貌较没有处理时平整,添加剂主要功能元素在摩擦表面的质量分数增加。     

基于ePCANS模型的C2组织本体建模方法

指挥控制(C2)是战场的核心,现代C2组织既要能支持网络中心行动,还要能支持"计算战",因此建立C2组织的高层概念框架和一致的知识表达框架是C2组织研究的核心问题。对PCANS模型进行扩展,建立了C2组织高层概念模型——扩展PCANS(ePCANS),以ePCANS模型为基础,提出了C2组织本体的概念体系,并研究了C2组织本体建模方法。研究成果对C2组织的概念与应用研究具有重要的参考价值。     

水下传感器网络部署优化研究

水下传感器网络具有广阔的应用前景,但也存在能量有限、延迟较长、部署区域不连通和通信能耗大等问题,理论和实践证明传感器节点的优化部署是解决已上问题的有效方法。为此综合考虑水下传感器网络的工作环境及传感器特性,建立了提高网络可靠性的网络部署模型,给出了网络部署的成本函数及约束条件,并使用遗传算法对传感器节点和中转节点的部署成本及网络生命周期内的能量消耗进行优化。通过仿真实验表明,该模型收敛速度快,部署节点结果合理,达到了较好的优化网络的目的。     

多点源抗反辐射导弹方法综述

就有源诱饵对反辐射导弹进行诱偏及各种相关技术问题进行了系统阐述,包括多点源诱偏系统、雷达和诱饵之间的时间补偿、诱饵间距配置、诱偏系统参数的设置、天线重叠覆盖区域等问题,最后提出了一些尚待解决的问题.     

专用污水接纳船罐舱设计与模糊评判

首先产生一组包含最优解的罐舱设计方案 ,然后运用模糊评价方法 ,优选了罐舱设计方案     

基于随机加权法的BAYES精度评定

从工程应用的角度出发 ,在极小现场子样条件下 ,讨论了如何利用验前信息与现场子样来对导弹的命中精度进行评定 ,将随机加权法与BAYES方法结合起来 ,提出了基于随机加权法的BAYES精度评定方法 ,并通过算例证实了方法的正确性     

弹炮一体化防空系统的服务概率模型

弹炮一体化防空系统是未来高技术局部战争中应急机动部队的主要防空武器。首先给出了弹炮一体化防空系统服务概率的定义 ,然后通过研究这种防空武器对目标服务过程的特点 ,建立了服务概率计算模型 ,为评价这种防空武器的射击能力和系统效能 ,提供了必要的分析手段