摘要:智能手机的网络请求导致其续航能力下降,合并转发技术可有效降低能耗,但设置最优的合并转发时间仍是技术发展 的关键,通过大量人工实验解决该问题耗时耗力。 因此,基于统计模型检验,使用工具 UPPAAL-SMC,以概率时间自动机对安卓 设备中用户请求以及 WiFi 模块进行仿真建模,量化能耗、延迟、用户满意度等属性,进而利用统计模型检验,对不同请求频率的 场景进行蒙特卡洛模拟,获得延迟对能耗以及用户满意度的影响。 最终进行多目标优化,求得通用最优合并转发延迟时间为 22 s,在满足用户体验的前提下平均降低了 20%的能耗。 该方法可在不同的使用场景下模拟得到通用最优合并转发延迟时间, 为开发者提供参考。