国家自然科学基金(60574056) 作品数:27 被引量:140 H指数:7 相关作者: 李群 王维平 朱一凡 周东祥 仲辉 更多>> 相关机构: 国防科学技术大学 空军工程大学 中国人民解放军通信指挥学 更多>> 发文基金: 国家自然科学基金 国防科技大学优秀研究生创新基金 更多>> 相关领域: 自动化与计算机技术 航空宇航科学技术 更多>>
基于Eclipse平台的导航仿真系统集成 被引量:2 2008年 针对卫星导航仿真系统的软件集成需求,提出了基于Eclipse集成该系统各实验任务的解决方案。通过开发Eclipse新建实验向导插件、实验配置插件、实验分析插件,有效集成了导航仿真系统的各个实验任务模块,为实验分析人员提供一个具有统一界面和操作风格的系统软件。借助Eclipse平台自身的优势,该集成方法具有开发时间短、开发成本低的优点。此集成方法还具有开放性的特点,未来开发的实验任务模块也可集成到现有的系统中。 苏年乐 王晓双 李群 王维平关键词:ECLIPSE平台 插件 卫星导航系统 仿真 空间区域划分的战场空间建模 被引量:1 2007年 复杂作战交互所具有的区域性特征,对作战仿真系统战场空间建模提出了新的要求。首先阐述了基于空间区域划分的战场空间模型的实现思想、概述了模型实现方法,并给出了模型的形式化描述;然后,就基于空间区域划分的战场空间模型对于区域性复杂作战交互建模的支持进行了简单探讨;最后,通过一个简单的实例,分析了基于空间划分的战场空间模型对于作战仿真系统运行性能的影响。 仲辉 李群 王维平 邓睿关键词:作战仿真 基于反射理论的动态变结构建模方法研究 2009年 仿真应用需求和仿真支撑技术的不断发展使得仿真系统的动态组合和重组已成为建模与仿真(Modeling and Simula-tion,M&S)领域的一个重要研究内容,而复杂系统的不确定性和现代分布式仿真架构的开放性及动态性是导致仿真系统动态组合和重组的根本原因。从建模角度深入分析了现有动态变结构建模方法在支持当前仿真系统动态重组上存在的不足,提出了基于反射理论的动态变结构建模方法,并设计了其抽象仿真器。方法作为M&S理论的重要补充可用于指导复杂系统仿真的设计与开发。 宋莉莉 李群 王维平关键词:离散事件系统规范 仿真模型的语法可组合问题及组合判定 被引量:3 2009年 层次化特征是仿真可组合问题的本质特征之一,首先介绍了仿真可组合问题的基本概念,提出多层次的组合参考模型,以此引出语法层次的可组合问题,进而从命名、顺序及复杂类型匹配三个方面刻画了语法层次仿真模型的组合失配现象。为解决组合失配问题,建立了三类变换条件下的类型等价及子类型匹配关系,并以此为基础构建了语法层次组合相容性及可替换性的判定规则。 周东祥 李群 王维平关键词:相容性 基于规则推理的海战仿真实体决策方法 被引量:19 2009年 研究在海军战术仿真中应用基于规则推理的方法实现作战实体的自主决策行为,该方法用决策规则描述作战实体决策时所依据的军事决策知识,通过对决策规则的推理实现决策作战实体的决策推理过程。分别介绍了作战实体的决策模型、决策规则的知识表示方法以及决策模型的决策推理方法。基于规则推理的海战仿真实体决策方法推理机制接近人类的思维方式,结构逻辑容易为军事人员所掌握,易于理解和维护,便于实现。 吴扬波 贾全 王文广 朱一凡基于大地坐标的通视性检查算法 被引量:9 2008年 点到点的通视性检查算法是作战仿真系统使用的重要算法之一。目前通视性检查算法多基于直角坐标,计算时需要将初始给定的大地坐标转化为直角坐标。在分析了基本通视性模型以及目前使用的基于直角坐标的通视性检查算法的基础上,提出了一种基于大地坐标的点到点通视性检查算法,算法通过求取视线和地形采样点连线在地球表面投影的交点的经纬度坐标,利用线性差值计算两连线在该经纬度处的高程,来进行通视性判定,不需要将球面上的大地坐标转换为平面直角坐标,而且能够考虑到地球曲率对通视性的影响。最后,通过算法实验分析,检验了本算法的可用性。 余文广 李群 侯洪涛仿真模型可重用性的概念与判定研究 被引量:7 2009年 仿真模型重用是当前建模仿真领域的热点和难点问题之一。模型重用的关键是对可重用性的判定。统一的构造了可重用性的形式化概念体系,厘清了可重用性、应用情景、模型假设、模型约束、实验框架、能力框架以及可重用模型等概念及其相互关系;在形式化定义的基础上,给出了可重用性的判定算法,该算法包括应用情景接口兼容性判定和行为逻辑的等价性判定两部分。最后讨论了研究成果的应用策略以及已经完成的工作。 雷永林 吴扬波 王维平 朱一凡关键词:仿真模型 导航系统性能的并行仿真分析 被引量:1 2009年 针对用于卫星导航系统定位、测速和授时性能分析与评估的仿真系统运行时间过长的缺陷,以全球格网精度因子分析为例,提出了利用局域网机群、采用并行仿真技术来提高仿真运行速度的解决方案。为了实现负载均衡,先后采用了格网数目平均分配、根据CPU主频分配格网实体、按照基准测试时间分配格网实体三种实体划分方法;为了减少进程间通信,设计了一种由逻辑进程的第一个格网实体接收来自星座实体的带有各卫星坐标的事件,并在格网实体之间依次转发此事件的事件发送机制。实验结果表明,采用根据CPU主频分配格网实体的并行仿真方法,可获得理想的加速比。 苏年乐 李群 王维平关键词:机群 卫星导航系统 负载均衡 时间同步 体系对抗仿真SEB组合建模方法论 被引量:5 2007年 体系对抗仿真已经成为武器系统作战效能评估和武器装备论证的有效手段。然而,目前缺乏对于体系对抗仿真建模方法的研究。总结了面向效能评估的导弹体系对抗仿真基本概念和特点,分析了体系对抗仿真模型描述中存在的主要问题,在此基础上,提出体系-实体-行为的分层组合描述方法,作为体系对抗仿真的建模方法,即SEB组合建模方法,并给出其参考模型和各个层次建模的参考视图。SEB组合建模方法将体系对抗仿真建模的复杂性分解到各个层次的建模当中,再通过组合形成完整的战场对抗体系模型,可以有效指导体系对抗仿真的建模工作。 刘晨 王维平 朱一凡关键词:体系对抗仿真 语境驱动的仿真模型测试方法论 被引量:1 2008年 组合模型的有效性验证是利用模型组合实现仿真系统快速开发的迫切需求,也是组合仿真理论和方法研究的一个重要问题。在分析组合模型抽象层次的基础上讨论了不同层次组合有效性的研究内容,并针对组合模型的行为从测试的角度提出了语境驱动的仿真模型测试方法论,重点讨论了方法论中语境的概念、语境驱动的测试框架生成以及测试框架的嵌入和运行时刻检验等内容,目的是判断仿真模型及其组合行为是否忠实反映了设计信息,实现了行为无错的演化。 王维平 陈超 李群 蒋彩云关键词:语境