基于一维高分辨距离像的相关测速补偿算法

在分析运动目标对频率步进信号成像影响的基础上,阐述和推导了基于一维高分辨距离像的相关测速算法,给出了该算法的测速性能和实现流程.对是否利用IFFT结果的相位信息,提出了距离像实包络相关和复包络相关两种处理模式.针对空间高速运动目标.仿真和分析了各因素对测速精度的影晌.结果表明,该算法测速精度高,计算量小,抗噪性能较好,为宽带雷达实时自测速补偿提供可能.     

非线性状态空间模型的EHMM抽样法

给出了一种新的非线性状态空间模型的MCMC方法——EHMM（Embedded Hidden Markov Model）抽样法，运用该方法构造的Markov链的收敛速度比传统的MCMC方法有明显提升，文中证明了这一结论并以一维非线性状态空间模型为例加以说明。     

求取S-不变量基的新算法

S-不变量是进行Petri网结构性质分析的重要工具,但S-不变量的求取尚无有效算法。作者在S-不变量的极小支集的判定、极小支集上S-不变量的求取等方面创新性地提出了一些多项式解决算法。将在上述工作的基础上,结合枚举思想给出一个求取S-不变量基的算法,并提出一些筛选规则以提高枚举的性能。     

可达性与状态方程可满足性等价的两个Petri网子类

可达性是Petri网最基本最重要的动态性质之一,但一般Petri网的可达性判定问题至少具有指数空间复杂度,且目前尚无有效的判定算法。不过,存在某些Petri网子类,其可达性判定问题要相对简单,寻找这样的Petri网子类具有重要意义。为此,提出极小陷阱回路网与后向回路网的概念,并证明了初始标识下不含空极小回路的这两个Petri网子类,其可达性判定问题等价于状态方程的可满足性问题。     

频率步进雷达距离像互相关测速补偿算法

测速补偿是宽带雷达信号处理的关键.目前宽带雷达系统一般采用窄带信号测速、宽带信号成像,导致工作效率降低、体系复杂.深入研究了一维距离像互相关测速法,提出了实包络互相关和复包络互相关两种处理方法,并详细分析了二者的区剐,给出了理论测速性能.理论分析和仿真表明,采用距离像复包络互相关处理,即使距离像存在严重波形发散,无需先进行粗测速补偿,仍能精确测速且具有良好的抗噪性能,使得宽带频率步进雷达实时自测速补偿成为可能.     

S-不变量极小支集判定的多项式算法

S-不变量是对Petri网进行结构性质分析的重要工具,但S-不变量的求取尚无有效算法。主要分析了S-不变量极小支集的判定问题。结合Petri网中库所子集列生成子阵的性质证明了一个库所子集为S-不变量极小支集的充分必要条件,在此基础上提出了判断给定库所子集是否为S-不变量极小支集的多项式算法。     

随机数生成的Petri网模拟

引入含弧权变量的连续Petri网的概念,并以此为工具,介绍了用Petri网来模拟逆变换法和离散法的方法,利用该方法可以生成服从任意连续或离散分布的随机数。