线性规划模型与标准化分解