期刊文献+
共找到8篇文章
< 1 >
每页显示 20 50 100
基于模型包装器的虚拟样机仿真系统设计 被引量:2
1
作者 雷永林 邓睿 +2 位作者 赵雯 朱一凡 王维平 《系统仿真学报》 EI CAS CSCD 北大核心 2006年第6期1570-1573,1588,共5页
针对基于HLA搭建虚拟样机仿真系统面临的问题,提出了基于模型包装思想的虚拟样机仿真系统设计方案。在分析模型包装器功能的基础上,给出了基于模型包装器的虚拟样机仿真系统的逻辑结构,讨论了系统实现的几个关键技术,最后给出了原型系统... 针对基于HLA搭建虚拟样机仿真系统面临的问题,提出了基于模型包装思想的虚拟样机仿真系统设计方案。在分析模型包装器功能的基础上,给出了基于模型包装器的虚拟样机仿真系统的逻辑结构,讨论了系统实现的几个关键技术,最后给出了原型系统SimKit的设计和实现。 展开更多
关键词 模型包装器 虚拟样机 高层体系结构 仿真系统
在线阅读 下载PDF
基于π演算的自治系统架构描述语言AS-ADL
2
作者 刘娟 张伟 +1 位作者 赵新 王维平 《系统仿真学报》 CAS CSCD 北大核心 2009年第13期3946-3950,共5页
自治系统(Autonomous Systems)具有复杂的动态结构和行为特性,其典型代表就是各类军事作战系统。针对当前各种自治系统架构描述方法存在的局限,建立了自治系统架构的概念模型框架,并提出了一种描述该模型框架的形式化架构描述语言AS-ADL... 自治系统(Autonomous Systems)具有复杂的动态结构和行为特性,其典型代表就是各类军事作战系统。针对当前各种自治系统架构描述方法存在的局限,建立了自治系统架构的概念模型框架,并提出了一种描述该模型框架的形式化架构描述语言AS-ADL。AS-ADL以高阶多型π演算作为系统行为语义基础,具有丰富的数据类型,可以形式化描述自治系统的动态行为,且具有描述自治元素内部的交互行为的能力,为建立可执行的系统架构模型奠定了基础,并为系统模型求精和模型有效性验证提供支持。 展开更多
关键词 自治系统 系统架构描述语言 Π演算 动态行为
在线阅读 下载PDF
基于π演算的指挥决策行为形式化建模研究 被引量:6
3
作者 仲辉 陈超 +1 位作者 王维平 李群 《系统仿真学报》 EI CAS CSCD 北大核心 2007年第15期3609-3613,共5页
指挥决策行为建模研究急需能够为分析、描述和建模指挥决策行为所具有的并发性、复杂交互性以及动态演化性提供有力支持的形式化方法。基于改进的OODA,通过应用π演算对指挥决策行为进行形式化建模,探讨了基于π演算的指挥决策行为形式... 指挥决策行为建模研究急需能够为分析、描述和建模指挥决策行为所具有的并发性、复杂交互性以及动态演化性提供有力支持的形式化方法。基于改进的OODA,通过应用π演算对指挥决策行为进行形式化建模,探讨了基于π演算的指挥决策行为形式化建模的可行性和可用性;在此基础上,就π演算方法为指挥决策行为形式化建模正确性验证以及模型有效性验证方面所提供的支持进行了初步探讨。研究表明,π演算方法可为指挥决策行为建模提供有力支持。 展开更多
关键词 Π演算 形式化方法 指挥决策 行为建模 OODA
在线阅读 下载PDF
基于多Agent强化学习的战时备件供应保障动态协调机制 被引量:2
4
作者 刘喜春 王超 +1 位作者 王文广 王维平 《空军工程大学学报(自然科学版)》 CSCD 北大核心 2009年第3期59-63,共5页
有效的备件供应保障是保证航空装备处于良好状态的重要因素。战时备件供应保障的不确定性特点突出。为了应对这些不确定,精确保障要求下战时备件供应保障更加强调备件资源在系统中的动态协调。鉴于战时备件供应保障系统与多Agent系统的... 有效的备件供应保障是保证航空装备处于良好状态的重要因素。战时备件供应保障的不确定性特点突出。为了应对这些不确定,精确保障要求下战时备件供应保障更加强调备件资源在系统中的动态协调。鉴于战时备件供应保障系统与多Agent系统的相似性,采用基于A-gent的建模仿真技术研究多阶段供应保障过程中的动态协调机制。以Agent之间的供需关系为基础给出了多Agent系统模型结构中小组的定义。为了给出备件短缺情况下使军事效益最大的备件分配策略,设计出以小组为单位的多Agent强化学习方法。最后通过仿真实例验证了方法的有效性。 展开更多
关键词 战时备件供应保障系统 动态协调机制 多AGENT系统
在线阅读 下载PDF
作战单元战场空间感知建模研究 被引量:1
5
作者 仲辉 李群 +1 位作者 王维平 宋莉莉 《系统仿真学报》 EI CAS CSCD 北大核心 2007年第19期4363-4366,4394,共5页
依托仿真进行军事作战过程研究所要解决的建模问题之一就是对作战单元战场空间感知过程进行合理建模,而其有效性需求决定了模型必须要能够正确地表达实际作战过程中作战单元战场空间感知所具有的、面向区域的特性。根据作战单元战场空... 依托仿真进行军事作战过程研究所要解决的建模问题之一就是对作战单元战场空间感知过程进行合理建模,而其有效性需求决定了模型必须要能够正确地表达实际作战过程中作战单元战场空间感知所具有的、面向区域的特性。根据作战单元战场空间感知的区域特性,阐述了基于空间划分的作战单元空间感知建模实现思想,并就基于空间划分的战场空间感知模型实现进行了详细的形式化描述。就基于空间划分的作战单元空间感知模型的运行效率,进行了实例对比分析。 展开更多
关键词 作战仿真 战场空间感知 空间划分 作战单元
在线阅读 下载PDF
基于MDA的DEVS/SMP2变换模型研究 被引量:1
6
作者 王维平 雷永林 李群 《系统仿真学报》 EI CAS CSCD 北大核心 2008年第22期6033-6038,共6页
SMP2是在欧航局内成功应用的仿真模型重用标准,DEVS是最具代表性的设计层仿真模型表示规范。研究DEVS到SMP2的映射与变换对于模型重用的实现具有重大意义。提出了基于MDA的变换方法论,给出了SMP2元模型的MOF兼容性改造方案,设计了基于MO... SMP2是在欧航局内成功应用的仿真模型重用标准,DEVS是最具代表性的设计层仿真模型表示规范。研究DEVS到SMP2的映射与变换对于模型重用的实现具有重大意义。提出了基于MDA的变换方法论,给出了SMP2元模型的MOF兼容性改造方案,设计了基于MOF的DEVS元模型,搭建了DEVS元模型与SMP2元模型之间的映射关系,基于关系层QVT规范描述了该映射关系从而形成了DEVS与SMP2之间的变换模型,讨论了该变换模型的应用方案与下一步的工作。 展开更多
关键词 DEVS MDA SMP2 模型变换 QVT 仿真模型重用
在线阅读 下载PDF
基于PICS域划分的敏捷兵力行为分析、建模方法研究
7
作者 王维平 仲辉 +1 位作者 李群 朱一凡 《系统仿真学报》 EI CAS CSCD 北大核心 2008年第20期5466-5470,共5页
敏捷兵力行为建模急需要有效的行为分析、建模方法提供支持。根据NCW(Network Centric Warfare)和敏捷兵力的相关理论研究成果,提出了基于PICS(Physical-Information-Cognitive-Social)域划分的敏捷兵力行为分析、建模方法,并就其实现... 敏捷兵力行为建模急需要有效的行为分析、建模方法提供支持。根据NCW(Network Centric Warfare)和敏捷兵力的相关理论研究成果,提出了基于PICS(Physical-Information-Cognitive-Social)域划分的敏捷兵力行为分析、建模方法,并就其实现思想进行了阐述;在此基础上,应用该方法对敏捷兵力的敏捷作战行为进行了分析、建模实现。 展开更多
关键词 网络中心战 敏捷兵力 PICS域方法 行为建模 OODA
在线阅读 下载PDF
基于指数法的导弹航迹规划空间威胁建模研究 被引量:7
8
作者 刘娟 赵新 +1 位作者 雷永林 王维平 《系统仿真学报》 CAS CSCD 北大核心 2009年第17期5353-5356,共4页
导弹的航迹规划是保证导弹作战效能的必要手段,威胁空间的生成则是航迹规划的难点和关键技术。为满足研究的实际需求,支持快速的航迹规划,要求在规划前期能够迅速给出对威胁空间的初始描述,而当前已有的威胁建模方法还并不能有效满足这... 导弹的航迹规划是保证导弹作战效能的必要手段,威胁空间的生成则是航迹规划的难点和关键技术。为满足研究的实际需求,支持快速的航迹规划,要求在规划前期能够迅速给出对威胁空间的初始描述,而当前已有的威胁建模方法还并不能有效满足这一特定需求。提出将反导防御系统效能指数作为进攻导弹面临威胁度度量的新思路,把效能评估中的指数方法引入到威胁度计算模型中,建立了面向导弹航迹规划问题规划初期的空间威胁度计算模型,并通过一个典型算例验证了其有效性,该模型可以较好支持进一步的航迹规划与评估。 展开更多
关键词 航迹规划 指数法 威胁空间 威胁态势建模
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部