Diffusion process simulation and ventilation strategy for small-hole natural gas leakage in utility tunnels