Validation of a strategy for harbor defense based on the use of a min‐max algorithm receding horizon control law

We present a validation of a centralized feedback control law for robotic or partially robotic water craft whose task is to defend a harbor from an intruding fleet of water craft. Our work was motivated by the need to provide harbor defenses against hostile, possibly suicidal intruders, preferably using unmanned craft to limit potential casualties. Our feedback control law is a sample‐data receding horizon control law, which requires the solution of a complex max‐min problem at the start of each sample time. In developing this control law, we had to deal with three challenges. The first was to develop a max‐min problem that captures realistically the nature of the defense‐intrusion game. The second was to ensure the solution of this max‐min problem can be accomplished in a small fraction of the sample time that would be needed to control a possibly fast moving craft. The third, to which this article is dedicated, was to validate the effectiveness of our control law first through computer simulations pitting a computer against a computer or a computer against a human, then through the use of model hovercraft in a laboratory, and finally on the Chesapeake Bay, using Yard Patrol boats. © 2016 Wiley Periodicals, Inc. Naval Research Logistics 63: 247–259, 2016     

Capacity expansion and cost efficiency improvement in the warehouse problem

The warehouse problem with deterministic production cost, selling prices, and demand was introduced in the 1950s and there is a renewed interest recently due to its applications in energy storage and arbitrage. In this paper, we consider two extensions of the warehouse problem and develop efficient computational algorithms for finding their optimal solutions. First, we consider a model where the firm can invest in capacity expansion projects for the warehouse while simultaneously making production and sales decisions in each period. We show that this problem can be solved with a computational complexity that is linear in the product of the length of the planning horizon and the number of capacity expansion projects. We then consider a problem in which the firm can invest to improve production cost efficiency while simultaneously making production and sales decisions in each period. The resulting optimization problem is non‐convex with integer decision variables. We show that, under some mild conditions on the cost data, the problem can be solved in linear computational time. © 2016 Wiley Periodicals, Inc. Naval Research Logistics 63: 367–373, 2016     

Innovation in China’s Defense Technology Base: Foreign Technology and Military Capabilities

ABSTRACT

China’s defense science, technology, and industrial system has been undergoing a far-reaching transformation over the past two decades and the single biggest factor behind this turnaround is the role of external technology and knowledge transfers and the defense industry’s improving ability to absorb these inputs and convert into localized output. China is pursuing an intensive campaign to obtain defense and dual-use civil–military foreign technology transfers using a wide variety of means, which is explored in this article.     

潜艇使用自航式声诱饵防御声自导鱼雷模型研究

针对潜艇如何使用自航式声诱饵防御声自导鱼雷,分析了自航式声诱饵的初始航向范围,并建立了相应的防御模型.然后采用线性规划方法,求取最优的潜艇规避角度和诱饵航向.最后时典型态势进行仿真计算,结果表明,采用该方法得出的结果与实际作战基本符合,从而验证了模型的正确性.     

基于舰载直升机的舰艇编队对空预警性能配置研究

针对现代海战中空袭目标的特点,合理配置舰载直升机在舰艇编队对空防御中的预警过程。在舰载直升机前出距离的数学模型基础上,从预警机本身因素、敌方攻击因素和我方编队防御因素这三个方面入手,对舰载直升机的对空预警性能进行优化配置,采用MATLAB数学工具得出计算结果,绘制性能匹配曲线(或曲面)并得出约束条件。从不同角度对舰载直升机对空预警的配置进行了分析,可为舰艇编队预警探测和作战指挥决策提供依据。     

基于多属性决策方法的防空C3I系统效能评估

介绍了防空C3I系统效能的定义及效能评估的一般处理过程.针对效能指标的多样性,提出了基于多属性决策(MADM)的效能评估方法,并通过一个示例给出MADM方法的处理过程,有效地解决了防空C3I系统效能评估这一复杂而困难的问题,仿真结果证明了方法的可行性.     

舰艇防空火力规划与调度方法研究

根据舰艇防空武器拦截过程的时间连续性和拦截效果的不确定性特点,提出了智能规划和优化调度相结合的舰艇防空计划生成方法。在规划阶段,先用智能规划描述语言PDDL对舰艇防空问题进行建模;针对新的来袭目标或观察的拦截结果,利用智能规划的高效行动推理能力,快速生成可能的备选行动方案;在优化调度阶段,对已生成的备选方案的行动系列进行时间、资源冲突处理,并计算选择出当前最佳拦截方案。与现有的采用离散化处理的武器-目标分配方法相比,该规划与调度过程充分体现了拦截过程的连续性,拦截效果的不确定性,拦截过程中的武器协同,以及最佳拦截时机的选择等,更好地描述了舰艇防空的实际过程。最后,通过蒙特卡罗仿真试验,验证了算法的有效性,为舰艇的自动化防空提供了一种新的解决办法。     

空天防御作战规划问题研究

从技术与作战结合的角度,系统分析空天防御作战系统和对抗特点等问题,构建了"态势组态—目标排序—目标分配—冲突动态最优预测"新型作战规划方法,提出"博弈控制理论与方法",论述了空天防御作战规划方法论。对空天防御作战规划理论研究有一定参考价值,为发展空天防御作战规划系统提供了研究思路和技术支撑。     

对Sosemanuk算法改进的猜测决定攻击

Sosemanuk算法是欧洲eSTREAM计划最终获选的七个算法之一。从比特层面对该算法进行剖析,通过对Serpent1组件S盒、模232加法和线性反馈移位寄存器的研究,找到了关于内部状态的一个方程组,并利用Groebner基方法改进了对Sosemanuk算法基于字的猜测决定攻击。结果表明只需要猜测7个32比特的字就可以完全确定出其余5个32比特的内部状态,其攻击的复杂度为O(2192)。     

基于Multi-Agent技术的大型航天研发项目风险分析方法

大型航天研发项目对于社会经济发展和国防安全有着重要影响,是国家重大工程中一类较为特殊的项目,而风险分析是大型航天研发项目按计划、高质量、低成本完成的重要保障。通过分析大型航天研发项目的特点、风险因素以及管理过程,结合Multi-Agent以及分布式项目管理的理论和技术,研究和提出了一种新的基于Multi-Agent技术的大型航天研发项目风险分析方法,在此基础上针对具体项目进行了实验仿真,获取了项目的风险水平和关键风险因素,为航天研发项目风险管理与控制提供决策支持。