摘要
智能手机的网络请求导致其续航能力下降,合并转发技术可有效降低能耗,但设置最优的合并转发时间仍是技术发展的关键,通过大量人工实验解决该问题耗时耗力。因此,基于统计模型检验,使用工具UPPAAL-SMC,以概率时间自动机对安卓设备中用户请求以及WiFi模块进行仿真建模,量化能耗、延迟、用户满意度等属性,进而利用统计模型检验,对不同请求频率的场景进行蒙特卡洛模拟,获得延迟对能耗以及用户满意度的影响。最终进行多目标优化,求得通用最优合并转发延迟时间为22 s,在满足用户体验的前提下平均降低了20%的能耗。该方法可在不同的使用场景下模拟得到通用最优合并转发延迟时间,为开发者提供参考。
The network request of smart phone leads to the decline of its endurance.The combined forwarding technology can effectively reduce energy consumption.But setting the optimal combined forwarding time is still the key to technological development.And it is time-consuming and labor-intensive to solve this problem through a large number of manual experiments.Therefore,this paper based on statistical model checking and used the tool UPPAAL-SMC to conduct simulation modeling of user requests and WiFi modules in Android devices with probabilistic time automata.Quantifying energy consumption,delay,user satisfaction and other attributes.And then used statistical model checking to conduct Monte Carlo simulation of scenarios with different request frequencies to obtain the effect of acquisition delay on energy consumption and user satisfaction.Finally,multi-objective optimization was carried out to obtain the general optimal combined forwarding delay time of 22 s,which reduced energy consumption by 20%on average on the premise of satisfying user experience.This method can simulate the general optimal merge forwarding delay time in different application scenarios,which can provide reference for developers.
作者
薛普俊
朱正伟
诸燕平
朱晨阳
Xue Pujun;Zhu Zhengwei;Zhu Yanping;Zhu Chenyang(School of Computer Science and Artificial Intelligence,Changzhou University,Changzhou 213164,China)
出处
《电子测量与仪器学报》
CSCD
北大核心
2022年第3期241-250,共10页
Journal of Electronic Measurement and Instrumentation
基金
常州市重点研发计划(应用基础研究)(CJ20210123)项目资助
关键词
合并转发
WiFi模块
统计模型检验
多目标优化
延迟时间
the combined forwarding
WiFi module
statistical model checking
multi-objective optimization
delay time