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

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

发布/订阅机制在协同作战系统中的应用

为了提升现代战场环境中作战系统的作战效能，引入了协同作战的思想。采用发布/订阅机制实现协同作战系统中应用数据的按需分发，并将发布/订阅机制以中间件的方式应用于协同作战系统的设计中，利用发布/订阅中间件所提供的丰富的QoS（Quality of Service）策略满足了系统内多类型数据复杂的分发需求。通过相关的测试，能够满足协同作战系统基本的信息交互需求。     

一种运用遗传算法确定船舶航向控制模糊规则的方法

为了克服船舶航向控制模糊规则确定过程中的盲目性,引入一种与之相适应的遗传算法,以使结果成为某种意义下的最优解,从而从根本上解决这一重要问题.文中运用Matlab的C语言MEX-文件技术,将遗传算法源代码与Matlab直接结合起来,利用后者的强大建模能力,建立起完整的仿真模型.仿真结果表明,船舶的航向控制能力得到明显改善.     

论军事人才外流成本的控制

文章运用经济学的方法,通过分析军事人才外流的产生机理和控制理论,阐述了在控制人才外流时制度的供给问题,并对军事人才外流的控制提出了可行性建议。     

老牛顶伤女工 责任该由谁担

[案例]为节约人力，同住一个农业连队的廖某、陈某、蔺某、李某等人口头协议，把几家的牛都集中起来，由大家轮流放牧。2007年2月6日，轮到蔺某与李某放牛。当天早上，蔺某与李某一起将牛群赶到渠边上吃草。当天中午，廖某将留在家中的一头怀孕母牛也赶到渠边来放。当廖某靠近蔺某所放牛群时，被牛群中冲出的陈某家的一头老牛项倒，导致腰椎骨折。为此，廖某住院治疗，并支付医疗等费用合计32724元。廖某伤愈后，曾就自己的医疗费等经济损失，找陈某及当日放牧的蔺某与李某协商赔偿。     

气动力/直接力复合舵系统神经网络参考模型设计

提出了一种气动力/直接力复合控制导弹在舵机层面进行复合控制的神经网络设计方法,即空气舵与直接力喷流机构看作是复合舵系统模型.该方法在完成复合舵系统建模的基础上,利用神经网络参考模型方法对等效舵机系统进行设计.最后,通过仿真验证了该方法可利用直接力喷流机构快速性,有效地提高复合舵系统的性能.     

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

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

一种基于预测滤波器的自适应卡尔曼滤波算法

针对系统过程噪声统计特性不确切或未知的条件下,研究了一种基于预测滤波器的自适应卡尔曼滤波算法。由预测滤波器实时估计系统模型误差及其协方差矩阵,再用其修正系统状态预测值及预测误差协方差矩阵,从而自适应调节卡尔曼增益。将该算法应用于弹载SINS/GPS紧耦合组合导航系统并与普通卡尔曼滤波、基于新息的移动开窗自适应卡尔曼滤波进行了对比,仿真结果说明该自适应滤波算法具有更高的可靠性和精度。     

携带诱骗信息的多层网络隐写方法

为了提升网络隐写方法中秘密信息隐蔽传输的安全性,研究了携带诱骗信息的多层网络隐写方法。方法分为两层,高层方法用于携带诱骗信息欺骗检测者,低层方法利用网络协议栈纵向多协议之间的关系编码秘密信息,实现隐蔽通信。实验结果表明,该方法能够在保证隐写带宽的同时,确保了秘密信息传输的安全性。     

基于C~4ISR体系结构的防空导弹指挥系统设计

主要分析了C4ISR体系构架,阐述了C4ISR体系结构视图的概念、作用以及相互关系,对应框架中提出的三个视图从需求、设计、实现三个层面提出了以C4ISR体系结构为主导进行新一代防空导弹指挥系统设计的思想。