IROPS 復原顧問 · 增強層

當風暴讓樞紐停飛,StormCrew 在數秒內回傳合法的機組復原計畫。

注入一場風暴,觀看衝擊半徑在航網中層層擴散,並在約十分之一秒內取得一份 Part 117 與 CBA 合法的復原計畫;人工倉促調度則需有來源依據的 4 至 12 小時。非法動作已在程式碼中被遮罩,因此不可能存在;當當日糟到一定程度,顧問會升級轉交人工,而不是自動核准大規模取消。

~0.11 s

復原時間,本種子情境

對照有來源依據的人工 4 至 12 h(research.md)

0 非法

Part 117 + CBA 依建構保證

經單元測試的不變式,3 項測試中 3 項通過

53 班中的 52 班

航班已重新配組(98%)

種子情境,即時應用輸出

可執行的示範,而非部署。航網、機組與中斷皆為合成且經種子化;本頁每一個數字皆由正在運行的引擎產出。

在崩潰時刻,敵人是長達 4 至 12 小時的人工倉促調度

求解器從來不是問題。速度、合法性與能見度才是。

當不正常營運來襲、風暴讓樞紐停飛時,運作控制中心必須為剛失去機組的下游航班連鎖重新配組。如今這大多是人工倉促調度,需時有來源依據的 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 違規就是合規事件;也太不透明,因為衝擊半徑要到航班已經在取消時才看得見。那些是求解器周圍的營運問題,不是求解器本身的問題。

StormCrew 機組執勤班表:風暴讓 DEN 樞紐停飛後,失去機組的 53 班下游航班衝擊半徑以琥珀色標示在航網時間軸上,狀態膠囊顯示 IROPS。
注入風暴,衝擊半徑立刻出現:失去機組的 53 班下游航班,這正是舊有工具來得太晚才看見的連鎖。

運作方式:先遮罩非法動作,再讓真正的求解器選擇

真正重要的每一個決策,都由確定性程式碼作出。可選的 LLM 只負責敘述,且完全位於決策核心之外。

以圖可達性計算衝擊半徑

在一天較早時段讓最繁忙的樞紐停飛,連鎖便開始。衝擊半徑是停飛航班,加上因失去機組而受影響的一跳下游航班,以航線輪轉上的圖可達性計算。在種子情境中,那是 112 班航網、10 個航站、96 組當值機組中的 53 班。那才是需要復原的集合——在咬傷之前浮現,而不是之後。

以動作遮罩生成合法執勤

Part 117(最長執勤期 780 分鐘、最長飛行時間 480 分鐘、最短過站 30 分鐘)與一份樣本 CBA(最多 4 個航段)在生成時即強制執行。只有合法的復原執勤——包括調機重新定位——才會成為候選欄。非法派遣無法被產出,因此無法被選中。這就是合法性保證的全部構想:依建構強制執行,而不是事後用懲罰項處理。

真正的 CBC 求解器選出最低成本的合法集合分割

引擎是真正的 MIP 求解器(CBC via PuLP),不是包裝層。它在候選執勤上選出最低成本的合法集合分割:每班待補航班恰好涵蓋一次、每組機組最多使用一次,並受實際經過時間上限約束。在種子情境中,它將 1,815 個二元變數與 115 條約束的問題求解至 OPTIMAL。我們揭露引擎,並不宣稱要擊敗它。

影子比對,再加一道升級閘門

計畫以共享成本模型對照「不作為」基準評分:復原時間對照人工錨點、避免的取消,以及避免的 DOT 自動退款曝險。若復原取消比例超過 15 percent 自動核准門檻,狀態會翻轉為 ESCALATE,並需要人工簽核。若求解器在時間預算內找不到可行的合法復原,也會升級轉交,而不是假裝有解。

每一項建議都會封入已簽署的 recovery_plan.json:中斷本身、含各機組與航班的選定計畫、每一動作對照其上限所核對的 Part 117 與 CBA 條款、復原實際經過時間,以及相對人工基準的節省。這是運作控制中心為何建議此復原的紀錄。可選的計畫 copilot(預設 Claude、供應商可替換,或免金鑰本機橋接)以白話解釋計畫,沒有金鑰則棄權。決定權在確定性遮罩、求解器與升級閘門。copilot 只負責敘述。

StormCrew 求解階段:CBC 引擎在 1,815 個二元變數與 115 條約束上選出最低成本集合分割,回傳 OPTIMAL,選中 35 欄,並以表格列出依機組、航班與航段選定的復原執勤。
CBC 求解階段:1,815 個二元變數、115 條約束、OPTIMAL。求解器被揭露為引擎,而非被宣稱擊敗。
StormCrew 匯出的已簽署 recovery_plan.json,顯示顧問與引擎 CBC、樞紐、衝擊半徑 53、狀態 RECOVERED、合法性保證註記、Part 117 與 CBA 法規上限、復原秒數 0.12,以及情境節省。
已簽署的 recovery_plan.json 是稽核產物:已核對的法規上限、復原時間與節省,全部在一份可匯出的紀錄裡。

同一場種子化風暴的兩次執行:先復原,再升級轉交

以下每一個數字,都是運行中引擎在單一合成種子航網上的真實輸出。

一般風暴可以復原。 顧問枚舉 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 退款曝險,兩者皆標示為本情境的示意數字。

StormCrew RECOVERED 結果視窗:合法復原於 0.12 秒發布,對照 4 至 12 小時人工基準;合法性閘門讀數為 52 項執勤中 52 項合法且 0 次違規;避免 52 次取消;$2367k DOT 退款避免,兩者皆標示為示意;52 班重新配組;衝擊半徑 98 percent 已復原。
RECOVERED 結果:52 項執勤中 52 項合法、0 次違規,自動核准閘門維持在門檻內。金額與取消數字皆標示為本情境的示意。

嚴重症況會升級轉交。 切換為嚴重後,僅約 30 percent 機組仍可用。CBC 仍在約 0.05 秒內回傳合法計畫,且仍為 0 非法,復原 53 班中的 33 班(衝擊半徑的 62 percent)。但它會取消 53 班中的 20 班(38 percent),高於 15 percent 自動核准門檻,因此狀態翻轉為 ESCALATE,需要人工簽核。計畫仍會顯示並標記給調度員。只是不會被自動核准。這正是多數自主化宣傳會略過的部分:知道正確的下一步,不是為糟糕的一天蓋橡皮圖章。

StormCrew 嚴重症況的 ESCALATE TO CONTROLLER 結果:復原取消 53 班中的 20 班,達 38 percent,高於 15 percent 自動核准門檻,因此需要人工簽核。合法性閘門仍讀為 33 項執勤中 33 項合法、0 次違規、0 非法,33 班重新配組,衝擊半徑 62 percent 已復原。
嚴重執行:仍然合法、仍然浮現,但翻轉為 ESCALATE 以待人工簽核,而不是自動核准 38 percent 的取消。

哪些經得起檢驗,哪些只屬於本情境

復原時間、98 與 62 percent 已復原、避免的 52 次取消、約 $2.37M 退款避免,以及 1,762 項合法執勤,全部是這一個種子情境的數字。經得起到處辯護的耐久主張只有兩項:對照有來源依據的 4 至 12 小時人工基準,復原以秒計;以及依建構為 0 非法,並作為不變式在衝擊半徑、合法欄與合法分割測試中通過單元測試(3 項中 3 項通過)。情境節省是對照最糟的不作為基準,那是最有利的框架,因此我們標示為示意,而不是頭條數字。

StormCrew 的定位,以及本示範不做的事

買家已經擁有好的求解器。價值在於它周圍的營運層。

作法 如何處理樞紐風暴 合法性與糟糕的一天
人工 OCC 倉促調度 有來源依據的 4 至 12 小時,以人工為連鎖重新配組 合法性由疲憊的人在時間壓力下核對;衝擊半徑要到航班取消才看得見
推倒重來的優化器說詞 承諾更聰明的目標函數與一套新的紀錄系統 合法性被當成懲罰項;有鎖定風險,且在復原不可能時沒有誠實的升級轉交
StormCrew(增強層) 注入即見衝擊半徑;由已揭露的 CBC 引擎在數秒內產出合法計畫 非法動作在程式碼中被遮罩(0 非法,經單元測試);超過門檻則升級轉交人工簽核;已簽署的稽核產物

這裡的誠實姿態並非怯懦。當買家已經擁有他們信任的求解器,且無法容忍鎖定、或在一年中最糟的一天收到無法解釋的建議時,增強而非取代,才是唯一可信的切入方式。合法性保證屬於確定性程式碼,依建構強制執行,因此無論選擇哪種求解器或模型都無法破壞它。

本示範「不」做的事

  • 它不宣稱擊敗或優於求解器。它以 CBC 為引擎並加以揭露。
  • 航網、機組、中斷與旅客數皆為合成且經種子化。沒有真實航空公司資料、沒有真實機組紀錄,也沒有真實業者的數位孿生。
  • ADS-B、機組位置與天氣等即時饋送是可重播的檔案。Jeppesen 與 IBS 整合是模擬轉接器。本版本沒有真實整合在運行。
  • 情境中的金額與航班數字,是對照最糟不作為基準的一次種子執行示意,並非任何航空公司的保證節省。
  • 已訓練的 GRL 策略、完整數位孿生、多代理協調、自主執行、以收益加權的成本,以及 DO-178C 路徑,全部延後,尚未建置。
  • 這是證明機制的示範。它不是已部署的管線。

買家會問的問題

這會取代我們的 Jeppesen 或 IBS 機組排班堆疊嗎?

不會。StormCrew 是增強層,以影子與諮詢模式運行在你已擁有的求解器規劃堆疊之上。它加入衝擊半徑能見度、合法性保證、以秒計的復原,以及升級閘門,再交回一份已簽署計畫供調度員接受。沒有推倒重來,也沒有鎖定,因為耐久價值是求解器周圍的營運層,而不是一套新的紀錄系統。

你們說它在數秒內復原。這是在宣稱擊敗我們的求解器嗎?

不是,而且我們對此很刻意。StormCrew 以真正的 MIP 求解器(CBC via PuLP)為引擎並加以揭露。我們曾把「更聰明優化器」的故事對照成熟求解器做基準,結果求解器勝出,因此我們改的是主張,而不是數字。耐久主張是相對人工倉促調度的速度,以及依建構為 0 非法,而不是優化器優越性。

你們究竟如何保證不會發生 Part 117 或 CBA 違規,而不只是通常不會?

合法性約束在執勤生成時以動作遮罩強制執行,因此非法復原執勤從來不會被建立為候選。Part 117 執勤、飛行時間與過站限制,以及樣本 CBA 航段上限,在求解器看見任何欄之前就已套用,這表示非法派遣不可能存在而被選中。這是可證明的不變式,單元測試為 0 非法,而不是模型試圖維持高分的分數。

避免的 $2.37M 退款,是我們能放進商業論證的真實節省嗎?

請把它視為單一種子情境的示意,而非保證結果。它在合成航網上計算,把顧問計畫對照會讓整個衝擊半徑滯留的最糟不作為基準,並採用每名旅客 $300 的 DOT 退款模型。那是刻意最有利的框架,並在畫面上標示為示意。獨立錨定的主張是:相對有來源依據的 4 至 12 小時人工基準的速度,以及依建構為 0 非法。

當真正糟糕、無法全部復原的一天來臨時會怎樣?

它會升級轉交,而不是默默自動核准。在備援耗盡的嚴重執行中,計畫仍然合法,仍復原 53 班中的 33 班,但因為會取消 38 percent,高於 15 percent 自動核准門檻,狀態翻轉為 ESCALATE,需要人工簽核。計畫會顯示並標記,而不是蓋橡皮圖章,重點正在於此:知道正確的下一步不是自動核准。

這是在真實航空公司資料或即時饋送上運行嗎?

不是。航網、機組、中斷與旅客數皆為合成且經種子化,沒有真實航空公司資料,也沒有真實機組紀錄。ADS-B、機組位置與天氣等即時饋送是可重播的檔案,Jeppesen 與 IBS 整合是模擬轉接器。合法性引擎與 CBC 優化器是真實程式碼,4 至 12 小時人工基準是外部有來源的錨點,因此本示範是機制的忠實證明,而不是部署。

技術研究

支撐本示範的研究——架構、核驗設計,以及企業藍圖。

在你已經信任的求解器外圍,加上合法性保證

給運作控制副總與主管、機組規劃負責人,以及航空公司 CIO 與營運科技團隊。

若你的團隊正在掙扎如何壓縮 IROPS 復原窗口,同時不冒 Part 117 或 CBA 違規的風險,我們很願意聽聽你們怎麼想。問題是全產業的,答案也會是。

IROPS 復原評估

  • ✓ 針對你的輪轉檢視衝擊半徑與連鎖能見度
  • ✓ 在你的規則上編碼 Part 117 與 CBA 合法性
  • ✓ 復原時間與升級門檻建模
  • ✓ 誠實判斷增強在何處有幫助、在何處沒有

客製建置

  • ✓ 讓非法執勤不可能被生成的合法性遮罩
  • ✓ 接到你復原約束的真正 MIP 求解器
  • ✓ 依你的門檻設置升級閘門與人工簽核
  • ✓ 接到你營運堆疊的已簽署稽核產物,先以影子模式運行
社群媒體

同步發佈於