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.
英
美
- 然后應用概率模型檢測技術(shù)將其建模為DTMCs,并使用PRISM對這一策略和DPM中另外兩種常用預測策略進(jìn)行了比較,結果表明這一優(yōu)化策略對網(wǎng)絡(luò )的擁塞、延時(shí)及可靠性影響較小,其總體節能效果優(yōu)于上述兩種預測策略。
