软件质量保证技术研究综述

概述了软件可靠性研究的必要性 ,从软件开发过程管理、质量保证标准、测试技术、可靠性评估与预测以及形式化规范和验证等 5个方面给出了软件质量问题的解决办法 ,并对所研究的成果做了介绍 .最后指出了在统计测试、形式化方法方面有待进一步研究的问题     

像增强器三维噪声测试技术

以微光像增强器为实验研究对象,分析了微光像增强器的噪声来源,提出了微光像增强器噪声特性的三维测试分析技术,建立了同时考虑时间域和空间域噪声的微光像增强器噪声测试理论模型,并用三维曲线描绘出空间域和时间域噪声的分布情况。     

静电放电火花隙等效电阻测试方法研究

简要分析了现有静电放电模型的局限性和直接测试静电放电火花隙电阻值存在的问题。从能量消耗的观点出发 ,提出了通过测试电点火具静电感度 ,间接确定静电放电火花隙等效电阻的方法。利用F - 1和JD- 11电点火具 ,经实际测试确定了静电放电火花隙的等效电阻值变化范围为 3 2 9～ 3 90Ω。     

虚拟仪器的无人机舵机测试系统设计与实现

结合无人机舵机的测试需求,设计了一种基于虚拟仪器设计的无人机舵机测试系统,讨论了测试系统的软硬件设计及系统实现,分析了系统的优点,并阐述了系统设计过程中关注的几个问题。     

研制综合集成的检测试验设备推进通用装备保障转型建设

在分析我军通用装备保障现状的基础上,总结了在一体化联合作战条件下现有保障设备存在的不足。从一体化联合作战装备综合保障的需要、保障资源的优化配置及保障机构能力建设3个方面,阐述了发展综合集成的检测试验设备的必要性。从基于参数的设计思想、总线技术的发展及保障手段配套建设实践取得的经验等方面阐述了研制的可行性。最后提出了发展综合集成检测试验设备的3点建议。     

军用软件测试现状及对策

随着我军信息化建设深入发展,军用软件的规模和数量空前增长,军用软件的质量建设成为极端重要而紧迫的任务。软件测试是保证软件质量、提高软件可靠性的重要途径和必备手段,但当前无论是在软件测试的认识层面,还是对软件测试的管理和技术支撑等方面,仍然存在着许多问题,软件测试工作形势依然严峻,急需得到改进和加强。在深入分析军用软件测试现状、存在的问题和原因的基础上,综合设计体系结构,研究提出对策措施,为整体推进软件测试工作提供了可行的解决方案。     

坦克典型承载件疲劳载荷的虚拟测试与编谱技术

提出了一种通过虚拟试验建立坦克关键零部件疲劳载荷谱的方法,并以坦克平衡肘为研究对象,建立了某型坦克的刚柔混合动力学模型。在制定的任务剖面下,通过虚拟试验测得了平衡肘疲劳载荷数据。通过对疲劳载荷数据的雨流计数处理并运用数理统计的方法,建立了能够反映实际使用载荷工况的目标载荷谱,为坦克平衡肘的疲劳寿命估算和加速寿命试验提供了科学数据。     

电子装备随机存储器通用测试算法

随机存储器在电子装备中广泛使用,对其进行有效测试是电子装备自测试与生产功能测试的主要内容。以走一测试算法为基础,设计了数据线、地址线与存储单元测试方法,可以有效检测各种类型的RAM焊接质量与器件质量,对于提高故障定位精度和减少产品的测试时间起重要作用,特别是在电子装备的自测试、生产测试和维护测试中具有很好的应用前景。     

Approximation algorithms for sequential batch‐testing of series systems

We introduce and study a generalization of the classic sequential testing problem, asking to identify the correct state of a given series system that consists of independent stochastic components. In this setting, costly tests are required to examine the state of individual components, which are sequentially tested until the correct system state can be uniquely identified. The goal is to propose a policy that minimizes the expected testing cost, given a‐priori probabilistic information on the stochastic nature of each individual component. Unlike the classic setting, where variables are tested one after the other, we allow multiple tests to be conducted simultaneously, at the expense of incurring an additional set‐up cost. The main contribution of this article consists in showing that the batch testing problem can be approximated in polynomial time within factor , for any fixed . In addition, we explain how, in spite of its highly nonlinear objective function, the batch testing problem can be formulated as an approximate integer program of polynomial size, while blowing up its expected cost by a factor of at most . Finally, we conduct extensive computational experiments, to demonstrate the practical effectiveness of these algorithms as well as to evaluate their limitations. © 2016 Wiley Periodicals, Inc. Naval Research Logistics 63: 275–286, 2016     

连续波强激光武器动态毁伤概率的非毁检测法

给出一种强激光武器与目标存在相对运动时的毁伤概率(动态毁伤概率)在非致毁条件下的检测方法。该方法是在已知强激光对目标的致毁时间、一次发射时间的基础上,在武器的跟瞄子系统对目标无毁的跟踪试验中,通过检测跟踪误差在射击门内外交替出现的时间间隔,给出动态毁伤概率的点估计,以及在既定置信度下,动态毁伤概率的置信区间,同时还能判断所测毁伤概率是否处于最佳状态,为进一步优化动态毁伤概率提供依据。