您的位置： 专家智库 > >

袁悦

作品数：1 被引量：0H指数：0
供职机构：贵州大学计算机科学与信息学院更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇嵌入式
  • 1篇嵌入式系统
  • 1篇OOPN
  • 1篇PETRI网

机构

  • 1篇贵州大学

作者

  • 1篇高亮
  • 1篇孟传良
  • 1篇张成宇
  • 1篇田野
  • 1篇袁悦

传媒

  • 1篇微计算机信息

年份

  • 1篇2007
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于OOPN的嵌入式系统的建模研究与实现
2007年
本文结合了面向对象和Petri网两种建模方法的优点,提出了一种新的面向对象Petri网的建模方法。主要研究了面向对象Petri网方法在嵌入式系统设计中的具体应用,并通过实验对该方法进行了正确性论证以及资源分配情况的定量分析。该方法为嵌入式系统的设计提出了一种行之有效的形式化分析方法,使得复杂的嵌入式系统描述更加模块化,具有可重用性,大大提高了嵌入式系统建模和分析的效率。
高亮孟传良张成宇田野袁悦
关键词：OOPN嵌入式系统PETRI网
全选 清除 导出
共1页<1>
聚类工具0