电子发烧友App

硬声App

0
  • 聊天消息
  • 系统消息
  • 评论与回复
登录后你可以
  • 下载海量资料
  • 学习在线课程
  • 观看技术视频
  • 写文章/发帖/加入社区
创作中心

完善资料让更多小伙伴认识你,还能领取20积分哦,立即完善>

3天内不再提示
电子发烧友网>电子资料下载>电子论文>嵌入式技术论文>用于嵌入式系统建模的扩展PRES网

用于嵌入式系统建模的扩展PRES网

2018-01-31 | rar | 0.60 MB | 次下载 | 3积分

资料介绍

  由于嵌入式系统功能的复杂性和需求的多样性,使得在工程上进行嵌入式系统的设计成为难题建立一个良好的形式化系统模型,在系统设计的初级阶段对系统进行模拟仿真,对系统的有效性、稳定性和可靠性进行分析,及时对系统设计进行相应的优化并且及时发现系统级的逻辑和时序错误,可以避免不必要的损失,也可以增强设计过程的规范性。应用Pet ri网对嵌入式系统进行高级综合建模是近年来发展的一个新技术。Petri网的概念最早是由西德的CA.Pet ri博士于1962年提出来的,70年代以后,Pet ri网理论在欧美一些国家得到了迅速的发展,并被广泛应用于计算机科学技术和其他许多学科领域但单纯的Petri网在表达嵌入式系统上有不足之处,因此人们根据嵌入式系统的实际应用提出了多种扩充的Pet ri网模型。扩展的时间Pet ri网EPTN能够描述时间信息,并可以清楚地表现出数据和控制的流向,缺点是将数据和控制分别用2个图表示,即控制用时间Petri网表示,数据用有向图表示,不利于对数据和控制流的综合分析!PR ESI-是专门为嵌入式系统提出的Petri网模型,它可以表示复杂的数据运算,准确地分析系统的时间特性,并支持对系统不同层次的抽象,缺点是弱化了对控制流的表达。双变迁Petri网f DTPN)用不同的变迁分别表示对数据和控制的处理,但它在描述数据操作时不能表示较复杂的运算,对时间约束的描述和分析也不充分盯。

  本文针对嵌入式系统提出了一种改进的Pet ri网模型 EPRES f extended Petri net based rep res en to tion for emb ed ded svstem).可以对系统的功能实现资源洳内存、带宽能量等消耗、时间约束等做出较充分的刻画。

用于嵌入式系统建模的扩展PRES网

下载该资料的人也在下载 下载该资料的人还在阅读
更多 >

评论

查看更多

下载排行

本周

  1. 1电子电路原理第七版PDF电子教材免费下载
  2. 0.00 MB  |  1490次下载  |  免费
  3. 2单片机典型实例介绍
  4. 18.19 MB  |  93次下载  |  1 积分
  5. 3S7-200PLC编程实例详细资料
  6. 1.17 MB  |  27次下载  |  1 积分
  7. 4笔记本电脑主板的元件识别和讲解说明
  8. 4.28 MB  |  18次下载  |  4 积分
  9. 5开关电源原理及各功能电路详解
  10. 0.38 MB  |  10次下载  |  免费
  11. 6基于AT89C2051/4051单片机编程器的实验
  12. 0.11 MB  |  4次下载  |  免费
  13. 7基于单片机和 SG3525的程控开关电源设计
  14. 0.23 MB  |  3次下载  |  免费
  15. 8基于单片机的红外风扇遥控
  16. 0.23 MB  |  3次下载  |  免费

本月

  1. 1OrCAD10.5下载OrCAD10.5中文版软件
  2. 0.00 MB  |  234313次下载  |  免费
  3. 2PADS 9.0 2009最新版 -下载
  4. 0.00 MB  |  66304次下载  |  免费
  5. 3protel99下载protel99软件下载(中文版)
  6. 0.00 MB  |  51209次下载  |  免费
  7. 4LabView 8.0 专业版下载 (3CD完整版)
  8. 0.00 MB  |  51043次下载  |  免费
  9. 5555集成电路应用800例(新编版)
  10. 0.00 MB  |  33562次下载  |  免费
  11. 6接口电路图大全
  12. 未知  |  30320次下载  |  免费
  13. 7Multisim 10下载Multisim 10 中文版
  14. 0.00 MB  |  28588次下载  |  免费
  15. 8开关电源设计实例指南
  16. 未知  |  21539次下载  |  免费

总榜

  1. 1matlab软件下载入口
  2. 未知  |  935053次下载  |  免费
  3. 2protel99se软件下载(可英文版转中文版)
  4. 78.1 MB  |  537791次下载  |  免费
  5. 3MATLAB 7.1 下载 (含软件介绍)
  6. 未知  |  420026次下载  |  免费
  7. 4OrCAD10.5下载OrCAD10.5中文版软件
  8. 0.00 MB  |  234313次下载  |  免费
  9. 5Altium DXP2002下载入口
  10. 未知  |  233046次下载  |  免费
  11. 6电路仿真软件multisim 10.0免费下载
  12. 340992  |  191183次下载  |  免费
  13. 7十天学会AVR单片机与C语言视频教程 下载
  14. 158M  |  183277次下载  |  免费
  15. 8proe5.0野火版下载(中文版免费下载)
  16. 未知  |  138039次下载  |  免费