A Closed-Form Solution for the Analysis of Antifreeze Disease Fortification Length in a Permafrost Tunnel

Figure 2

Cross-section distribution diagram of the surrounding rock, the shotcrete, the insulation layer, and the lining.