随着一带一路战略的推进和亚洲基础设施投资银行的成立,我国在海内外的大型基础设施项目将越来越多。大型复杂工程项目具有规模巨大、施工技术复杂、施工方案多样等特点,对管理者提出了更高的要求。为了解决大型复杂基础设施项目带来的问题,管理者需要更为灵活、适应性更强的施工项目调度工具来表述与分析由于描述多个备选施工方案带来的备择活动或备择时间关系。当前流行的施工调度工具缺少对复杂时间和逻辑关系的统一表述方案,对复杂时间关系的描述能力不足在很大程度上限制了描述施工排序多样性和柔性的能力,不能很好地支持施工排序多方案分析,一个大型项目的施工计划通常包含多个子计划,每个子计划局部存在着多个施工排序的可能,所以整个工程的施工排序存在大量的组合可能性,很难人工枚举所有的施工排序方案之前的调度工具不能在一个模型里地描述多个备选的施工方案,因此,施工企业经常面临遗漏最优施工排序方案的风险。本文通过建立一个基于混合整数线性规划(MILP)的调度模型来描述施工中的备选活动和备选时间关系,并拓展了传统的关键活动的定义。首先在提炼活动关键属性(开始时间、持续时间、延迟时间)的基础上,借助线性不等式建立了一套基于时态逻辑建立描述面宽广的复杂时间关系表述方案,将各类复杂时间关系都转换成简单时间关系以及逻辑符的组合形式;其次在调度模型中,使用XOR和XNOR来表示活动和时间关系之间的备择与共存关系、引入两类布尔变量分别表示活动和时间关系的选择与否;然后通过大M法将上述时间关系和逻辑关系转换成混合整数线性规划的约束条件形式,并进行模型求解。最后,本文通过一个算例和一个工程实例计算出施工工期和确定最优施工顺序,验证了模型的有效性。