THE ROLLBACK OF LIBYA'S CHEMICAL WEAPONS PROGRAM

In 2003, Libyan leader Muammar Qaddafi agreed to eliminate his country's weapons of mass destruction (WMD) programs and long-range Scud missiles under strict verification by U.S. and British experts and international inspectors. This article examines the negotiation and implementation of Libya's WMD rollback, with a primary focus on its chemical weapons program, and draws some lessons for the future. Although the Libyan case was unique in many ways, some aspects have relevance for other countries, including the critical role played by multilateral nonproliferation organizations, the utility of economic sanctions and export controls, the importance of a flexible U.S. disarmament funding mechanism, the value of rotating technical assistance teams in and out of the country that is disarming, and the desirability of remaining politically engaged with a former proliferator after rollback is complete.     

全气动步兵武器表层自动喷涂机设计

分析目前步兵武器零件表层喷涂技术现状,提出全气动自动喷涂机设计方案,根据步兵武器零件结构特点,规划自动喷涂轨迹,设计全气动自动化喷涂专用设备．该设备具有本质安全性,适于部队条件下使用．     

化学氧碘激光器光腔边界层的被动控制方法实验

针对化学氧碘激光器(Chemical Oxygen-Iodine Laser, COIL)光腔内边界层的被动控制方法,设计了三种实验件。光腔的上下壁板是可拆卸的,可以更换不同的实验件,以此比较边界层的控制效果。实验结果表明:开槽板、主流引射缝和开孔板在对光腔边界层的控制上都取得了一定的效果,改善了光腔特别是光腔后半部分的压力分布。在一定范围内,增加边界层的抽气量,可以进一步减小边界层厚度,降低光腔压力,同时提高COIL出光功率,但是当抽气量过大时,反而会降低出光功率。三种实验件中,主流引射的方式对抽气量最敏感,当抽气量增加至5%时,COIL出光功率已经明显下降;开孔板对抽气量不太敏感,抽气量从1%增加至7%,对COIL出光功率的影响并不明显。     

基于CPLD与单片机的多路高精度数据采集系统设计

结合CPLD与单片机设计了一种多路高精度数据采集系统,最高可达24位转换精度。所采集数据具备良好的实时性,可采集通道数目多,同时系统具备较强的抗外界干扰能力,结构简单,可靠性好。该系统具有较强的可移植性,能够广泛应用于多路、高精度、低频数据采集的场合。     

正确把握和处理防化科研发展和建设中的几个重要问题

结合防化科研工作实际,从四个方面谈了如何在防化科研中贯彻落实科学发展观、提高自主创新能力,推动防化科研又好又快发展的初步想法。     

A m‐parallel crane scheduling problem with a non‐crossing constraint

In this paper, we study a m‐parallel machine scheduling problem with a non‐crossing constraint motivated by crane scheduling in ports. We decompose the problem to allow time allocations to be determined once crane assignments are known and construct a backtracking search scheme that manipulates domain reduction and pruning strategies. Simple approximation heuristics are developed, one of which guarantees solutions to be at most two times the optimum. For large‐scale problems, a simulated annealing heuristic that uses random neighborhood generation is provided. Computational experiments are conducted to test the algorithms. © 2006 Wiley Periodicals, Inc. Naval Research Logistics, 2007.     

On equivalence between the proportionate flow shop and single‐machine scheduling problems

We derive sufficient conditions which, when satisfied, guarantee that an optimal solution for a single‐machine scheduling problem is also optimal for the corresponding proportionate flow shop scheduling problem. We then utilize these sufficient conditions to show the solvability in polynomial time of numerous proportionate flow shop scheduling problems with fixed job processing times, position‐dependent job processing times, controllable job processing times, and also problems with job rejection. © 2015 Wiley Periodicals, Inc. Naval Research Logistics 62: 595–603, 2015     

Scheduling research and the first decade of NRLQ: A historical perspective

It is generally recognized that the first model involving job scheduling was presented by Selmer Johnson and published in the inaugural issue of Naval Research Logistics Quarterly (NRLQ) in 1954. NRLQ also published another seminal scheduling paper by Wayne E. Smith a short time later. In the present paper, we discuss the contribution of NRLQ and the role of the Office of Naval Research in the development of the scheduling literature during the first decade (1954–1963). We also provide a critical analysis of the papers by Johnson and Smith. © 2015 Wiley Periodicals, Inc. Naval Research Logistics 62: 335–344, 2015     

机枪机器人的扫射方式和扫射角速度的研究

机枪机器人将在无人化战争中起到一定作用。使用者可以遥控射击,利用监视屏瞄准目标。由于图像传输延迟,监视屏上显示的图像反映目标在100 ms~300 ms之前的实际位置。射击移动目标是,如不考虑这一因素,将导致命中率降低。推导机枪机器人的扫射角速度计算式,对各种扫射方式进行分析和对比,以美制M240机枪为例进行仿真,进而找到了机枪机器人在平坦开阔地带的最优扫射方式。本方法可作为使用和设计机枪机器人的依据。     

火箭发动机故障检测的快速增量单分类支持向量机算法

为解决液体火箭发动机故障诊断正负样本不平均问题,以及实现发动机稳态工作段自适应故障检测,建立了基于快速增量单分类支持向量机的异常检测模型。采取特征工程方法,对传感器获得的多变量时间序列进行特征提取。通过增量学习方法,对单分类支持向量机模型进行改进,并应用于液体火箭发动机异常检测,使单分类支持向量机检测模型具备对不同台次、不同工况的自适应性,提高了模型的计算速度。对多台次热试车数据的分析结果表明,该模型十分有效,训练速度快,具备实用价值。