空调温度控制系统的数学模型