基于微分方程的程序性能分析

摘要：

基于连续Petri网模型,用一组常微分方程来描述程序,通过研究微分方程的解来研究程序的性能.每个微分方程描述程序状态的变化,每个状态可由介于0和1之间的数来度量,显示程序到达状态的程度.该方法的好处在于在做程序分析时,可避开状态爆炸问题.

关键词：性能分析、连续Petei网、微分方程

所属期刊栏目：45

分类号：TP302.7(计算技术、计算机技术)

资助基金：国家高技术研究发展计划863the National High-Tech Research and Development Plan of China under Grant 2006AA012165

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

页数：共3页

页码：78-80