Discrete Time Markov Chains(DTMCs) of the model was presented by using probabilistic model checking technique. Compared with two familiar time out schemes belonging to predictive schemes by PRISM,the energy efficiency of this scheme is better as a whole.

• 然后应用概率模型检测技术将其建模为DTMCs,并使用PRISM对这一策略和DPM中另外两种常用预测策略进行了比较,结果表明这一优化策略对网络的拥塞、延时及可靠性影响较小,其总体节能效果优于上述两种预测策略。