联邦概念模型

作品数:6被引量:49H指数:3
导出分析报告
相关领域:自动化与计算机技术更多>>
相关作者:杨惠珍郝莉莉黄健黄柯棣邱晓刚更多>>
相关机构:西北工业大学国防科技大学中国电子科技集团公司电子科学研究院中国科学院研究生院更多>>
相关期刊:《计算机仿真》《系统仿真学报》更多>>
-

检索结果分析

结果分析中...
条 记 录,以下是1-6
视图:
排序:
基于CPN的联邦概念模型形式化建模与验证(英文)被引量:3
《系统仿真学报》2012年第7期1361-1365,1372,共6页杨惠珍 郝莉莉 
提出了基于着色Petri网(CPN)的联邦概念模型(FCM)形式化建模与验证一体化方法。这种方法的提出主要基于下面两点:一是形式化的FCM与用自然语言描述的模型相比具有更完整、更准确和更规范的特点;二是形式化模型的验证需要专门的工具辅助...
关键词:着色Petri网(CPN) 验证 联邦概念模型(FCM) 形式化模型 
CPN在FCM形式化建模与验证中的应用被引量:1
《计算机仿真》2011年第6期113-116,共4页郝莉莉 杨惠珍 谢攀 
西北工业大学翱翔之星项目资助
联邦概念模型(FCM)是整个联邦系统开发的依据。针对当前FCM建模能力差、可重用性低,以及很难实现FCM的动态行为验证的缺陷,分析了国内外形式化建模与验证方法研究的现状,提出了一种基于着色Petri网(CPN)的联邦概念模型形式化建模与验证...
关键词:联邦概念模型 形式化建模 形式化验证 
联邦概念模型及其VV&A研究被引量:4
《计算机仿真》2009年第7期109-112,共4页杨惠珍 李家宽 康凤举 
西北工业大学翱翔之星计划资助(51448080105ZS601)
联邦概念模型(FCM)是联邦设计和开发的基础,对联邦概念模型进行VV&A有助于提高模型可重用性和互操作性。由于FCM中定性描述多于定量描述,不利于VV&A结果的客观性,而形式化方法是解决上述问题的重要途径。总结了国内外在概念模型的定义...
关键词:联邦概念模型 校核 验证与确认 模糊层次分析法 形式化校核 
基于HLA的反辐射无人机系统仿真研究被引量:2
《微计算机信息》2009年第1期246-248,共3页胡啸 刘守义 徐继明 
军用机场单兵数字化处理终端;由空军装备部审批(编号不公开)
基于HLA建立仿真应用系统是提高作战仿真活动效率、检验武器系统作战效能的有效途径。分析了反辐射无人机与雷达对抗仿真系统的组成和特点,介绍了基于HLA的反辐射无人机仿真系统的体系结构,开发了系统的FOM/SOM表,探讨了基于HLA的仿真...
关键词:高层体系结构 反辐射无人机 联邦概念模型 仿真 
任务空间概念模型(CMM S)研究被引量:13
《计算机仿真》2005年第9期80-84,共5页陈彩辉 姜汉龙 
任务空间概念模型(ConceptualModels of the M ission Space,CMMS)是美国建模与仿真主计划提出的三大目标之一,与HLA、DS共同组成M&S的技术框架,它是对真实世界的、独立于仿真的首次抽象,即有关真实世界军事行动过程(功能、任务、行动...
关键词:任务空间概念模型 联邦概念模型 建模与仿真 任务空间概念模型 建模与仿真 CMMS 开发过程 系统仿真 Space 技术框架 军事行动 桥梁作用 
任务空间概念模型研究被引量:27
《系统仿真学报》2000年第1期1-5,共5页黄健 黄柯棣 邱晓刚 
任务空间概念模型CMMS是建模与仿真主计划提出的三大目标之一。它是对真实世界的第一次抽象 ,独立于具体的仿真任务 ,旨在实现仿真间的互操作和促进仿真资源的重用。本文主要介绍了CMMS的基本概念、先进技术及其VV&A等几方面内容 ,并对C...
关键词:概念模型 联邦概念模型 CMMS 仿真系统 
检索报告 对象比较 聚类工具 使用帮助 返回顶部