非结构动网格分区并行计算方法

针对包含运动边界的非定常流动问题,基于弹簧近似法设计了一套非结构动网格分区并行计算流程,引入了METIS软件进行非结构网格二次剖分,研究了对接边界通信类型及其处理方法,基于消息传递并行编程模式实现了非结构动网格求解器的并行化。测试结果表明:该求解器具有较高的并行效率,网格变形模块对非结构动网格并行计算性能具有重要影响。     

空域频域不确定条件下电磁探测卫星规划方法研究

电磁探测卫星对区域目标的覆盖搜索在反恐及海上搜救等领域发挥着重要作用.针对电磁探测卫星区域搜索任务中存在的空域频域不确定性,构建了电磁探测卫星区域搜索问题(EDSASP)中不确定因素的量化描述模型及决策要素模型,提出了基于贝叶斯决策的电磁卫星任务规划方法,并以信息探测收益和前端截获收益为优化目标,建立了空域频域不确定条...     

IP over DDN在某导弹试验指挥舰系统中的设计与应用

在某导弹试验指挥舰系统建设中,针对直接使用原卫星通信设备,存在接口数量、接口标准和通信带宽等方面的局限性,采用IP over DDN技术,解决了通信带宽不足和该条件下的多业务接入问题.对于实时应用特点,选用了IP组播协议进行网络配置,进行系统设计,既保护了前期投资,又较好地满足了海上武器试验指挥系统的通信需求.     

可变等效孔径直接数据域方法

针对直接数据域(DDD)算法具有孔径损失的局限,提出了一种孔径扩展算法.新算法首先利用单快拍数据在不同阵元间的相位关系构造一个循环矩阵,然后通过不同的截取方式获得不同的孔径扩展效果.仿真计算表明,扩展后的孔径介于阵列原始孔径的2/3～1之间.     

过航点舰载弹炮结合武器系统发射判定模型

针对基于过航点对弹炮结合武器系统进行火力分配中未求解过航点坐标和未考虑毁伤概率等因素,以及基于勾径点模型对弹炮结合武器进行火力分配方法过于简化、未充分考虑武器系统火力防区对弹炮发射判定的影响等问题,建立基于过航点的弹炮发射判定模型,提出了基于过航点的弹炮结合武器发射判定问题的解决方案,经仿真分析,与上两种算法对比,具有一定的改进。     

基于空频域信息的单站无源定位可观测分析

对利用空频域信息的单站无源定位方法进行可观测性分析。针对非线性系统的可观测性理论需要计算复杂的雅克比矩阵的问题,提出把观测方程先经过伪线性化处理,然后运用线性系统的可观测性分析的理论,对匀速、匀加速直线运动进行了具体分析,得出只要目标不朝观测站作径向运动都是可以对其进行观测的。实验结果也验证了分析结论的正确性。     

多平台对AAM协同制导交接班模型

通过对协同制导交接班的类型进行分析,建立了防空武器系统对AAM(Anti-aircraft Missile)协同制导交接班的坐标转换模型、误差模型及雷达截获概率模型。通过模拟产生随机误差,利用Monte-Carlo方法进行计算,得出不同误差源对协同制导交接班概率影响的定量关系。实验结果证明了所建模型的有效性,误差分析结论可作为协同制导交接班精度控制的依据。     

Capacitated lot‐sizing and scheduling with parallel machines,back‐orders,and setup carry‐over

We address the capacitated lot‐sizing and scheduling problem with setup times, setup carry‐over, back‐orders, and parallel machines as it appears in a semiconductor assembly facility. The problem can be formulated as an extension of the capacitated lot‐sizing problem with linked lot‐sizes (CLSPL). We present a mixed integer (MIP) formulation of the problem and a new solution procedure. The solution procedure is based on a novel “aggregate model,” which uses integer instead of binary variables. The model is embedded in a period‐by‐period heuristic and is solved to optimality or near‐optimality in each iteration using standard procedures (CPLEX). A subsequent scheduling routine loads and sequences the products on the parallel machines. Six variants of the heuristic are presented and tested in an extensive computational study. © 2009 Wiley Periodicals, Inc. Naval Research Logistics 2009     

Smalltalk-80 的形式语义研究

Smalltalk-80是原型的面向对象程序设计语言和环境。本文简要地介绍了Smalltalk-80的基本概念和抽象文法,给出了其形式模型,并基于该模型描述了Smalltalk-80的静态指称语义和动态指称语义。     

战场威胁态势的认知域可视建模

分析已有战场威胁态势的相关研究成果。研究了战场威胁态势的威胁因素的AHP建模,提出了针对认知域的权重和威胁程度混合渲染法,并给出具体实例。实例表明所建模型的有效性和实用性。