柳林 作品数:11 被引量:30 H指数:3 供职机构: 中国人民解放军海军装备研究院 更多>> 发文基金: 国家自然科学基金 国家教育部博士点基金 中国人民解放军总装备部预研基金 更多>> 相关领域: 自动化与计算机技术 航空宇航科学技术 自然科学总论 军事 更多>>
分布式集群并行仿真技术研究 被引量:3 2010年 本文实现了一种基于局域网的分布式集群并行仿真系统,该系统通过负载均衡、共享内存等技术提高了自身的并行效率和整体性能。本文用该系统对典型战术背景和作战条件下的海军装备体系对抗过程进行大样本仿真实验,结果表明该系统具有很高的稳定性和并行计算效率,适合大样本海军战术蒙特卡洛仿真的快速计算问题。 李涛 柳林 吴小勇关键词:集群计算 负载均衡 共享内存 面向作战仿真的多分辨率通信系统建模技术 被引量:3 2014年 目前信息系统建模技术已成为作战仿真系统需要突破的关键技术,重点研究通信系统的建模技术,建立了通用的数据处理模型框架,实现了战场信息传输、处理、存储、表示的规范性和一致性;提出了完整的多分辨率通信系统建模方法,实现了对作战仿真中通信网络、链路终端、通信节点、消息类型、通信方案的建模。在海军某作战仿真系统中得到了应用,仿真实验表明,通信系统模型满足作战仿真系统的作战需求,提高了作战仿真的真实性和合理性。 李涛 柳林 周少平关键词:通信系统 通信网络 多分辨率 一种基于市场机制的机器人足球分布式实时决策方法 针对机器人足球中的分布式实时自主决策问题,借鉴市场机制的思想,将机器人的自主决策分解为阵型选择和角色分配两个过程,并给出了相应的决策算法。仿真结果表明该算法能够满足比赛的实时性、对抗性和分布式需要,对于机器人球员的失效离... 柳林 包滨 杨瑞平 刘磊关键词:机器人足球 多智能体系统 自适应调整 文献传递 基于蒙特卡洛仿真的驱护编队防空队形配置研究 被引量:6 2014年 论文根据新型驱护编队和现代防空作战的特点,利用驱护编队各种仿真模型建立了支持大样本蒙特卡洛随机仿真实验的驱护编队防空作战效能仿真评估系统,基于该系统对不同队形和舰间间距的驱护编队防空作战进行了大样本仿真实验与效能评估。通过对仿真结果的分析,得出了驱护编队防空作战中比较优化的防空队形和舰间间距。 李涛 柳林 吴小勇基于有限状态机的可校核仿真模型研究 被引量:1 2012年 基于有限状态机仿真模型因其外部环境的复杂交互关系,而难以完整复现其状态变迁过程,更难对模型进行校核与检验;而模型校核对于确保仿真的可信度十分重要。本文从分析基于有限状态机的仿真对象模型状态变迁及公共调用接口出发,将有限状态机模型的公共接口区分为参数注入方法集、参数提取方法集和无参数方法集。并在此基础上,提出并实现了对有限状态机模型接口输入集进行窥视和顶替的校核策略。实验表明,在满足若干禁入规则的条件下,该方法能够完整复现有限状态机模型的状态变迁过程,从而可为实现可校核与可检验有限状态机模型提供建模框架。 皮学贤 荆涛 柳林 钟玮珺关键词:有限状态机 软件工程 面向通信与指挥军事建模框架研究 被引量:1 2012年 军事建模框架是军事仿真研发过程中提出并运用的重要概念。鉴于我国军事通信与指挥的实际情况,提出了支持仿真模型集成及多分辨率模型的面向通信与指挥的军事建模框架(MMFOC2),设计了仿真模型体系的功能区分及分类体系,用实例说明了运用该建模框架进行作战仿真的基本流程,结果表明该模型及方法对于战术仿真系统建模是十分有效的。 皮学贤 荆涛 钟玮珺 柳林关键词:战术仿真 建模方法 面向作战仿真的信息融合系统建模方法研究 被引量:3 2014年 信息融合系统建模技术已成为作战仿真系统需要突破的关键技术,重点研究信息融合系统的建模技术,建立了通用的数据处理模型框架,实现了战场信息传输、处理、存储、表示的规范性和一致性;提出了基于MOC(measure of correlation)的信息融合算法,实现了对目标位置、航向、类型、敌我识别和毁伤的状态估计。该算法在海军某作战仿真系统中得到了应用,仿真实验表明该信息融合系统模型满足该作战仿真系统的作战需求,提高了作战仿真的真实性和合理性。 李涛 柳林 皮学贤关键词:信息系统 信息融合 状态估计 装备推演中的综合研讨方法研究 装备推演是针对武器装备发展论证的需要而探索的一种装备宏观论证方法。通常采用建模与仿真技术构建虚拟的战场环境,将待研究武器装备置于该虚拟战场环境中,以对抗仿真环境中海军武器装备体系的作战运用为出发点。采用“人在回路”的进行... 柳林 李涛 李垠广 皮学贤关键词:作战过程 文献传递 基于事件图的离散事件仿真模型并行检验方法 被引量:4 2012年 非形式化仿真模型验证方法易受主观因素的影响且具有不完备性,而传统的形式化模型检验方法由于受到状态空间爆炸问题的影响,很难处理大规模的仿真模型.并行模型检验方法以其完备性、高效性已经在工业界中得到了成功的应用,但是由于涉及到形式化规约、逻辑学以及并行计算等多项技术,应用难度较大.针对上述问题,提出了基于事件图的离散事件仿真模型并行检验方法.该方法首先对事件图在模型同步方面进行了扩展,给出了扩展事件图的形式化定义、语法及语义;然后将扩展事件图模型转换到分布并行验证环境的DVE模型,成功地将并行模型检验方法应用于仿真模型验证领域.该方法使得仿真人员无须学习新的形式化验证语言就能采用并行模型检验方法对仿真模型进行形式化验证,可降低模型并行验证的难度,从而有效提高模型验证的效率和完备性.实验结果表明了该方法的有效性,有利于扩展并行模型检验方法在仿真领域中的应用. 夏薇 姚益平 慕晓冬 柳林关键词:事件图 高性能RTI自适应通信机制研究 被引量:7 2012年 为了提高HLA仿真系统在高性能计算平台上的运行性能,针对高性能计算平台的高性能层次式通信环境,提出了一种共享内存/IB/以太网自适应RTI通信机制———SACM机制,该机制能够根据通信双方所在节点的网络拓扑信息,自适应建立延迟最小的通信连接,实现共享内存、IB等高速互连及以太网互连的自适应选择。同时在该通信机制中,针对节点内高速共享内存通信需求,提出了一种面向多盟员互连的共享内存通信算法,有效提高了节点内盟员通信效率。对象属性值更新延迟测试结果表明,该通信机制可以有效提高RTI在高性能计算平台的通信性能。 梁洪波 柳林 姚益平 刘步权 慕晓冬 李猛关键词:分布式交互仿真 高性能计算平台