基于随机Petri网的可重构核心单元分析

摘要：

利用随机Petri网对可重构核心单元进行建模,对其可达性、有界性、安全性等结构特性进行逻辑正确性验证,并对其稳态概率、变迁概率、吞吐量等性能特性进行数量化求解.在好、中、差3种速率情况下讨论动态重构对计算任务完成时间的影响,分析结果表明,可重构核心单元的动态重构响应越及时,其任务处理时间就越少.

关键词：可重构计算、核心单元、随机Petri网、结构分析、性能分析

所属期刊栏目：37

分类号：TP338(计算技术、计算机技术)

资助基金：国家“863”计划基金资助项目2009AA012201;国家“973”计划基金资助项目2007CB316502;国家自然科学基金资助项目90718015;NSFC-微软亚洲研究院联合基金资助项目60970155;教育部博士点基金资助项目20090072110035;上海市优秀学科带头人计划基金资助项目10XD1404400;高效能服务器和存储技术国家重点实验室开放基金资助项目2009HSSA06

在线出版日期：2012-01-14（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：1-6