57—2航箭超前问题分析

分析了某型外贸机空对地发射５７－２航箭射导弹着点超前的基本原因,并从工程实践出发,提出了解决超前问题的新思路。其基本设想是在武器瞄准方程计算火箭弹道的初始条件中加入一个火箭爬升角增量和火箭虚拟速度增量,使计算弹道逼近实际弹道,避免了重新修正火箭阻力函数,重新计算弹道及弹道拟合的周期长、费用高的常规办法。进而在此基础上修改了平显软件。经验证试飞,获得满意结果。     

飞航导弹火控系统动态精度试验数据处理方法

飞航导弹火控系统动态精度试验后获得的导弹射击诸元误差序列一般为非平稳的随机过程,根据此误差特性,提出了动态测量数据的异常值数据处理方法,建立射击诸元误差序列、将误差序列分解为慢变化信号和高频噪声信号,最后给出火控系统射击诸元参数的最大误差统计估值方法     

拉压异性材料楔体的极限载荷分析

利用莫尔屈服准则,对一侧承受均布垂直载荷作用的拉压异性材料楔体进行了极限载荷分析。计算结果表明,考虑了材料的拉压异性影响,楔体承受的极限载荷有明显提高。     

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

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

快速的平行码临界路径跟踪故障模拟

针对平行码临界路径跟踪故障模拟中最费时间的扇出源故障模拟,提出了若干加速技术。通过对电路结构进行的独立扇出分支、扇出源分类及扇出源的最终汇聚门等静态分析,结合对停止线及停止扇出源、测试码标记向量以及扇出源临界性确定前的预处理等动态计算,使得扇出源故障模拟区域及需要故障模拟的扇出源数目大大减少,极大地缩短了整个故障模拟时间。实验结果表明,平行码临界路径跟踪故障模拟算法,对少量和大批的随机码都非常有效,并且随着电路规模增加,其有效性更加明显。     

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

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

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

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

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

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

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

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

Alpha 工作站仿真一体化环境交互系统设计

交互系统是一体化建模仿真环境中的一个重要环节,主要解决人机关系,使用户可以方便地与仿真机作高速通讯,对仿真运行进行实时监控。本文在简要介绍整个系统概况的基础上,对交互系统的总体设计、命令分析与处理、功能实现等几个方面展开了讨论。此外,还简单介绍了交互界面的设计和实现情况