Abstract: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.