| 基于有色Petri网的FIFO栈建模与优化 |
| |
| 引用本文： | 付新华,肖明清,袁大勇,邹德鹏. 基于有色Petri网的FIFO栈建模与优化[J]. 仪器仪表学报, 2008, 29(3): 577-582 |
| |
| 作者姓名： | 付新华 肖明清 袁大勇 邹德鹏 |
| |
| 作者单位： | 空军工程大学工程学院自动测试系统实验室,西安,710038 |
| |
| 摘 要： | 先入先出FIFO栈在智能仪器及测试系统中起着重要作用.针对FIFO栈设计缺乏理论指导和严格数学验证的问题,提出采用有色Petri网(CP-net)来建模和优化FIFO栈.提出了一种FIFO栈设计模型,FIFO栈的入栈口和出栈口固定但容量可变.应用建模、仿真工具CPN Tools对FIFO栈的动态运行过程进行建模、仿真和分析,并在此基础上,对FIFO栈模型进行了优化.采用Verilog HDL在现场可编程逻辑门阵列FPGA上具体实现了FIFO栈的硬件电路.仿真结果和实际应用表明,该设计模型是活的、公平的、安全的和高效的.
|
| 关 键 词： | FIFO栈 有色Petri网 建模 优化 CPN Tools 硬件实现 Petri FIFO 应用建模 建模和优化 stack modeling and optimization approach based 安全 公平 仿真结果 硬件电路 FPGA 逻辑门阵列 现场可编程 Verilog 设计模型 分析 运行过程 动态 |
| 收稿时间： | 2007-09-01 |
| 修稿时间： | 2007-09-01 |
Colored Petri-net based approach for modeling and optimization of FIFO stack |
| |
| Fu Xinhua,Xiao Mingqing,Yuan Dayong,Zou Depeng. Colored Petri-net based approach for modeling and optimization of FIFO stack[J]. Chinese Journal of Scientific Instrument, 2008, 29(3): 577-582 |
| |
| Authors: | Fu Xinhua Xiao Mingqing Yuan Dayong Zou Depeng |
| |
| Abstract: | |
| |
| Keywords: | FIFO stack CP-net modeling optimization CPN tool hardware implementation |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
