货物上下文模型

1. 概述

管理航班恢复调度系统中货物域的操作，包括货物容量跟踪和中断处理。当前为占位符上下文，预留未来货物路由和容量优化的扩展空间。

1. 依赖上下文

任务（task）
规则（rule）

2. 概念 / 实体

1. 货物容量（Cargo Capacity）

飞机的货物运输容量，以重量或体积度量。

${capacity}_{a}$ ：飞机 $a$ 的货物容量。

${cargo_task}_{i}$ ：航班任务 $i$ 是否为货物航班。

3. 变量

当前上下文为占位符，尚无决策变量定义。

4. 谓词

1. 容量类型

isCargo ：飞机 $a$ 的容量类型为货物（AircraftCapacity.Cargo）。

5. 集合

1. 货物航班

$I^{C}$ ：所有货物类型航班任务的集合， $I^{C} = {i \in I ∣ isCargo (i)}$ 。

6. 中间值

当前上下文为占位符，尚无中间值定义。

7. 断言

当前上下文为占位符，尚无断言定义。

8. 约束

1. 货物容量约束

[EN]：Cargo Capacity Constraint

描述：每个货物航班的总装载量不得超过飞机的货物容量。

s . t . {cargo_load}_{i} \leq {capacity}_{a (i)}, \forall i \in I^{C}

9. 目标函数（如适用）

当前上下文为占位符，尚无独立目标函数。

10. 算法引用

当前上下文无算法引用。

11. 通用语言

术语	符号	英文	定义
货物容量	capacity	Cargo Capacity	飞机的货物运输能力
货物航班	$I^{C}$	Cargo Flight	运输货物的航班任务

12. 设计决策

决策	备选方案	选择原因	日期
预留货物上下文	在任务（task）中直接建模	遵循限界上下文分离原则，便于未来扩展	-

13. 变更记录

版本	变更	原因
v1	占位符实现	预留货物域扩展

货物上下文模型 ​

1. 概述 ​

1. 依赖上下文 ​

2. 概念 / 实体 ​

1. 货物容量（Cargo Capacity） ​

3. 变量 ​

4. 谓词 ​

1. 容量类型 ​

5. 集合 ​

1. 货物航班 ​

6. 中间值 ​

7. 断言 ​

8. 约束 ​

1. 货物容量约束 ​

9. 目标函数（如适用） ​

10. 算法引用 ​

11. 通用语言 ​

12. 设计决策 ​

13. 变更记录 ​