-
题名基于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
[自动化与计算机技术—计算机应用技术]
-
-
题名任务空间概念模型研究
被引量：27
- 2
-
-
作者
黄健
黄柯棣
邱晓刚
-
机构
湖南长沙国防科技大学自动控制系
-
出处
《系统仿真学报》
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
[自动化与计算机技术—计算机应用技术]
-
