误差评定 充分必要条件 非零解 数学模型 空间环境模拟器 位置公差 液氮系统 引理