IROPS 復原顧問 · 增強層
注入一場風暴,觀看衝擊半徑在航網中層層擴散,並在約十分之一秒內取得一份 Part 117 與 CBA 合法的復原計畫;人工倉促調度則需有來源依據的 4 至 12 小時。非法動作已在程式碼中被遮罩,因此不可能存在;當當日糟到一定程度,顧問會升級轉交人工,而不是自動核准大規模取消。
~0.11 s
復原時間,本種子情境
對照有來源依據的人工 4 至 12 h(research.md)
0 非法
Part 117 + CBA 依建構保證
經單元測試的不變式,3 項測試中 3 項通過
53 班中的 52 班
航班已重新配組(98%)
種子情境,即時應用輸出
可執行的示範,而非部署。航網、機組與中斷皆為合成且經種子化;本頁每一個數字皆由正在運行的引擎產出。
求解器從來不是問題。速度、合法性與能見度才是。
當不正常營運來襲、風暴讓樞紐停飛時,運作控制中心必須為剛失去機組的下游航班連鎖重新配組。如今這大多是人工倉促調度,需時有來源依據的 4 至 12 小時(research.md),且必須在兩道不容出錯的硬性約束下完成:FAA Part 117 執勤與休息限制,以及各航空公司工會的團體協約。
一旦出錯,旅客就會滯留、航班就會取消。自 DOT 自動退款規定於 2024年10月生效以來,每一次 3 小時以上的連鎖延誤也會變成自動的財務打擊。規模並非假設:IROPS 每年讓產業付出約 $60B(IATA),而 2022年12月的 Southwest 崩潰約達 $1.2B,取消約 16,900 班、滯留旅客約 2 million。
令人不安的事實是:這一切都不會因為更聰明的目標函數而解決。航空公司的復原太慢,趕不上真正重要的時間窗口;風險太高,因為單一一次 Part 117 或 CBA 違規就是合規事件;也太不透明,因為衝擊半徑要到航班已經在取消時才看得見。那些是求解器周圍的營運問題,不是求解器本身的問題。
真正重要的每一個決策,都由確定性程式碼作出。可選的 LLM 只負責敘述,且完全位於決策核心之外。
在一天較早時段讓最繁忙的樞紐停飛,連鎖便開始。衝擊半徑是停飛航班,加上因失去機組而受影響的一跳下游航班,以航線輪轉上的圖可達性計算。在種子情境中,那是 112 班航網、10 個航站、96 組當值機組中的 53 班。那才是需要復原的集合——在咬傷之前浮現,而不是之後。
Part 117(最長執勤期 780 分鐘、最長飛行時間 480 分鐘、最短過站 30 分鐘)與一份樣本 CBA(最多 4 個航段)在生成時即強制執行。只有合法的復原執勤——包括調機重新定位——才會成為候選欄。非法派遣無法被產出,因此無法被選中。這就是合法性保證的全部構想:依建構強制執行,而不是事後用懲罰項處理。
引擎是真正的 MIP 求解器(CBC via PuLP),不是包裝層。它在候選執勤上選出最低成本的合法集合分割:每班待補航班恰好涵蓋一次、每組機組最多使用一次,並受實際經過時間上限約束。在種子情境中,它將 1,815 個二元變數與 115 條約束的問題求解至 OPTIMAL。我們揭露引擎,並不宣稱要擊敗它。
計畫以共享成本模型對照「不作為」基準評分:復原時間對照人工錨點、避免的取消,以及避免的 DOT 自動退款曝險。若復原取消比例超過 15 percent 自動核准門檻,狀態會翻轉為 ESCALATE,並需要人工簽核。若求解器在時間預算內找不到可行的合法復原,也會升級轉交,而不是假裝有解。
每一項建議都會封入已簽署的 recovery_plan.json:中斷本身、含各機組與航班的選定計畫、每一動作對照其上限所核對的 Part 117 與 CBA 條款、復原實際經過時間,以及相對人工基準的節省。這是運作控制中心為何建議此復原的紀錄。可選的計畫 copilot(預設 Claude、供應商可替換,或免金鑰本機橋接)以白話解釋計畫,沒有金鑰則棄權。決定權在確定性遮罩、求解器與升級閘門。copilot 只負責敘述。
以下每一個數字,都是運行中引擎在單一合成種子航網上的真實輸出。
一般風暴可以復原。 顧問枚舉 1,762 項合法復原執勤(其中 52 項為調機重新定位)加上 53 項取消備援,因此 CBC 將 1,815 變數、115 約束的最低成本集合分割求解至 OPTIMAL,並在約 0.11 秒內回傳狀態 RECOVERED。它以 34 組機組(25 正班加 9 備援)重新配組 53 班中的 52 班(98 percent),取消 1 班。合法性閘門讀數為 52 項執勤中 52 項合法、0 次 CBA 違規、0 非法,於求解後核驗。對照取消全部 53 班的影子比對,此情境避免 52 次取消與約 $2.37M 的 DOT 退款曝險,兩者皆標示為本情境的示意數字。
嚴重症況會升級轉交。 切換為嚴重後,僅約 30 percent 機組仍可用。CBC 仍在約 0.05 秒內回傳合法計畫,且仍為 0 非法,復原 53 班中的 33 班(衝擊半徑的 62 percent)。但它會取消 53 班中的 20 班(38 percent),高於 15 percent 自動核准門檻,因此狀態翻轉為 ESCALATE,需要人工簽核。計畫仍會顯示並標記給調度員。只是不會被自動核准。這正是多數自主化宣傳會略過的部分:知道正確的下一步,不是為糟糕的一天蓋橡皮圖章。
復原時間、98 與 62 percent 已復原、避免的 52 次取消、約 $2.37M 退款避免,以及 1,762 項合法執勤,全部是這一個種子情境的數字。經得起到處辯護的耐久主張只有兩項:對照有來源依據的 4 至 12 小時人工基準,復原以秒計;以及依建構為 0 非法,並作為不變式在衝擊半徑、合法欄與合法分割測試中通過單元測試(3 項中 3 項通過)。情境節省是對照最糟的不作為基準,那是最有利的框架,因此我們標示為示意,而不是頭條數字。
買家已經擁有好的求解器。價值在於它周圍的營運層。
| 作法 | 如何處理樞紐風暴 | 合法性與糟糕的一天 |
|---|---|---|
| 人工 OCC 倉促調度 | 有來源依據的 4 至 12 小時,以人工為連鎖重新配組 | 合法性由疲憊的人在時間壓力下核對;衝擊半徑要到航班取消才看得見 |
| 推倒重來的優化器說詞 | 承諾更聰明的目標函數與一套新的紀錄系統 | 合法性被當成懲罰項;有鎖定風險,且在復原不可能時沒有誠實的升級轉交 |
| StormCrew(增強層) | 注入即見衝擊半徑;由已揭露的 CBC 引擎在數秒內產出合法計畫 | 非法動作在程式碼中被遮罩(0 非法,經單元測試);超過門檻則升級轉交人工簽核;已簽署的稽核產物 |
這裡的誠實姿態並非怯懦。當買家已經擁有他們信任的求解器,且無法容忍鎖定、或在一年中最糟的一天收到無法解釋的建議時,增強而非取代,才是唯一可信的切入方式。合法性保證屬於確定性程式碼,依建構強制執行,因此無論選擇哪種求解器或模型都無法破壞它。
不會。StormCrew 是增強層,以影子與諮詢模式運行在你已擁有的求解器規劃堆疊之上。它加入衝擊半徑能見度、合法性保證、以秒計的復原,以及升級閘門,再交回一份已簽署計畫供調度員接受。沒有推倒重來,也沒有鎖定,因為耐久價值是求解器周圍的營運層,而不是一套新的紀錄系統。
不是,而且我們對此很刻意。StormCrew 以真正的 MIP 求解器(CBC via PuLP)為引擎並加以揭露。我們曾把「更聰明優化器」的故事對照成熟求解器做基準,結果求解器勝出,因此我們改的是主張,而不是數字。耐久主張是相對人工倉促調度的速度,以及依建構為 0 非法,而不是優化器優越性。
合法性約束在執勤生成時以動作遮罩強制執行,因此非法復原執勤從來不會被建立為候選。Part 117 執勤、飛行時間與過站限制,以及樣本 CBA 航段上限,在求解器看見任何欄之前就已套用,這表示非法派遣不可能存在而被選中。這是可證明的不變式,單元測試為 0 非法,而不是模型試圖維持高分的分數。
請把它視為單一種子情境的示意,而非保證結果。它在合成航網上計算,把顧問計畫對照會讓整個衝擊半徑滯留的最糟不作為基準,並採用每名旅客 $300 的 DOT 退款模型。那是刻意最有利的框架,並在畫面上標示為示意。獨立錨定的主張是:相對有來源依據的 4 至 12 小時人工基準的速度,以及依建構為 0 非法。
它會升級轉交,而不是默默自動核准。在備援耗盡的嚴重執行中,計畫仍然合法,仍復原 53 班中的 33 班,但因為會取消 38 percent,高於 15 percent 自動核准門檻,狀態翻轉為 ESCALATE,需要人工簽核。計畫會顯示並標記,而不是蓋橡皮圖章,重點正在於此:知道正確的下一步不是自動核准。
不是。航網、機組、中斷與旅客數皆為合成且經種子化,沒有真實航空公司資料,也沒有真實機組紀錄。ADS-B、機組位置與天氣等即時饋送是可重播的檔案,Jeppesen 與 IBS 整合是模擬轉接器。合法性引擎與 CBC 優化器是真實程式碼,4 至 12 小時人工基準是外部有來源的錨點,因此本示範是機制的忠實證明,而不是部署。
給運作控制副總與主管、機組規劃負責人,以及航空公司 CIO 與營運科技團隊。
若你的團隊正在掙扎如何壓縮 IROPS 復原窗口,同時不冒 Part 117 或 CBA 違規的風險,我們很願意聽聽你們怎麼想。問題是全產業的,答案也會是。