Advisor di recovery IROPS · Livello di augmentation

Quando una tempesta blocca a terra un hub, StormCrew restituisce un piano di recovery equipaggio legale in secondi.

Inietta una tempesta, osserva il raggio d'impatto propagarsi a cascata sulla rete e ottieni un piano di recovery legale Part 117 e CBA in circa un decimo di secondo, mentre lo scramble manuale richiede 4 to 12 ore, fonte documentata. Le mosse illegali sono mascherate nel codice, quindi non possono esistere, e quando la giornata è abbastanza grave l'advisor fa escalation a un umano invece di auto-approvare cancellazioni di massa.

~0.11 s

Tempo di recovery, questo scenario seed

vs 4 to 12 h manuali, fonte documentata (research.md)

0 illegal

Part 117 + CBA per costruzione

Invariante testato a livello unitario, 3 of 3 test superati

52 of 53

Voli con equipaggio riassegnato (98%)

Scenario seed, output dell'app live

Una demo eseguibile, non un deployment. La rete, gli equipaggi e la disruption sono sintetici e seed, e ogni numero in questa pagina è prodotto dal motore in esecuzione.

In un meltdown, il nemico è uno scramble manuale di 4 to 12 ore

Il solver non è mai stato il problema. Lo erano la velocità, la legalità e la visibilità.

Quando arrivano le operazioni irregolari e una tempesta blocca a terra un hub, il centro di controllo operazioni deve riassegnare l'equipaggio alla cascata di voli a valle che hanno appena perso il loro equipaggio. Oggi gran parte di questo è uno scramble manuale che dura 4 to 12 ore, fonte documentata (research.md), sotto due vincoli rigidi che non lasciano spazio all'errore: i limiti di servizio e di riposo FAA Part 117, e i contratti collettivi sindacali per vettore.

Sbagli e lasci a terra i passeggeri e cancelli i voli. Da quando la regola DOT del rimborso automatico è entrata in vigore nell'ottobre 2024, ogni ritardo a cascata di 3-hour-plus diventa anche un colpo finanziario automatico. La scala non è ipotetica: gli IROPS costano al settore circa $60B all'anno (IATA), e il meltdown Southwest del dicembre 2022 è costato circa $1.2B con circa 16,900 cancellazioni e intorno a 2 million passeggeri a terra.

La verità scomoda è che niente di tutto questo si sistema con una funzione obiettivo più intelligente. Il recovery della compagnia è troppo lento per contare nella finestra che conta, troppo rischioso perché una singola violazione Part 117 o CBA è un evento di conformità, e troppo opaco perché il raggio d'impatto non è visibile finché i voli non stanno già cancellando. Sono problemi operativi intorno a un solver, non problemi del solver.

Roster dei turni di servizio StormCrew dopo che una tempesta ha bloccato a terra l'hub DEN, con il raggio d'impatto di 53 voli a valle che hanno perso l'equipaggio evidenziato in ambra sulla timeline della rete e il pill di stato che mostra IROPS.
Inietta la tempesta e il raggio d'impatto compare subito: 53 voli a valle che hanno perso l'equipaggio, la cascata che gli strumenti legacy vedono troppo tardi.

Come funziona: maschera le mosse illegali, poi lascia scegliere un solver reale

Il codice deterministico prende ogni decisione che conta. L'LLM opzionale solo narra, e sta interamente fuori dal nucleo decisionale.

Raggio d'impatto dalla raggiungibilità sul grafo

Bloccare a terra l'hub più trafficato all'inizio della giornata avvia la cascata. Il raggio d'impatto sono i voli bloccati più i voli a valle a un hop che perdono l'equipaggio, calcolato per raggiungibilità sul grafo della rotazione. Nello scenario seed sono 53 voli su una rete di 112 voli, 10 stazioni e 96 equipaggi in servizio. Quell'insieme è ciò che va recuperato, portato in superficie prima che morda piuttosto che dopo.

Generazione dei turni legali tramite action masking

Part 117 (periodo massimo di servizio 780 minuti, tempo di volo massimo 480 minuti, sit minimo 30 minuti) e un CBA di esempio (massimo 4 segmenti) sono applicati al momento della generazione. Solo i turni di recovery legali, inclusi i riposizionamenti deadhead, diventano mai colonne candidate. Un assegnamento illegale non può essere prodotto, quindi non può essere scelto. Questa è l'idea intera dietro la garanzia di legalità: applicarla per costruzione, non penalizzarla dopo il fatto.

Un solver CBC reale sceglie il set-partition legale a costo minimo

Il motore è un solver MIP reale (CBC via PuLP), non un wrapper. Seleziona il set-partition legale a costo minimo sui turni candidati: coprire ogni volo aperto esattamente una volta, usare ciascun equipaggio al massimo una volta, con bound sul wall-clock. Nello scenario seed risolve un problema di 1,815 variabili binarie e 115 vincoli a OPTIMAL. Dichiariamo il motore e non pretendiamo di batterlo.

Shadow-compare, poi un gate di escalation

Il piano è valutato rispetto alla baseline do-nothing su un modello di costo condiviso: tempo di recovery rispetto all'ancora manuale, cancellazioni evitate ed esposizione ai rimborsi automatici DOT evitata. Se il recovery cancellasse più della soglia di auto-approvazione del 15 percent, lo stato passa a ESCALATE e serve la firma umana. Se il solver non trova un recovery legale fattibile nel budget di tempo, fa comunque escalation invece di fingere.

Ogni raccomandazione è sigillata in un recovery_plan.json firmato: la disruption, il piano scelto con ciascun equipaggio e volo, la clausola Part 117 e CBA verificata per azione rispetto al suo tetto, il wall-clock del recovery e i risparmi rispetto alla baseline manuale. È il verbale del centro di controllo operazioni sul perché questo recovery è stato raccomandato. Un copilot di piano opzionale (Claude di default, provider intercambiabile, o un bridge locale senza chiave) spiega il piano in linguaggio semplice e si astiene senza una chiave. La maschera deterministica, il solver e il gate di escalation decidono. Il copilot solo narra.

Fase di solve StormCrew che mostra il motore CBC mentre seleziona un set-partition a costo minimo su 1,815 variabili binarie e 115 vincoli, restituendo OPTIMAL con 35 colonne scelte e una tabella dei turni di recovery scelti per equipaggio, voli e tratte.
La fase di solve CBC: 1,815 variabili binarie, 115 vincoli, OPTIMAL. Il solver è dichiarato come il motore, non si pretende di batterlo.
Il recovery_plan.json firmato esportato da StormCrew, che mostra l'advisor e il motore CBC, l'hub, il raggio d'impatto 53, lo stato RECOVERED, la nota sulla garanzia di legalità, i limiti normativi Part 117 e CBA, i secondi di recovery 0.12 e i risparmi dello scenario.
Il recovery_plan.json firmato è l'artefatto di audit: i limiti normativi verificati, il tempo di recovery e i risparmi, tutto in un verbale esportabile.

Due esecuzioni della stessa tempesta seed: recover, poi escalate

Ogni cifra qui sotto è l'output reale del motore in esecuzione su una rete sintetica seed.

La tempesta normale fa recovery. L'advisor enumera 1,762 turni di recovery legali (52 dei quali riposizionamenti deadhead) più 53 fallback di cancellazione, così CBC risolve un set-partition a costo minimo da 1,815 variabili e 115 vincoli a OPTIMAL e restituisce lo stato RECOVERED in circa 0.11 secondi. Riassegna l'equipaggio a 52 of 53 voli (98 percent) con 34 equipaggi (25 di linea più 9 di riserva) e 1 cancellazione. Il gate di legalità legge 52 of 52 turni legali, 0 violazioni CBA e 0 illegal, verificato dopo il solve. In shadow-compare rispetto alla cancellazione di tutti i 53, questo scenario evita 52 cancellazioni e circa $2.37M di esposizione ai rimborsi DOT, entrambi etichettati come illustrativi di questo scenario.

Modale di risultato RECOVERED di StormCrew: recovery legale pubblicato in 0.12 secondi rispetto a una baseline manuale di 4 to 12 ore, un gate di legalità che legge 52 of 52 turni legali e 0 violazioni, 52 cancellazioni evitate, $2367k di rimborso DOT evitato entrambi etichettati come illustrativi, 52 voli con equipaggio riassegnato e 98 percent del raggio recuperato.
Il risultato RECOVERED: 52 of 52 turni legali, 0 violazioni e un gate di auto-approvazione che resta entro la soglia. Le cifre in dollari e di cancellazione sono etichettate come illustrative di questo scenario.

L'evento grave fa escalation. Attiva severe e resta solo circa il 30 percent degli equipaggi. CBC restituisce comunque un piano legale in circa 0.05 secondi, ed è ancora 0 illegal, recuperando 33 of 53 voli (62 percent del raggio). Ma cancellerebbe 20 of 53 voli (38 percent), sopra la soglia di auto-approvazione del 15 percent, così lo stato passa a ESCALATE e serve la firma umana. Il piano è comunque mostrato e segnalato al controller. Semplicemente non è auto-approvato. Questa è la parte che la maggior parte dei pitch autonomi salta: sapere quando la mossa giusta non è mettere il timbro su una giornata nera.

Risultato ESCALATE TO CONTROLLER di StormCrew per l'esecuzione severe: il recovery cancella 20 of 53 voli al 38 percent, sopra la soglia di auto-approvazione del 15 percent, quindi serve la firma umana. Il gate di legalità legge comunque 33 of 33 turni legali, 0 violazioni, 0 illegal, con 33 voli con equipaggio riassegnato e 62 percent del raggio recuperato.
L'esecuzione severe: ancora legale, ancora portata in superficie, ma passata a ESCALATE per la firma umana invece di auto-approvare il 38 percent di cancellazioni.

Cosa è duraturo e cosa è specifico dello scenario

I tempi di recovery, il 98 e il 62 percent recuperati, le 52 cancellazioni evitate, i circa $2.37M di rimborso evitati e i 1,762 turni legali sono tutti numeri di questo unico scenario seed. Le affermazioni durature sono le due che possiamo difendere ovunque: recovery in secondi rispetto al benchmark manuale 4 to 12 ore, fonte documentata, e 0 illegal per costruzione, testato a livello unitario come invariante attraverso i test blast-radius, legal-column e legal-partition (3 of 3 superati). I risparmi dello scenario si confrontano con una baseline do-nothing del caso peggiore, che è il framing più favorevole, quindi li etichettiamo come illustrativi piuttosto che come titolo.

Dove si colloca StormCrew, e cosa questa demo non fa

L'acquirente possiede già un buon solver. Il valore è il livello operativo intorno ad esso.

Approccio Come gestisce una tempesta sull'hub Su legalità e la giornata nera
Scramble manuale OCC 4 to 12 ore, fonte documentata, per riassegnare a mano l'equipaggio della cascata Legalità verificata da umani stanchi sotto pressione di tempo; il raggio d'impatto non è visibile finché i voli non si cancellano
Pitch di ottimizzatore rip-and-replace Promette una funzione obiettivo più intelligente e un nuovo sistema di record Legalità trattata come termine di penalità; rischio di lock-in, e nessuna escalation onesta quando il recovery è impossibile
StormCrew (livello di augmentation) Raggio d'impatto all'iniezione; un piano legale in secondi da un motore CBC dichiarato Mosse illegali mascherate nel codice (0 illegal, testato a livello unitario); escalation alla firma umana oltre la soglia; artefatto di audit firmato

La postura onesta qui non è timidezza. Quando l'acquirente possiede già un solver di cui si fida e non può tollerare lock-in o una raccomandazione inspiegata nel giorno peggiore dell'anno, l'augmentation rispetto alla sostituzione è l'unico ingresso credibile. Una garanzia di legalità appartiene al codice deterministico, applicata per costruzione, così nessuna scelta di solver o modello può romperla.

Cosa questa demo NON fa

  • Non pretende di battere o sovra-ottimizzare il solver. Usa CBC come motore e lo dichiara.
  • La rete, gli equipaggi, la disruption e i conteggi passeggeri sono sintetici e seed. Non ci sono dati di una compagnia reale, né registri equipaggio reali, né un digital twin di un vettore reale.
  • I feed live come ADS-B, posizioni equipaggio e meteo sono un file riproducibile. L'integrazione Jeppesen e IBS è un adapter mock. Nessuna integrazione reale gira in questa versione.
  • Le cifre in dollari e voli dello scenario sono illustrative di un'unica esecuzione seed rispetto a una baseline do-nothing del caso peggiore, non risparmi garantiti per alcuna compagnia.
  • Una policy GRL addestrata, un digital twin completo, il coordinamento multi-agent, l'esecuzione autonoma, un costo ponderato sul revenue e un percorso DO-178C sono tutti differiti, non costruiti.
  • Questa è una demo che prova il meccanismo. Non è una pipeline deployata.

Domande che pongono gli acquirenti

Sostituisce il nostro stack di crew-scheduling Jeppesen o IBS?

No. StormCrew è un livello di augmentation che gira in modalità shadow e advisory sopra lo stack di pianificazione basato su solver che già possiedi. Aggiunge visibilità del raggio d'impatto, una garanzia di legalità, recovery in scala di secondi e un gate di escalation, poi restituisce un piano firmato perché un controller lo accetti. Non c'è rip-and-replace e non c'è lock-in, perché il valore duraturo è il livello operativo intorno a un solver, non un nuovo sistema di record.

Dite che fa recovery in secondi. Pretendete di battere il nostro solver?

No, e su questo siamo deliberati. StormCrew usa un solver MIP reale (CBC via PuLP) come motore e lo dichiara. Abbiamo messo a benchmark una storia da ottimizzatore più intelligente contro un solver maturo e ha vinto il solver, così abbiamo cambiato l'affermazione piuttosto che i numeri. Le affermazioni durature sono la velocità rispetto allo scramble manuale e 0 illegal per costruzione, non la superiorità dell'ottimizzatore.

Come garantite davvero nessuna violazione Part 117 o CBA, e non solo di solito?

I vincoli di legalità sono applicati al momento della generazione dei turni tramite action masking, così un turno di recovery illegale non viene mai creato come candidato. I limiti Part 117 di servizio, tempo di volo e sit e il cap di segmenti del CBA di esempio sono applicati prima che il solver veda una colonna, il che significa che un assegnamento illegale non può esistere per essere scelto. Questo è un invariante dimostrabile testato a livello unitario come 0 illegal, non un punteggio che il modello cerca di tenere alto.

I $2.37M di rimborsi evitati sono un risparmio reale che possiamo mettere in un business case?

Trattatelo come illustrativo di uno scenario seed, non come un esito garantito. È calcolato su una rete sintetica confrontando il piano dell'advisor con una baseline do-nothing del caso peggiore che lascia a terra l'intero raggio d'impatto, usando un modello di rimborso DOT da $300 per passeggero. È il framing più favorevole per progettazione ed è etichettato come illustrativo a schermo. Le affermazioni ancorate in modo indipendente sono la velocità rispetto al benchmark manuale 4 to 12 ore, fonte documentata, e 0 illegal per costruzione.

Cosa succede in una giornata davvero nera, quando non si può recuperare tutto?

Fa escalation invece di auto-approvare in silenzio. Nell'esecuzione severe con le riserve esaurite, il piano è ancora legale e recupera ancora 33 of 53 voli, ma poiché cancellerebbe il 38 percent, sopra la soglia di auto-approvazione del 15 percent, lo stato passa a ESCALATE e serve la firma umana. Il piano è mostrato e segnalato piuttosto che timbrato, ed è questo il punto: sapere quando la mossa giusta non è auto-approvare.

Gira su dati reali di compagnia o su feed live?

No. La rete, gli equipaggi, la disruption e i conteggi passeggeri sono sintetici e seed, senza dati di una compagnia reale e senza registri equipaggio reali. I feed live come ADS-B, posizioni equipaggio e meteo sono un file riproducibile, e l'integrazione Jeppesen e IBS è un adapter mock. Il motore di legalità e l'ottimizzatore CBC sono codice reale, e il benchmark manuale 4 to 12 ore è un'ancora esterna fonte documentata, quindi la demo è una prova fedele del meccanismo piuttosto che un deployment.

Ricerca tecnica

La ricerca dietro questa demo — l'architettura, il design di verifica e il blueprint enterprise.

Metti una garanzia di legalità intorno al solver di cui già ti fidi

Per VP e direttori del controllo operazioni, lead di crew planning e CIO e team ops-tech delle compagnie aeree.

Se il vostro team sta lottando su come comprimere la finestra di recovery IROPS senza rischiare una violazione Part 117 o CBA, ci farebbe davvero piacere sentire come ci state pensando. Il problema è di tutto il settore e le risposte lo saranno altrettanto.

Assessment del recovery IROPS

  • ✓ Review della visibilità del raggio d'impatto e della cascata sulle vostre rotazioni
  • ✓ Encoding della legalità Part 117 e CBA sulle vostre regole
  • ✓ Modellazione del tempo di recovery e della soglia di escalation
  • ✓ Una lettura onesta su dove l'augmentation aiuta e dove no

Build su misura

  • ✓ Maschera di legalità che rende impossibile generare turni illegali
  • ✓ Un solver MIP reale collegato ai vostri vincoli di recovery
  • ✓ Gate di escalation e firma umana sulle vostre soglie
  • ✓ Artefatto di audit firmato collegato al vostro stack ops, prima in shadow-mode
Social

Pubblicato anche su