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     

大型地下工程智能化系统总体技术方案研究

以复杂大系统通用集成模型及其开发策略为理论基础,研究了大型地下工程智能化系统分层递阶、多级分区的框架结构方案及其特征,在此方案指导下,提出了4层递阶式广义智能化体系结构,构建了地下工程智能化系统的硬件模型、软件模型、通信模型、数据资源组织模型等,从而给出了大型地下工程智能化系统的总体技术方案,阐述了系统集成的实现方法,为促进防护工程智能化、信息化建设提供了技术参考。     

舰艇自防御的威胁排序方法研究

威胁评估与排序是舰艇自防御系统必须具备的重要功能。在多指标决策理论的基础上,结合灰色系统理论和逼近理想解方法,提出了灰色逼近理想解的威胁排序算法。首先通过建立舰艇自防御的空中威胁排序指标体系,得到各个指标的隶属度函数,再通过主客观结合的有序二元比较法得到威胁评估指标的权重,最后通过逼近理想解的灰色关联度方法对空中目标进行威胁评估与排序,并研究了分辨系数对威胁排序的影响。通过舰艇自防御防空作战实例证明了算法的有效性和工程实用性。     

基于CAN总线的车辆控制系统设计与实现

CAN总线作为一种国际现场总线标准,被广泛地应用于车辆系统中.在介绍CAN总线的特点、帧结构的基础上,给出了基于CAN总线的车辆控制系统的最小系统节点电原理图及CAN总线通信协议的实现过程.经过台架和实车试验,验证了系统设计的正确性和可靠性.     

超声波检测混凝土屋面渗漏裂缝的实验研究

屋面渗漏维修一直困扰着房屋管理人员和维修人员。如何有效地确定渗漏区域和渗漏源,是快速修复屋面渗漏的关键所在。主要分析探讨了超声波在混凝土屋面渗漏裂缝检测方面的应用可行性,通过研究超声波的检测原理和探测方法,并结合工程实例,具体分析了超声波检测法在屋面渗漏裂缝检查中的优势与不足,为确定有效的屋面渗漏检测方法提供了一定的参考。     

自适应管道有源消声系统的研究

有源消声技术对于管道中低频噪声的控制非常有效。本文描述的自适应管道有源消声系统,性能稳定,对单频的消声量可达30dB,对宽带随机噪声的消声量不低于14dB。     

CAN总线在舰艇作战仿真系统中的应用

介绍新型现场控制总线CAN(Controller Aera Network)的基本概念、特点、器件、总线协议。研究由单片微型计算机系统和CAN总线所组成控制器局域网在舰艇作战仿真系统中分布式控制的应用,以及某型舰舰导弹武器系统仿真过程中CAN总线的应用。模拟系统研制成功后的实践应用表明,CAN总线在舰艇作战仿真系统中通信可靠、性能稳定,提高了传输效率,实现了灵活的通讯组合,使其在舰艇分布式作战仿真系统中有更好的应用前景。     

一种改进块修正技术在数值传热中的应用

块修正技术保证边界条件向内点传递信息方面比起ADI方法来无疑是先进的。因此,在许多情况下,比起ADI方法来,其收敛速度更快,更容易得到收敛的数值解。但传统的块修正技术,其在传递边界信息的时候,是一种平均传递,因此,它只能保证块上的未知值的分布发生平行移动,并不能改变相对分布,这正是传统的块修正技术的不足之处。提出一种改进的块修正技术方法,并进行了算例验证,实践证明,这种方法是行之有效的。     

杀爆弹对主战坦克毁伤评估仿真

在全面分析杀爆弹对主战坦克毁伤效应的基础上,针对冲击波和破片对坦克外部件的毁伤,利用计算机仿真方法进行杀爆弹对主战坦克毁伤评估。利用射击线技术构建了杀爆弹对主战坦克毁伤评估模型;基于蒙特卡洛随机模拟试验法,开发了计算程序,进行了以破片杀伤为主的杀爆弹对主战坦克毁伤效应仿真评估,得到了车体命中破片数随炸点坐标变化规律,以及坦克整体毁伤概率随杀爆弹终点速度变化规律。研究结果为主战坦克目标易损性分析与毁伤评估提供了重要参考。     

基于CAN总线的装甲车辆测控系统

针对装甲车辆传统电气状态监测与控制系统的缺陷,提出了基于CAN总线的装甲车辆测控系统方案,开发了短帧实时应用层通信协议,实现了装甲车辆电气系统的实时监测、电气设备的综合控制、驾驶员终端的综合显控及设备在线故障诊断等功能,构建了装甲车辆测控传输网络。