Mechanical model and validation of frost heave damage of precast concrete slab lining trapezoidal canal in open system