Advisor di recovery IROPS · Livello di augmentation
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.
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.
Il codice deterministico prende ogni decisione che conta. L'LLM opzionale solo narra, e sta interamente fuori dal nucleo decisionale.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
La ricerca dietro questa demo — l'architettura, il design di verifica e il blueprint enterprise.
Soluzione completa
Esplora la soluzione Airline Crew Scheduling AI →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.