软件可靠性测试方法探析

软件可靠性测试是有效评估软件可靠性水平,验证软件产品是否达到软件可靠性要求的重要途径。本文介绍了软件可靠性测试的基本方法以及对黑盒测试、白盒测试和灰盒测试优缺点进行比较,并对蒙特卡罗、马尔科夫等主要理论模型进行分类阐述。     

精确制导弹药的作战效能分析

现代战争中,精确制导武器发挥着越来越重要的作用,已引起世界各国的高度重视。利用精确制导武器对敌方的高价值要害目标进行"点穴式"打击是现代军事强国一个惯用的攻击手段。分析了精确制导弹药的特点,研究和探讨了精确制导弹药对目标的压制和摧毁效能。分析结果对提高指挥员的指挥决策质量和效率,实施和应对未来战场上空袭中的"点穴式"打击具有积极的意义。     

应用柯洛波夫数论网格计算发射n发至少命中m发概率的研究

本文应用了柯洛波夫数论网格方法,较好地解决了三级误差条件下高精度计算命中概率指标 P_(Lm)的问题。本文还详细给出了计算 P_(Lm)的方法、步骤和实例。     

液相色谱-质谱法测定2-氯乙烯胂酸

研究了用液相色谱-质谱两种电离技术测定路易氏剂1的降解产物2-氯乙烯胂酸,比较了在不同流动相中该化合物的响应情况,并且利用源内CID技术获得了丰富质谱碎片,对所鉴定的碎片进行了解释,用选择离子检测得到该化合物的检测限在APCI电离技术中为9ng,在ESI电离技术中为4ng．     

层次分析法在选择导弹发射阵地中的应用

探讨了最优发射阵地的选择问题 ,运用层次分析法建立了评估指标的计算模型。实例计算结果表明 ,层次分析方法能够较好地解决发射阵地选择问题。     

刍议火场移动消烟技术

在火灾扑救过程中,快速有效地消除火场烟气,对成功灭火和保证人民的生命财产安全至关重要。火场消烟是火场排烟技术中一项特殊的方法。介绍火场消烟技术的机理和作用,对比分析了水雾消烟和化学消烟的技术及方法,并通过实例探讨水雾消烟的优势,给出选择消排烟方式应注意的问题,对科学高效灭火救援具有一定的借鉴意义。     

导弹命中精度的序贯截尾概率圆检验方法

针对圆概率偏差检验难以直接计算的问题,提出序贯截尾概率圆检验方法,以目标点为中心,绘制两个同心圆,其中小圆以内区域为接受域,大圆以外区域为拒绝域,中间区域为继续试验域,在此基础上定义了序贯检验的基本决策规则,给出了双方风险及平均试验次数计算模型,提出了两种不同的决策阈值优化计算模型,通过求解优化问题确定接受域及拒绝域半径。利用数值仿真分析了两种不同决策阈值计算方法下检验方案中的各类参数,其中以平均试验次数最小为优化目标的计算模型具有更好的工程实用性。     

神经计算机并行模拟结构

神经网络实现技术是神经网络研究的一个极重要的领域。本文首先分析了神经网络模拟对并行计算机系统的要求,认为影响神经网络计算机速度和容量提高的主要因素是单个处理单元的速度、单个处理单元的局部存储器的容量以及互连网络的通信带宽。要提高模拟神经计算机的速度和容量,就要有相应的并行结构来支持。在定量的需求分析的基础上,本文还提出了一种模拟神经计算机的并行结构。     

地面防空作战模型库管理系统UML建模研究

为实现防空作战过程中决策的科学化,以UML(统一建模语言)为工具,结合面向对象理论,对地面防空作战决策支持系统关键部分模型库管理系统进行了分析设计,具体从系统功能、系统静态结构以及系统动态行为三方面进行了建模研究,从而不仅提高了防空作战模型的可扩充性与可重用性,而且提升了管理系统开发的效率.     

语言型EWAA算子的目标战场价值评估

从发现的多个目标中确定打击顺序,取决于各目标的战场价值.通过定义模糊语言形式的评估标度及其运算,采用语言型EWAA算子对模糊语言偏好信息进行了集结,从而对目标战场价值进行评估,符合战场环境的复杂性和人们思维的模糊性,使指挥决策更加快速、准确.实例证明模型有效,计算简单.