基于全局时态逻辑(GTL)的验证和测试生成研究

基于时态逻辑,定义了标准的逻辑操作公式、公理和扩展定理。根据测试生成和验证所要求的初始特性,提出了全局时态逻辑（Global Temporal Logic）GTL,避免了验证和测试中的回溯问题,从而提高验证和测试的效率。另外根据电路节点的扇入和扇出特性,介绍了利用时序线等启发知识来提高搜索策略的方法。     

红外成像导引头抗干扰性能评估方法

给出了一种对地面复杂干扰环境的红外成像导引头抗干扰性能评估方法,分析了红外成像导引头所面临的干扰因素,结合实际战场情况对干扰环境的等级进行了划分,并详细设计了红外成像导引头抗干扰性能仿真测试方案。采用半实物仿真方法得到红外成像导引头在不同干扰环境下的实验数据,运用bayes估计的方法建立红外成像导引头抗干扰概率计算模型。结合某实物红外成像导引头开展抗干扰性能半实物仿真测试,实验结果验证了该方法的合理性和有效性。     

C~4ISR系统仿真测试研究

针对一种C4ISR系统在测试时的特点,提出了模拟仿真测试的方案,建立了仿真装备与指挥系统的交互模型,设计了交互对象的自动匹配算法,并在实际系统的仿真测试中得到应用和验证。     

捷联惯组测试性能分析评估技术研究

捷联惯组测试性能分析评估以捷联惯组加速度计位置标定静态误差模型为基础,建立了捷联惯组安装误差模型,分析位置标定原始数据,从而分离惯组与转台之间的安装误差,以评估捷联惯组的测试性能,确保捷联惯组的测试精度及测试结果的可信度.该技术作为"惯组性能分析评估系统"的重要组成部分得到了验证和应用.     

导弹动态测试技术及应用

动态测试技术在设备故障诊断中起着重要的作用.介绍了动态测试技术的特点、优势,详细论述了动态测试方法、测试平台和技术实现.实践表明,动态测试对于准确判定各种通常静态检测难以发现的瞬态故障或过渡过程异常等质量问题,提高质量检测的置信度具有重要的意义.     

装备可测性设计与评估技术综述

可测性设计对于提高装备的测试水平、缩短故障检测和隔离时间,进而降低使用保障费用具有重要的意义。论文综述了装备可测性技术的国内外发展现状,阐述了可测性的技术体系,对其关键技术进行了分析研究,提出了目前亟待解决的关键问题和难点问题,并对进一步的研究发展给出了建议。