垂直度测试数学模型验证