阐述cplex约束规划建模的基础知识

约束规划语言OPL应用

本研究主要依托ILOG的约束规划（Constraint Programming）模块来处理调度问题，因此重点阐述与调度相关的函数内容。

根据运筹学建模的基本原理，本文将着重介绍变量定义及约束条件的构建方式。

参考文献：https://doi.org/10.1007/s10601-018-9281-x
该文献由IBM在Constraint期刊上发表，详细介绍了CPO模块的相关内容，本文仅对其进行了简要概括与翻译。如需深入了解CP模块的具体细节，建议查阅原始文献。

接下来将对docplex中的cp模块进行说明，但其核心内容仍集中于区间变量以及关系约束这两个方面。

Interval Variables

basic interval variables

区间变量用于描述调度过程中持续一段时间的活动或任务，其在调度问题中的时间位置具有不确定性，即无法确定任务的具体开始时刻。
区间变量由起始时间与终止时间构成，并且该变量具有可选性，意味着设定的区间变量可能在求解过程中被包含，也可能不被包含。
因此，它可以应用于以下几种情形：

1. 非必须任务：并非所有任务都需要进行加工处理
2. 可选资源：并非所有可用资源都会被使用，而是从中挑选一部分
3. 模式选取：任务具备多种操作模式，但只