Application of reliability theory to the computation of beds during construction using the method of permafrost stabilization | doi.page