一种高效的显式模型检验方法

随着软硬件系统规模和功能的不断扩充,状态空间爆炸问题严重影响了模型检验的进一步发展与应用,成为验证大规模系统的瓶颈.在显式模型检验工具Murphi的基础上,针对其可达状态空间组织存在的问题进行改进,提出了基于整型指针与Fibonacci散列的可达状态空间组织方法,实现了一个高效的显式模型检验原型系统,在确保验证正确的同时有效缩短了验证时间,并能在系统规范不可满足的情况下给出反例,有助于系统设计人员快速定位错误.理论分析和实验结果表明了本方法的有效性.     

机动目标一维距离像RAT法线性化补偿

研究了机动目标宽带线性调频脉冲回波全去斜率信号模型,根据速度和加速度的调频频谱展宽特点,提出了机动目标宽带一维距离像线性化调频回波模型,给出了Radon模糊图转换(RAT)法线性参数估计与运动补偿方法,并进一步分析了测速和测距误差.仿真实验验证了RAT法一维距离像线性化参数估计与补偿,表明该方法很好地解决了运动参数未知情况下机动目标的一维距离像频谱展宽问题.     

一种改进方位向非线性CS大斜视角SAR成像算法

大斜视角SAR成像时存在严重的距离走动现象,慢时域的距离走动校正在解决这一问题同时导致了聚焦深度问题.分析了二维频域解耦合后残余相位误差以及时域走动校正后的多普勒调频率误差,提出一种改进的方位向非线性CS算法,校正了三次以上距离迁徙带来的相位误差,同时采用改进非线性CS扰动方程补偿了随方位偏移量线性变化的调频率误差.仿真结果表明,改进算法的大斜视角大场景成像性能优于传统的高分辨大斜视角成像算法.     

冲压增程弹进气道设计方法与性能分析

以冲压增程弹为应用背景进行了进气道设计.结合增程弹的特点,讨论了轴对称进气道中心锥参数、喉道参数、外罩参数的选择.特别对进气道唇口处参数、扩张段角度设计方法进行了分析.设计了单锥混压式、单锥外压式以及双锥混压式三种进气道,并进行了数值模拟.分析了进气道主要设计参数对其性能的影响.数值结果表明,就增程弹的性能要求而言,双锥混压式进气道的性能较高.     

脉冲等离子体推力器羽流的粒子模拟

目前微小卫星正在积极地发展中,脉冲等离子体推力器是其推进系统的一个重要发展方向,为了能够将PPT成功地运用于空间,需对其羽流进行研究.将DSMC(Direct Simulation Monte-Carlo)/PIC(Particle in Cell)流体混合算法与一维MHD放电模型相结合,一体化模拟NASA Glenn PPT羽流,对不同出口偏转角的羽流场进行模拟,并与实验结果进行了比较.计算结果显示引入出口速度的偏转角提高了模型的羽流扩散能力,羽流的扩散角是影响羽流的一个主要因素.     

基于循环子空间理论的线性系统测试矩阵优化

研究了线性定常系统在循环指数大于1(即其约当标准形不同的约当块有重根)的情况下测试矩阵的优化方法.以循环子空间相关定理的证明为基础,根据根向量链的相关特性,得到了测试向量的线性和与系统观测性的直接关系,给出了在保证系统可观测性的同时,使得测试代价最小的测试矩阵优化方法.算例表明,提出的方法简单直观,对配置测试向量具有良好的工程价值.     

基于SD的常规导弹作战体系结构优化分析

联合作战样式下,常规导弹作战体系对抗不仅包含反导系统与常规导弹的拦截与反拦截,还包括阵地防卫、电子对抗等一系列新的对抗作战样式,因此它是非常复杂的系统。用系统动力学方法对常规导弹作战体系对抗进行初步建模和仿真,为常规导弹作战体系结构优化提供一定的依据,并在仿真结果分析的基础上,定性地提出常规导弹作战体系对抗作战体系建设的目标和重点。     

常规导弹封锁机场跑道效能准则问题研究

由于没有考虑跑道的可维修性,当前所使用的跑道失效率指标具有较大局限性。如何从实战特点出发选取效能指标成为常规导弹封锁机场跑道作战效能评估的关键。首先分析了跑道抢修能力、抢修策略、道面上弹坑数及弹坑分布均匀程度对跑道恢复起降能力的影响,提出用跑道起降能力作为效能指标选取的依据,并就跑道起降能力的量化与效能指标体系的构建进行了研究,然后用实例对所建效能指标进行了验证。结果表明,该效能指标模型比之跑道失效率指标严格的定义更加贴近作战的实际情况,使用该指标能够满足常规导弹打击机场跑道作战效能评估、火力需求预测及打击方案选优等需要。     

基于云重心评判法的炮兵指挥训练水平评估

炮兵指挥训练水平指标体系中,既有精确数值型表示的,又有语言值来描述的,给评估指标的数据处理带来了一定的困难。云重心评判法能较好地处理该类既有定性指标,又有定量指标的综合评价问题。构建了炮兵师(旅)指挥训练水平评估体系,详细介绍了运用云重心评判法来实现炮兵指挥训练水平评估的具体步骤。结合指挥决策指标体系实例,验证了该方法的有效。该方法具有一定的推广意义。     

雷达网探测概率与分形的应用

针对雷达组网探测的特点,运用分形理论和自相似性理论探讨了雷达网探测概率的分布变化情况.采用了经典的正六边形布站方式,应用了分形维数来表示开机雷达的分布情况,比较了强弱两种不同的探测要求时,防区内探测概率随雷达开机概率的变化情况,得出了满足雷达网探测要求的最低雷达开机概率,阐明了防区内开机雷达的数量、分布方式与探测概率之间的关系.