Summary Along with the rapid development of the information technology revolution, P2P technology has been more and more widely and deeply researched in the field of mobile wireless, and mobile P2P has become an emerging and popular research field. The particularity of the mobile environment has extremely high requirements on the P2P network topology, resource transition paths and network security. In this paper, a two‐stage queueing model with negative customers and asynchronous failure is established based on a hybrid mobile network model combining the semi‐distributed topology and the fully‐distributed topology. Using the matrix‐geometric solution and Gauss‐Seidel iterative method, the probability distribution of the network model in steady‐state is obtained, and expressions for performance indicators such as the average number of peers in the two stages are given. Numerical experiments were conducted using programming software to analyze the effect of parameters on each indicator. The optimal parameters were solved by constructing the average cost unit time function and social benefit function to provide decision foundation for the mobile P2P network model.

We study generalized possibilistic computation tree logic (GPoCTL) model checking in this paper, which is an extension of possibilistic computation logic model checking introduced by Li et al. (2014). The system is modeled by generalized possibilistic Kripke structures, and the verifying property is specified by a GPoCTL formula. Based on generalized possibility measures and generalized necessity measures, the method of GPoCTL model checking is discussed, and the corresponding algorithm and its complexity are shown in detail. Furthermore, the comparison between possibilistic computation tree logic and GPoCTL is given. Finally, a thermostat example is given to illustrate the GPoCTL model-checking method.

In this paper, we present a new effective mathematical analysis to numerically evaluate the performance for multi- traffic in wireless communication networks with multi-channel and an admission control scheme. We apply a matrix geometric solution method to describe the stochastic behavior of the system and give the exact performance measures, such as, utilization of channel for both voice and data packets, blocking probability of voice packets, the average queue length of data packets, and the average waiting time of data packets. The numerical results show how priority can be provided and how the whole system performance can be improved based on the running mechanism of the multi-channel wireless communication networks and the various quality of service (QoS) requirements of multi-traffic.