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

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

基于虚拟仪器的某自动测试仪的开发与设计

介绍了某自动检测仪的特点 ,并详细论述了其故障自动诊断专家系统的构成、功能及软硬件设计 .     

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

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

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

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

基于灰白化权函数的装备维修科研绩效评估

运用专家调查法建立了装备维修科研绩效评估的指标体系,依据层次分析法的原理确定了各指标的权重,借助于灰色系统评估法和模糊综合评估法对各科研单位的绩效进行了综合评定,确定了各科研单位的绩效水平.     

提高负重轮橡胶动态性能的研究

介绍了提高负重轮橡胶动态性能的研制情况,在传统的胎面胶配方基础上,通过试验确定主体生胶类型,通过调节补强填充体系和硫化体系的不同,研究混炼胶的物理性能和动态性能。结果表明,采用软、硬质炭黑并用的胎面胶,其力学性能可满足使用要求,定伸应力和抗疲劳性能有较大提高,动态生热明显降低,耐老化性能也有较大提高。     

防空武器系统的作战可用度

为了合理评价防空武器系统在复杂的天候条件和自然与人为干扰环境下的作战能力,引入了作战可用度概念,并详细介绍了它的度量方法。     

基于贝叶斯方法的退化失效型产品实时可靠性评估

通过传统可靠性方法得到的失效分布反映了相同受试环境下同一类产品的平均特征,并不能直接应用于系统实时定量可靠性分析。为此,针对有历史试验数据的退化失效型产品,依据局部更新的思想,利用贝叶斯方法最大可能地采用现场测试数据,并将之及时反映到实时可靠性模型中去。结果表明,随着融合现场数据的增多,产品的实时可靠性模型也逐渐全面反映出产品的个性特征。     

基于内外子区域划分的高阶精度CFD程序异构并行算法

对计算流体力学(CFD)程序CNS提出一种Offload模式下基于内外子区域划分的异构并行算法,结合结构化网格下有限差分计算和四阶龙格库塔方法的特点,引入ghost网格点区域,设计了一种ghost区域收缩计算策略,显著降低了异构计算资源之间的数据传输开销,负载均衡时CPU端的计算与MPI通信完全和加速器端的计算重叠,提高了异构协同并行性。推导了保证计算正确性的ghost区域的参数,分析了负载均衡的条件。在“CPU(Intel Haswell Xeon E5-2670 12 cores ×2)＋加速器(Xeon Phi 7120A ×2)”的服务器上测得该算法较直接将任务子块整体迁至加速器端计算的异构算法性能平均提升5.9倍,较MPI/OpenMP两级并行算法使用24个纯CPU核的性能,该算法使用单加速器时加速1.27倍,使用双加速器加速1.45倍。讨论和分析了性能瓶颈与存在的问题。     

疲劳裂纹闭合的非线性超声在线测量

建立了外部载荷作用下用非线性振动-声场调制指数表征裂纹尺寸的数学模型。根据对外载荷与塑性致闭应力共同作用下裂纹面的开闭响应的分析,提出了裂纹张开和闭合应力的在线测量方法。在一块含中心穿透裂纹的铝合金薄板试件上进行了裂纹闭合参数的测量实验,实验结果表明,使用振动-声场调制技术在线测量裂纹闭合参数是可行且有效的,且该方法还能用于分析小裂纹的特殊开闭行为。