Frost heave modeling and field verification for arc-bottom trapezoidal lined canals in cold regions - Jianrui Ge; Yaxin Zhang; Ruiqiang Bai; Zhengzhong Wang; Haoyuan Jiang; Ruochen Jiang (Cold Regions Science and Technology, 2026)