Rank‐Cluster‐and‐Prune: An algorithm for generating clusters in complex set partitioning problems

Clustering problems are often difficult to solve due to nonlinear cost functions and complicating constraints. Set partitioning formulations can help overcome these challenges, but at the cost of a very large number of variables. Therefore, techniques such as delayed column generation must be used to solve these large integer programs. The underlying pricing problem can suffer from the same challenges (non‐linear cost, complicating constraints) as the original problem, however, making a mathematical programming approach intractable. Motivated by a real‐world problem in printed circuit board (PCB) manufacturing, we develop a search‐based algorithm (Rank‐Cluster‐and‐Prune) as an alternative, present computational results for the PCB problem to demonstrate the tractability of our approach, and identify a broader class of clustering problems for which this approach can be used. © 2009 Wiley Periodicals, Inc. Naval Research Logistics 2009     

固定目标区域的空中干扰机最优干扰覆盖分布算法

GPS干扰机升空可以增大干扰覆盖面积使干扰效果显著,GPS空中干扰机的合理分布可以有效地实现对目标区域的干扰覆盖.通过分析空中干扰机所能达到的干扰覆盖能力,进而运用遗传算法在解决多目标组合优化问题上的灵活性,提出了基于固定目标区域的空中干扰机最优干扰覆盖分布算法.仿真结果表明该算法能够快速有效地得到最优干扰覆盖分布方案.     

具连续分布滞量的二阶中立型阻尼偏微分方程解的振动准则

研究一类具有阻尼项和连续分布滞量的二阶中立型偏微分方程解的振动性,通过利用Riccati变换,引入一类Φ(t,s,l)型的新函数,获得该类方程在Robin,Dirichlet边值条件下振动的充分判据.     

复杂平面区域的三角网格生成算法

为生成复杂平面区域的有限元网格,提出了基于网格细化的三角网格生成算法.该算法首先采用耳尖移除法对区域边界做三角划分,得到粗略的初始网格.提出Delaunay优化平分方法,根据网格密度细化初始网格,该网格细化方法结合最长边平分技术与Delaunay边交换技术,可有效提高内点生成与单元细分的质量.实验表明,基于Delaunay 优化平分的三角网格生成算法可对任意平面域进行网格剖分,生成符合有限元计算要求的高质量三角网格.     

陆军武器装备需求生成程序研究

借鉴美军"联合能力集成与开发系统"的分析流程,以"面向任务、基于能力"的需求牵引观为指导,研究提出我陆军武器装备需求生成程序,确定了每一环节的具体任务和要求,对完善陆军武器装备需求生成机制和需求的统一论证具有一定的现实和理论意义。     

基于中间件的潜艇作战系统数据库访问技术

在分析国外典型潜艇作战系统体系结构的基础上,针对基于VxWorks的嵌入式应用系统访问Oracle数据库问题,提出了一种基于中间件的跨平台数据库访问方案,解决了分布式异构系统下多用户并发访问数据库的问题;设计开发了基于CORBA的数据库访问中间件,并对中间件的实时性、并发性进行了测试。测试表明:该方案可以解决嵌入式应用系统对Oracle数据库的跨平台访问,并且性能指标满足应用需求。     

一种基于知识的作战计划系统设计

作战计划系统是复杂的问题求解系统,在军事领域的各个方面发挥着重要的作用。介绍了当前一些主要的作战计划辅助生成系统及其特点,分析比较和归纳整理了当前军用计划系统所采用的一些常见规划技术和优缺点,重点分析了作战计划系统中的智能规划技术。在此基础上,提出了一种基于知识的作战计划辅助生成系统的开发设想,构建了系统知识库,系统采用层级任务网络规划技术,给出了这种规划技术的理论框架和算法过程,并且把这种技术与多主体规划技术相结合,辅助实现军事作战任务的逐层分解与规划优化,进而生成完整的行动序列,较好地解决了作战计划辅助生成问题。     

协议测试中测试序列生成方法综述

文章在介绍协议一致性测试基本概念的基础上,重点列举了测试序列的几种生成方法。对目前广泛采用的形式化描述模型,重点介绍其中基于有限状态机模型的测试序列生成方法,同时对基于扩展有限状态机以及确定有限状态机的测试序列生成方法也进行了介绍。文章对每一种方法介绍了其原理并分析了其使用中的局限。文章最后指出了在协议测试中面临的问题和进一步研究的方向。     

一种基于组的访问控制方法

卫星通信网运控系统是一个大型的分布式系统,它使用CORBA中间件来解决分布式系统的异构问题。在研究DAC、MAC、RBAC等访问控制模型的基础上,提出并实现了一种基于组的用户访问控制(GBAC)策略,提高了运控系统的访问控制效率。     

基于分布式排队网络的防空战术协同模型

分析了多个防空火力单元的作战过程,将战术BM/C3的控制协调决策抽象为决策策略。建立了多个火力单元协同作战的排队网络模型,并运用SPN理论对排队网络的运行机制进行了强有力的描述,有效地体现了防空作战过程中的威胁评估、目标分配等战术决策过程。这将为建立大型复杂排队网络,模拟仿真战役层面防空作战过程奠定基础。