作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

计算机工程

• 开发研究与工程应用 • 上一篇    下一篇

语用层次仿真组件组合性质分析

胡鹏1,2,沈建京1,陶林波1   

  1. (1.信息工程大学理学院,郑州 450001; 2.68206部队,甘肃 临夏 731100)
  • 收稿日期:2014-11-27 出版日期:2016-02-15 发布日期:2016-01-29
  • 作者简介:胡鹏(1983-),男,博士,主研方向为分布式交互仿真;沈建京,教授;陶林波,博士。

Composition Property Analysis of Pragmatic Level Simulation Components

HU Peng  1,2,SHEN Jianjing  1,TAO Linbo  1   

  1. (1.School of Sciences,Information Engineering University,Zhengzhou 450001,China;2.Troop 68206,Linxia,Gansu 731100,China)
  • Received:2014-11-27 Online:2016-02-15 Published:2016-01-29

摘要:

针对语法和语义层次组合存在对仿真环境的匹配及组合结果实用性不强的问题,在语用组合与仿真语境研究的基础上,给出仿真语境空间形式化定义,提出一种基于语境空间匹配指数的静态语用组合性质分析方法。对扩展有限状态自动机进行分析,设计支持语境约束的仿真组件模型形式化描述,建立仿真组件模型与着色Petri网(CPN)之间的映射,并利用CPN Tools工具实现组合模型的动态语用可组合性质分析。应用结果表明,语用层次的仿真组件静态、动态组合性质分析,可为仿真组件发现、仿真建模优化、组合结果有效性判定等关键问题提供量化、直观的依据。

关键词: 语用, 语境, 仿真组件, 组合性质分析, 扩展有限状态自动机

Abstract:

Syntactic and semantic composition has problem in achieving the integrity,validity and practicability of simulation component composition.In view of this,this paper analyzes pragmatic composition and simulation context,and proposes the formal definition of Simulation Context Space(SCS) as well as the approach of static pragmatic composition verification based on SCS matching index calculation,including concept semantic matching index and value matching index.It analyzes the features of the Extended Finite State Machine(EFSM),and designs the formal description of Simulation Component Model(SCM) including context constraint based on EFSM.It develops the mapping between SCM and Color Petri Net (CPN) model,so the dynamic pragmatic composition verification of the composed model can be done by CPN Tools.Application result of the static and dynamic analysis of the simulation component composition shows that,it can provide quantifiable,intuitive basis for component discovery,model optimization,and composition verification on pragmatic level.

Key words: pragmatic, context, simulation component, composition property analysis, Extended Finite State Machine(EFSM)

中图分类号: