Iterative coloring extension of a maximum clique

In this paper we present an improved branch and bound algorithm for the vertex coloring problem. The idea is to try to extend the coloring of a maximum clique to its adjacent vertices. If this succeeds, its successive neighbors are considered; in case of failure (i.e., in the case the initial colors are not sufficient), working on the subgraph induced by the maximum clique and its neighborhood, the lower bound is improved by seeking for an optimal coloring of this subgraph by branch and bound. The process is repeated iteratively until the whole graph is examined. The iterative scheme exploits a further lower bound obtained by integrating a simple algorithm into the maximum clique search, and a new method to compute upper bounds on subgraphs. Furthermore, a new branching rule and a method for the selection of the initial maximum clique are presented. Extensive computational results and comparisons with existing exact coloring algorithms on random graphs and benchmarks are given. © 2001 John Wiley & Sons, Inc. Naval Research Logistic 48: 518–550, 2001     

某区域锅炉房节能改造措施及其效果

针对现有锅炉房供热中存在的诸如能源的大量浪费和不能充分满足热用户需求等问题,以某锅炉房节能改造为例,从区域锅炉房现有的条件下对系统实施三方面的改造:一是加装微机监控系统,二是加装锅炉分层给煤装置,三是风机的变频改造;并从技术和经济方面加以分析论证,改造方案合理,采取的措施得当,节能效果明显。     

相对论带电粒子与电磁波包之间的相互作用

研究了相对论带电粒子与电磁波包之间的相互作用,给出了带电粒子运动方程的严格解,得出了粒子的位置、速度和能量的显示表达式。本文结果对基础等离子体物理、自由电子激光、高功率微波和粒子加速器等领域具有一定的参考意义。     

地空导弹与弹道导弹的技术融合正在促使这两类导弹产生突破性的发展

地空导弹采用弹道导弹的抛物弹道技术 ,能够实现应用固体推进剂达到低质量远射程的目标。弹道导弹采用地空导弹末段弹道的寻的制导控制技术 ,可以达到降速、增程并实现末段有效制导控制和弹道机动的目标 ,从而大幅度提高命中精度和突防概率。地空导弹和弹道导弹之间的技术融合 ,已经开始并将很快形成这两类导弹的新一轮突破性的发展     

目标数据关联多因素分布式推理判决系统推理结构

目标数据关联多因素分布式推理判决系统 ,是一基于分布式判决分类系统理论进行目标数据关联分析的大规模推理判决系统 ,在C3I系统中有着广泛的应用前景。本文在分析推理判决系统的推理规则类型和状态类型的基础上 ,给出系统的推理结构图 ,该推理结构是正关联神经推理结构     

溴酸盐体系中的化学波

本文对溴酸盐体系中的化学波进行了实验研究,得到了反应物的初始浓度与波速的关系,随 ＫＢｒＯ３和 Ｈ２ＳＯ４初始浓度的增加,波速具有增加的趋势,而随 ＭＡ的初始浓度的增加而变化不大。并给出了其反应机理的分析及数学模型。     

大型文化商贸活动的火灾危险性及消防安全措施

本文就四川泸州的一次大型文化商贸活动 ,分析了大型商贸活动的特点及火灾危险性 ,并提出相应的消防安全对策。     

基于单元体设计的装甲装备弹目交会建模方法

为了提高作战仿真效果的可信度,提出了一种基于单元体的解决思路,并通过弹头终点弹道特性、装备几何特征、弹头与目标的关系分析,建立了陆军作战仿真的弹目交会模型。试验测试结果表明:该模型能够仿真作战过程中的弹头命中点坐标,满足作战仿真系统的准确性、实时性要求。     

Branch‐and‐price‐and‐cut for the manpower routing problem with synchronization constraints

In this article, we propose a branch‐and‐price‐and‐cut (BPC) algorithm to exactly solve the manpower routing problem with synchronization constraints (MRPSC). Compared with the classical vehicle routing problems (VRPs), the defining characteristic of the MRPSC is that multiple workers are required to work together and start at the same time to carry out a job, that is, the routes of the scheduling subjects are dependent. The incorporation of the synchronization constraints increases the difficulty of the MRPSC significantly and makes the existing VRP exact algorithm inapplicable. Although there are many types of valid inequalities for the VRP or its variants, so far we can only adapt the infeasible path elimination inequality and the weak clique inequality to handle the synchronization constraints in our BPC algorithm. The experimental results at the root node of the branch‐and‐bound tree show that the employed inequalities can effectively improve the lower bound of the problem. Compared with ILOG CPLEX, our BPC algorithm managed to find optimal solutions for more test instances within 1 hour. © 2016 Wiley Periodicals, Inc. Naval Research Logistics 63: 138–171, 2016     

无人机警戒雷达仿真系统的建模与仿真

针对海面静止和移动目标的探测、感知、识别、成像等问题,建立了由数据/控制接口、人机界面及多个算法模块组成的无人机警戒雷达仿真系统。系统采用模块化方法对目标运动特性、环境特性和警戒雷达的功能特性进行建模与仿真,主要用于模拟现实装备中此类载荷的基本功能,从数字化仿真层面实现了无人机警戒雷达载荷功能的再现与性能测试,并能完成与指挥控制台之间的信息交互,同时系统具有很好的可扩展性,可以作为整个作战仿真系统的一部分,嵌入到更复杂的作战仿真系统中。