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

doi:10.3778/j.issn.1002-8331.2009.13.023

计算机工程与应用 ›› 2009, Vol. 45 ›› Issue (13): 78-80.DOI: 10.3778/j.issn.1002-8331.2009.13.023

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

吴正志,章靠,丁佐华

浙江理工大学数学计算与软件工程中心，杭州 310018

收稿日期:2008-03-19 修回日期:2008-05-21 出版日期:2009-05-01 发布日期:2009-05-01
通讯作者: 吴正志

Performance analysis of programs using ordinary differential equations

WU Zheng-zhi,ZHANG Kao,DING Zuo-hua

Center of Mathematical Computing & Software Engineering，Zhejiang Sci-Tech University，Hangzhou 310018，China

Received:2008-03-19 Revised:2008-05-21 Online:2009-05-01 Published:2009-05-01
Contact: WU Zheng-zhi

摘要/Abstract

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

关键词: 性能分析, 连续Petri网, 微分方程

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.

Key words: performance analysis, continuous Petri net, differential equation

吴正志,章靠,丁佐华. 基于微分方程的程序性能分析[J]. 计算机工程与应用, 2009, 45(13): 78-80.

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.

[1]	刘洪琛，刘朝霞，张龙. 融合[L2]和KL保真项的图像恢复算法[J]. 计算机工程与应用, 2020, 56(5): 214-221.
[2]	徐国愚，徐刚，姜涛，胡海涛. 天地一体化网络认证机制性能定量分析方法[J]. 计算机工程与应用, 2020, 56(21): 108-114.
[3]	石会，蔡跃明，杨炜伟，向中武，陈德川. Nakagami-[m]信道的TSR非可信中继网络安全性能分析[J]. 计算机工程与应用, 2020, 56(12): 98-104.
[4]	张晓婷，何朗，黄樟灿，谈庆. 基于MFR-GEP的高阶常微分方程预测模型[J]. 计算机工程与应用, 2019, 55(21): 247-253.
[5]	吴漩，王艳，陈星. 无需初始轮廓的快速图像分割模型[J]. 计算机工程与应用, 2019, 55(11): 167-171.
[6]	张龙，刘朝霞，刘洪琛. 一种去除椒盐噪声带L1保真项的混合变分模型[J]. 计算机工程与应用, 2019, 55(1): 210-216.
[7]	董建新1，李琳俊2，王希云2. 解不定信赖域子问题的Heun三阶算法[J]. 计算机工程与应用, 2018, 54(6): 55-61.
[8]	周水生，王保军，安亚利. 基于LS-SVM方法求高阶线性ODE近似解[J]. 计算机工程与应用, 2018, 54(23): 51-56.
[9]	崔未，王卫华，黄樟灿，谈庆. 基于GEP算法的高阶常微分方程预测模型[J]. 计算机工程与应用, 2018, 54(18): 256-262.
[10]	蒋洁琦，杨庚，李鹏. 云环境下面向隐私保护的用户行为分析[J]. 计算机工程与应用, 2018, 54(14): 127-132.
[11]	崔佳琦，杨剑锋，徐俊，郭成城. CSMA/CA在CSMA/TDMA混合网络中的性能分析[J]. 计算机工程与应用, 2017, 53(20): 83-88.
[12]	薛文丹，赵凤群. 涉及景深的雾天图像增强的偏微分方程模型[J]. 计算机工程与应用, 2017, 53(19): 192-197.
[13]	万玮，刘朝霞. 一种改进的欧拉弹性修补模型[J]. 计算机工程与应用, 2017, 53(13): 196-200.
[14]	符发1，周星1，谭毓银1，Thomas Dreibholz2，Hakim Adhari3，Erwin P. Rathgeb3. 多场景的MPTCP协议性能分析研究[J]. 计算机工程与应用, 2016, 52(5): 89-93.
[15]	李阳1，金丽莎2，侯宇戡2，张杰2. 基于性能分析的装配站生产状态快速配置方法[J]. 计算机工程与应用, 2016, 52(24): 229-235.

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

Performance analysis of programs using ordinary differential equations

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics