A Question of ‘Government’ Control: Afghanistan DDR Programs Since 2001

Since the fall of the Taliban in late 2001, the Islamic Republic of Afghanistan (GIRoA), the United States, the United Nations, and the International Security Assistance Force (ISAF) have funded and led three different Disarmament, Demobilization, and Reintegration (DDR) programs. Despite a significant investment in time and treasure, all of them have failed to significantly reduce the number of insurgents or arbaki (militia). This article explores why these programs failed despite incorporating ideas from the prominent DDR schools of thought. Utilizing Stathis Kalyvas’ theory of The Logic of Violence in Civil War as a lens, this article argues that GIRoA and ISAF did not have sufficient control of territory to entice insurgents or arbaki to reconcile and/or reintegrate with the government. Further, in areas GIRoA nominally controlled in northern and western Afghanistan, regional powerbrokers who controlled these areas balked at these programs.     

天地预警系统与机敏传感信息网

建立高效的天地预警系统对于赢得现代立体战争的胜利有着极其重要的意义。探讨了天地预警系统与机敏传感信息网 (Sm art Sensor Web)的构成 ,结合我国的部分研究现状 ,较详细地阐述了设计与构造天地预警系统所需解决的若干关键技术问题。     

自蔓延高温合成基础理论研究进展

通过对自蔓延高温合成技术的发展及应用领域的介绍 ,重点阐述了自蔓延高温合成中燃烧理论及热力学与动力学核心内容 ,并介绍了该技术领域中不同的基础理论研究方法。     

AIP潜艇位置基准点问题研究

位置基准点问题是常规动力潜艇战术研究中的一个重要问题.由于具有两种不同的水下航行动力,AIP潜艇位置基准点问题与普通柴电潜艇的位置基准点问题具有很大的不同.给出了AIP潜艇的位置基准点问题的数学描述,在对问题进行分析的基础上,给出了AIP潜艇位置基准点问题的一个取值范围及相应的计算方法,所采用的理论和技术包括二人零和对策、最优控制以及动态规划.最后,通过计算实例对所给理论的正确性,算法的合理性及效率进行了验证.     

依据观察器方位序列估算目标运动参数的方法

利用目标的方位序列跟踪目标的运动参数是非线性领域的一个经典问题。给出了一个形式简洁的方位随时间线性变化的可量测函数 ,并利用工作点漂移的技术解决了滤波器在方位小变化量时系统的不稳定现象。研究了利用观察器方位序列估计目标运动参数的方法。     

一种嵌入式系统中软硬件故障的划分方法

软硬件故障是嵌入式系统可靠性的关键问题之一,如何划分软硬件故障对于整个系统的可靠性研究来说是至关重要的,也是最基本的一步.给出了软硬件故障的基本定义,并与单纯的软件故障和单纯的硬件故障进行了对比,总结了软硬件故障的基本特点.在此基础上,归纳了几条软硬件故障的划分原则,提出了一种软硬件故障的划分流程,并通过形式化方法对某装备的具体软硬件故障进行了划分,为进一步的研究提供了有力的依据.     

舰船操纵运动时高频波浪力的算例

提出六自由度舰船波浪中操纵性计算方法 ,应用切片理论STF法及二维Frank源汇分布法研究了舰船在波浪中操纵运动时高频波浪力的计算 ,并编制程序 ,数值计算了在波浪中摇荡的一矩形剖面和某舰船的高频波浪力、附加质量 ,方形切片计算结果与已有试验吻合较好     

微小卫星编队飞行轨道动力学及相对位置保持控制方法

微小卫星编队飞行是20世纪90年代中、后期出现的航天新概念,它是通过一组群聚卫星的协同工作完成相应的空间任务,具有广阔的应用前景。对微小卫星编队飞行的轨道动力学建模进行了详细研究,并应用势函数方法推导了用于卫星编队飞行相对位置保持的连续控制律及离散控制律。     

捷联式惯导系统动态误差特性研究

根据载体运动状态下捷联惯性导航系统 (SINS)的误差方程时变的特点 ,推导出捷联惯性导航系统动态误差模型 ,并对其在几种动态环境下的误差特性进行了仿真研究 ,结果表明 :与静态误差特性相比 ,捷联式惯导系统的动态误差特性发生了较大的变化。     

嵌入式实时操作系统性能测试方法

为综合评价操作系统能否满足使用要求,研究了一种定量测试嵌入式实时操作系统功能和性能的方法,提出了具体的测试项目、测试环境和测试用例的要点,给出一种基于外部注入的功能测试、性能测试、应用测试方法及具体实现。测试结果证明,该方法对提高软件质量,缩短研制周期,增强可维护性等方面有显著效果。