摘要
•There has been little comparison of cold regions flow and heat transport models.•Analytical solutions make excellent benchmarks for inter-code comparison.•We present a solution that includes conduction, advection and phase change.•We test its accuracy via comparisons to the Neumann solution and a numerical model.•We report detailed simulation results to facilitate future benchmarking endeavors.