lagolsl/fleet-assignment
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Docs: Translate math variables to English in Solver tab

Browse Source
This commit is contained in:
Luciano Silva do Lago
2026-06-22 09:11:14 -03:00
parent 9d71b1f21b
commit 3e513c7ef4
1 changed files with 8 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
app/dashboard.py
View File

@@ -209,22 +209,22 @@ with tab3:
st.header("Mathematical Formulation") st.header("Mathematical Formulation")
st.latex(r"\min \sum_{m,e,r,t} (c_{m,e,r} \cdot x_{m,e,r,t})") st.latex(r"\min \sum_{m,e,r,t} (c_{m,e,r} \cdot x_{m,e,r,t})")
st.latex(r"\text{s.t.} \quad \sum_{m,e} (\text{cap}_{m} \cdot x_{m,e,r,t}) \ge \text{PAX}_{r,t} \quad \forall r, t") st.latex(r"\text{s.t.} \quad \sum_{m,e} (\text{cap}_{m} \cdot x_{m,e,r,t}) \ge \text{PAX}_{r,t} \quad \forall r, t")
st.latex(r"\sum_{t_{start} \le T \le t_{start} + \text{pernoites}} x_{m,e,r,t_{start}} \le \text{MaxFleet}_{m,e} \quad \forall m, e, T") st.latex(r"\sum_{t_{start} \le T \le t_{start} + \text{overnights}} x_{m,e,r,t_{start}} \le \text{MaxFleet}_{m,e} \quad \forall m, e, T")
st.latex(r"\text{TempoVoo}_{m,r} \cdot x_{m,e,r,t} \le \text{MaxHorasDia} \quad \forall m,e,r,t") st.latex(r"\text{FlightTime}_{m,r} \cdot x_{m,e,r,t} \le \text{MaxDailyHours} \quad \forall m,e,r,t")
st.latex(r"\text{TempoMissao}_{m,r} \le \text{MaxDiasFora} \quad \forall m,r") st.latex(r"\text{MissionTime}_{m,r} \le \text{MaxDaysOut} \quad \forall m,r")
st.markdown(r""" st.markdown(r"""
**Dictionary of Variables & Constraints:** **Dictionary of Variables & Constraints:**
- $x_{m,e,r,t}$: Decision Variable (Integer). Number of aircraft of model $m$, from squadron $e$, allocated to route $r$ on day $t$. - $x_{m,e,r,t}$: Decision Variable (Integer). Number of aircraft of model $m$, from squadron $e$, allocated to route $r$ on day $t$.
- $c_{m,e,r}$: Total fuel cost function: $c_{m,e,r} = \left( \frac{\text{Dist}_r \cdot \text{PenAlcance}}{\text{Consumo}_m} \right) + (\text{Pernoites} \cdot \text{PenDiaria}_m)$. - $c_{m,e,r}$: Total fuel cost function: $c_{m,e,r} = \left( \frac{\text{Dist}_r \cdot \text{RangePenalty}}{\text{FuelConsumption}_m} \right) + (\text{overnights} \cdot \text{DailyPenalty}_m)$.
- $\text{PenAlcance}$: Range Penalty. Applies a **25% penalty** multiplier ($1.25$) to the fuel burn if any leg of the mission exceeds the aircraft's maximum range. - $\text{RangePenalty}$: Applies a **25% penalty** multiplier ($1.25$) to the fuel burn if any leg of the mission exceeds the aircraft's maximum range.
- $\text{PenDiaria}_m$: Overnight Penalty. Equivalent to an extra daily fuel expenditure quota for each day the aircraft spends out of its base. - $\text{DailyPenalty}_m$: Equivalent to an extra daily fuel expenditure quota for each day the aircraft spends out of its base.
- $\text{cap}_m$: Maximum passenger capacity (seats) of aircraft $m$. - $\text{cap}_m$: Maximum passenger capacity (seats) of aircraft $m$.
- $\text{PAX}_{r,t}$: Actual number of Air Force passengers needing to fly on route $r$ on day $t$. - $\text{PAX}_{r,t}$: Actual number of Air Force passengers needing to fly on route $r$ on day $t$.
- $\text{MaxFleet}_{m,e}$: Total physical aircraft available in squadron $e$ for model $m$. - $\text{MaxFleet}_{m,e}$: Total physical aircraft available in squadron $e$ for model $m$.
- $T$: Temporal inspection window. Ensures aircraft blockade during overnight stays, preventing fleet duplication. - $T$: Temporal inspection window. Ensures aircraft blockade during overnight stays, preventing fleet duplication.
- $\text{MaxHorasDia}$: Maximum allowed flight time per day per aircraft (typically $12$ hours). - $\text{MaxDailyHours}$: Maximum allowed flight time per day per aircraft (typically $12$ hours).
- $\text{MaxDiasFora}$: Maximum allowable time for a mission before returning to base (hard limit of $96$ hours / 4 days). - $\text{MaxDaysOut}$: Maximum allowable time for a mission before returning to base (hard limit of $96$ hours / 4 days).
""") """)
if st.button("🚀 Run Global Optimization", type="primary"): if st.button("🚀 Run Global Optimization", type="primary"):