验算示例的模型几何