| 基于微分方程的程序性能分析 |
| |
| 引用本文： | 吴正志,章靠,丁佐华.基于微分方程的程序性能分析[J].计算机工程与应用,2009,45(13):78-80. |
| |
| 作者姓名： | 吴正志 章靠 丁佐华 |
| |
| 作者单位： | 浙江理工大学,数学计算与软件工程中心,杭州,310018 |
| |
| 基金项目： | 国家高技术研究发展计划(863计划) |
| |
| 摘 要： | 基于连续Petri网模型,用一组常微分方程来描述程序,通过研究微分方程的解来研究程序的性能。每个微分方程描述程序状态的变化,每个状态可由介于0和1之间的数来度量,显示程序到达状态的程度。该方法的好处在于在做程序分析时,可避开状态爆炸问题。
|
| 关 键 词： | 性能分析 连续Petri网 微分方程 |
| 收稿时间： | 2008-3-19 |
| 修稿时间： | 2008-5-21
|
Performance analysis of programs using ordinary differential equations |
| |
| WU Zheng-zhi,ZHANG Kao,DING Zuo-hua.Performance analysis of programs using ordinary differential equations[J].Computer Engineering and Applications,2009,45(13):78-80. |
| |
| Authors: | WU Zheng-zhi ZHANG Kao DING Zuo-hua |
| |
| Affiliation: | WU Zheng-zhi,ZHANG Kao,DING Zuo-huaCenter of Mathematical Computing & Software Engineering,Zhejiang Sci-Tech University,Hangzhou 310018,China |
| |
| Abstract: | Based on continuous Petri net,build differential equation model for programs.The program behavior can be analyzed from the curves of the solutions of the differential equations.Each equation describes the program state change and the state can be measured by a number between 0 and 1,indicating how much the state can be reached while the program is in execution. The advantage of our method is that we can avoid state explosion program while doing program analysis. |
| |
| Keywords: | performance analysis continuous Petri net differential equation |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与应用》浏览原始摘要信息 |
|
点击此处可从《计算机工程与应用》下载全文 |
|
