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

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

火控系统输出误差分离方法

本文提出的火控系统输出误差的分离法,为利用动态飞行试验数据评价火控系统及其火控系统子系统的性能提供了一种方法。     

关于烟雾对光电成像装备的干扰效果试验及其试验靶标

主题是如何通过外场试验定量评价烟雾对光电成像装备的干扰效果。提出一种综合靶标,可用于这种外场试验,也可考察光电成像装备抗烟雾干扰的能力。它适用于普通观瞄器材、照相侦察和摄像装备、微光夜视设备、热成像系统等。     

对数正态分布加速因子的Bayes估计

基于对数正态分布形式以及分布对数标准差不变的条件,运用Bayes方法对对数正态分布加速寿命试验条件下的加速因子进行分析。首先基于全寿命试验数据和随机变量函数分布的理论推导出加速因子的先验分布;然后由Bayes公式结合少量的现场截尾试验数据,得出加速因子的Bayes估计模型;最后给出实例进行说明。     

谱分析方法在仿真结果分析中的运用

文中给出了谱估计的分析，并将它直接应用于仿真系统输出量的特性分析。对于仿真的可信性问题，讨论了相容性检验方法，特别是小子样现场试验下，仿真与现场试验之间的一致性问题。     

平流层飞艇气动特性相似缩比分析与风洞试验

阐述了平流层飞艇气动特性天地相似缩比分析设计方法,给出了刚体模型与柔性体模型完成风洞试验需满足的相似准则数,并指导完成两类缩比模型研制及风洞试验。通过对两类缩比模型风洞试验数据的分析,发现平流层飞艇不同充气内压下气动特性规律基本一致,但较刚体模型有明显的差异;柔性特征下的气动阻力系数明显高于刚体,在零攻角状态下甚至高出一倍,引发滚转气动力矩特性出现稳定与发散的本质变化。这对平流层飞艇特别是低压保形下的柔性气动特性评估,克服现有采用刚体气动特性数据或工程估算方法进行“动阻平衡”飞艇总体设计存在较大偏差的弊端,具有重要工程应用价值。     

潜艇上浮运动数值计算方法的研究与验证

预报潜艇上浮运动是探索研究潜艇上浮运动控制规律以及潜艇安全上浮的前提。就潜艇上浮运动的数值计算方法和计算流程进行了详细介绍,对数值计算方法中的湍流模型及离散格式等进行了优选。基于模型上浮试验结果,对数值计算的不确定度进行了分析且对数值计算结果进行了验证。证明了该数值计算的可靠性,并发现数值计算结果与试验结果很接近,验证了该数值计算方法的可行性,说明该数值计算方法和试验可为潜艇上浮运动的研究提供参考和借鉴。     

关于雷达角跟踪性能测试方法的探讨

基于雷达跟踪目标最大角速度和角加速度的定义,分析了用雷达跟踪目标最大角速度和角加速度表征雷达跟踪性能的可行性,并对角误差信号的模拟方法进行了讨论。介绍了一个可以测试幅频特性、暂态特性、雷达跟踪目标最大角速度和角加速度的测试系统设计思想。     

软件随机黑盒测试的快速覆盖技术

本文提出了求多个测试序列极大距离的算法,该算法对数字电路的测试和软件测试技术是通用的。理论上看,该方法可以弥补随机测试和伪随机测试的缺陷。     

一种空气加热器的三维流场数值仿真

为进行超燃冲压发动机试验,设计了空气加热器,对其内部流场进行了仿真并与热试车结果进行了比较验证;计算结果表明,所设计的加热器在结构方案和总体性能方面基本满足设计要求,喷注器喷入的空气降低了冷却面板的温度,燃烧室轴向入口空气能有效保护燃烧室内壁,仿真结果对于加热器的改进设计也起到一定的指导作用.