Abstract
在本文中，我们将介绍一种新技术，建模和求解具有复杂行为特征的系统的动态电源管理问题（dynamic power management），如并发，同步，相互排斥和冲突问题。我们将具有分布式电源管理的计算机系统建模为一个可控的广义随机Petri网（GSPN）。得到的GSPN模型自动转换为等效的连续时间markov决策过程。由于延迟的限制，系统元件的最佳电源管理策略以及请求的优化调度策略是在markov决策过程的基础上通过求解线性规划问题计算求得。实验结果表明，相比其他现有的DPM技术，该技术可以实现20％以上的节能。