Congestion in air traffic raises safety concerns and causes excessive costs, so ATFM is a focus of world's attention now. Mathematical model is built for solving a type of ground holding problem that belongs to ATFM first. Then, a simulation is performed, and the result shows that the model is logical and feasible. Based on the simulation result, some researches on the parameters of the model are carried out.