欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
利用随机Petri网对可重构核心单元进行建模,对其可达性、有界性、安全性等结构特性进行逻辑正确性验证,并对其稳态概率、变迁概率、吞吐量等性能特性进行数量化求解。在好、中、差3种速率情况下讨论动态重构对计算任务完成时间的影响,分析结果表明,可重构核心单元的动态重构响应越及时,其任务处理时间就越少。
英文摘要：
This paper proposes a method of modeling the reconfigurable core cell based on stochastic Petri net.For its structural properties,such as reachability,boundedness and safety,it presents the logical correctness verification.As to its performance properties,such as stable probability,transition probability and throughput rate,it presents the quantification analysis.This paper discusses the effects between dynamic reconfiguration time and the finished time of computing task under three different conditions.Analysis result shows that the shorter dynamic reconfigurable time is,the shorter task complete time is.
同期刊论文项目
同项目期刊论文
Interest-driven reasoning based on commitment alternating temporal logic in the P2P reputation syste
期刊信息
位置：