Numerical Analysis of Oxygen Vacancy Distribution in Semiconductor Gas Sensors in the Cooling Process Based on the Model of Gradient-Distributed Oxygen Vacancies