Deterrence under nuclear asymmetry: THAAD and the prospects for missile defense on the Korean peninsula

The 2016 decision to deploy Terminal High Altitude Area Defense (THAAD) to South Korea has generated multitude of intensely politicized issues and has proved highly controversial. This has made it challenging to alleviate, let alone clarify, points of analytical and policy tensions. We instead disaggregate and revisit two fundamental questions. One is whether THAAD could really defend South Korea from North Korean missiles. We challenge the conventional “qualified optimism” by giving analytical primacy to three countermeasures available to defeat THAAD–use of decoys, tumbling and spiral motion, and outnumbering. These countermeasures are relatively inexpensive to create but exceedingly difficult to offset. Second, we assess the optimal way to ensure South Korean national security against North Korean missiles. By examining the balance of capability and issues of credibility/commitment, we show that the U.S. extended deterrence by punishment remains plentiful and sufficiently credible even without enhancing the current defense capability.     

尾流模拟火箭弹空中弹道对模拟尾流生成区域的影响

为了研究尾流模拟火箭弹的空中弹道特性对模拟尾流区域的影响,建立火箭弹质点外弹道模型、阻力板和发动机空间运动微分方程以及连接绳的受力模型,得到火箭弹无控飞行、空中转向、空中分离至爆索展开入水全过程的空间运动微分方程。对尾流模拟火箭弹全程弹道进行仿真分析,着重分析不同初始射击诸元对爆索空中弹道的影响,探究初始发射角、脉冲发动机的喷管数量、点火时间以及火箭弹空中分离时间对模拟尾流生成区域的影响。仿真结果表明：初始发射角为15°时火箭弹射程和最大射高相对比较合理;火箭弹空中转向角度依赖于脉冲发动机总冲量,与点火时刻无关;空中分离时刻对爆索入水发泡区域影响不太明显,在满足转向要求和发泡区域要求的情况下应该尽早完成空中转向和分离。     

零压式高空气球球形设计与参数敏感性分析

高空气球能够为临近空间科学实验提供可靠的平台,其形状直接关系到气球制作及飞行的全过程。提出将多段打靶法与序列二次规划法结合,对零压气球完全膨胀和部分膨胀状态下的球形进行求解,并运用有限元方法对球形进行稳定性及应力应变分析,验证了所推导球形的正确性。在此基础上,对影响气球形状的关键参数进行灵敏度分析及相关运用,从定量的角度得到气球载荷、飞行高度及昼夜温差对气球形状的影响规律。     

高精度CFD程序的内外子区域划分异构并行算法

对计算流体力学(Computational Fluid Dynamics, CFD)程序CNS提出一种Offload模式下对任务内外子区域划分的异构并行算法,结合结构化网格下有限差分计算和四阶龙格-库塔方法的特点,引入ghost网格点区域,设计了一种ghost区域收缩计算策略,显著降低了异构计算资源之间的数据传输开销,负载均衡时CPU端的计算与MPI通信完全和加速器端的计算重叠,提高了异构协同并行性。推导了保证计算正确性的ghost区域的参数,分析了负载均衡的条件。在"CPU(Intel Haswell Xeon E5-2670 12 cores×2)+加速器(Xeon Phi 7120A×2)"的服务器上测得该算法较直接将任务子块整体迁至加速器端计算的异构算法性能平均提升至5.9倍,较MPI/OpenMP两级并行算法使用24个纯CPU核的性能,该算法使用单加速器时加速至1.27倍,使用双加速器加速至1.45倍。讨论和分析了性能瓶颈与存在的问题。     

Schedule design for liner services under vessel speed reduction incentive programs

Gas and particulate emissions from ship transportation have been increasing in recent years. In order to mitigate ship emissions near coastal areas, voluntary vessel speed reduction incentive programs (VSRIPs) were put in place by a number of ports. This paper studies a schedule design problem faced by liner shipping companies under VSRIPs. It proposes a mixed-integer nonlinear mathematical model for the minimization of the total cost, consisting of fuel cost, as well as operating cost, minus dockage refunds. The model balances three determinants, that is, the compliance of VSRIPs, the speed limit (the maximum physical speed of ships and the upper speed limit imposed by VSRIPs), and the limited number of ships. An enumerative algorithm and a piecewise-linear approximation algorithm are developed, based on some properties of the nonlinear model. The efficiency of the proposed algorithms is validated through extensive computational experiments.     

基于网格质量反馈的弹性体动网格改进研究

高鲁棒性的动网格变形方法是求解包含运动边界的非定常流场问题的关键技术。基于经典的弹性体动网格方法,引入两种设计合理、评价效果较好的网格质量参数——Patrick网格质量参数和Baker网格质量参数,从网格质量反馈优化的角度对经典方法作出改进,提出了一种基于网格质量反馈的改进弹性体动网格方法。结合NACA0012翼型的大角度俯仰运动,对比研究改进方法与经典方法的变形能力,整个过程中改进方法均保持更好的平均/最小网格质量,尤其在大俯仰角90deg时,经典方法的平均、最小网格质量降幅均是改进方法的4倍之多,且机翼尾缘处的网格扭曲严重,而改进方法仍与初始网格保持了较好的一致性,具有更高的鲁棒性。作为例证,分别计算了二维NACA0012翼型、三维ONERA M6机翼的俯仰振荡绕流,并与实验结果及流场规律进行对比,结果表明：基于网格质量反馈的改进弹性体法能够显著提高变形网格的鲁棒性,在大幅度的变形下保持较高的网格质量,对多维流场的求解均可取得精确结果,可为非定常流场问题的求解提供有力支撑。     

适合可变剪接研究的转录组序列分析策略

规模化基因表达实验所产生的大量与生物组织特定时空状态相关的cDNA和表达序列标签(EST)等信息可用于新基因的发现、基因表达模式分析和基因组的注释,从而可为转录组研究提供实验设计和结果分析的参考标准。真核基因可变剪接的普遍性及其在机体生理与病理过程中的重要作用,使得可变剪接的系统分析已成为功能基因组研究中的热点之一。在面临海量表达数据的指数增长和不断有新的基因组获得测序的情况下,实现转录组序列分析的规模化、自动化计算迫在眉睫。讨论不同转录组分析系统中的数据分析算法及其计算需求,并提出适用于大规模可变剪接分析的策略。     

镁基水反应金属燃料及水冲压发动机初步试验

通过热力学计算预估水冲压发动机的性能,确定了燃料配方,并研制出试验用镁基水反应金属燃料。成功进行了水冲压发动机原理样机热试车,对水冲压发动机及其燃料的性能进行了初步研究。     

宽速域飞翼布局后缘射流滚转控制研究

采用数值模拟方法对宽速域(Ma为0.145～0.7)内飞翼布局采用后缘环量控制射流进行滚转控制开展系统研究,并与传统舵面控制构型进行对比。研究关注电磁隐身特性、滚转控制特性和相关流动机理,以及射流引气的综合影响。结果表明：随马赫数的增大,射流对边界层流动的夹带和阻滞效应减弱,滚转控制能力显著下降;但射流控制大幅提高了典型角域的电磁隐身特性,并且引气量少,推力损失小,控制效率因子(单位附加阻力系数产生的控制力矩系数)高。综合来看,后缘环量控制射流是一种极具潜力的飞翼布局滚转控制设备。     

新经济下的兵团高技术产业发展模式探讨

在新经济时代,兵团高技术产业应以农业为基础,运用现代生物技术和节水技术,走可持续农业的发展战略,建立以政策创新、机制创新和技术创新为支撑的高新技术产业发展模式.