A Multi-Objective Model Checking for Transmission Policy Optimization in Hybrid Powered Small Cell Networks

Abstract

In the fifth generation (5G) communication system, maximizing energy utilization is one of the key challenges especially with limited green energy sources. In particular, it is important to determine the optimal transmission policy for the hybrid model with grid and green energy in small cell networks. The optimal transmission policy should minimize both grid power consumption and wastage of green harvested energy at the same time; while satisfying the quality of service (QoS) requirements such as minimum packet drop probability. In contrast to existing policies with a single objective for the hybrid powered small cell networks, the proposed transmission policy adopts a multi-objective model checking for Markov decision process (MOMC-MDP) with a linear temporal logic (LTL) scheme. The MOMC-MDP firstly determines all feasible decisions for packet transmissions in every time slot, and then chooses one of the best feasible decisions to obtain the optimal transmission policy. Three dimension Markov decision process (3D-MDP) that includes packet buffer, battery capacity, and channel state, are used with the age of information (AoI) of the packet arrivals to improve the overall performance of the proposed MOMC-MDP scheme. Numerical results validate that the proposed MOMC-MDP with AoI can provide higher green energy utilization compared to the conventional MDP-based schemes. INDEX TERMS Model checking (MC), Linear temporal logic (LTL), Green design, Three dimension Markov decision process (3D-MDP), Stochastic processes, Age of information (AoI).

Research and Application of Optimal Allocation Model of Water and Soil Resources from the Perspective of Ecological Economics

“…Based on the above connotation, through the quantitative evaluation of inputoutput indicators, the conceptual model of ECO economic efficiency can be expressed as ECO economic efficiency = amount of services provided by artificial capital/amount of natural capital sacrificed = value of products and services/consumption of natural capital ð1Þ Production capacity, output value, and sales volume can be used to express the value of products or services, while the impact of enterprises, industries, or an economy on the environment can be expressed by indicators such as total energy consumption, total raw materials, and waste emissions. From the above expression, it can be seen that compared with the simple pursuit of economic efficiency, ecological economic efficiency emphasizes the coordinated development of ecological economy, that is, to create economic value while taking into account the stability of the ecosystem, which requires that the impact of human economic activities on the ecosystem must be limited within the scope of ecological carrying capacity [10]. Specific to the production activities of micro enterprises, enterprises are required to have the ability to innovate, enhance competitiveness, and constantly improve the relationship between economy and environment, so that enterprises can improve their own economic benefits while avoiding damage to the ecological environment [11].…”

Improving the Buffer Energy Absorption Characteristics of Movable Lander-Numerical and Experimental Studies

“…In this paper, the optimization method of combination mode of energy absorbing materials needs to be completed by theoretical derivation, simulation experiment and the NSGA-II [41][42][43]. Moreover, the NSGA-IIcan obtain the non-inferior solution set through Pareto superiority method.…”