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.     

认知建模及其心理战

认知建模以神经科学、计算机科学和认知心理学为依托,深入研究人类的思维模式。心理战作为认知科学领域的研究范畴,其内在运行机制就是通过特定的手段传播特定的信息影响作战对象的认知,达到精神上影响甚至瓦解作战对象的目的。由此,认知建模的不断完善和发展能够为心理战的理论研究、实际训练和效果评估等提供理论支持和借鉴启示。     

基于扩展Petri网的防空C~4ISRK系统建模分析

针对地空导弹武器系统防空中的火力分配问题,建立了战术级防空C4ISRK系统的Petri网模型。对其进行扩展,即联合谓词Petri网和赋色Petri网,建立旅级火力分配的改进模型,给出了具体的前置谓词公式。为有效分析战术决策的正确性提供了依据和思路。     

C2组织探索性分析框架设计研究

以验证组织优化设计方法为目的,将探索性分析思想引入组织优化设计研究,根据探索性分析的特点与组织优化设计方法验证的具体需要,对C2组织探索性分析的过程进行了研究,初步设计了面向C2组织的探索性分析框架并对其中的关键技术进行了分析。     

FIPA规范的防空导弹体系Agent建模方法

针对防空导弹体系建模的复杂性,探讨研究防空导弹体系的Agent建模方法.提出了基于G/A矩阵的Agent建模方法步骤,通过分析角色之间的关系描述了Agent组织结构,给出了角色类和Agent类的统一定义,并建立了Agent结构框架和类实现模型,最后构建了基于FIPA规范的MAS综合集成框架.该方法的提出,为防空导弹体系的进一步建模提供了方法依据.     

自由漂浮柔性机械臂系统的动力学建模与仿真

动量矩守恒约束使自由漂浮柔性机械臂系统成为非完整系统,其动力学模型通常是难以求解的微分—代数方程,因此提出将机械臂系统等效为一个完整系统进行建模。假设载体存在姿态控制力矩,此时由于不存在动量矩守恒约束,系统变成一个完整系统,采用Lagrange方法建立其动力学方程;令方程中载体的姿态控制力矩为零,即得到自由漂浮机械臂系统的动力学方程;采用数值方法求解动力学方程,并将动力学分析的结果与ADAMS中仿真的结果进行对比,验证了模型能够有效模拟自由漂浮柔性机械臂系统的动力学特性。     

Warranty claims modeling

A company wishes to estimate or predict its financial exposure in a reporting period of length T (typically one quarter) because of warranty claims. We propose a fairly general random measure model which allows computation of the Laplace transform of the total claim made against the company in the reporting interval due to warranty claims. When specialized to a Poisson process of both sales and warranty claims, statistical estimation of relevant quantities is possible. The methodology is illustrated by analyzing automobile sales and warranty claims data from a large car manufacturer for a single car model and model year. © 2008 Wiley Periodicals, Inc. Naval Research Logistics, 2008     

基于CISE环境的导弹武器仿真系统

数字仿真研究是导弹武器设计验证的有效手段,基于CISE环境设计了导弹武器仿真系统,介绍了CISE环境的特点,给出了仿真系统的模块组成、系统方案、软件界面,设计了系统工作流程和仿真系统各组成模块间信息交互定义及关系,介绍了仿真系统中的中末制导交班流程、攻击区计算流程。该平台各模块间具有良好的独立性和封装性,基于此系统开展了系统建模、作战模式、战技指标论证、逃逸方式等方面研究工作。     

空中机动目标刚体运动建模方法

传统目标跟踪和识别算法通常建立在目标质点运动模型的基础上,其实现过程相对简单,但也存在精度不高的缺点.随着现代雷达、目标跟踪/识别技术的发展,以及各种高精度目标测量传感器的运用,建立更精确的刚体运动模型已成为一种必然需要.概述了国内外在空中机动目标刚体运动建模这一领域的研究现状,并详细介绍了当前常用的几种空中机动目标刚体运动建模方法,最后,根据分析总结了当前这些建模方法存在的缺陷,并指出了其可能的研究方向.     

数学建模与创新能力的培养

通过开展数学建模教学 ,将数学教学与解决实际问题有机结合起来 ,培养学生创新能力