IROPSリカバリーアドバイザー · 補強レイヤー

ハブが嵐で閉鎖されると、StormCrewは適法な乗務員リカバリー計画を数秒で返します。

嵐を注入し、ブラスト半径がネットワーク全体にカスケードする様子を見て、Part 117およびCBAに適法なリカバリー計画を約10分の1秒で得られます。人手の奔走は出典のある4〜12時間かかります。違法な手はコードでマスクアウトされるため存在し得ず、日が十分に悪いときは、大量欠航を自動承認せず、アドバイザーは人間へエスカレートします。

~0.11 s

リカバリー時間、このシード済みシナリオ

対 出典のある人手4〜12 h(research.md)

違法0件

Part 117 + CBAを構成により保証

ユニットテスト済みの不変条件、3件中3件合格

52 of 53

再乗務した便(98%)

シード済みシナリオ、稼働中アプリの出力

実行可能なデモであり、導入ではありません。ネットワーク、乗務員、混乱は合成かつシード済みであり、このページ上のすべての数字は稼働中のエンジンが算出しています。

大混乱時の敵は、4〜12時間の人手奔走です

ソルバーが問題だったことは一度もありません。問題は速度、適法性、可視性でした。

イレギュラーオペレーションが発生し、嵐がハブを閉鎖すると、運航管制センターは乗務員を失った下流便のカスケードを再乗務させなければなりません。今日、その多くは出典のある4〜12時間(research.md)かかる人手の奔走であり、誤りを許さない二つの厳しい制約の下で行われます。FAA Part 117の乗務・休息制限と、航空会社ごとの労働組合のCBAです。

誤れば旅客を足止めし、便を欠航させます。DOTの自動払い戻し規則が2024年10月に発効して以来、3時間超の連鎖遅延はすべて自動的な財務打撃にもなります。規模は仮定ではありません。IROPSは業界に年間約$60Bのコストをかけ(IATA)、2022年12月のSouthwestの大混乱は約16,900便の欠航と約2 million人の足止め旅客とともに、およそ$1.2Bに達しました。

居心地の悪い真実は、これのどれもより賢い目的関数では直らないということです。航空会社のリカバリーは、意味のある時間窓に間に合わないほど遅く、Part 117またはCBAの違反が一つでもコンプライアンス事象になるためリスクが高く、ブラスト半径が欠航が始まってからでないと見えないため不透明です。これらはソルバーの周りの運用上の問題であり、ソルバーの問題ではありません。

嵐がDENハブを閉鎖したあとのStormCrew乗務員デューティロースター。乗務員を失った下流53便のブラスト半径がネットワークタイムライン上でアンバーに強調され、ステータスのピルはIROPSを示しています。
嵐を注入するとブラスト半径が直ちに現れます。乗務員を失った下流53便。レガシーツールがあとからしか見ないカスケードです。

仕組み:違法な手をマスクし、本物のソルバーに選ばせる

重要な決定はすべて決定論的コードが下します。オプションのLLMは叙述するだけで、決定コアの完全に外側に置かれます。

グラフ到達可能性によるブラスト半径

一日の早い時間に最も忙しいハブを閉鎖すると、カスケードが始まります。ブラスト半径は、閉鎖された便に加え、乗務員を失う1ホップ下流便であり、ローテーション上のグラフ到達可能性で計算されます。シード済みシナリオでは、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条項、リカバリー実時間、人手ベースライン対比の節約です。これが、このリカバリーが推奨された理由についての運航管制センターの記録です。任意のプランコパイロット(既定はClaude、プロバイダー交換可能、またはキー不要のローカルブリッジ)は計画を平易な言葉で説明し、キーがなければ棄権します。決めるのは決定論的マスク、ソルバー、エスカレーションゲートです。コパイロットは叙述するだけです。

StormCrewのソルブ段階。CBCエンジンが1,815個の二値変数と115個の制約に対する最小コストセットパーティションを選び、35列を選んでOPTIMALを返し、乗務員・便・レグ別の選ばれたリカバリー乗務の表を示します。
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件の乗務が適法、CBA違反0件、違法0件です。53便すべてを欠航させる場合とのシャドウ比較では、このシナリオは52件の欠航と約$2.37MのDOT払い戻しエクスポージャーを回避し、いずれもこのシナリオの例示とラベルされています。

StormCrewのRECOVERED結果モーダル:4〜12時間の人手ベースラインに対し0.12秒で公開された適法リカバリー、適法性ゲートは52件中52件が適法で違反0件、回避した欠航52件、回避したDOT払い戻し$2367kはいずれも例示とラベル、再乗務52便、半径の98 percentを回復。
RECOVEREDの結果:52件中52件の乗務が適法、違反0件、しきい値内にとどまる自動承認ゲート。金額と欠航の数字はこのシナリオの例示とラベルされています。

深刻な事象はエスカレートします。 severeに切り替えると、乗務員は約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を回復。
深刻ラン:なお適法、なお表面化されますが、38 percentの欠航を自動承認せず、人間の承認のためESCALATEに切り替わります。

何が持続し、何がシナリオ固有か

リカバリー時間、回復した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時間の人手ベンチマークは外部の出典アンカーなので、デモは導入ではなく、仕組みの忠実な証明です。

テクニカルリサーチ

このデモの背後にある研究 — アーキテクチャ、検証設計、エンタープライズブループリント。

すでに信頼しているソルバーの周りに適法性保証を置く

運航管制のVPおよびディレクター、乗務計画リード、航空会社のCIOおよび運用技術チーム向け。

IROPSリカバリーの時間窓を、Part 117またはCBA違反を冒さずに縮める方法にチームが取り組んでいるなら、その考え方をぜひ聞かせてください。問題は業界全体であり、答えもそうなるでしょう。

IROPSリカバリー診断

  • ✓ お客様のローテーションにおけるブラスト半径とカスケード可視性のレビュー
  • ✓ お客様の規則へのPart 117およびCBA適法性のエンコード
  • ✓ リカバリー時間とエスカレーションしきい値のモデリング
  • ✓ 補強が効くところと効かないところについての正直な見解

カスタム構築

  • ✓ 違法乗務を生成不可能にする適法性マスク
  • ✓ お客様のリカバリー制約に接続された本物のMIPソルバー
  • ✓ お客様のしきい値でのエスカレーションゲートと人間の承認
  • ✓ 運用スタックに接続された署名済み監査成果物、まずシャドウモード
ソーシャル

他のプラットフォームでも公開