织女一号气象火箭设计中的若干技术

织女一号气象火箭是一种小型无控固体火箭,由于采用了若干先进的技术,使其总体性能达到了国际先进水平。本文介绍了其总体性能,重点介绍了总体方案设计中采用的包括最优推力程序等若干先进技术。     

Global counterinsurgency and US army expansion: the case for recruiting foreign troops

Given the nature of global counterinsurgency operations, the demands of military expansion, and the need for cultural, linguistic, and regional expertise, the United States Army should evaluate the establishment of US-led foreign troop units for its evolving force structure. This article proposes the creation of an American foreign legion based upon the recruitment of US-led, ethnically homogeneous tribal force units to meet the grist mill of counterinsurgency operations. This structured approach would be more beneficial than the current reliance on a de facto American Foreign Legion, represented by private military contractors (PMCs), many of them comprised of foreigners. These PMCs carry a number of oversight, accountability, and legal risks not found in a fully integrated, and US-officered foreign legion. The British Brigade of Gurkhas, the South-West African Police Counter-Insurgency Unit (Koevoet), and the Kit Carson Scouts serve as relevant historical examples where foreign troops were used to supplement national manpower resources.     

INTERNATIONAL REGIME OF FRESH FUEL SUPPLY AND SPENT FUEL DISPOSAL

Recent events in Iran and elsewhere demand a reevaluation of the need for increasing nuclear fuel supplies and assuring reliable flow of fuel to nuclear power user states vis-à-vis the need for strengthened security for all countries against the use of weapons of mass destruction (WMD). The right of countries to a guaranteed supply of nuclear energy for peaceful uses must be balanced with the global community's desire to limit flows of nuclear material and sensitive nuclear facilities that could create opportunities for nuclear proliferation. This article proposes elements of an international regime of fresh fuel supply and spent fuel disposal that will guarantee fresh fuel supplies to countries honoring their obligations under the Treaty for the Non-Proliferation of Nuclear Weapons (NPT), while reducing concerns about diversion of spent fuel for weapons purposes. A specific application to countries with small pre-commercial uranium enrichment plants is also proposed.     

基于凸优化理论的三维微分对策制导规律求解

针对三维微分对策制导律(DGL)求解问题,引入凸优化理论,将DGL求解归结到Hamilton系统的求解,设计了DGL求解算法,通过对代价函数梯度特征的凸分析,推导出对策系统鞍点存在的充要条件和求解方法,解决了以往通过对微分对策模型简化求解导致的模型不能客观反映作战过程的问题.     

基于凸-改进遗传算法的圆阵列方向图联合优化

针对圆形阵列方向图具有较高旁瓣的问题,提出一种新的基于凸优化和改进遗传算法的优化方法。该方法首先采用遗传算法将阵元位置和阵元权值作为优化变量,以最小化波束方向图峰值旁瓣为目标函数进行联合优化,既增加了变量的自由度,又符合理论意义上的全局寻优;同时,为了避免算法的早熟收敛,对基本遗传算法进行了必要的改进。然后采用凸优化方法对阵元权值进行二次优化可进一步降低旁瓣电平,与传统方法相比能够明显提高优化效果的稳定性。仿真数据证实了该方法的有效性和正确性。     

银河机向量线性代数库的并行算法研究及优化

文中对YH-1标量线性代数库进行并行算法研究:改造串行算法,挖掘其中的向量成份,实行并行计算。根据并行机的特点采取有效的程序优化措施,设计出银河机向量线性代数库。该库采用各种直接解法的并行算法求解各类线性代数问题,精度好,运行速度快(当n=300时,向量库运行速度平均为标量库的13倍)。     

武警部队“忠诚卫士文化”建设历程探析

以《武警年鉴》原始资料为基础,从三个阶段简述武警部队“忠诚卫士文化”建设的历程：以武警部队重新组建为标志,忠诚卫士文化建设进入自发发展时期;以“中国武警十大忠诚卫士”评选为标志,忠诚卫士文化建设进入迅速发展时期;以《武警部队先进军事文化建设纲要》颁发为标志,忠诚卫士文化建设进入有意识地打造品牌的时期。     

基于类成员后向切片的面向对象程序回归测试

程序切片是一种重要的程序分析方法,类成员级粒度的切片技术目前仅仅有Tip提出的类层次切片技术.Tip提出的类层次切片技术其分析基础是Rossie-Friedman的类层次框架,但主要用于面向对象程序的优化,并不适用于回归测试.本文基于Rossie-Friedman的类层次框架提出类成员后向切片方法,并提出一个覆盖类的方法一级的回归测试策略.     

基于最少谓词思想的可达路径选择

对于结构测试中的不可达路径问题,仅仅使用传统的不可达路径排除方法存在很大的限制性,应用效果一般.积极选择可达路径的思想可有效减少不可达路径的产生.目前,基于最少谓词思想的路径生成方法得到广泛的认可.了解可达路径选择思想后,主要介绍一种基于数据流信息的,具体应用基本程序切片技术来生成可达路径的方法,该方法可生成几乎有最少谓词的路径,有较好效果.     

武器雷达装备RCM分析决策系统

详细介绍了武器雷达装备RCM分析决策系统的体系结构、功能模块划分和数据库设计方法,并给出了系统的实现方案以及后续开发的设想。