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

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

加强军事战略运筹分析方法研究

针对军事战略问题研究，论述了以科学量化为基础，定性与定量相结合进行研究的科学化方法——战略运筹分析方法。讨论了战略运筹分析的基本内涵，分析了其研究应用概况和所面临的挑战，研究了战略运筹分析方法的本质要求和方法论特点。     

多弹作战中的任务重分配方法

突现任务重分配是具备了飞行中改变攻击目标能力的巡航导弹在作战中需要解决的重要问题。通过分析可控巡航导弹的特点及此类导弹在飞行中可能出现的突现任务类型,借鉴战斧巡航导弹的作战样式,建立了出现突现任务后的任务执行过程;提出了候选导弹、重瞄导弹的确定方法,并建立了各自的任务执行子模块;利用这些子模块,从一个新角度提出了基于逻辑判断的突现任务分配方法,可为可控巡航导弹的突现任务重分配系统设计提供参考。     

多轴向织物层合板层间剪切强度有限元分析与实验研究

用VIMP工艺制备了UD、0/45/-45、0/45/90/-45三种多轴向织物增强,四种厚度的GFRP层合板试样,采用短梁剪切实验考察了层间剪切强度和破坏模式。建立了GFRP层合板短梁剪切试样有限元模型,计算了内部层间剪应力分布。结合计算和实验结果分析表明层合板存在由宽度方向层间剪应力变化导致的自由边缘效应,含偏轴铺层的层合板更容易发生边缘开裂破坏。厚度相同时0/45/-45多轴向织物增强层合板的层间剪切强度最高。短梁剪切强度测试存在尺寸效应,随着厚度的增加,强度下降,样品波动系数增大。     

高动态GNSS信号多普勒模拟任意阶直接数字合成器设计

为高精度模拟高动态条件下GNSS信号的多普勒特性,提出一种任意阶直接数字合成信号合成器的设计方法。设计任意阶直接数字合成信号合成器的结构;通过理论分析,推导各级累加器相位初值的计算公式;给出字长选择方法。经仿真验证,该方法能精确模拟GNSS信号的多普勒特性。此外,提出的直接数字合成器设计方法不受阶数的限制,可普遍应用于各类信号模拟器的设计。     

穿甲子弹垂直侵彻防弹钢试验与理论模型

试验研究了穿甲子弹垂直侵彻高强防弹钢的机理,提出了一个分析靶板极限速度和弹体剩余速度的理论模型,该模型综合考虑了材料的应变率与热软化效应,结果表明,理论值与试验值吻合很好.分析了失效准则的影响,研究了剪切带温度和靶板耗能随入射速度的变化规律.     

基于DXC的军事传送网恢复策略研究

可靠性对于军事传送网而言显得尤为重要。数字交叉连接(DXC)设备提供了一个灵活的冗余和保护以满足用户的需求,有利于最小化服务中断时间。文中首先介绍了DXC设备及其应用;其次,讨论了基于DXC设备的恢复应该考虑的问题;最后,结合军事传送网的特点,提出了恢复策略,并对此进行了讨论。     

新疆兵团中小学双语教育质量调查及对策研究--以兵团第三师为例

双语教育质量是兵团民族教育的关键，直接影响高素质少数民族人才的培养。本文在深入调查的基础上，研究兵团中小学双语教育质量及其现状，通过对影响双语教育质量的各个因素进行分析，总结双语教育中存在的问题，并在此基础上提出加强校本培训和师资队伍建设，完善双语教材及考核评价体系等对策。     

弹丸速度的数字化激光幕测试技术

针对传统弹丸速度测量方法的局限，提出一种新的弹丸速度测试技术——数字化激光幕结合互相关速度测量算法的测试技术，并给出了激光总体测速方案、测速原理以及互相关测速方法，经靶场试验验证测试效果良好。     

信息时代作战体系的概念模型及其描述

提出了信息化战场作战体系的概念与定义，给出了作战体系的描述，把信息化战场作战体系的组成划分为三类基本元素和六种关系，这些关系包括任务序列关系、任务分配关系、作战单元间的协作关系、作战单元间的指挥控制关系、任务信息流和体系的信息网络拓扑，并给出了这些关系的描述途径与方法。信息化战场作战体系的描述为作战体系自同步构建与重组的实现奠定了基础。