Boko Haram terrorism in Nigeria

Since the July 2009 Boko Haram terrorist outburst in Nigeria, there have been increasing questions on the phenomenon in the country. There has not been any substantial analysis on the emergence of the Boko Haram group and its terrorist activities in Nigeria as the out-rage continues. This study is advanced to explain the phenomenon of Boko Haram terrorism in Nigeria. It employs the levels of analysis framework popular in the field of international relations to explain the terrorism at three major levels: individual, state and international. The study relies on dependable news reports, which include interviews with key actors relevant to the subject matter, and finds that Boko Haram terrorism has its roots in the ideology and motivations of its founder and members, the failures and deficiencies of the Nigerian state, and the modern trend of religious terrorism in the international system.     

概念模型验证方法研究综述

概念模型验证是保证和提高仿真可信性的重要手段,是建模与仿真VV＆A中的重点和难点．首先将概念模型的验证方法划分为非形式化方法、静态方法、动态方法和形式化方法4类,并提出了一种基于本体推理的概念模型验证方法,然后对各种方法的基本思想、基本原理、基本过程、适用对象、优缺点进行全面的分析总结,明确了各种方法的优缺点和适用范围,为如何选用各种验证方法提供参考,也明确了下一步应重点研究的问题．     

一种针对HIGHT的改进差分故障的分析

为评估HIGHT轻型分组密码抗故障攻击能力,基于单字节故障模型,提出一种改进的HIGHT故障攻击方法．首先在HIGHT最后1轮注入单字节故障恢复SK124和SK1262个轮密钥,然后增加故障注入深度,在HIGHT倒数第5轮注入单字节故障恢复HIGHT另外10个轮密钥,从而恢复HIGHT的全部主密钥．实验结果表明：仅需22次故障注入即可恢复HIGHT全部128位主密钥,优于现有故障攻击方法所需的32次故障注入．     

基于ANP的装备保障转型影响因素分析

针对装备保障转型影响因素众多、转型重要程度难以确定等问题,分析了保障转型外部和内部影响因素,建立了保障转型影响因素ANP模型,利用ANP方法对装备保障转型影响因素进行了权重确定,为确定装备保障转型影响因素重要性程度提供了一种定量化分析方法,明确了装备保障转型应优先重点解决的关键问题．     

塔架摆杆系统静动态特性研究

为研究航天发射塔架摆杆系统的静动态特性,利用Pro／E建立其三维实体模型,再将模型导入Abaqus中建立其有限元模型并对该塔架摆杆系统进行静、动态分析计算．通过静态分析,得到塔架关键部位的应力及位移值,对其安全性进行了校核;通过动态分析得到其固有频率及振型,与试验所得频率进行对比,验证有限元建模的正确性．     

战时装备调配保障决策模型构建研究

分析了战时装备调配保障决策的特点,运用模糊聚类分析法对装备调配保障对象进行了分组和优先级排序,以此为基础,运用目标规划法构建了战时装备调配保障决策模型,最后,通过实例验证了模型的可行性和有效性．     

高炮系统火力单元弹药消耗模型研究

摘要：高炮群是我军要地防空工作中的重要环节,其弹药预测结果的精准程度将直接影响到弹药保障工作的顺利进行．针对弹药的消耗问题,进行了针对具体作战任务的高炮系统火力单元弹药消耗模型研究,从问题分析、建立数学模型、仿真求解模型以及结果分析四个方面分析了高炮系统火力单元弹药消耗情况．仿真结果表明,该方法具有较高的建模精度,从而验证了方法的有效性．     

基于灰色关联分析的反导导弹战斗部作战效能评估

针对反导导弹战斗部的性能特点,以灰色关联理论为基础,采用灰色加权关联度分析进行综合评判,建立了反导导弹战斗部作战效能评估模型．最后通过算例,验证了该模型的完整性,最终为决策者做出合理的作战决策提供了理论参考．     

土体泊松比对压入管桩单桩挤土位移场的影响

基于ABAQUS有限元软件,采用主从接触算法模拟桩-土相互作用、修正剑桥模型作为土体本构模型,通过在桩顶施加竖向位移荷载以及合适的网格划分技术建立了较为符合压入管桩压桩实际的有限元模型。利用得到的有限元模型模拟了压入管桩压桩产生的挤土位移场,对不同泊松比时压入管桩单桩挤土位移场进行了对比分析。结果表明:不同泊松比时竖向和水平挤土位移场沿深度方向和径向的分布规律趋于一致;土体泊松比的变化会对压入管桩压桩产生的竖向和水平挤土位移场产生较大影响;泊松比越大,压桩产生的竖向和水平挤土位移越大。     

土中爆炸对埋地管线冲击作用的数值模拟分析

为了研究土中爆炸作用下埋地管线的安全问题,利用AUTODYN-2D、AU?TODYN-3D程序,采用程序提供的流固耦合功能和网格映射功能,对爆炸地冲击作用下埋地管线的变形和破坏问题进行了数值模拟分析,得到不同爆心间距管线的应力峰值.将模拟计算结果和理论计算结果进行了对比分析,结果表明:模拟计算值与TM5-855-1手册理论计算值比较吻合,表明采用数值模拟方法分析爆炸地冲击对埋地管线的作用是可行的,计算结果对地下爆破的安全施工和埋地管线的安全运行具有参考价值.