一个嵌入式系统的Petri网模型与CPLD实现.doc_第1页
一个嵌入式系统的Petri网模型与CPLD实现.doc_第2页
一个嵌入式系统的Petri网模型与CPLD实现.doc_第3页
全文预览已结束

下载本文档

版权说明：本文档由用户提供并上传，收益归属内容提供方，若内容存在侵权，请进行举报或认领

文档简介

一个嵌入式系统的Petri网模型与CPLD实现 网是异步并发系统没有人为的控制流直观地表示了非确定性；且可以图形化的方式描述复杂的系统并可运用数学工具进行分析因此其在软件系统的建模与仿真中得到广泛应用网自身具备的可运行性方便了系统形式化描述级的模拟可以用于表达不同抽象级上的系统概念并清楚地描述整个系统的运作过程笔者发现网的应用目前仅局限于软件系统的设计例如网络协议、物流管理等而在硬件系统中却很少涉足硬件系统随着功能的日益增强其功能描述也越来越复杂基于硬件系统描述的语言以其强大的硬件描述能力已被广大科研工作者所采用语言也适用于描述异步并发系统因此可与网建立的模型联系起来 本文采用自顶向下与层次分析相结合的设计方法?用网的一个子类系统（条件事件系统）对视频输入卡的逻辑控制器建立模型针对控制器模型中关心和需要观察的变量确定描述的实体和端口由系统网的拓扑结构确定条件和事件间的逻辑关系构造语言中的结构体采用开发工具进行代码设计逻辑综合并对设计进行仿真最后下载到验证了逻辑控制器设计的正确性图1视频输入卡结构框图应用背景及控制器功能要求 图为某一视频输入卡结构框图前端视频信号经过解码、缓冲后将数据送入处理其中由逻辑控制器协调各部分之间的运作从图中可以看出逻辑控制器与视频切换、视频解码、视频数据缓存以及等部分存在联系归纳起来需要完成五个基本功能：视频通道切换控制；插入行标志信息；的初始化操作；写；读 要完成上述五个基本功能必须保证每个功能与另一功能之间不存在冲突但允许存在并发行为同时它们之间的逻辑顺序应保持一致因此需要一个主控模块协调各部分的操作各功能部分之间的逻辑关系比较复杂涉及到图像数据的行同步以及场同步等问题一旦出错则接收的就不是有效的图像数据后续工作也不能正常进行为此首先建立网模型并运用数学工具进行分析最后采用语言实现 控制器网模型 应用网的一个子类建立视频输入卡的逻辑控制器模型控制器实现的五大功能在满足各自条件的情况下能够正确地完成相关操作如果将每个功能展开进行网模型设计将会使整个系统的节点过多节点一多则不易分析其性质和计算它的可达树、不变量等参数网特有的直观易懂、适于交流的图形表示也就失去了意义采用层次分析的方法首先在顶层根据各功能要求建立一个网模型然后在各个模块内部建立更详细的子模型鉴于顶层和底层的分析方法类似只将顶层模型展开讨论网络的一些动态特性如库所与变迁的含义如表所示表1库所和变迁的含义 逻辑控制器顶层网模型如图所示该模型是一个基本网系统其状态元素称为条件变迁元素称为事件事件的发生改变条件的状态（成真与否）引起
人人文库> 全部分类> 毕业设计 > 毕业论文

温馨提示

  • 1. 本站所有资源如无特殊说明，都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等，如果需要附件，请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸，网页内容里面会有图纸预览，若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间，仅对用户上传内容的表现方式做保护处理，对用户上传分享的文档内容本身不做任何修改或编辑，并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容，请与我们联系，我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

最新文档

评论

0/150

提交评论