位置：成果数据库 > 期刊 > 期刊详情页
基于Petri 网的同步DRAM控制器的建模与分析
  • ISSN号：1004-731X
  • 期刊名称：《系统仿真学报》
  • 时间：0
  • 分类：TP302.1[自动化与计算机技术—计算机系统结构;自动化与计算机技术—计算机科学与技术]
  • 作者机构：[1]安徽理工大学数理系,淮南,232001 安徽理工大学数理系,淮南,232001 安徽理工大学数理系,淮南,232001
  • 相关基金：国家自然科学基金(10371047)
作者： 刘士喜[1], 方贤文[1], 许志才[1]
关键词： Petri网, ARM嵌入式处理器, 同步DRAM, 增广Petri网
中文摘要：

Petri 网理论已日益成为复杂系统设计与分析中不可或缺的工具.而ARM嵌入式处理器是一种高性能,低功耗的RISC芯片.同步动态RAM控制器状态间的相互转换较为复杂,且通过状态图只能描述它的静态特征,难以分析其动态特性.Petri网能够直观地描述非确定性,以图形化的方式表示及运用数学工具模拟与分析复杂系统.文章正是利用Petri网的这些特性来描述和分析ARM体系结构中同步DRAM控制器的状态和转换.

同期刊论文项目
整体微分几何、曲率与拓扑不变量
期刊论文 27 著作 2
同项目期刊论文
Complete space-like suvmanifol
The spectrum of compact hypers
Remarks on complete spacelike
The isospectrum problem of com
Compact maximal space-like sub
The topology of submanifolds i
Hypersurfaces in space forms w
On the Gauss map of spacelike
A comparison-estimate of the s
Complete manifolds with asympt
曲率下界与有限拓扑型
具有非负Ricci曲率的开流形的基
靶流形为齐次流形的弱次椭圆Q-调
Anti-de Sitter 空间中紧致类空
On complete noncompact subamni
Lorentz-Minkowski 空间中给定曲
Complete open manifolds with n
Open Manifolds with Nonnegative Ricci Curvature and Large Volume Growth
Small Excess and the Topology of Open Manifolds with Ricci Curvature Negatively Lower Bounded
anti—de Sitter空间中紧致类空超曲面的积分公式及其在常高阶平均曲率下的应用
Zygmund微分映射的正则点
Clifford环面S^m（√m/n）×S^n-m（√n-m/n）的刚性定理
S^n＋1（1）中的极小超曲面的等谱问题
平面图的3-染色问题研究
基于随机Petri网的机群系统可信赖性研究
具有非负Ricci曲率的开流形的基本群
期刊信息
  • 《系统仿真学报》
  • 北大核心期刊（2011版）
  • 主管单位:中国航天科工集团公司
  • 主办单位:北京仿真中心 中国仿真学会
  • 主编：李伯虎
  • 地址：北京市海淀区永定路50号院
  • 邮编：100039
  • 邮箱：simu-xb@vip.sina.com
  • 电话：010-88527147
  • 国际标准刊号：ISSN：1004-731X
  • 国内统一刊号：ISSN：11-3092/V
  • 邮发代号:82-9
  • 获奖情况:
  • 国内外数据库收录:
  • 美国化学文摘（网络版）,荷兰文摘与引文数据库,英国科学文摘数据库,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）
  • 被引量:51729