יועץ שחזור IROPS · שכבת השלמה

כשסערה משביתה hub, StormCrew מחזיר תוכנית שחזור צוותים חוקית בשניות.

הזריקו סערה, צפו ברדיוס-הפיצוץ מתגלגל ברשת, וקבלו תוכנית שחזור חוקית לפי Part 117 ו-CBA בכעשירית שנייה, במקום שהמרוץ הידני לוקח 4 עד 12 שעות ממקור. מהלכים בלתי-חוקיים ממוסכים בקוד, ולכן אינם יכולים להתקיים, וכשהיום רע מספיק היועץ מסלים לאדם במקום לאשר אוטומטית ביטולים המוניים.

~0.11 s

זמן שחזור, בתרחיש המזורע הזה

מול 4 עד 12 שעות ידני ממקור (research.md)

0 בלתי-חוקיים

Part 117 + CBA מתוקף-בנייה

אינווריאנט שנבדק ביחידות, 3 מתוך 3 בדיקות עוברות

52 מתוך 53

טיסות ששובצו-מחדש (98%)

תרחיש מזורע, פלט אפליקציה חיה

זו הדגמה ניתנת-להרצה, לא פריסה. הרשת, הצוותים והשיבוש הם סינתטיים ומזורעים, וכל מספר בעמוד הזה מופק על ידי המנוע הרץ.

בהתמוטטות, האויב הוא מרוץ ידני של 4 עד 12 שעות

הסולבר מעולם לא היה הבעיה. המהירות, החוקיות והנראות היו.

כשמבצעים לא-סדירים פוגעים וסערה משביתה hub, מרכז בקרת המבצעים צריך לשבץ מחדש את מפל הטיסות במורד הזרם שאיבדו זה עתה את הצוות שלהן. היום חלק גדול מזה הוא מרוץ ידני שנמשך 4 עד 12 שעות ממקור (research.md), תחת שני אילוצים קשיחים שלא משאירים מקום לטעות: מגבלות תורנות ומנוחה של FAA Part 117, והסכמים קיבוציים של איגודים לפי מוביל.

טועים — ותוקעים נוסעים ומבטלים טיסות. מאז שנכנס לתוקף כלל ההחזר האוטומטי של DOT באוקטובר 2024, כל עיכוב מדורג של 3 שעות ומעלה הופך גם למכה כספית אוטומטית. הסדר הגודל אינו היפותטי: IROPS עולים לתעשייה כ-$60B בשנה (IATA), וההתמוטטות של Southwest בדצמבר 2022 עלתה בערך $1.2B עם כ-16,900 ביטולים וכ-2 מיליון נוסעים תקועים.

האמת הלא-נוחה היא שאף אחד מאלה אינו מתוקן על ידי פונקציית מטרה חכמה יותר. השחזור של חברת התעופה איטי מדי מכדי להיות רלוונטי בחלון שחשוב, מסוכן מדי כי הפרה אחת של Part 117 או CBA היא אירוע ציות, ואטום מדי כי רדיוס-הפיצוץ אינו נראה עד שטיסות כבר מתבטלות. אלה בעיות תפעוליות סביב סולבר, לא בעיות סולבר.

לוח תורנות צוות של StormCrew אחרי שסערה משביתה את ה-hub DEN, עם רדיוס-הפיצוץ של 53 טיסות במורד הזרם שאיבדו את הצוות שלהן מודגש בענבר לאורך ציר הזמן של הרשת, וגלולת הסטטוס מציגה IROPS. — הזריקו את הסערה ורדיוס-הפיצוץ מופיע מיד: 53 טיסות במורד הזרם שאיבדו את הצוות שלהן, המפל שכלי ה-legacy רואים מאוחר מדי.

איך זה עובד: ממסכים את המהלכים הבלתי-חוקיים, ואז נותנים לסולבר אמיתי לבחור

קוד דטרמיניסטי מקבל כל החלטה שחשובה. ה-LLM האופציונלי רק מספר, והוא יושב כולו מחוץ לליבת ההחלטה.

רדיוס-פיצוץ מנגישות בגרף

השבתת ה-hub העמוס ביותר מוקדם ביום מתחילה את המפל. רדיוס-הפיצוץ הוא הטיסות המושבתות פלוס הטיסות בקפיצה אחת במורד הזרם שמאבדות את הצוות שלהן, מחושב בנגישות-גרף על פני הרוטציה. בתרחיש המזורע אלה 53 טיסות ברשת של 112 טיסות, 10 תחנות, ו-96 צוותים בתורנות. זה הסט שצריך לשחזר, מוצג לפני שהוא נושך ולא אחרי.

יצירת תורנות חוקית באמצעות מיסוך פעולות

Part 117 (תקופת תורנות מקסימלית 780 דקות, זמן טיסה מקסימלי 480 דקות, sit מינימלי 30 דקות) ו-CBA לדוגמה (מקסימום 4 מקטעים) נאכפים בזמן היצירה. רק תורנויות שחזור חוקיות, כולל מיקומי deadhead, הופכות אי פעם לעמודות מועמדות. שיבוץ בלתי-חוקי אינו יכול להיווצר, ולכן אינו יכול להיבחר. זו כל הרעיון מאחורי ערבות החוקיות: לאכוף אותה מתוקף-בנייה, לא להעניש אותה בדיעבד.

סולבר CBC אמיתי בוחר את חלוקת-הקבוצה החוקית בעלות-מינימום

המנוע הוא סולבר MIP אמיתי (CBC דרך PuLP), לא עטיפה. הוא בוחר את חלוקת-הקבוצה החוקית בעלות-מינימום על פני תורנויות המועמדות: לכסות כל טיסה פתוחה בדיוק פעם אחת, להשתמש בכל צוות לכל היותר פעם אחת, חסום בשעון-קיר. בתרחיש המזורע הוא פותר בעיה של 1,815 משתנים בינאריים ו-115 אילוצים ל-OPTIMAL. אנחנו חושפים את המנוע ואיננו טוענים שאנחנו מנצחים אותו.

השוואת-צל, ואז שער הסלמה

התוכנית מנוקדת מול בסיס אי-עשייה על מודל עלות משותף: זמן שחזור מול העוגן הידני, ביטולים שנמנעו, וחשיפת החזר אוטומטי של DOT שנמנעה. אם השחזור היה מבטל יותר מסף האישור-האוטומטי של 15 אחוז, הסטטוס מתהפך ל-ESCALATE ונדרש אישור אנושי. אם הסולבר אינו מוצא שחזור חוקי ישים בתקציב הזמן, הוא גם מסלים במקום להעמיד פנים.

כל המלצה נחתמת לתוך recovery_plan.json חתום: השיבוש, התוכנית שנבחרה עם כל צוות וטיסה, סעיף Part 117 ו-CBA שנבדק לכל פעולה מול התקרה שלו, שעון-קיר השחזור, והחיסכון מול הבסיס הידני. זה הרשומה של מרכז בקרת המבצעים למה השחזור הזה הומלץ. קופיילוט תוכנית אופציונלי (ברירת מחדל Claude, ניתן להחלפת-ספק, או גשר מקומי ללא מפתח) מסביר את התוכנית באנגלית פשוטה ונמנע בלי מפתח. המיסוך הדטרמיניסטי, הסולבר, ושער ההסלמה מחליטים. הקופיילוט רק מספר.

שלב הפתרון של StormCrew המציג את מנוע CBC בוחר חלוקת-קבוצה בעלות-מינימום על פני 1,815 משתנים בינאריים ו-115 אילוצים, מחזיר OPTIMAL עם 35 עמודות שנבחרו וטבלה של תורנויות שחזור שנבחרו לפי צוות, טיסות ורגליים. — שלב הפתרון של CBC: 1,815 משתנים בינאריים, 115 אילוצים, OPTIMAL. הסולבר נחשף כמנוע, לא נטען שהוא מנוצח.

קובץ recovery_plan.json החתום שמיוצא על ידי StormCrew, המציג את היועץ ואת מנוע CBC, hub, רדיוס-פיצוץ 53, סטטוס RECOVERED, הערת ערבות החוקיות, מגבלות הרגולציה של Part 117 ו-CBA, שניות שחזור 0.12, וחיסכון התרחיש. — קובץ recovery_plan.json החתום הוא ארטיפקט הביקורת: מגבלות הרגולציה שנבדקו, זמן השחזור, והחיסכון, הכל ברשומה אחת ניתנת-לייצוא.

שתי הרצות של אותה סערה מזורעת: שחזור, ואז הסלמה

כל נתון למטה הוא הפלט האמיתי של המנוע הרץ על רשת סינתטית מזורעת אחת.

הסערה הרגילה משחזרת. היועץ מונה 1,762 תורנויות שחזור חוקיות (52 מהן מיקומי deadhead) פלוס 53 חלופות ביטול, כך ש-CBC פותר חלוקת-קבוצה בעלות-מינימום של 1,815 משתנים ו-115 אילוצים ל-OPTIMAL ומחזיר סטטוס RECOVERED בכ-0.11 שניות. הוא משבץ מחדש 52 מתוך 53 טיסות (98 אחוז) עם 34 צוותים (25 קו פלוס 9 רזרבה) וביטול 1. שער החוקיות קורא 52 מתוך 52 תורנויות חוקיות, 0 הפרות CBA, ו-0 בלתי-חוקיים, מאומת אחרי הפתרון. בהשוואת-צל מול ביטול כל 53, התרחיש הזה נמנע מ-52 ביטולים ומכ-$2.37M של חשיפת החזר DOT, שניהם מסומנים כהמחשה של התרחיש הזה.

מודאל תוצאת RECOVERED של StormCrew: שחזור חוקי שפורסם ב-0.12 שניות מול בסיס ידני של 4 עד 12 שעות, שער חוקיות שקורא 52 מתוך 52 תורנויות חוקיות ו-0 הפרות, 52 ביטולים שנמנעו, $2367k החזר DOT שנמנע שניהם מסומנים כהמחשה, 52 טיסות ששובצו-מחדש, ו-98 אחוז מהרדיוס שוחזרו. — תוצאת RECOVERED: 52 מתוך 52 תורנויות חוקיות, 0 הפרות, ושער אישור-אוטומטי שנשאר בתוך הסף. נתוני הדולר והביטולים מסומנים כהמחשה של התרחיש הזה.

האירוע החמור מסלים. החליפו ל-severe ונשארים רק כ-30 אחוז מהצוותים. CBC עדיין מחזיר תוכנית חוקית בכ-0.05 שניות, ועדיין 0 בלתי-חוקיים, משחזר 33 מתוך 53 טיסות (62 אחוז מהרדיוס). אבל הוא היה מבטל 20 מתוך 53 טיסות (38 אחוז), מעל סף האישור-האוטומטי של 15 אחוז, ולכן הסטטוס מתהפך ל-ESCALATE ונדרש אישור אנושי. התוכנית עדיין מוצגת ומסומנת לבקר. היא פשוט אינה מאושרת אוטומטית. זה החלק שרוב הצעות האוטונומיה מדלגות עליו: לדעת מתי המהלך הנכון הוא לא לחתום גומי על יום רע.

תוצאת ESCALATE TO CONTROLLER של StormCrew להרצה החמורה: השחזור מבטל 20 מתוך 53 טיסות ב-38 אחוז, מעל סף האישור-האוטומטי של 15 אחוז, ולכן נדרש אישור אנושי. שער החוקיות עדיין קורא 33 מתוך 33 תורנויות חוקיות, 0 הפרות, 0 בלתי-חוקיים, עם 33 טיסות ששובצו-מחדש ו-62 אחוז מהרדיוס שוחזרו. — ההרצה החמורה: עדיין חוקית, עדיין מוצגת, אבל מתהפכת ל-ESCALATE לאישור אנושי במקום לאשר אוטומטית 38 אחוז ביטולים.

מה עמיד מול מה שספציפי לתרחיש

זמני השחזור, 98 ו-62 האחוז ששוחזרו, 52 הביטולים שנמנעו, כ-$2.37M החזר שנמנע, ו-1,762 התורנויות החוקיות הם כולם מספרי התרחיש המזורע האחד הזה. הטענות העמידות הן השתיים שאפשר להגן עליהן בכל מקום: שחזור בשניות מול אמת-המידה הידנית המקורית של 4 עד 12 שעות, ו-0 בלתי-חוקיים מתוקף-בנייה, שנבדק ביחידות כאינווריאנט על פני בדיקות רדיוס-הפיצוץ, עמודה-חוקית, וחלוקה-חוקית (3 מתוך 3 עוברות). חיסכון התרחיש מושווה מול בסיס אי-עשייה במקרה-הגרוע, שהוא המסגור המיטיב ביותר, ולכן אנחנו מסמנים אותם כהמחשה ולא ככותרת.

איפה StormCrew משתלב, ומה שהדגמה הזו אינה עושה

הקונה כבר מחזיק סולבר טוב. הערך הוא השכבה התפעולית סביבו.

גישה	איך הוא מטפל בסערת hub	על חוקיות ועל היום הרע
מרוץ OCC ידני	4 עד 12 שעות ממקור לשיבוץ מחדש של המפל ביד	חוקיות נבדקת על ידי בני אדם עייפים תחת לחץ זמן; רדיוס-הפיצוץ אינו נראה עד שטיסות מתבטלות
הצעת אופטימייזר rip-and-replace	מבטיחה פונקציית מטרה חכמה יותר ומערכת-רשומות חדשה	חוקיות מטופלת כאיבר קנס; סיכון נעילה, ואין הסלמה כנה כשהשחזור בלתי-אפשרי
StormCrew (שכבת השלמה)	רדיוס-פיצוץ בהזרקה; תוכנית חוקית בשניות ממנוע CBC חשוף	מהלכים בלתי-חוקיים ממוסכים בקוד (0 בלתי-חוקיים, נבדק ביחידות); מסלים לאישור אנושי מעבר לסף; ארטיפקט ביקורת חתום

העמדה הכנה כאן אינה ביישנות. כשהקונה כבר מחזיק סולבר שהוא סומך עליו ואינו יכול לסבול נעילה או המלצה לא-מוסברת ביום הגרוע בשנה שלו, השלמה על פני החלפה היא הדרך האמינה היחידה פנימה. ערבות חוקיות שייכת לקוד דטרמיניסטי, נאכפת מתוקף-בנייה, כך שאף בחירת סולבר או מודל אינה יכולה לשבור אותה.

מה שהדגמה הזו אינה עושה

היא אינה טוענת שהיא מנצחת או מייעלת-יותר את הסולבר. היא משתמשת ב-CBC כמנוע שלה וחושפת אותו.
הרשת, הצוותים, השיבוש, וספירות הנוסעים הם סינתטיים ומזורעים. אין נתוני חברת-תעופה אמיתית, אין רשומות צוות אמיתיות, ואין תאום דיגיטלי של מוביל אמיתי.
הזנות חיות כגון ADS-B, מיקומי צוות, ומזג אוויר הן קובץ ניתן-להשמעה-חוזרת. האינטגרציה של Jeppesen ו-IBS היא מתאם מדומה. אין אינטגרציה אמיתית רצה בגרסה הזו.
נתוני הדולר והטיסות של התרחיש הם המחשה של הרצה מזורעת אחת מול בסיס אי-עשייה במקרה-הגרוע, לא חיסכון מובטח לכל חברת תעופה.
מדיניות GRL מאומנת, תאום דיגיטלי מלא, תיאום רב-סוכנים, ביצוע אוטונומי, עלות משוקללת-הכנסה, ונתיב DO-178C כולם נדחים, לא בנויים.
זו הדגמה שמוכיחה את המנגנון. היא אינה צינור פרוס.

שאלות שקונים שואלים

האם זה מחליף את מחסנית שיבוץ-הצוותים של Jeppesen או IBS שלנו?

לא. StormCrew היא שכבת השלמה שרצה במצב צל וייעוץ מעל מחסנית התכנון מבוססת-הסולבר שכבר יש לכם. היא מוסיפה נראות רדיוס-פיצוץ, ערבות חוקיות, שחזור בקנה-מידה של שניות, ושער הסלמה, ואז מחזירה תוכנית חתומה לבקר לקבלה. אין rip-and-replace ואין נעילה, כי הערך העמיד הוא השכבה התפעולית סביב סולבר, לא מערכת-רשומות חדשה.

אתם אומרים שהוא משחזר בשניות. האם אתם טוענים שאתם מנצחים את הסולבר שלנו?

לא, ואנחנו מכוונים בזה. StormCrew משתמש בסולבר MIP אמיתי (CBC דרך PuLP) כמנוע שלו וחושף אותו. בדקנו סיפור אופטימייזר-חכם יותר מול סולבר בשל והסולבר ניצח, אז שינינו את הטענה במקום את המספרים. הטענות העמידות הן מהירות מול המרוץ הידני ו-0 בלתי-חוקיים מתוקף-בנייה, לא עליונות אופטימייזר.

איך אתם באמת מבטיחים שאין הפרת Part 117 או CBA, ולא רק בדרך כלל?

אילוצי החוקיות נאכפים בזמן יצירת-התורנות באמצעות מיסוך פעולות, כך שתורנות שחזור בלתי-חוקית לעולם אינה נוצרת כמועמדת. מגבלות תורנות, זמן-טיסה, ו-sit של Part 117 ותקרת המקטעים של ה-CBA לדוגמה מוחלות לפני שהסולבר רואה בכלל עמודה, מה שאומר ששיבוץ בלתי-חוקי אינו יכול להתקיים כדי להיבחר. זה אינווריאנט ניתן-להוכחה שנבדק ביחידות כ-0 בלתי-חוקיים, לא ציון שהמודל מנסה לשמור גבוה.

האם $2.37M בהחזרים שנמנעו הוא חיסכון אמיתי שאפשר לשים בתיק עסקי?

התייחסו אליו כהמחשה של תרחיש מזורע אחד, לא כתוצאה מובטחת. הוא מחושב על רשת סינתטית בהשוואת תוכנית היועץ מול בסיס אי-עשייה במקרה-הגרוע שתוקע את כל רדיוס-הפיצוץ, במודל החזר DOT של $300 לנוסע. זה המסגור המיטיב ביותר בכוונה ומסומן כהמחשה על המסך. הטענות המעוגנות באופן עצמאי הן מהירות מול אמת-המידה הידנית המקורית של 4 עד 12 שעות ו-0 בלתי-חוקיים מתוקף-בנייה.

מה קורה ביום רע באמת כשאי אפשר לשחזר הכל?

הוא מסלים במקום לאשר אוטומטית בשקט. בהרצה החמורה עם רזרבות מותשות, התוכנית עדיין חוקית ועדיין משחזרת 33 מתוך 53 טיסות, אבל כי היא הייתה מבטלת 38 אחוז, מעל סף האישור-האוטומטי של 15 אחוז, הסטטוס מתהפך ל-ESCALATE ונדרש אישור אנושי. התוכנית מוצגת ומסומנת במקום חתימת-גומי, וזו הנקודה: לדעת מתי המהלך הנכון הוא לא לאשר אוטומטית.

האם זה רץ על נתוני חברת תעופה אמיתיים או הזנות חיות?

לא. הרשת, הצוותים, השיבוש, וספירות הנוסעים הם סינתטיים ומזורעים, בלי נתוני חברת-תעופה אמיתית ובלי רשומות צוות אמיתיות. הזנות חיות כגון ADS-B, מיקומי צוות, ומזג אוויר הן קובץ ניתן-להשמעה-חוזרת, והאינטגרציה של Jeppesen ו-IBS היא מתאם מדומה. מנוע החוקיות ואופטימייזר CBC הם קוד אמיתי, ואמת-המידה הידנית של 4 עד 12 שעות היא עוגן חיצוני ממקור, כך שההדגמה היא הוכחה נאמנה של המנגנון ולא פריסה.

מחקר טכני

המחקר מאחורי ההדגמה הזו — הארכיטקטורה, עיצוב האימות, והתכנית הארגונית.

פתרון מלא

חקרו את פתרון Airline Crew Scheduling AI →

שימו ערבות חוקיות סביב הסולבר שכבר סומכים עליו

לסגני-נשיא ומנהלי בקרת מבצעים, מובילי תכנון צוותים, וצוותי CIO וטכנולוגיית-מבצעים בחברות תעופה.

אם הצוות שלכם מתמודד עם איך לכווץ את חלון שחזור ה-IROPS בלי לסכן הפרת Part 117 או CBA, נשמח באמת לשמוע איך אתם חושבים על זה. הבעיה היא רוחבית-לתעשייה וגם התשובות יהיו.

הערכת שחזור IROPS

✓ סקירת נראות רדיוס-פיצוץ ומפל על הרוטציות שלכם
✓ קידוד חוקיות Part 117 ו-CBA על הכללים שלכם
✓ מידול זמן-שחזור וסף-הסלמה
✓ קריאה כנה איפה השלמה עוזרת ואיפה לא

בנייה מותאמת

✓ מסכת חוקיות שהופכת תורנויות בלתי-חוקיות לבלתי-אפשריות ליצירה
✓ סולבר MIP אמיתי מחובר לאילוצי השחזור שלכם
✓ שער הסלמה ואישור אנושי על הספים שלכם
✓ ארטיפקט ביקורת חתום מחובר למחסנית המבצעים שלכם, מצב-צל קודם

התחברו דרך WhatsApp שלחו אימייל לצוות שלנו