带任务顺序约束的岸桥集卡集成调度约束规划模型

针对集装箱岸桥与集卡集成调度问题,以卸船完工时间最小化为目标,提出考虑任务顺序约束的岸桥与集卡联合调度的混合整数规划(Mixed Integer Programming,MIP)模型和约束规划模型.为评价解的质量,设计新的下界求法.利用不同规模的实例对约束规划模型进行测试,结果显示约束规划模型能够以较快的收敛速度求解较大规模的问题,得到高质量的解.该方法克服了集装箱码头岸桥调度问题与堆场内集卡调度问题分开研究的缺陷.

基于约束规划的岸桥与集卡集成调度

针对进口集装箱卸船的岸桥与集卡集成调度问题，分别提出混合整数规划（MIP）模型和约束规划（CP）模型，目标是使得卸船完工时间最短，该问题是NP难题。通过OPL语言设计约束规划模型，利用其为调度问题提供的特殊构造，如区间变量、序列变量等进行建模，并采用“扩展操作任务”的概念来定义区间变量以提升求解效率。为评价解的质量，设计一个新的下界求解方法。使用不同规模的实例对约束规划模型和MIP模型进行测试，结果表明，在小规模实例中，CP模型求解性能略差于MIP模型，但对于中大规模实例，MIP模型无法在设定时限内找到解，而CP模型则能以较快的收敛速度得到高质量的解，目标距离下界的差距控制在2.19%~8.28%。

“数形结合思想”复习课的单元教学设计

本研究以复习课为视角,探索以数形结合思想为主线的高中复习课的单元教学设计,从有利于学生深化理解数学概念与提高解题效率两个方面进行举例说明.数形结合思想在整个高中的数学学习中无处不在,注重数形结合思想,有利于培养学生的数形结合意识,提高学生的高阶思维能力与解决问题的能力,促进核心素养的发展.