冗余上下文模型

1. 概述

管理冗余和实验纵向平衡约束，用于重量分布分析和安全裕度。

1. 依赖上下文

1. 飞机上下文（aircraft）
2. 装载分配上下文（stowage）

---

2. 概念 / 实体

1. 冗余

重量分布安全裕度的冗余模型。

$redundancy$ ：冗余值。

2. 实验纵向平衡

基于冗余计算的实验纵向平衡模型。

$experimentalBalance$ ：实验纵向平衡值。

$redundancy$ ：依赖的冗余值。

---

3. 变量

1. 决策变量

本上下文复用装载分配上下文的决策变量，不定义独立决策变量。

2. 辅助变量

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

---

4. 谓词

本上下文不定义独立谓词。

---

5. 集合

本上下文不定义独立集合；其限制使用装载分配和飞行阶段集合。

---

6. 中间值

本上下文不定义独立中间值。

---

7. 断言

本上下文不定义独立断言。

---

8. 约束

1. 冗余限制

[英]：Redundancy Limit

描述：冗余必须在可接受范围内。

$$s.t.minRedundancy\le redundancy\le maxRedundancy$$

2. 实验纵向平衡限制

[英]：Experimental Longitudinal Balance Limit

描述：实验纵向平衡必须在范围内。

$$s.t.minBalance\le experimentalBalance\le maxBalance$$

---

9. 目标函数（如适用）

本上下文不定义目标函数，仅提供约束。

---

10. 算法引用

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

---

11. 通用语言

术语	符号	英文	定义
冗余	Redundancy	Redundancy	重量分布的安全裕度
实验纵向平衡	ExperimentalLongitudinalBalance	Experimental Longitudinal Balance	基于冗余的纵向平衡

---

12. 设计决策

决策	备选方案	选择原因
冗余建模	独立与耦合	与纵向平衡耦合更符合实际

---

13. 变更记录

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