모형실험을 통한 연직배수공법의 확률론적 분석