软件可测性评估

介绍了现有的软件可测性评估方法,继而提出了基于程序结构的软件可测性评估方法,该方法充分考虑了软件的失效机理,针对测试对象的不同特点,给出了面向控制流的软件故障执行的概率、数据状态感染的概率及以变量的定值-引用为基础的被感染数据状态传播到输出的概率等估计方案,在此基础上,进行了软件可测性的评估.     

Equilibrium customer strategies and social–profit maximization in the single‐server constant retrial queue

We consider the single‐server constant retrial queue with a Poisson arrival process and exponential service and retrial times. This system has not waiting space, so the customers that find the server busy are forced to abandon the system, but they can leave their contact details. Hence, after a service completion, the server seeks for a customer among those that have unsuccessfully applied for service but left their contact details, at a constant retrial rate. We assume that the arriving customers that find the server busy decide whether to leave their contact details or to balk based on a natural reward‐cost structure, which incorporates their desire for service as well as their unwillingness to wait. We examine the customers' behavior, and we identify the Nash equilibrium joining strategies. We also study the corresponding social and profit maximization problems. We consider separately the observable case where the customers get informed about the number of customers waiting for service and the unobservable case where they do not receive this information. Several extensions of the model are also discussed. © 2011 Wiley Periodicals, Inc. Naval Research Logistics, 2011     

基于Dempster-Shafer证据理论的特征融合在军用电子设备模块化故障诊断过程中的应用

军用电子设备的维修是以更换电子集成模块为主,根据这一特点,通过分析处理电子设备的故障特征信息,把一种基于D-S证据理论的算法应用于故障特征信息的融合,从而实现故障电子模块的定位.结合实例,论证了这一方法在军用电子设备模块化故障诊断中的可行性.     

机械失效分析、预测和预防的基本方法及应用

本文对机械失效分析、预测和预防的基本内容、方法以及在舰艇动力装置中的若干应用,进行了较为全面的论述,以期促进这门工程技术在海军装备管理和维修中的应用。     

故障传播有向图在地面电源故障诊断的应用

基于图论的故障诊断方法能够有效地缩小故障源的搜索范围,在最短的时间内找到真正产生故障的部件。采用故障传播有向图的方法对某飞行器地面电源故障诊断算法进行了研究,针对该飞行器地面电源的物理结构及相关的电气特性得到其故障传播有向图,并经过一些运算后将有向图进行了分层重构,最后利用故障定位算法模拟了故障定位的过程,得到了很好的效果。     

一种改进的SIR粒子滤波方法

SIR粒子滤波算法在重采样无法进行时可能失效,详细分析了算法失效的原因,并针对此问题提出了基于PSO的改进方法,该方法利用PSO的智能寻优机制引导重要性抽样的粒子移向高似然区,从而确保重采样过程的顺利进行。仿真试验表明,提出的改进方法可以有效解决SIR算法因重采样无法进行而导致的失效问题。     

油库压缩机组温度变送器法兰根部泄漏失效分析

为了解决基地油库压缩机组温度变送器法兰根部焊缝泄漏问题,采用照相、无损检测、化学成分分析、金相分析、显微硬度分析、扫描电镜观察与能谱分析等方法,对失效法兰进行失效分析。研究结果表明,法兰焊缝根部泄漏系焊缝未焊透和存在夹杂物所致,并因外应力作用而在熔合区马氏体区域沿晶扩展,导致角焊缝最终脆性断裂。结合现场实际情况,提出防止发生类似事故的建议。     

基于Wigner-Ville分布及局部奇异值分解的磁记忆信号特征提取与识别

针对磁记忆检测中缺陷信号持续时间短且频率范围小的特点,为提取磁记忆信号的有效特征,根据矩阵奇异值的特点,提出一种基于Wigner-Ville分布及局部奇异值分解的磁记忆信号特征提取方法．通过将时频分布矩阵从时间轴和频率轴分别划分为不同局部矩阵,提取出各矩阵的奇异值来构造特征向量．然后,将构造的特征向量作为支持向量机的输入向量对不同检测区域的金属磁记忆信号进行识别．实验结果表明：基于Wigner—Ville分布及局部奇异值分解算法构造的特征向量能有效提取磁记忆信号的特征信息,提高支持向量机的识别精度．     

火炮反后坐装置故障机理研究

反后坐装置是火炮的"心脏",性能好坏直接关系到其战斗力的发挥。节制环磨损及复进机漏液是反后坐装置最常见的故障。分析了节制环磨损和复进机漏液的故障机理,给出了磨损量以及漏液量计算模型。在此基础上,结合火炮后坐、复进反面问题计算程序,模拟计算火炮在节制环磨损和复进机漏液情况下的运动诸元。进而预测在其它射击条件正常情况下,火炮平均无故障射弹发数。     

Life in the “Gray Zone”: observations for contemporary strategists

The term “Gray Zone” is gaining in popularity as a way of describing contemporary security challenges. This article describes the “short-of-war” strategies – the fait accompli, proxy warfare, and the exploitation of ambiguous deterrence situations, i.e. “salami tactics” – that are captured by the term and offers several explanations for why state and non-state actors are drawn to these strategies. The analysis highlights why defense postures based on deterrence are especially vulnerable to the short-of-war strategies that populate the “Gray Zone.” The article concludes by suggesting how defense officials might adapt defense policies to life in the “Gray Zone.”