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     

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

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

多核数字信号处理器矩阵乘卷积算法性能评测

矩阵乘卷积算法能够为各种卷积配置提供高性能基础实现,是面向给定芯片进行卷积性能优化的首要选择。针对国防科技大学自主研制的飞腾异构多核数字信号处理器(digital signal processor, DSP)芯片的特征以及矩阵乘卷积算法自身的特点,提出了一种面向多核DSP架构的高性能并行矩阵乘卷积实现算法ftmEConv。该算法由输入特征图转换、卷积核转换、矩阵乘以及输出特征图转换这四个均运行在通用多核DSP上的并行化部分构成,通过有效挖掘通用DSP核中功能单元的潜力来提升各个部分的性能。实验结果表明,ftmEConv实现了高达42.90%的计算效率,与芯片上的其他矩阵乘卷积算法实现相比,获得了高达7.79倍的性能加速。     

装备预研管理数字化转型研究——数字孪生装备预研

数字经济时代,装备预研管理应积极面对数字化转型趋势,构建与数字经济发展相适应的管理体系。结合数字经济的变革属性,借鉴民口科技计划管理数字化实践经验做法,总结和分析当前装备预研管理数字化面临的主要问题及紧迫需求,提出未来装备预研管理发展的一种新范式——数字孪生装备预研,即利用数字孪生助力装备预研管理的数字化转型,并从组成、理想特征和能力、关键技术以及发展路径四个方面对数字孪生装备预研的概念内涵进行了深化阐述,以期对当前装备预研管理的创新起到参考和促进作用。     

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

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

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

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

MOOC背景下数字化教材建设研究

近年来,MOOC在全球迅速兴起,对传统高等教育提出了挑战,也对数字化教材建设提出了紧迫要求.结合MOOC的特点,对数字化教材的定位、设计原则、编制要求及应用模式等进行了探讨.     

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

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