Concise RLT forms of binary programs: A computational study of the quadratic knapsack problem

The reformulation‐linearization technique (RLT) is a methodology for constructing tight linear programming relaxations of mixed discrete problems. A key construct is the multiplication of “product factors” of the discrete variables with problem constraints to form polynomial restrictions, which are subsequently linearized. For special problem forms, the structure of these linearized constraints tends to suggest that certain classes may be more beneficial than others. We examine the usefulness of subsets of constraints for a family of 0–1 quadratic multidimensional knapsack programs and perform extensive computational tests on a classical special case known as the 0–1 quadratic knapsack problem. We consider RLT forms both with and without these inequalities, and their comparisons with linearizations derived from published methods. Interestingly, the computational results depend in part upon the commercial software used. © 2009 Wiley Periodicals, Inc. Naval Research Logistics, 2010     

计算机网络攻击效果评估技术研究

计算机网络攻击效果评估技术是信息系统安全评估中一个重要而具有挑战性的课题。目前 ,相关的理论尚不成熟 ,有关的研究报道较少。简要总结了当前已经存在的主要信息安全的评估方法 ,在此基础上 ,从便于实际度量和计算的角度出发 ,提出了基于网络信息熵的评估技术、基于系统安全层次分析的安全评估框架和基于指标分析的网络攻击效果综合评估技术等三种评估模型 ,并分析了各自在使用中应注意的问题     

多UAV协同区域覆盖侦察方法

针对多UAV对未知区域的协同覆盖侦察问题,提出了将STC算法与在线局部调整策略相结合的区域覆盖侦察方法.通过建立无重叠覆盖区域的闭合路径,最小化了重复侦察区域,缩短了任务执行时间;通过在线局部调整保证了只要有一架UAV不出现故障,侦察任务就可以正常进行.仿真结果表明,该方法能够有效解决多UAV协同区域覆盖侦察问题,方法...     

MARK XIIA Mode 5系统仿真及抗干扰性能分析

Mark XIIA Mode 5是美军及北约盟军用以提高态势感知能力的新型敌我识别系统。以其为研究对象,首先分析了它所应用的关键技术,如RS纠错编码、软扩频和MSK调制等新技术;其次根据所应用的关键技术对系统进行了模型构建,并以Matlab为仿真平台进行了仿真,得出了询问/应答信号的时域波形及频谱;最后,重点对系统的抗干扰性能进行了分析,分别得出了MSK解调后、解扩后和RS解码后的误码率曲线,可以看出Mark XIIA Mode 5具有很强的抗干扰性能。     

高炮旅(团)作战面向对象Petri网模型

概要分析了高炮旅(团)指挥控制与信息处理分发过程,对基本Petri进行扩展构建了面向对象Petri网模型,采用其分层次构建了高炮旅(团)作战OPN模型,较好地实现了对传统指控体制下高炮群作战与信息分发过程的静态与动态描述,为下一步具体仿真实现,找出现有传统指控体制存在的薄弱环节,进行相应改进提供了基础和依据。     

STK在空间探测相控阵雷达效能仿真中的应用

搜索和跟踪是空间探测相控阵雷达的两种基本工作方式。介绍了应用STK软件对相控阵雷达的搜索、跟踪空间目标能力的仿真过程和方法,介绍了STK与其他应用软件相链接扩充功能的方法。总结了应用仿真安排雷达工作方式,论证雷达技术指标,确定系统总体方案的作用和意义,研究的内容可运用于STK软件对各类雷达的仿真设计。     

粒子滤波在误差配准中的应用

系统偏差严重影响了多部雷达航迹的互联和目标状态的融合,因此如何解决误差配准成为一个关键问题。因为系统偏差和雷达的量测之间是一种非线性关系,所以无法直接使用Kal-man等线性滤波直接进行系统偏差的估计。为解决这一问题,利用非线性的粒子滤波器(PF),对目标状态和系统偏差的估计进行了探讨,为了对比其性能,设计了一种扩展Kalman滤波算法。仿真结果表明PF在误差配准中的应用是可行的,性能高于扩展Kalman滤波。     

光纤陀螺仪基本原理与分类

介绍了光纤陀螺仪的基本原理及其分类方法,对干涉型光纤陀螺(I-FOG)、谐振型光纤陀螺(R-FOG)和受激布里渊散射型光纤陀螺(B-FOG)的工作原理、结构类型、主要优缺点及其改善性能的途径和发展趋势进行了分析。     

国外任务规划系统的发展

在分析任务规划系统对现代空对地信息化作战重要性和必要性的基础上,详细阐述了国外具有代表性的先进任务规划系统的发展现状和程度,重点论述和剖析了以美国空军任务规划系统为代表的典型任务规划系统的体系结构、功能以及关键技术,旨在为我国空军、海军航空兵和陆军航空兵发展任务规划系统提供借鉴和参考.     

反渗透预处理及膜清洗方法

基于预处理和膜清洗对于反渗透RO(reverse osmosis)长期稳定运行的重要性,介绍了常规预处理方法及其改进、膜法预处理等预处理方法,以及各种新型的物理、化学膜清洗方法.