压缩空气系统验证方案设计