On efficient algorithms for finding efficient salvo policies

We consider the salvo policy problem, in which there are k moments, called salvos, at which we can fire multiple missiles simultaneously at an incoming object. Each salvo is characterized by a probability p_i: the hit probability of a single missile. After each salvo, we can assess whether the incoming object is still active. If it is, we fire the missiles assigned to the next salvo. In the salvo policy problem, the goal is to assign at most n missiles to salvos in order to minimize the expected number of missiles used. We consider three problem versions. In Gould's version, we have to assign all n missiles to salvos. In the Big Bomb version, a cost of B is incurred when all salvo's are unsuccessful. Finally, we consider the Quota version in which the kill probability should exceed some quota Q. We discuss the computational complexity and the approximability of these problem versions. In particular, we show that Gould's version and the Big Bomb version admit pseudopolynomial time exact algorithms and fully polynomial time approximation schemes. We also present an iterative approximation algorithm for the Quota version, and show that a related problem is NP-complete.     

Technical note: Finite-time regret analysis of Kiefer-Wolfowitz stochastic approximation algorithm and nonparametric multi-product dynamic pricing with unknown demand

We consider the problem of nonparametric multi-product dynamic pricing with unknown demand and show that the problem may be formulated as an online model-free stochastic program, which can be solved by the classical Kiefer-Wolfowitz stochastic approximation (KWSA) algorithm. We prove that the expected cumulative regret of the KWSA algorithm is bounded above by where κ₁, κ₂ are positive constants and T is the number of periods for any T = 1, 2, … . Therefore, the regret of the KWSA algorithm grows in the order of , which achieves the lower bounds known for parametric dynamic pricing problems and shows that the nonparametric problems are not necessarily more difficult to solve than the parametric ones. Numerical experiments further demonstrate the effectiveness and efficiency of our proposed KW pricing policy by comparing with some pricing policies in the literature.     

穿甲子弹垂直侵彻防弹钢试验与理论模型

试验研究了穿甲子弹垂直侵彻高强防弹钢的机理,提出了一个分析靶板极限速度和弹体剩余速度的理论模型,该模型综合考虑了材料的应变率与热软化效应,结果表明,理论值与试验值吻合很好.分析了失效准则的影响,研究了剪切带温度和靶板耗能随入射速度的变化规律.     

海战场时空查询及索引机制研究

针对目前海战场信息系统的不足,引入时空数据技术对战场数据建模,并支持设计了海战场时空数据库原型系统.对系统要求的时空查询问题进行归纳,结合海战场数据特性加以分析,为后续的索引建立提供了依据.3D R-tree相较现有的其他时空索引更适用于海战场的环境,并通过扩充部分的弥补了其检索效率的不足.     

边防部队基层警营文化建设存在的问题原因及对策

近年来，边防部队通过大力开展基层警营文化建设，取得了可喜的成绩，但整体情况仍然滞后，需从多方面分析其存在的问题及原因，才能进一步提出对策，使警营文化效能的发挥达到最佳。     

五阶HWCNS格式在低速复杂流场中的应用

采用五阶精度显式HWCNS格式求解雷诺平均NS方程，利用多块对接结构网格技术，对30P-30N多段翼型进行网格收敛性研究，在不考虑转捩的情况下采用SA一方程湍流模型研究HWCNS格式与二阶精度MUSCL格式对该翼型压力分布和典型站位速度型的影响，并与实验结果进行对比分析。采用HWCNS格式和SA一方程湍流模型模拟梯形翼高升力构型低速复杂流场，通过对总体气动特性和压力分布的分析，探讨五阶精度显式HWCNS格式在低速复杂外形流动中的应用能力。     

多波束卫星网络的物理层安全性能指标研究

安全性是卫星通信网络充分发挥其优势的必要保证。将物理层安全传输技术引入多波束卫星通信网络,可望有效提高卫星通信系统的抗截获和抗侦测能力。分析了卫星通信的物理层安全应用需求,设计了一套波束成形和功率控制相结合的多波束卫星下行链路物理层安全传输策略,建立了信道模型和信号模型,构建了一套多波束卫星网络下行链路的物理层安全性能评价指标,并对指标进行了定性和定量的分析。     

基于MDA的HLA仿真技术框架设计

近年来MDA在分布式仿真特别是在HLA仿真技术中的应用情况缺乏对MDA与HLA结合的仿真技术整体性的认识,不利于仿真系统开发的宏观指导.基于MDA的HLA仿真技术框架的提出就是从系统的角度研究基于MDA的仿真系统开发过程.该框架从模型通用性的静态角度和建模仿真过程的动态角度出发,分为HLA仿真系统主题域的划分和HLA仿真系统开发过程两部分进行了全面的分析,为今后开展基于MDA的HLA仿真研究提供了一种宏观的指导方法.     

The lobbies’ network at the EU policy level: the case of security and defense

Lobbyists may not share the same interests, but they usually agree to form a link in a network which could eventually be used to spread information, to search for potential partners, to speak with one voice to decision makers. In other words, social links represent value for lobbyists because they may ultimately facilitate access. In this article, we explore the network of the Security and Defense lobbies in the EU and we describe its structure.     

一种面向Agent的概念化建模方法*

面向Agent的建模方法为基于Agent系统的概念化描述提供了一种新的技术.针对多Agent系统分析与建模问题,扩展并规范了面向Agent概念化建模过程,定义了Agent模型及其扩展模型,并给出了形式化描述.同时,给出面向Agent的分析和设计过程,为其具体建模提供了一种高层指导.最后,与其它现有面向Agent的方法在应用方面进行了类比分析,为该方法的广泛和深入地应用研究打下基础.