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.     

短脉冲激光作用下爆发沸腾的温度及汽泡行为研究

采用短脉冲激光加热浸没在丙酮液池的铂薄膜电阻的方法,以及高压电火花单次放电高速照相技术,在国内首次建立了超急速爆发实验台,达到了微秒级的温度频响和2×106帧/s的高速照相.研究发现,随着激光热流密度增加,试件表面温度快速升高到一饱和值,与过热液体的动力学理论极限温度非常接近.拍摄到了与常规沸腾很不相同的蘑菇云式爆发沸腾照片.试件表面及临近表面的微薄液层内瞬间爆发生成大量大小相当的细小汽泡,汽泡脱离直径远低于经典Fritz公式计算值,上浮速度先快后慢.     

和谐文化的人性基础

人是社会的人，人的本质是一切社会关系的总和，因而人具有广泛体现其社会本质与发展内涵的多方面的需要。人的需要具有广泛性和无限性的特点，人不仪有物质需要，而且有精神需要。人是文化的存在物，人决定文化，文化反过来又塑造人。马克思认为人的发展的必然趋势是和谐的发展，而和谐发展的人，必须是全面发展和个性丰富高度统一的人，是具有自由个性的人。和谐人性理论是建设和谐文化的基础，建设和谐文化需要和谐人性理论做前提。     

认知建模及其心理战

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

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

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

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

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

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

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

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

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

简论道德评价问题

本文通过对道德评价的现实意义、道德评价是他律与自律的统一的阐发，来研究道德评价问题。加强公民道德建设、构建和谐社会，就应该重视道德评价问题的研究，因为它是对人们道德行为进行监督的必不可少的仲裁力量。