Airworthiness security context model

1. Overview

Enforces airworthiness and safety constraints including linear/surface density limits, zone load weight limits, cumulative load weight limits, CLIM limits, envelope constraints, and payload limits.

1. Dependent Contexts

1. Aircraft
2. Stowage
3. Mean Aerodynamic Chord (MAC)

---

2. Concepts / Entities

1. Linear Density

Linear weight density per fuselage zone with upper/lower limits.

$limitZones$ : List of limit zones.

$densit{y}_{zone}$ : Zone linear density value.

2. Surface Density

Surface weight density per zone with upper/lower limits.

$limitZones$ : List of limit zones.

$densit{y}_{zone}$ : Zone surface density value.

3. Max Zone Load Weight

Maximum allowable load weight per fuselage zone.

$maxWeigh{t}_{zone}$ : Maximum zone load weight.

4. Max Cumulative Load Weight

Maximum cumulative load weight from nose/tail.

$maxWeigh{t}_{fromNose}$ : Maximum cumulative weight from nose.

$maxWeigh{t}_{fromTail}$ : Maximum cumulative weight from tail.

5. Max Unsymmetrical Linear Density

Maximum allowable unsymmetrical linear density for wide-body aircraft.

$maxDensity$ : Maximum unsymmetrical linear density.

6. Max CLIM

Maximum CLIM limits for wide-body aircraft.

$points$ : CLIM limit data points.

7. Min Low Payload

Minimum payload required in the lower deck.

$points$ : Minimum payload data points.

8. Envelope

Weight-CG envelope constraints per flight phase.

$envelope{s}_{phase}$ : Envelope per flight phase.

---

3. Variables

1. Decision Variables

This context reuses decision variables from the stowage context and does not define independent decision variables.

2. Auxiliary Variables

This context does not define independent auxiliary variables.

---

4. Predicates

This context does not define independent predicates.

---

5. Sets

This context does not define independent sets; its limits range over the aircraft, stowage, and flight-phase sets.

---

6. Intermediate Values

1. Linear Density

Description: Linear weight density per fuselage zone.

$$linearDensit{y}_{zone}=\frac{\sum _{j\in zone}loadWeigh{t}_j}{zoneLength}$$

2. Surface Density

Description: Surface weight density per zone.

$$surfaceDensit{y}_{zone}=\frac{\sum _{j\in zone}loadWeigh{t}_j}{zoneArea}$$

---

7. Assertions

This context does not define independent assertions; it consumes the aircraft, stowage, and MAC context data used by its limits.

---

8. Constraints

1. Linear Density Limit

[CN]: 线密度限制

Description: Linear density per zone must be within limits.

$$s.t.linearDensityMi{n}_{zone}\le linearDensit{y}_{zone}\le linearDensityMa{x}_{zone},\mathrm{\forall }zone\in Zones$$

2. Surface Density Limit

[CN]: 面密度限制

Description: Surface density per zone must be within limits.

$$s.t.surfaceDensityMi{n}_{zone}\le surfaceDensit{y}_{zone}\le surfaceDensityMa{x}_{zone},\mathrm{\forall }zone\in Zones$$

3. Zone Load Weight Limit

[CN]: 区域载荷重量限制

Description: Zone load weight must not exceed maximum.

$$s.t.\sum _{j\in zone}loadWeigh{t}_j\le maxZoneLoadWeigh{t}_{zone},\mathrm{\forall }zone\in Zones$$

4. Cumulative Load Weight Limit

[CN]: 累积载荷重量限制

Description: Cumulative load weight from nose/tail must not exceed maximum.

$$s.t.\sum _{j\le k}loadWeigh{t}_j\le maxCumulativeWeigh{t}_k,\mathrm{\forall }k\in Positions$$

5. Envelope Limit

[CN]: 包络线限制

Description: Weight-CG combination must be within the envelope per flight phase.

$$s.t.(weigh{t}_{phase},mac)\in envelop{e}_{phase},\mathrm{\forall }phase\in FlightPhases$$

6. Payload Limit

[CN]: 载荷限制

Description: Payload must be within planned and maximum bounds.

$$s.t.plannedPayload\le payload\le maxPayload$$

7. Total Weight Limit

[CN]: 总重量限制

Description: Total weight per flight phase must not exceed maximum.

$$s.t.totalWeigh{t}_{phase}\le maxTotalWeigh{t}_{phase},\mathrm{\forall }phase\in FlightPhases$$

---

9. Objective Function (if applicable)

This context does not define an independent objective function.

---

10. Algorithm References

This context does not define an independent algorithm reference.

---

11. Ubiquitous Language

Term	Symbol	Definition
Linear Density	LinearDensity	Weight per unit length
Surface Density	SurfaceDensity	Weight per unit area
Envelope	Envelope	Weight-CG feasible region
CLIM	CLIM	Center of gravity index moment
Zone Load Weight	ZoneLoadWeight	Load weight per fuselage zone
Cumulative Load Weight	CumulativeLoadWeight	Cumulative load from endpoint

---

12. Design Decisions

Decision	Alternatives	Rationale
Envelope modeling	Linearized vs Piecewise linear	Piecewise linear is more accurate
Benders decomposition	Airworthiness in sub problem	Airworthiness constraints strongly coupled with stowage

---

13. Change Log

No context-specific change entries are recorded on this page.