检索结果-维普期刊中文期刊服务平台

基于模型包装器的虚拟样机仿真系统设计被引量：2: 1; 作者雷永林邓睿 +2 位作者赵雯朱一凡王维平《系统仿真学报》 EI CAS CSCD 北大核心 2006年第6期1570-1573,1588,共5页; 针对基于HLA搭建虚拟样机仿真系统面临的问题,提出了基于模型包装思想的虚拟样机仿真系统设计方案。在分析模型包装器功能的基础上,给出了基于模型包装器的虚拟样机仿真系统的逻辑结构,讨论了系统实现的几个关键技术,最后给出了原型系统... 展开更多; 关键词模型包装器虚拟样机高层体系结构仿真系统; 在线阅读下载PDF 职称材料

基于π演算的自治系统架构描述语言AS-ADL: 2; 作者刘娟张伟 +1 位作者赵新王维平《系统仿真学报》 CAS CSCD 北大核心 2009年第13期3946-3950,共5页; 自治系统(Autonomous Systems)具有复杂的动态结构和行为特性,其典型代表就是各类军事作战系统。针对当前各种自治系统架构描述方法存在的局限,建立了自治系统架构的概念模型框架,并提出了一种描述该模型框架的形式化架构描述语言AS-ADL... 展开更多; 关键词自治系统系统架构描述语言 Π演算动态行为; 在线阅读下载PDF 职称材料

基于π演算的指挥决策行为形式化建模研究被引量：6: 3; 作者仲辉陈超 +1 位作者王维平李群《系统仿真学报》 EI CAS CSCD 北大核心 2007年第15期3609-3613,共5页; 指挥决策行为建模研究急需能够为分析、描述和建模指挥决策行为所具有的并发性、复杂交互性以及动态演化性提供有力支持的形式化方法。基于改进的OODA,通过应用π演算对指挥决策行为进行形式化建模,探讨了基于π演算的指挥决策行为形式... 展开更多; 关键词 Π演算形式化方法指挥决策行为建模 OODA; 在线阅读下载PDF 职称材料

基于多Agent强化学习的战时备件供应保障动态协调机制被引量：2: 4; 作者刘喜春王超 +1 位作者王文广王维平《空军工程大学学报（自然科学版）》 CSCD 北大核心 2009年第3期59-63,共5页; 有效的备件供应保障是保证航空装备处于良好状态的重要因素。战时备件供应保障的不确定性特点突出。为了应对这些不确定,精确保障要求下战时备件供应保障更加强调备件资源在系统中的动态协调。鉴于战时备件供应保障系统与多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... 展开更多; 关键词 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)域划分的敏捷兵力行为分析、建模方法,并就其实现... 展开更多; 关键词网络中心战敏捷兵力 PICS域方法行为建模 OODA; 在线阅读下载PDF 职称材料

基于指数法的导弹航迹规划空间威胁建模研究被引量：7: 8; 作者刘娟赵新 +1 位作者雷永林王维平《系统仿真学报》 CAS CSCD 北大核心 2009年第17期5353-5356,共4页; 导弹的航迹规划是保证导弹作战效能的必要手段,威胁空间的生成则是航迹规划的难点和关键技术。为满足研究的实际需求,支持快速的航迹规划,要求在规划前期能够迅速给出对威胁空间的初始描述,而当前已有的威胁建模方法还并不能有效满足这... 展开更多; 关键词航迹规划指数法威胁空间威胁态势建模; 在线阅读下载PDF 职称材料

题名基于模型包装器的虚拟样机仿真系统设计被引量：2: 1; 作者雷永林邓睿赵雯朱一凡王维平; 机构国防科技大学五院系统工程系; 出处《系统仿真学报》 EI CAS CSCD 北大核心 2006年第6期1570-1573,1588,共5页; 文摘针对基于HLA搭建虚拟样机仿真系统面临的问题,提出了基于模型包装思想的虚拟样机仿真系统设计方案。在分析模型包装器功能的基础上,给出了基于模型包装器的虚拟样机仿真系统的逻辑结构,讨论了系统实现的几个关键技术,最后给出了原型系统SimKit的设计和实现。; 关键词模型包装器虚拟样机高层体系结构仿真系统; Keywords model wrapper virtual prototyping high level architecture simulation system; 分类号 TP391.9 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名基于π演算的自治系统架构描述语言AS-ADL: 2; 作者刘娟张伟赵新王维平; 机构国防科技大学五院系统工程系; 出处《系统仿真学报》 CAS CSCD 北大核心 2009年第13期3946-3950,共5页; 文摘自治系统(Autonomous Systems)具有复杂的动态结构和行为特性,其典型代表就是各类军事作战系统。针对当前各种自治系统架构描述方法存在的局限,建立了自治系统架构的概念模型框架,并提出了一种描述该模型框架的形式化架构描述语言AS-ADL。AS-ADL以高阶多型π演算作为系统行为语义基础,具有丰富的数据类型,可以形式化描述自治系统的动态行为,且具有描述自治元素内部的交互行为的能力,为建立可执行的系统架构模型奠定了基础,并为系统模型求精和模型有效性验证提供支持。; 关键词自治系统系统架构描述语言 Π演算动态行为; Keywords Autonomous Systems Architecture Description Language n-Calculus dynamic behavior; 分类号 TP391 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名基于π演算的指挥决策行为形式化建模研究被引量：6: 3; 作者仲辉陈超王维平李群; 机构国防科技大学五院系统工程系; 出处《系统仿真学报》 EI CAS CSCD 北大核心 2007年第15期3609-3613,共5页; 文摘指挥决策行为建模研究急需能够为分析、描述和建模指挥决策行为所具有的并发性、复杂交互性以及动态演化性提供有力支持的形式化方法。基于改进的OODA,通过应用π演算对指挥决策行为进行形式化建模,探讨了基于π演算的指挥决策行为形式化建模的可行性和可用性;在此基础上,就π演算方法为指挥决策行为形式化建模正确性验证以及模型有效性验证方面所提供的支持进行了初步探讨。研究表明,π演算方法可为指挥决策行为建模提供有力支持。; 关键词 Π演算形式化方法指挥决策行为建模 OODA; Keywords π calculus formal method command decision behavioral modeling OODA; 分类号 TP391 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名基于多Agent强化学习的战时备件供应保障动态协调机制被引量：2: 4; 作者刘喜春王超王文广王维平; 机构国防科技大学五院系统工程系; 出处《空军工程大学学报（自然科学版）》 CSCD 北大核心 2009年第3期59-63,共5页; 文摘有效的备件供应保障是保证航空装备处于良好状态的重要因素。战时备件供应保障的不确定性特点突出。为了应对这些不确定,精确保障要求下战时备件供应保障更加强调备件资源在系统中的动态协调。鉴于战时备件供应保障系统与多Agent系统的相似性,采用基于A-gent的建模仿真技术研究多阶段供应保障过程中的动态协调机制。以Agent之间的供需关系为基础给出了多Agent系统模型结构中小组的定义。为了给出备件短缺情况下使军事效益最大的备件分配策略,设计出以小组为单位的多Agent强化学习方法。最后通过仿真实例验证了方法的有效性。; 关键词战时备件供应保障系统动态协调机制多AGENT系统; Keywords wartime spares support system dynamic coordination mechanism multi agent system reinforcement learning; 分类号 TP391.9 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名作战单元战场空间感知建模研究被引量：1: 5; 作者仲辉李群王维平宋莉莉; 机构国防科技大学五院系统工程系; 出处《系统仿真学报》 EI CAS CSCD 北大核心 2007年第19期4363-4366,4394,共5页; 基金国家自然科学基金(60574056); 文摘依托仿真进行军事作战过程研究所要解决的建模问题之一就是对作战单元战场空间感知过程进行合理建模,而其有效性需求决定了模型必须要能够正确地表达实际作战过程中作战单元战场空间感知所具有的、面向区域的特性。根据作战单元战场空间感知的区域特性,阐述了基于空间划分的作战单元空间感知建模实现思想,并就基于空间划分的战场空间感知模型实现进行了详细的形式化描述。就基于空间划分的作战单元空间感知模型的运行效率,进行了实例对比分析。; 关键词作战仿真战场空间感知空间划分作战单元; Keywords combat simulation battle space perception space partition combat unit; 分类号 TP391 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名基于MDA的DEVS/SMP2变换模型研究被引量：1: 6; 作者王维平雷永林李群; 机构国防科技大学五院系统工程系; 出处《系统仿真学报》 EI CAS CSCD 北大核心 2008年第22期6033-6038,共6页; 基金复杂系统一体化组合仿真方法研究(60574056); 文摘 SMP2是在欧航局内成功应用的仿真模型重用标准,DEVS是最具代表性的设计层仿真模型表示规范。研究DEVS到SMP2的映射与变换对于模型重用的实现具有重大意义。提出了基于MDA的变换方法论,给出了SMP2元模型的MOF兼容性改造方案,设计了基于MOF的DEVS元模型,搭建了DEVS元模型与SMP2元模型之间的映射关系,基于关系层QVT规范描述了该映射关系从而形成了DEVS与SMP2之间的变换模型,讨论了该变换模型的应用方案与下一步的工作。; 关键词 DEVS MDA SMP2 模型变换 QVT 仿真模型重用; Keywords DEVS,MDA,SMP2,model transformation,QVT,simulation model reuse; 分类号 TP391.9 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名基于PICS域划分的敏捷兵力行为分析、建模方法研究: 7; 作者王维平仲辉李群朱一凡; 机构国防科技大学五院系统工程系; 出处《系统仿真学报》 EI CAS CSCD 北大核心 2008年第20期5466-5470,共5页; 文摘敏捷兵力行为建模急需要有效的行为分析、建模方法提供支持。根据NCW(Network Centric Warfare)和敏捷兵力的相关理论研究成果,提出了基于PICS(Physical-Information-Cognitive-Social)域划分的敏捷兵力行为分析、建模方法,并就其实现思想进行了阐述;在此基础上,应用该方法对敏捷兵力的敏捷作战行为进行了分析、建模实现。; 关键词网络中心战敏捷兵力 PICS域方法行为建模 OODA; Keywords NCW, Agile Force, PICS Domain Theory, behavioral modeling, OODA; 分类号 TP391 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名基于指数法的导弹航迹规划空间威胁建模研究被引量：7: 8; 作者刘娟赵新雷永林王维平; 机构国防科技大学五院系统工程系; 出处《系统仿真学报》 CAS CSCD 北大核心 2009年第17期5353-5356,共4页; 文摘导弹的航迹规划是保证导弹作战效能的必要手段,威胁空间的生成则是航迹规划的难点和关键技术。为满足研究的实际需求,支持快速的航迹规划,要求在规划前期能够迅速给出对威胁空间的初始描述,而当前已有的威胁建模方法还并不能有效满足这一特定需求。提出将反导防御系统效能指数作为进攻导弹面临威胁度度量的新思路,把效能评估中的指数方法引入到威胁度计算模型中,建立了面向导弹航迹规划问题规划初期的空间威胁度计算模型,并通过一个典型算例验证了其有效性,该模型可以较好支持进一步的航迹规划与评估。; 关键词航迹规划指数法威胁空间威胁态势建模; Keywords route planning index method threat space threat situation modeling; 分类号 TP391 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于模型包装器的虚拟样机仿真系统设计	雷永林邓睿赵雯朱一凡王维平	《系统仿真学报》 EI CAS CSCD 北大核心	2006	2	在线阅读下载PDF 职称材料
2	基于π演算的自治系统架构描述语言AS-ADL	刘娟张伟赵新王维平	《系统仿真学报》 CAS CSCD 北大核心	2009	0	在线阅读下载PDF 职称材料
3	基于π演算的指挥决策行为形式化建模研究	仲辉陈超王维平李群	《系统仿真学报》 EI CAS CSCD 北大核心	2007	6	在线阅读下载PDF 职称材料
4	基于多Agent强化学习的战时备件供应保障动态协调机制	刘喜春王超王文广王维平	《空军工程大学学报（自然科学版）》 CSCD 北大核心	2009	2	在线阅读下载PDF 职称材料
5	作战单元战场空间感知建模研究	仲辉李群王维平宋莉莉	《系统仿真学报》 EI CAS CSCD 北大核心	2007	1	在线阅读下载PDF 职称材料
6	基于MDA的DEVS/SMP2变换模型研究	王维平雷永林李群	《系统仿真学报》 EI CAS CSCD 北大核心	2008	1	在线阅读下载PDF 职称材料
7	基于PICS域划分的敏捷兵力行为分析、建模方法研究	王维平仲辉李群朱一凡	《系统仿真学报》 EI CAS CSCD 北大核心	2008	0	在线阅读下载PDF 职称材料
8	基于指数法的导弹航迹规划空间威胁建模研究	刘娟赵新雷永林王维平	《系统仿真学报》 CAS CSCD 北大核心	2009	7	在线阅读下载PDF 职称材料