咨询与建议

限定检索结果

文献类型

  • 1 篇 期刊文献

馆藏范围

  • 1 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1 篇 理学
    • 1 篇 系统科学
  • 1 篇 工学
    • 1 篇 控制科学与工程

主题

  • 1 篇 仿真验证
  • 1 篇 系统建模语言活动...
  • 1 篇 petri
  • 1 篇 模型转换

机构

  • 1 篇 北京计算机技术及...
  • 1 篇 浙江大学

作者

  • 1 篇 ke wenjun
  • 1 篇 陈静
  • 1 篇 jiang shan
  • 1 篇 江山
  • 1 篇 chen jing
  • 1 篇 柯文俊

语言

  • 1 篇 中文
检索条件"主题词=系统建模语言活动图"
1 条 记 录,以下是1-10 订阅
排序:
基于Petri网模型的系统仿真验证方法
收藏 引用
系统工程与电子技术 2017年 第4期39卷 924-930页
作者: 柯文俊 陈静 江山 北京计算机技术及应用研究所 北京100854 浙江大学软件学院 浙江宁波315103
随着系统工程的发展,对系统的质量提出了更高的要求。首先以系统建模语言活动图模型为焦点,提出一种将活动模型自动转换为Petri网模型的机制,接着对某指挥控制系统的发射模块进行建模,并通过转换机制将活动模型转化为Petri网模型,... 详细信息
来源: 评论