基于常微分方程的城市交通网络分析

首先建立城市交通网络的连续Petri网模型,用一组常微分方程来描述其语义,每个常微分方程描述交通流量的变化,交通流量可由介于0和1之间的数值来度量,此度量值显示交通堵塞的程度.针对不同的交通流速分析了各路段交通流量状况,适当调整信号灯的点火速率可以缓解城市交通阻塞问题.最后着重分析了某路段发生事故时对其它路段交通流量的影响.该方法的好处在于在做系统分析时,可避开状态爆炸问题.     

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

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