减速伞拉出时间测试误差的修正

减速伞拉出时间是描述低空低阻伞弹弹道特性的重要参数之一,在研究某低空低阻伞弹投弹表编拟方法时发现,拉出时间的测试数据有较大误差,制约着其它弹道参数的正确确定和投弹表的编制精度。笔者利用实测坐标数的差分特性对实测拉出时间进行了修正,该方法有利于提高投弹表编制精度和改进拉出时间的测试手段。     

57—2航箭超前问题分析

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

MPP Fortran 程序中串行循环的优化

在大规模并行处理系统中,通讯开销是影响程序性能的一个重要因素。本文提出了一种ＭＰＰＦｏｒｔｒａｎ程序中串行循环的优化技术：在串行循环中加入同步控制、将串行循环转换成共享循环。该技术能减少通讯开销、提高程序的性能。     

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

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

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

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

五参数寿命分布S(α,β,λ,μ,δ)

在四参数寿命分布的基础上增加了一个非中心参数,进而提出五参数寿命分布S(α,β,λ,μ,δ),并给出了定义、基本性质及其证明。     

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

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

状态电子密度的数值反演

提出了一种计算状态电子密度的超分辨处理方法。这种方法是在Fourier变换的基础上,引入高频滤波器函数H（ω,α）,经滤波处理后,再取Fourier逆变换,得到近似解。此方法能够较好地抑制噪声干扰,且计算复杂性较低,文中给出了算法,证明了收敛性,最后给出了计算机实验结果。     

数据光滑的一种新方法

提出了用变形的Fourier部分和来代替Fourier级数将输入数据光滑的一种新方法。该方法能稳定地解某些不适定的问题,如给定函数的近似,求函数微分的问题;Laplace方程Cauchy问题;时间逆向热传导方程的Cauchy问题等。     

次连续(S)型映射的广义拓扑度

基于Galerkin逼近技巧,本文构造了次连续(S)型映射的广义度,讨论了该广义度的初等性质,并给出了局部有界广义伪单调映射满值性的拓扑证明。