系统动力学装甲兵进攻战斗中机降行动效果分析

围绕装甲机械化部队机降行动的作战特点,着眼于充分发挥机降行动击敌要害的战术优长,在新一代战斗条令的理论指导下,运用系统动力学方法和兰彻斯特战斗理论,建立装甲兵部队进攻战斗中机降行动的系统动力学模型,探索装甲兵部队在使用机降力量快速达成战术目的新方法,为指挥员科学使用这一战术手段提供了定量依据和有效的辅助决策支持.     

基于FRFT的FMCW SAR成像

调频连续波合成孔径雷达(FMCW SAR)结合调频连续波与合成孔径成像技术,具有体积小、重量轻、成本低、分辨率高等一系列优点,是新近提出来的一种成像雷达体制。由于FMCW SAR的差频信号在方位向可以转化为调频信号,据此提出了一种基于分数阶傅立叶变换(FRFT)的FMCW SAR成像算法。仿真结果表明,该算法与RD算法相比较,方位向主瓣压缩和旁瓣抑制效果非常明显。     

基于串联QFD神经网络的武器装备使用需求映射方法

针对传统优化方法不能对武器装备使用主体――部队的使用需求进行有效考虑,提出武器装备使用需求到性能指标映射的串联QFD神经网络方法.该方法综合利用了QFD方法采集信息准确快速、神经网络能够精确模拟多变量输入输出强非线性关系的优点,提高了映射精度与针对性,克服了传统需求分析侧重于推理而轻实践、侧重于"设计方"而轻"使用方"的弊端,集中体现了"用户"为主的思想.改进了传统BP网络训练算法,给出了武器装备使用需求映射适应度函数.最后,结合实例对方法及算法进行了可靠性验证.     

地球静止轨道高能电子通量在线预测模型

利用粒子群优化算法和最小二乘支持向量机,建立地球静止轨道高能电子通量在线预测模型。针对粒子群优化算法,提出一种新的粒子群多样性测度计算方法,有效改善其早熟收敛现象。运用改进的粒子群优化算法优化最小二乘支持向量机的正则化参数和核参数。利用滑动时间窗口策略更新模型数据,选择触发机制以及模型的再学习机制为设计变量,实现模型的在线预测功能。对2000年电子通量监测数据和相关太阳风、地磁参数等实际数据进行的提前1~3天的预测实验,表明所建在线预测模型具有较高的预测性能,并具有一定的实用价值。     

体育教学中如何培养学生的意志品质

意志品质是人们为达到既定目的而在行动所表现出来的自觉克服困难的心理过程。意志品质具体表现在鉴定的目的性;顽强性和果断性;勇敢创新精神。在体育教学中能否体现出意志品质的培养和有目的的是学生克服各种各样的困难完成意志行动,这对提高教学质量有很大的促进和发展作用。     

气象条件对远程火箭炮射击精度的影响及对策

针对远程火箭炮武器系统射击精度问题,运用误差分析法探讨气象条件对远程火箭炮武器系统射击精度的影响.为提高射击精度,分析了气象准备的诸元误差及气象条件的时空变化对命中概率的影响,并把气象条件的时空变化对远程火箭炮武器系统气象准备精度和命中概率的影响进行了量化,从而找出气象条件的时空变化影响射击精度的根源.针对误差根源探讨了解决措施,为该武器系统实现精确火力打击提供保障.     

关于半鞅向量随机积分的两个结果

首先利用半鞅Girsanov定理与闭图像定理证明了:若{Xn}是带滤基的完备概率空间(Ω,F,F,P)中的一列半鞅,其中滤基F=(Ft)t≥0满足通常条件,且{Xn}在关于P的Emery拓扑空间中收敛于X,则当概率测度Q相似文献   

一种高效的显式模型检验方法

随着软硬件系统规模和功能的不断扩充,状态空间爆炸问题严重影响了模型检验的进一步发展与应用,成为验证大规模系统的瓶颈.在显式模型检验工具Murphi的基础上,针对其可达状态空间组织存在的问题进行改进,提出了基于整型指针与Fibonacci散列的可达状态空间组织方法,实现了一个高效的显式模型检验原型系统,在确保验证正确的同时有效缩短了验证时间,并能在系统规范不可满足的情况下给出反例,有助于系统设计人员快速定位错误.理论分析和实验结果表明了本方法的有效性.     

分布式多机协同控制信息同步技术

无人机群的信息同步是影响多无人机协同控制性能的一个重要因素。在介绍一类无人机群间信息流线性更新策略的基础上,对单链环形通信结构的信息同步位置进行了数学分析与仿真计算,结果表明可信度环形单链通信拓扑的信息同步于各单元初值的平均值。可信度的大小仅影响同步速度的快慢,对稳态值没有影响,可信度越大收敛速度越快,可信度越小收敛越慢。     

Exact algorithms for scheduling multiple families of jobs on parallel machines

In many practical manufacturing environments, jobs to be processed can be divided into different families such that a setup is required whenever there is a switch from processing a job of one family to another job of a different family. The time for setup could be sequence independent or sequence dependent. We consider two particular scheduling problems relevant to such situations. In both problems, we are given a set of jobs to be processed on a set of identical parallel machines. The objective of the first problem is to minimize total weighted completion time of jobs, and that of the second problem is to minimize weighted number of tardy jobs. We propose column generation based branch and bound exact solution algorithms for the problems. Computational experiments show that the algorithms are capable of solving both problems of medium size to optimality within reasonable computational time. © 2003 Wiley Periodicals, Inc. Naval Research Logistics 50: 823–840, 2003.