基于XML的安全协议形式化描述方法

针对安全协议的设计与分析复杂且容易出错的问题,文章为编写一个自动验证工具提出一种基于XML(eXtensible Markup Language)语言的时间相关安全协议形式化描述方法。该方法将安全协议用树状结构表示,用XML语言进行描述,为简化安全协议的形式化分析提供了帮助。     

拦截高速机动目标的捕获区及微分对策导引律

针对高速机动目标拦截场景,研究末制导段捕获区存在条件及微分对策导引律问题。建立弹目相对运动模型并引入控制动力学模型,采用终端投影方法对相对运动模型进行降阶处理;基于微分对策理论推导一种解析形式捕获区,并具体到直/气复合控制导弹对机动目标的拦截中,该捕获区的存在能够保证对任意机动目标进行准确捕获;重新选取性能指标,将目标与直/气复合控制导弹在末端带有碰撞角约束的制导问题转化为零和微分对策问题,并求解出弹目最优拦截策略。仿真分析了几种情形下直/气复合控制导弹对目标实施拦截的捕获区存在域,导引律仿真结果表明微分对策导引律在对高速机动目标进行拦截时具有优良性能。     

旋转导弹姿态稳定控制方法研究

旋转导弹往往采用初始静不稳定的结构形式使得在攻击目标时具有较大的过载能力,如何能够保证旋转导弹平稳地度过静不稳定段是导弹正常飞行的关键.采用姿态稳定控制方法对初始段进行控制,使导弹顺利度过静不稳定段,通过数学仿真及半实物仿真验证了该控制方法的有效性.基于正交试验设计的仿真试验表明,在各种气动干扰因素影响下,旋转导弹均能实现较高的姿态控制精度.     

在积极推进新军事变革中大力弘扬抗震救灾精神

军委胡主席在《抗震救灾先进基层党组织和优秀共产党员代表座谈会上的讲话》中指出：“在同特大地震灾害的艰苦搏斗中，我们的民族和人民展示出了十分崇高的精神。这就是万众一心、众志成城，不畏艰险、百折不挠，以人为本、尊重科学的伟大抗震救灾精神。”在强调抗震救灾精神的重大意义后，胡主席在讲话中进一步发出号召，要求我们珍视这一宝贵精神财富，在全党全社会大力弘扬抗震救灾精神。     

建立定期交流机制促进武警院校教学改革发展

武警院校是武警部队人才培养的重要基地,多年来为武警部队输送了一大批指挥和技术人才。新时期武警部队任务特点的转变,对武警院校教学改革提出了更高的要求。建立武警院校与武警部队、武警院校之间、武警院校与解放军院校以及与地方高校之间多方位、多层次的定期交流机制,对武警院校教学改革具有重要意义。     

反鱼雷鱼雷变指令周期导引律设计

针对反鱼雷鱼雷(anti-torpedo torpedo, ATT)拦截距离短、机动性要求高的特点,将最优控制和滑模控制相结合,设计了最优滑模导引律,保证拦截过程ATT需用过载相对较小且对于来袭鱼雷的机动具有一定的适应能力。针对ATT需要在短时间内快速调整姿态的问题,设计了ATT变指令周期控制方式,对ATT和来袭鱼雷的距离进行分段,不同的距离采用不同的指令周期,并利用蒙特卡洛法分析了变指令周期和固定指令周期控制下的ATT拦截弹道特性以及命中概率。仿真结果表明:变指令周期导引对于加速度很小或较大的来袭鱼雷均具有较高的拦截概率,且平均脱靶量较小;对于固定指令周期导引律,无论来袭鱼雷是否机动,均存在较大脱靶量。     

尾流模拟火箭弹空中弹道对模拟尾流生成区域的影响

为了研究尾流模拟火箭弹的空中弹道特性对模拟尾流区域的影响，建立火箭弹质点外弹道模型、阻力板和发动机空间运动微分方程以及连接绳的受力模型，得到火箭弹无控飞行、空中转向、空中分离至爆索展开入水全过程的空间运动微分方程。对尾流模拟火箭弹全程弹道进行仿真分析，着重分析不同初始射击诸元对爆索空中弹道的影响，探究初始发射角、脉冲发动机的喷管数量、点火时间以及火箭弹空中分离时间对模拟尾流生成区域的影响。仿真结果表明：初始发射角为15°时火箭弹射程和最大射高相对比较合理；火箭弹空中转向角度依赖于脉冲发动机总冲量，与点火时刻无关；空中分离时刻对爆索入水发泡区域影响不太明显，在满足转向要求和发泡区域要求的情况下应该尽早完成空中转向和分离。     

王明民的绝活

正经过他的一番"望闻问切",必定能"找准症结、药到病除"。在空军某汽车团,每当车辆装备有了什么"疑难杂症",大家第一个想到的就是找"铁马神医"王叔。经过他的一番"望闻问切",必定能"找准症结、药到病除"。官兵们口中的"铁马神医"王叔就是该团四级军士长王明民。去年,连队远赴新疆西北大漠执行远程机动演练任务。烈日炎炎下,车队刚刚驶出     

高速自旋导弹直接力控制稳定性研究

研究了作用在质心前部的直接力对于旋转导弹稳定性的影响,建立了直接力作用下旋转导弹的运动模型。基于劳斯稳定判据,给出了使旋转导弹章动稳定和进动稳定的直接力范围的判断方法。仿真结果表明,即使弹体是稳定的,在不同大小的直接力的作用下也会使弹体运动产生章动或者进动,此方法对于直接力在旋转导弹的应用有重要意义。     

旋转弹控制系统结构与弹体静稳定特性研究

采用劳斯稳定判别法,结合某旋转弹的实际控制结构和弹体特性,对不同控制结构对静稳定度适应程度进行了分析,重点研究了不同的控制系统回路结构对弹体稳定特性的适应能力,为旋转弹控制系统设计提供更有针对性的参考。