分队战术训练系统中基于HLA和组播技术的通信仿真

在战术仿真训练中,通信仿真是实现作战指挥训练的重要手段。结合基于HLA技术的战术仿真训练系统,探讨了采用组播技术和HLA交互手段实现通信仿真的方法,并对其扩展功能进行了研究。     

空降兵装备发展仿真实验研究

开展空降兵装备发展仿真实验研究,是促进空降兵装备快速发展的有效途径。提出了空降兵装备发展实验研究体系结构,在此基础上,重点对仿真实验研究的技术框架和模型体系的柔性设计进行了分析与研究,并对发展需求论证环境和作战运用研究环境的部署与运行方式进行了阐述,旨在为空降兵装备发展仿真实验研究的顶层设计及具体实现提供参考。     

山河智能新推“节油王”混合动力挖掘机

<正>2014年9月28日下午,正值山河智能装备股份有限公司15周年庆典,ES系列液压混合动力挖掘机新品在喜悦祥和的氛围中精彩亮相。此次发布会中,SWE350ES挖掘机展示了优越的节油性能,引起客户热烈反响,多名客户当场均表达了采购意愿。中国工程机械工业协会秘书长苏子孟先生等行业领导与专家参加了此次新品发布会。据了解,山河智能自2006年开始对挖掘机节能技术进行研究,结合多项国家863与科技支撑项目,先后完成节     

航天器调度中的资源约束推理方法

资源水平边界的估计是构建资源利用可行计划中的一个基础问题。通过分析航天器资源约束的共享与分离并存、累积与瞬时消耗并存、过度订阅与区间调度并存等特点,提出了资源时间网络、时间约束网络和约束网络相结合的资源约束描述方法;构建了增量式基于包络的资源约束算法和最早开始时间链展开资源约束算法,以快速获取资源一致的柔性解。实例证明,该方法较好地解决了航天器调度的资源约束推理问题。     

HLA训练仿真系统数据记录与回放的设计和实现

在战术仿真训练中,数据记录与回放是实现对战术对抗行动定性定量分析评估的重要手段。结合基于HLA技术的战术仿真训练系统的研发,探讨了顺序事件触发式数据记录、离线回放及演习状态回滚功能的具体设计和实现方法。该系统已推广部队使用,应用效果良好。     

一类分段线性费用网络流问题

本文通过把一类分段线性费用网络流问题化成线性费用网络流问题,给出了求解这类分段线性费用网络流问题的算法。     

关键循环到粗粒度可重构体系结构的存储感知映射

针对已有工作面向粗粒度可重构结构(CGRA)研究循环映射的不足,提出一种新颖的存储感知的关键循环映射方法 MALP。该方法定义RCP_CGRA体系结构模型并阐述关键循环到CGRA的映射问题,通过引入结合数组分簇的多面体数据域划分方法进行循环存储分析,根据分析结果,结合体系结构资源约束实现了循环的有效映射。实验结果表明,与已有的方法相比,MALP方法能够快速分析存储需求并有效降低循环映射的资源占用率,提高数据吞吐量,进一步提升了CGRA上循环映射的性能。     

舰艇导弹武控系统分析

水面舰艇海上作战的主要威胁来自于敌方反舰导弹的攻击,水面舰艇的防空作战能力成为其作战效能的重要指标之一,而武控系统又是舰载防空导弹武器系统的核心。通过分析舰载武控系统的设计原则、种类、内涵等内容,结合武控系统软件的特点,对开放式体系结构在大型复杂军用实时系统中的应用进行了论述,通过分析得出了几个有益的结论。     

基于复杂网络的空间信息支援力量体系结构同步能力研究

运用复杂网络理论的基本原理对空间信息支援力量体系结构的同步能力进行了研究,构建了空间信息支援力量体系结构的网络拓扑模型,给出了网络同步判定依据,分析了初始连接机制、通信节点数以及总节点数的变化对空间信息支援力量体系结构整体同步能力的影响,为空间信息支援力量体系论证和作用发挥等问题的深入研究提供了借鉴和参考．     

基于TAU和SA的体系结构验证方法研究

TAU和SA是顶层设计领域广泛使用的成熟商业软件,具备对体系结构部分模型进行验证的能力。在分析体系结构验证的概念及验证内容的基础上,较完整地从语法层、语义层、语用层三个层次提出了基于TAU和SA的体系结构验证方法。以无人机侦察系统体系结构验证为例,说明了TAU和SA在状态图可达性验证和作战规则合理性验证上的有效性和实用性。