飞机上下文模型

1. 概述

管理飞机配置数据，包括型号分类、机身参数、燃油常数、甲板布局、货物位置和邻接关系。为所有下游优化上下文提供基础数据。

1. 依赖上下文

无上游依赖。

---

2. 概念 / 实体

1. 飞机型号

飞机类型分类（B737/B757/B767/B747）及物理单位定义。

$type$ ：飞机类型枚举（B737、B757、B767、B747）。

$model$ ：飞机型号字符串。

$minorModel$ ：飞机子型号。

2. 机身

飞机机身属性，包括操作空重（DOW）、平衡臂、操作指数和救生筏。

$dow$ ：操作空重（Dry Operating Weight），单位 kg。

$balancedArm$ ：平衡臂，单位 inch。

$doi$ ：操作指数（Dry Operating Index）。

$liferaft$ ：救生筏信息（可选）。

3. 甲板

飞机上的物理甲板，包含舱门、货物位置和舱门邻近映射。

$location$ ：甲板位置（Main / LowForward / LowAft）。

$doors$ ：甲板上的舱门列表。

$positions$ ：甲板上的货物位置列表。

$doorUbieties$ ：舱门与位置的邻近关系映射。

4. 货物位置

货物位置，包含坐标（纵向/横向臂）、形状、位置标签和装载顺序。

$id$ ：位置唯一标识。

$spaceName$ ：空间名称（如 "1L", "2R"）。

$sizeCode$ ：尺寸代码。

$coordinate$ ：坐标（纵向臂、横向臂）。

$shape$ ：物理尺寸（长、宽、体积、面积）。

$location$ ：位置标签集合（Main/Low/Bulk/Head/Tail）。

$linearLoadingOrder$ ：线性装载顺序。

5. 燃油

各飞行阶段的燃油常数。

$weight$ ：燃油重量。

$index$ ：燃油指数。

6. 集装器

集装器（ULD，单位装载装置）。

$code$ ：ULD 代码。

$sizeCode$ ：尺寸代码。

7. 邻接关系

位置间的邻接关系，用于约束生成。

$type$ ：邻接类型。

$positions$ ：邻接的位置对。

8. 装载顺序

定义各位置的装载顺序。

$order$ ：顺序值。

---

3. 变量

1. 决策变量

本上下文不定义决策变量，仅提供配置数据。

2. 辅助变量

本上下文不定义辅助变量。

---

4. 谓词

1. 飞机类型谓词

narrowBody(type) ：窄体飞机（B737、B757）。

wideBody(type) ：宽体飞机（B767、B747）。

ballastNeeded(type) ：需要压舱物（B757、B767）。

mainDeckDoorEmptyPrefer(type) ：主甲板舱门空载偏好（B757、B767）。

---

5. 集合

1. 甲板

$D$ ：所有甲板集合。

$D^{main}$ ：主甲板子集。

$D^{low}$ ：下层甲板子集。

2. 位置

$J$ ：所有货物位置集合。

$J^{main}$ ：主甲板位置子集。

$J^{low}$ ：下层位置子集。

$J^{bulk}$ ：散装位置子集。

---

6. 中间值

本上下文不定义中间值。

---

7. 断言

本上下文不定义独立断言，仅为下游上下文提供配置数据。

---

8. 约束

本上下文不定义约束。

---

9. 目标函数（如适用）

本上下文不定义目标函数。

---

10. 算法引用

本上下文不定义独立算法引用。

---

11. 通用语言

术语	符号	英文	定义
飞机型号	AircraftModel	Aircraft Model	飞机类型分类及物理单位定义
机身	Fuselage	Fuselage	飞机机身属性
甲板	Deck	Deck	飞机上的物理甲板
货物位置	Position	Position	飞机上的货物装载位置
燃油	Fuel	Fuel	各飞行阶段的燃油常数
集装器	ULD	Unit Load Device	标准化货物容器
邻接关系	Neighbour	Neighbour	位置间的邻接关系
装载顺序	LoadingOrder	Loading Order	位置的装载顺序

---

12. 设计决策

决策	备选方案	选择原因
物理单位制	英制（inch/ft/lb）与公制	航空业标准使用英制
位置标签系统	枚举与位图	枚举更直观，便于谓词定义

---

13. 变更记录

本页未记录上下文专属的变更条目。