如何使用docplex.cp (约束编程)对具有可中断任务的调度问题进行建模？

from docplex.cp.model import CpoModel

# 创建模型
mdl = CpoModel()

# 定义任务和时间段
tasks = ['T1', 'T2', 'T3']
time_periods = range(10)

# 定义任务的开始时间和结束时间变量
start_time = {t: mdl.interval_var(size=3, name=f"start_{t}") for t in tasks}
end_time = {t: mdl.interval_var(name=f"end_{t}") for t in tasks}

# 定义任务的优先级
priority = {'T1': 1, 'T2': 2, 'T3': 3}

# 添加任务的时间约束
for t in tasks:
    mdl.add(mdl.end_before_start(start_time[t], end_time[t]))

# 添加任务的可中断约束
for t in tasks:
    mdl.add(mdl.no_overlap([start_time[t], end_time[t]]))

# 添加任务的优先级约束
for t in tasks:
    mdl.add(mdl.minimize_end(start_time[t], priority[t]))

# 添加全局约束，例如总时间不超过某个值
mdl.add(mdl.sum([end_time[t].get_end() for t in tasks]) <= 8)

# 求解模型
solution = mdl.solve()

# 输出结果
for t in tasks:
    print(f"Task {t} starts at {solution.get_value(start_time[t].get_start())} and ends at {solution.get_value(end_time[t].get_end())}")