基于VXI总线的通用自动测试系统

主要介绍基于VXIbus仪器的雷达通用自动测试系统的基本结构,分析了该系统硬件及软件的主要技术特点。结合某型高炮情报指挥系统测试诊断软件的开发,阐述了该系统采用的多种信号检测手段和故障诊断技术。     

火箭发动机可靠性增长评估的Bayes方法

针对火箭发动机分阶段试验,每阶段试验后对发动机出现的故障分析、归零的情况,提出等效试验数据的概念,结合Bayes方法对系统的可靠性增长试验进行评估,并在此基础上给出可靠度的增长分析,最后给出实例进行说明。     

火箭发动机控制活门动态特性模拟与测试

根据电动活门的工作原理和采样定律，通过活门等效器ＤＸＱ－１的设计，介绍了火箭发动机控制活门动态特性模拟与测试，分析了电路参数选取和设计的基本依据，并给出了有关的理论分析结果。     

边界扫描测试的数学描述模型

IEEE1149.1边界扫描机制是一种新型的VLSI电路测试及可测试性设计的有效方法,为了高效地应用边界扫描机制对电路系统进行测试,必须对其所涉及的理论方法进行深入探讨。本文应用布尔矩阵理论建立起边界扫描测试的数学描述模型,并基于所建立的模型导出了边界扫描测试中的故障检测条件和故障隔离条件。为边界扫描测试生成算法的深入研究奠定了理论基础。     

线性调频基带数字产生的关键技术研究

介绍超宽带线性调频信号基带的数字产生方法及其实现技术。首先对线性调频信号的两种主要数字产生方法进行了简要阐述和比较，然后根据波形存储直读法提出了一种超宽带线性调频信号产生方案，分析了基带数字产生的主要关键技术，并进行了系统实现和测试。测试结果表明本文所提出的方法是可行的。     

改进ADC方法及其在武器装备系统效能评估中的应用

在分析武器装备系统效能特点的基础上,针对装备定型试验的应用需求,提出一种改进可用性-可信性-能力法,以解决传统方法在系统状态划分上无法准确全面描述武器装备实际可用性的问题。提出增加中间状态的策略,对效能综合计算模式、状态描述与计算方法、状态转移计算方法和能力计算方法做整体改进,在此基础上开发了支撑软件SEEK。并以某型主战坦克系统效能评估为例,验证了该方法的可行性和有效性。     

火控系统BIT设计与实现

采用层级BIT设计架构,建立了系统级和模块级BIT系统设计模型。设计了PBIT、CBIT、IBIT测试项探测函数、恢复函数等节点属性的统一数据结构。引入故障树理论设计了PBIT、CBIT、IBIT通用自动遍历故障树测试算法,可以实现多种火控系统的"自下而上"的节点测试和"自上而下"的故障诊断。在某火控系统预研项目的应用表明,本BIT系统的设计方案合理可行,易于维护,可显著提高通用火控系统的测试性和可靠性。     

基于SPRT的组合导航故障检测与隔离互辅算法

针对SPRT(序贯概率比检验)算法无法准确判断缓变故障结束时间的问题,提出了一种故障检测与隔离互辅算法。采用SPRT算法对滤波残差进行故障检测,确认故障后隔离故障观测量,重新建立卡尔曼滤波观测方程并完成量测更新,将隔离后的滤波结果作为下一时刻的滤波初值辅助故障检测。仿真结果表明,该方法能准确定位故障观测量并判断出故障的结束时间,提高了系统可靠性。     

符号执行火控系统诸元解算程序测试用例生成技术

火控系统作为各种武器装备的中枢和大脑,控制着武器系统的运转,其有效性直接关系着射击的成败甚至武器系统的综合效能。诸元解算程序是将各种输入条件依据弹道模型经过多次迭代转换为射击诸元,由于其复杂性,当前软件测试用例只是在几个关键点上进行校验,很难覆盖程序所有分支和路径,存在着测试不充分。针对这个问题,提出了一种基于符号执行的用例自动生成技术,结合解弹道方程组约束条件和程序分支控制变量使用符号执行框架内能够得到覆盖所有可能的执行路径,从而保证测试的充分性。     

基于反射内存网的复合导引头联合仿真试验设计

联合仿真试验同时具备实装试验、数学仿真试验和半实物仿真试验的优点,可构建全面逼真的试验环境,其中实时算法和通信技术是关键技术。基于反射内存网技术,进行了复合导引头联合仿真试验总体方案设计,对试验中的时间同步、数据同步等关键问题进行了研究,解决了联合仿真试验中各仿真系统协同及实时通信问题,对联合仿真试验的开展有一定的应用价值。