某型空空导弹控制舱检测设备设计

对某型空空导弹控制舱检测设备进行了总体设计。采用8031单片机,提出各类参数的检测方案,并对系统采取了抗干扰措施。     

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

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

决策系统的信息机理

本文从信息与决策的角度,分析了决策系统信息特性的几个侧面,为研究信息对决策系统的作用机理做了一些基础性的定量工作。     

对称集及其在无线电信号频率设计中的应用

本文在完成对称集理论研究基础上,提出了运用对称集理论来解决无线电信号频率间相互干扰的新方法,从而可编制出简明实用的“不干扰表”,达到在狭小地域(航空毋舰)内有多路无线电信号频率(段)的正确选择。     

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

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

适定的跨音速翼型反设计方法研究

从不可压流反问题的Lightll准确解中可知,翼面压强分布和自由来流速度两者不能同时独立地给定。这意味着对于给定的压强分布存在着一个约束条件,否则,反设计问题就是不适定的。对于可压缩流动,同样应该存在类似的约束条件。本文在这方面做了初步探索,给出了一种满足这种约束条件的跨音速翼型反设计方法。在此方法中,目标压强分布包含一个自由参数,在计算中可调整此参数使压强分布满足本文推导出的正则化条件。     

未修正单炮基线的误差及其对射击效率的影响

如果高炮系统的指挥仪没有修正炮阵地中心至各炮的基线,则会产生射击误差。本文分析了由此而产生的射击误差的特性,计算方法及其对高炮系统射击效率的影响。     

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

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

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

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

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

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