期刊文献+
共找到10篇文章
< 1 >
每页显示 20 50 100
基于CPN的联邦概念模型形式化建模与验证(英文) 被引量:3
1
作者 杨惠珍 郝莉莉 《系统仿真学报》 CAS CSCD 北大核心 2012年第7期1361-1365,1372,共6页
提出了基于着色Petri网(CPN)的联邦概念模型(FCM)形式化建模与验证一体化方法。这种方法的提出主要基于下面两点:一是形式化的FCM与用自然语言描述的模型相比具有更完整、更准确和更规范的特点;二是形式化模型的验证需要专门的工具辅助... 提出了基于着色Petri网(CPN)的联邦概念模型(FCM)形式化建模与验证一体化方法。这种方法的提出主要基于下面两点:一是形式化的FCM与用自然语言描述的模型相比具有更完整、更准确和更规范的特点;二是形式化模型的验证需要专门的工具辅助完成。以一个简单的制造系统为例,采用CPN语言建立了该系统的形式化概念模型,利用辅助软件工具CPN Tools完成了该联邦概念模型的仿真和验证。应用研究表明,着色Petri网有助于描述联邦中各实体的行为和关系,CPN Tools辅助工具实现了形式化模型建模、仿真和验证的一体化过程。 展开更多
关键词 着色Petri网(CPN) 验证 联邦概念模型(fcm) 形式化模型
在线阅读 下载PDF
联邦概念模型及其VV&A研究 被引量:4
2
作者 杨惠珍 李家宽 康凤举 《计算机仿真》 CSCD 北大核心 2009年第7期109-112,共4页
联邦概念模型(FCM)是联邦设计和开发的基础,对联邦概念模型进行VV&A有助于提高模型可重用性和互操作性。由于FCM中定性描述多于定量描述,不利于VV&A结果的客观性,而形式化方法是解决上述问题的重要途径。总结了国内外在概念模... 联邦概念模型(FCM)是联邦设计和开发的基础,对联邦概念模型进行VV&A有助于提高模型可重用性和互操作性。由于FCM中定性描述多于定量描述,不利于VV&A结果的客观性,而形式化方法是解决上述问题的重要途径。总结了国内外在概念模型的定义、建模方法以及模型形式化描述等方面的主要研究观点,讨论了HLA联邦概念模型开发过程及其完整性、正确性和一致性问题,阐述了FCM的VV&A过程和技术,介绍了有利于减少VV&A结果的主观性的基于模糊AHP的专家评审法和基于时态逻辑的形式化校核方法,最后讨论了形式化方法在联邦概念模型VV&A中的应用。 展开更多
关键词 联邦概念模型 校核 验证与确认 模糊层次分析法 形式化校核
在线阅读 下载PDF
XY联邦开发框架的概念模型设计
3
作者 马萍 杨明 王子才 《系统仿真学报》 CAS CSCD 1999年第6期426-429,共4页
为实现某种特定的仿真目的而组织起来,并且能够进行交互操作的仿真系统、支撑软件、规则和其他相关的部件就构成了一个联邦。联邦开发和执行过程(FEDEP) 模型是为满足联邦发起者的需要对HLA 联邦开发和执行过程的一种描述,... 为实现某种特定的仿真目的而组织起来,并且能够进行交互操作的仿真系统、支撑软件、规则和其他相关的部件就构成了一个联邦。联邦开发和执行过程(FEDEP) 模型是为满足联邦发起者的需要对HLA 联邦开发和执行过程的一种描述,根据FEDFP 模型对XY 联邦系统的一个剧本进行了描述,以XY 导弹为例,按照HLAOMDD 的DIF格式,给出XY 实体的概念模型。 展开更多
关键词 联邦 仿真系统 概念模型 导弹
全文增补中
任务空间概念模型研究 被引量:27
4
作者 黄健 黄柯棣 邱晓刚 《系统仿真学报》 CAS CSCD 2000年第1期1-5,共5页
任务空间概念模型CMMS是建模与仿真主计划提出的三大目标之一。它是对真实世界的第一次抽象 ,独立于具体的仿真任务 ,旨在实现仿真间的互操作和促进仿真资源的重用。本文主要介绍了CMMS的基本概念、先进技术及其VV&A等几方面内容 ,... 任务空间概念模型CMMS是建模与仿真主计划提出的三大目标之一。它是对真实世界的第一次抽象 ,独立于具体的仿真任务 ,旨在实现仿真间的互操作和促进仿真资源的重用。本文主要介绍了CMMS的基本概念、先进技术及其VV&A等几方面内容 ,并对CMMS与联邦概念模型CMF作了简要比较。 展开更多
关键词 概念模型 联邦概念模型 CMMS 仿真系统
在线阅读 下载PDF
任务空间概念模型(CMM S)研究 被引量:13
5
作者 陈彩辉 姜汉龙 《计算机仿真》 CSCD 2005年第9期80-84,共5页
任务空间概念模型(ConceptualModels of the M ission Space,CMMS)是美国建模与仿真主计划提出的三大目标之一,与HLA、DS共同组成M&S的技术框架,它是对真实世界的、独立于仿真的首次抽象,即有关真实世界军事行动过程(功能、任务、... 任务空间概念模型(ConceptualModels of the M ission Space,CMMS)是美国建模与仿真主计划提出的三大目标之一,与HLA、DS共同组成M&S的技术框架,它是对真实世界的、独立于仿真的首次抽象,即有关真实世界军事行动过程(功能、任务、行动和状态等)、实体(人员、单位、机制和系统)、交互(控制、转换、信息)的概念性描述。该文通过对任务空间概念模型的定义、组成、过程及位置等理论的阐述,使大家对CMMS有一定的认识。然后通过对CMMS与系统仿真开发过程中的几个关键因素之间的关系进行的分析,使大家进一步认识CMMS作为作战人员的真实世界和仿真开发人员的综合世界在仿真开发过程中所起到的桥梁作用,它对建模与仿真的互操作与重用有着重要的意义。 展开更多
关键词 任务空间概念模型 联邦概念模型 建模与仿真 任务空间概念模型 建模与仿真 CMMS 开发过程 系统仿真 Space 技术框架 军事行动 桥梁作用
在线阅读 下载PDF
支持综合训练的JLVC联邦构建技术研究 被引量:9
6
作者 张昱 张明智 《计算机仿真》 CSCD 北大核心 2012年第5期6-9,36,共5页
在综合训练系统技术问题的研究中,综合训练是提高训练效果和节省训练经费的有效途径,可采用计算机仿真与实兵训练相结合的方法。为探求综合训练的支撑技术,在综合分析美军JLVC(Joint Live virtual and Constructive)联邦技术发展的基础... 在综合训练系统技术问题的研究中,综合训练是提高训练效果和节省训练经费的有效途径,可采用计算机仿真与实兵训练相结合的方法。为探求综合训练的支撑技术,在综合分析美军JLVC(Joint Live virtual and Constructive)联邦技术发展的基础上,给出了LVC的定义,介绍了JLVC联邦建立背景、发展过程和现状,描述了JLVC联邦的概念模型,研究建立JLVC联邦的系统体系结构,对JLVC联邦的主要特点进行了分析总结,最后给出了相关结论。 展开更多
关键词 综合训练 训练仿真 综合训练联邦 概念模型 体系结构
在线阅读 下载PDF
系统抽象思维与联邦式作战仿真概念模型 被引量:3
7
作者 柏彦奇 龚传信 《系统工程理论与实践》 EI CSCD 北大核心 2001年第1期103-108,共6页
运用系统抽象思维方法 ,提出了联邦式作战仿真的三级抽象开发策略 ,给出了指导第一级抽象的概念模型方法体系的基本框架 .
关键词 系统抽象思维 联邦式作战仿真 概念模型 计算机仿真
原文传递
CPN在FCM形式化建模与验证中的应用 被引量:1
8
作者 郝莉莉 杨惠珍 谢攀 《计算机仿真》 CSCD 北大核心 2011年第6期113-116,共4页
联邦概念模型(FCM)是整个联邦系统开发的依据。针对当前FCM建模能力差、可重用性低,以及很难实现FCM的动态行为验证的缺陷,分析了国内外形式化建模与验证方法研究的现状,提出了一种基于着色Petri网(CPN)的联邦概念模型形式化建模与验证... 联邦概念模型(FCM)是整个联邦系统开发的依据。针对当前FCM建模能力差、可重用性低,以及很难实现FCM的动态行为验证的缺陷,分析了国内外形式化建模与验证方法研究的现状,提出了一种基于着色Petri网(CPN)的联邦概念模型形式化建模与验证方法,给出了用CPN建立与验证FCM的步骤,并以一制造系统为例,利用CPN Tools建立了系统的FCM,验证了所建模型的活性、家态和公平性。研究表明,CPN能够为FCM的形式化建模和验证提供有效的支持。 展开更多
关键词 联邦概念模型 形式化建模 形式化验证
在线阅读 下载PDF
基于HLA的反辐射无人机系统仿真研究 被引量:2
9
作者 胡啸 刘守义 徐继明 《微计算机信息》 2009年第1期246-248,共3页
基于HLA建立仿真应用系统是提高作战仿真活动效率、检验武器系统作战效能的有效途径。分析了反辐射无人机与雷达对抗仿真系统的组成和特点,介绍了基于HLA的反辐射无人机仿真系统的体系结构,开发了系统的FOM/SOM表,探讨了基于HLA的仿真... 基于HLA建立仿真应用系统是提高作战仿真活动效率、检验武器系统作战效能的有效途径。分析了反辐射无人机与雷达对抗仿真系统的组成和特点,介绍了基于HLA的反辐射无人机仿真系统的体系结构,开发了系统的FOM/SOM表,探讨了基于HLA的仿真应用系统开发的一般过程,给出了反辐射无人机与雷达对抗仿真系统的设计实例。 展开更多
关键词 高层体系结构 反辐射无人机 联邦概念模型 仿真
在线阅读 下载PDF
BOM概念及其在联合作战仿真中的应用研究 被引量:3
10
作者 黄文清 江敬灼 《军事运筹与系统工程》 2007年第2期23-27,共5页
在研究基本对象模型(BOM)的概念基础上,结合BOM提供的概念模型、可组合机制和可重用性,分析了其在联合作战仿真设计开发过程中的主要应用,目的在于促进仿真系统模块化构建开发和仿真资源的重用。
关键词 基本对象模型(BOM) 概念模型 仿真模型 联邦开发过程(FEDEP)
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部