-
题名基于CPN的联邦概念模型形式化建模与验证(英文)
被引量：3
- 1
-
-
作者
杨惠珍
郝莉莉
-
机构
西北工业大学航海学院
-
出处
《系统仿真学报》
CAS
CSCD
北大核心
2012年第7期1361-1365,1372,共6页
-
文摘
提出了基于着色Petri网(CPN)的联邦概念模型(FCM)形式化建模与验证一体化方法。这种方法的提出主要基于下面两点:一是形式化的FCM与用自然语言描述的模型相比具有更完整、更准确和更规范的特点;二是形式化模型的验证需要专门的工具辅助完成。以一个简单的制造系统为例,采用CPN语言建立了该系统的形式化概念模型,利用辅助软件工具CPN Tools完成了该联邦概念模型的仿真和验证。应用研究表明,着色Petri网有助于描述联邦中各实体的行为和关系,CPN Tools辅助工具实现了形式化模型建模、仿真和验证的一体化过程。
-
关键词
着色Petri网(CPN)
验证
联邦概念模型(fcm)
形式化模型
-
Keywords
Colored Petri Nets （CPN）
validation
Federation Conceptual Model （fcm）
formal model
-
分类号
TP391.9
[自动化与计算机技术—计算机应用技术]
-
-
题名XY联邦开发框架的概念模型设计
- 2
-
-
作者
马萍
杨明
王子才
-
机构
哈尔滨工业大学仿真中心
-
出处
《系统仿真学报》
CAS
CSCD
1999年第6期426-429,共4页
-
文摘
为实现某种特定的仿真目的而组织起来，并且能够进行交互操作的仿真系统、支撑软件、规则和其他相关的部件就构成了一个联邦。联邦开发和执行过程（ＦＥＤＥＰ） 模型是为满足联邦发起者的需要对ＨＬＡ 联邦开发和执行过程的一种描述，根据ＦＥＤＦＰ 模型对ＸＹ 联邦系统的一个剧本进行了描述，以ＸＹ 导弹为例，按照ＨＬＡＯＭＤＤ 的ＤＩＦ格式，给出ＸＹ 实体的概念模型。
-
关键词
联邦
仿真系统
概念模型
导弹
-
Keywords
high level architecture
HLA
federation
federate
-
分类号
TJ765.43
[兵器科学与技术—武器系统与运用工程]
TP391.9
[自动化与计算机技术—计算机应用技术]
-
-
题名任务空间概念模型研究
被引量：27
- 3
-
-
作者
黄健
黄柯棣
邱晓刚
-
机构
湖南长沙国防科技大学自动控制系
-
出处
《系统仿真学报》
CAS
CSCD
2000年第1期1-5,共5页
-
文摘
任务空间概念模型CMMS是建模与仿真主计划提出的三大目标之一。它是对真实世界的第一次抽象 ,独立于具体的仿真任务 ,旨在实现仿真间的互操作和促进仿真资源的重用。本文主要介绍了CMMS的基本概念、先进技术及其VV&A等几方面内容 ,并对CMMS与联邦概念模型CMF作了简要比较。
-
关键词
概念模型
联邦概念模型
CMMS
仿真系统
-
Keywords
CMMS
conceptualmissionspacemodel
ADS
VV&A
CMFStudyOnConceptualModelsoftheMissionSpace HUNGJian ,HUANGKe di,QIUXiao gang (DepartmentofAutomaticControl,NationalUniversityofDefenseTechnology ,Changsha 410 0 73 ) Abstract:ConceptualModelsoft
-
分类号
TP391.9
[自动化与计算机技术—计算机应用技术]
-
