迫弹引信动态模拟试验的终点效应相似准则

本文从动态模拟试验与靶场验收试验的等效性出发,根据瞬发发火和惯性发火作用机理的不同,分别建立了迫弹引信在碰击靶板过程中着发机构的物理数学模型,从理论上推导了考核引信瞬发发火可靠性和惯性发火可靠性的相似准则,即模拟弹着靶速度与靶场验收试验时实弹着靶速度间的关系。     

一种新的PSK差分解调方法——PPDDR

本文以相位平面分割为基础,提出了一种新的PSK差分解调方法——PPDDR(Phase plane division digital receiver for DPSK),并在理论上分析了它的误码特性,其性能与传统差分解调性能相接近.该方法不需要传统差分解调所需的延时线,并能有效地克服通信中的多卜勒频移;其运算量少,易于在高速MODEM中采用DSP方法加以实现.     

PTL 证明器的实现技术

基于文［１０］中的理论,我们用Ｔｕｒｂｏ─ｐｒｏｌｏｇ编程,在３８６微机上成功地实现了命题时态逻辑定理的证明器。该证明器在处理ｎｅｘｔ幂次、归纳、归结、◇（ｘ∧ｙ）、ｕｎｔｉｌ　等方面,均有独到之处。这些方面,克服了以往工作的不足。证明器界面友好、速度快、能力强。     

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

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

基于加权动态规划和航迹关联的小目标检测技术

低信噪比下运动小目标的检测一直是成像目标检测中的一个热点问题。提出了一种新的小目标检测算法,采用方向加权的动态规划算法和二值航迹关联,克服了低信噪比下目标机动和传感器的不稳定对小目标检测的影响,实现了对深空背景下运动方式任意、速度最大达1像素/帧的弱小运动目标的有效检测。     

基于过载的制导炮弹非线性控制系统设计

针对制导炮弹模型中的非线性和耦合性,提出一种基于过载的制导炮弹非线性控制系统设计方法,建立了炮弹的过载时变模型,在俯仰和偏航通道控制器设计过程中加入了一阶低通滤波器,消除了“计算膨胀”的难题,并通过非线性阻尼项消除外界扰动,最后由Lyapunov理论证明了系统是半全局域渐近稳定的,能准确跟踪指定过载。     

机动目标建模及机动检测算法

为解决机动目标跟踪问题,建立了非机动(匀速直线运动)和机动目标当前统计两种动态模型,并对机动目标当前统计模型的输入控制的估计进行了适当改进.同时对非机动模型的观测残差和机动模型的输入估计进行检验,以便准确检测目标机动.     

一体化联合作战指挥信息流通体系逻辑结构分析

针对协同性联合作战向一体化联合作战转变对作战指挥产生的影响,在正确定位指挥信息流通体系的基础上,从一体化联合作战的本质特征及对指挥信息流通体系的影响出发,设计了基本作战单元指挥信息输入、输出模型,并通过将作战体系区分为四类模块,得出了指挥信息流通体系的逻辑结构.     

三维涡度方程单向周期问题的谱—差分混合格式及其误差估计

本文对非线性的三维涡度方程单向周期问题构造了一种新的谱——差分格式,并证明了格式的稳定性和收敛性。