状态空间 车辆路径问题 整数规划模型 知识表示 模糊聚类分析