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

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

多级感应线圈发射器测控系统设计

将电枢加速到较高速度，通常需要多级感应线圈连续加速；而提高多级感应线圈发射器的发射效率，则要求在电枢处于驱动线圈最佳触发位置时，电容器组同步放电。同时，需要采集发射过程中电枢的速度、电源的放电电压和放电电流等数据。因此，研制合理的测控系统是多级感应线圈发射器的关键。     

卫星活动部件的干扰辨识与抑制

采用干扰辨识的方法实现带活动部件三轴稳定卫星的高精度姿态控制问题.首先以扫描镜为例进行,分析扫描镜运动对卫星产生的等效干扰力矩;然后根据卫星控制系统的稳态输出数据,采用特征系统实现算法对扫描运动产生的干扰频率进行闭环辨识;最后在所辨识干扰频率的基础上,采用偶极子干扰抑制滤波器消除扫描镜运动干扰对卫星姿态的影响.仿真结果表明,所提出的方法能有效地克服活动部件运动产生的未知干扰对卫星姿态稳定度的影响,提高在轨运行卫星的姿态控制精度.     

关于ADC法评估C~4ISR系统效能中的可靠性

针对运用ADC法评估防空C4ISR系统效能中,可靠性是影响系统效能的重要因素,对C4ISR系统的可靠性进行研究,重点分析了软件及通信网可靠性的估算公式,并在此基础上建立可用性A和可信性D数学模型.最后,通过实例分析证明了可靠性对系统效能评估的重要影响.     

海面空-空无线信道特征

针对海上远距通信场景,基于无人机之间的无线通信链路,对接收功率进行实际测量。在大尺度路径损耗方面,采用对数距离线性模型进行拟合,分析海上远距空-空无线信道特征,获取路径损耗指数,并采用射线跟踪方法进行仿真验证,通过仿真所得信道冲激响应在多径时延和功率方面分析产生接收功率快速变化的原因。分析结果表明,近岸的多径反射会造成接收功率的波动,并且会造成路径损耗的升高。利用三种分布函数对测量数据进行分布拟合,分析海面和近岸两种通信条件下空-空无线信道的小尺度分布特征。测量分析结果表明,小尺度特征受陆地反射影响明显,在距离陆地较远的海面呈现高斯分布特征,而在近陆地处未呈现典型分布特征。     

加权α-比较数排序法在群决策中的应用

针对军事决策的群体性和模糊性,探索新的群决策方案优选方法。将区间数这一模糊概念与α-比较数排序法相结合,用区间数表示决策者对备选方案的模糊偏爱度,并结合决策者在决策群中的权重确定决策群对方案集的综合偏爱度,得到一种新的群决策方案排序模型,并通过算例验证了模型的准确性。该模型综合考虑了决策者在比较备选方案确定其偏爱度时的模糊性以及决策者的决策地位,能比较全面地反映军事群决策的特性,并且计算简便,便于指挥系统实时解算。     

军事网格与Agent Grid研究综述

在简要介绍通用网格概念和发展的基础上,着重对军事网格和Agent Grid进行了研究和分析.介绍了美军军事网格发展历程中4个具有代表性的网格研究项目,展现了当前军事网格研究的现状和未来的发展趋势.以CoABS Grid项目为研究背景,分析了Agent Grid的基本特点和相关的主要观点,着重探讨了Agent和Grid技术的融合,以及Agent Grid与MAS的关系,最后总结提出了Agent Grid研究的技术要点.     

基于蚁群算法的径向基网络漏磁信号二维反演

利用蚁群算法的并行寻优特征和一种自适应调整挥发系数的方法,寻找径向基函数(RBF)网络基函数的中心点,能够大大提升网络的鲁棒性及训练速度.将优化算法下的RBF神经网络应用于漏磁信号的二维反演中,能够在训练样本较少的情况下快速地得到更为准确的缺陷模型,更好地满足了漏磁检测的实时性和在线性.实验结果表明,该方法能够达到预期...     

积极心理学及其对军校大学生心理健康教育的启示

传统的心理健康教育过分关注心理疾病的评估与矫治,忽视了对个体积极的品质、情绪体验等的关注和培养。积极心理学的诞生,为传统的心理健康教育提供了新的视野,主张教育者用一种更加开放的、欣赏的眼光去看待学生的潜能、动机和能力。军校大学生作为一个特殊的大学生群体,除了繁重的学业、环境的适应等普通大学生面临的挑战外,紧张的军事训练、严格的日常管理、单一的校园生活使他们更容易出现心理问题。积极心理学提示我们,军校大学生的心理健康教育应从个体的积极因素入手,不断地激发、挖掘、关注个体内在的积极力量和优秀品质,注意培养和鼓励他们多用积极的应对方式解决生活中遇到的问题。     

防区外多导弹协同突防复合制导研究

针对防区外多导弹协同突防要求导弹能够成功突破敌防御系统并击中目标的问题,提出了一种基于虚拟目标的复合制导规律。首先,在敌雷达探测范围的边缘设置虚拟目标,将导弹制导过程分为制导段Ⅰ和制导段Ⅱ。然后,研究了一种基于攻击时间和攻击角度控制的制导规律,使导弹在制导段Ⅰ按指定时间和角度追踪到虚拟目标,导弹转入制导段Ⅱ后在以攻击时间最短为指标函数的最优制导规律导引下攻击真实目标。仿真结果表明该复合制导规律大大提高了多导弹的整体突防能力。