A m‐parallel crane scheduling problem with a non‐crossing constraint

In this paper, we study a m‐parallel machine scheduling problem with a non‐crossing constraint motivated by crane scheduling in ports. We decompose the problem to allow time allocations to be determined once crane assignments are known and construct a backtracking search scheme that manipulates domain reduction and pruning strategies. Simple approximation heuristics are developed, one of which guarantees solutions to be at most two times the optimum. For large‐scale problems, a simulated annealing heuristic that uses random neighborhood generation is provided. Computational experiments are conducted to test the algorithms. © 2006 Wiley Periodicals, Inc. Naval Research Logistics, 2007.     

A stochastic assignment problem

There are n boxes with box i having a quota value Balls arrive sequentially, with each ball having a binary vector attached to it, with the interpretation being that if X_i = 1 then that ball is eligible to be put in box i. A ball's vector is revealed when it arrives and the ball can be put in any alive box for which it is eligible, where a box is said to be alive if it has not yet met its quota. Assuming that the components of a vector are independent, we are interested in the policy that minimizes, either stochastically or in expectation, the number of balls that need arrive until all boxes have met their quotas. © 2014 Wiley Periodicals, Inc. 62:23–31, 2015     

面向作战仿真的指控系统建模技术研究

重点研究指控系统的建模技术,建立了群指挥所、方面作战指挥所和平台指挥所三级指控系统的模型,并确立了三者之间的层次和控制的逻辑关系。从作战方案和战术响应两方面对指控系统进行"静态的"和"动态的"建模,实现了作战双方基于感知态势的闭环仿真。这些模型在海军某作战仿真系统中得到了应用,仿真实验表明该指控系统模型满足作战仿真系统的作战需求,能够提高作战仿真的真实性和合理性。     

雷达有源干扰信号建模仿真及系统设计

针对线性调频脉冲压缩雷达的工作过程和工作原理,分析了射频噪声干扰、噪声调幅干扰、噪声调频干扰、噪声调相干扰、距离欺骗干扰、速度欺骗干扰、间歇采样转发干扰、移频干扰的性质和特点,利用matlab进行仿真,以便于经济、高效地对雷达有源干扰的性能和干扰效果进行全面客观的评价。同时提出了雷达有源干扰模拟系统的设计方案。     

作战仿真系统开发平台研究及应用

作战仿真已成为人们对军事问题进行研究的重要手段。从作战仿真需求出发,研究了作战仿真系统的开发平台的组成、功能和应用模式,给出了面向作战仿真的平台解决方案。平台的核心是作战仿真引擎HYCGF,HYCGF提出了一种可组装的实体模型框架和基于"计划"的实体行为建模方法,基于该框架的实体状态和行为能力完全由装配的状态池和模型组件所决定。最后,介绍了应用该平台开发一个典型作战仿真应用的案例。     

无线通信设备故障诊断知识系统的设计及实现

通过分析无线通信设备的故障特点,按照面向对象的方法,设计了针对无线通信设备故障特点的基于知识的故障诊断模型,为了扩展和维护知识的方便,以及实现知识的重用,根据CommonKADS思想,对故障诊断模型按照领域知识、推理知识和任务知识进行建模。最后以VC＋＋6．0为开发工具和SQLServer2005为后台数据库,实现了原型系统的开发。     

基于灰色理论的设备状态趋势预测建模及应用研究

主要研究了利用灰色理论对设备状态进行预测的步骤和方法,通过对设备运行的关键参数进行建模,可以有效地预测设备状态的发展趋势,并分别以降温和保温阶段的轴承供气压力为例对该预测模型进行了验证,通过Matlab对采集的历史数据进行计算,结果表明该预测方法具有数据量少、计算简单、预测准确的特点,在该试验设备的运行状态趋势预测是可行的.     

面向网络化防空反导体系的可组合建模框架

当前网络化防空反导体系的理论及其建模仿真工作还处于探索阶段,基于可组合建模框架的思想,设计了指控网、探测网和武器网三网交互的网络化防空反导体系结构概念图,开发了包括体系顶层框架、体系决策框架和数据链接口框架的可组合建模框架,通过单机突防舰队阵地混编群的仿真实验论证了所设计的建模框架的可组合性和合理性,为网络化防空反导体系的建模与效能仿真提供了有力支撑。     

基于模板的军事概念模型描述与设计

首先分析军事概念建模存在的问题,然后提出两个阶段、四个步骤的建模思路,在此基础上通过基于模板的概念模型描述方法,将概念建模区分为实体元模型、动作元模型、关系元模型、属性元模型和数据元模型,通过对上述元模型的建模完成对仿真对象的概念建模。     

面向服务的作战仿真模型组合建模方法

为简化模型组合的实现方式,满足多样化作战仿真对模型服务组合的需求,针对作战仿真模型组合规则复杂、基本服务类型相对单一等特点,提出一种基于事件的服务组合BEWSC（Based-Events Web Services Composition）方法。首先定义一种基于MERA(mission-event-restriction-action)规则化语言,在此基础上,采用过程构造子,按照模块化方法对模型服务的组合方案进行描述,并分别从服务的发布者、服务的请求者和推理过程这三个角度对组合服务的执行流程进行具体分析,解决了服务组合表示困难、描述能力不足、模型匹配差异性大和模型组合有效性低等方面问题。