GBAS中抑制电离层异常的改进自适应Hatch滤波算法

针对单频地基增强系统(Ground Based Augmentation System, GBAS)中电离层异常时Hatch滤波器平滑精度降低问题,系统分析了电离层延时对Hatch滤波器平滑精度的影响,提出一种改进自适应Hatch滤波算法。根据卫星信号计算码载偏离度,并利用二阶线性时不变低通滤波器抑制码载偏离度高频信号,以实现电离层异常实时检测;建立平滑后伪距误差均方根与电离层延时变化率、伪距测量噪声标准差以及平滑时间三者之间的函数模型,并由此确定出Hatch滤波器最优平滑时间。利用GBAS原理样机进行验证实验,结果表明:自适应Hatch滤波算法能够根据卫星信号电离层延时变化率确定滤波器最优平滑时间,且当电离层异常时,自适应Hatch滤波器机载位置误差最大由1.15 m减小为0.43 m,从而验证了所提算法的有效性。     

协方差压缩感知逆合成孔径雷达成像技术

为解决低信噪比条件下短观测时间雷达成像问题,提出一种基于回波协方差矩阵处理的压缩感知逆合成孔径雷达成像技术。该方法构建了回波协方差矩阵层面下的压缩感知问题模型,并通过特定的线性变换降低环境噪声对成像结果的影响。在仿真实验中,通过处理短观测时间和低信噪比条件下的模拟回波数据,该方法获得比传统压缩感知方法像质更好、对比度更强的目标成像结果。同时,其成像结果的目标背景比和背景噪声能量两个雷达图像评价指标都优于传统方法,进一步验证了该方法的有效性。     

圆周合成孔径雷达的快速时域成像算法

为实现圆周合成孔径雷达(Circular Synthetic Aperture Radar,CSAR)快速成像,提出一种用于CSAR的快速时域成像算法。该算法通过将CSAR的圆孔径分成若干子孔径,分别对子孔径采用快速因式分解后向投影算法处理,再将各子图像相干插值叠加至同一坐标系下得到成像结果。详细分析算法实现中的坐标转换、误差控制和运算效率等关键问题,并用点目标仿真和实测数据处理结果验证算法的有效性。所研究方法具有成像范围大、计算量小等优点。     

考虑弹体动态特性的非奇异有限时间制导律

为满足导弹拦截机动目标时交会角约束和有限时间收敛的需求,建立了考虑弹体一阶动态特性的制导模型。把目标加速度视为有界外界干扰,同时结合非线性反步设计法中的动态面法,设计一种考虑弹体动态延迟的非奇异滑模制导律,并且证明了基于Lyapunov稳定性理论制导系统状态可渐进收敛到零。在所设计的制导律下,对单侧机动的低空高速目标进行仿真。仿真结果表明所设计的非奇异制导律可以有效降低弹体动态延迟带来的影响,而且具有较低的脱靶量与交会角误差;与考虑弹体动态特性和交会角约束的最优导引律相比,其具有更高的制导精度。     

Does military spending stimulate growth? An empirical investigation in Italy

This paper investigates the effect of military burden on economic growth and extends previous works on the optimal size of government expenditure by exploring how external threat affects the preferences of the households and, in turn, economic growth. Post World War II Italian data are used to estimate nonlinear growth models using time-series semi-parametric methods. The estimates show that total government and civilian burdens are productive, whereas, military burden has significant effects on economic growth through the expenditure for peacekeeping missions, which reduces the insecurity in the home country. This may justify economically the current not negligible budget devoted to peacekeeping and humanitarian missions.     

复杂约束下的导弹作战任务规划模型和算法研究

导弹作战任务规划是一个涉及时间、资源、质量和其他关系约束的复杂问题。首先通过定义约束满足效用对基本约束满足模型进行了扩展,建立了导弹任务规划的约束满足优化模型。在此基础上,研究了任务规划模型求解的时间和效用传播算法,提出了基于综合效用的优化求解框架。该模型和求解框架易于解决具有多种约束因素的复杂问题,具有较好的通用性。通过定义软、硬约束效用,使得实际任务规划问题求解具有更好的灵活性。     

导弹阵地空袭目标威胁评估

威胁评估是导弹作战决策中一个重要环节.针对导弹阵地作战中空袭目标的实时威胁评估问题,结合阵地实际,文中在分析威胁成因和指标相关性的基础上构建了威胁评估指标体系,利用模糊理论对威胁因素进行了量化处理,基于目标实时信息用组合加权平均模型进行了评估计算.仿真结果表明,该模型能根据实时的目标信息,准确灵敏地评估出目标威胁度,同时考虑了因素的相关性影响,结果更切实合理.     

一种无线传感器网络中的Sybil攻击检测方案

Sybil攻击破坏无线传感器网络中的数据融合、公平资源分配等机制,因此对Sybil攻击的防范与检测具有很重要的意义。将一种基于到达时间差（TDOA）的三维定位引入到Sybil攻击的检测中,算法可以检测存在的Sybil攻击并对Sybil节点进行定位。通过性能分析证明该算法具有开销小、有效性高的特点。     

某型自行火炮传动系统延迟时间维修建模实例研究

对某型自行火炮底盘传动系统维修保障现状和维修数据进行分析,引入延迟时间概念及其维修建模方法,建立延迟时间维修优化模型,提出主客观数据相结合的贝叶斯参数估计方法。考虑到设备的客观数据不足的情况,首先利用主观数据进行参数估计,在此基础上,再通过逐步完善的客观数据进行参数修正。最后,在一些满足实际情况的假定条件下,运用建立的延迟时间费用模型对检测周期进行了优化分析。     

一类具有时滞的病毒动力学模型分析

研究一类具有时滞的病毒动力学模型。研究了系统解的有界性;讨论了各个非负平衡点的局部稳定性,应用比较定理得到了各非负平衡点全局渐近稳定的充分条件。