轻型反坦克导弹生存能力分析

本文详细论述影响轻型反坦克导弹生存能力的因素,并从作战的角度出发,建立轻型反坦克导弹生存能力的评估模型。     

炮兵的新型机动导弹

本文全面地介绍了德、法联合研制的“波利芬”光纤导弹系统的特点、地面站组成等。该系统便于操作和训练,成本低、精度高,具有完成多种作战任务和全天候作战能力。     

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

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

导弹飞行试验数据与气动预测结果的比较

介绍了阻力预测法,也讨论了产生飞行试验推导的阻力与预测阻力之差的原因。在Ｍ＝０．９～２．９,α＝０°～１８°条件下,由带尾翼细长导弹的飞行试验推导得到的阻力与预测阻力的比较指出：在跨音速时,气动力飞行试验推导所得的阻力与预测阻力相比两者符合的很好;在超音速时,飞行试验结果比预测值小５％。     

舰空导弹武器系统作战软件的质量保证

舰空导弹武器系统作战软件属要害软件,因而它是该系统的一个关键件。如何确保这类软件的质量,尤其是确保其可靠性和安全性,始终是一项复杂而又艰巨的研究课题。文章在简要描述了舰空导弹武器系统的主要特点和作战软件的基础上,重点介绍了软件质量管理、软件生产工具和软件开发方法。为了改进传统的瀑布型的软件生存周期模型,针对要害软件的特点,提出了要害软件开发周期的车轮模型。     

导弹的监视方法和系统

文章阐述了用多光谱信号分析技术来从探测信号中可靠地提取出导弹的光电信号,从而实现对导弹进行探测、跟踪、计数的方法和技术。采用该方法和技术发展起来的光电监视系统和原有的同类系统相比,将具有复杂性低、可靠性高、重量轻和费用低等特点。     

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

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