软弱下卧层验算例子