基于模型检测方法的目标层预约电梯组调度策略的中期报告

基于模型检测方法的目标层预约电梯组调度策略的中期报告一、研究背景随着城市化的进一步发展和人们生活水平的提高，高层建筑的数量不断增加，电梯也成为了现代建筑的必要部分。然而，电梯的调度问题一直是一个难题。