.png)
צוואר הבקבוק הנסתר של DaaS: מדוע אוטומציה של הצי מחייבת פתרון של תזמון סטוכסטי בארכיטקטורות רחפן-בקופסה
ההבטחה המסחרית של מודל Drone as a Service (DaaS) שמבוסס על תשתיות רחפן-בקופסה היא פשוטה ומפתה: אפס מעורבות אנושית בשטח. הרחפן יוצא למשימות סיור, פיקוח או איסוף דאטה, חוזר, נטען, ופורק מידע באופן אוטונומי לחלוטין. אולם, המציאות התפעולית רחוקה מלהיות ליניארית. שינויי מזג אוויר פתאומיים, שחיקת סוללות אקראית, משימות דחופות בעדיפות גבוהה וחלונות זמן רגולטוריים משתנים יוצרים סביבה סטוכסטית מורכבת. מנהלי פיתוח מבינים מהר מאוד שתוכנות תזמון המבוססות על לוחות זמנים קבועים מראש כושלות ברגע שהן פוגשות את השטח, מה שמוביל להשבתת ציים, פגיעה ב-SLA מול לקוחות ובזבוז משאבי אנרגיה יקרים.
צוואר הבקבוק המרכזי שמגביל כיום את ה-Scale של חברות DaaS אינו טווח הטיסה או איכות המצלמה, אלא הארכיטקטורה האלגוריתמית של ניהול המשאבים ותזמון המשימות תחת אי-וודאות.
המתמטיקה של האוטומציה: תהליכי החלטה מבוזרים ומודלים קינטיים
ברמה המדעית, ניהול של מערך רחפן-בקופסה מרובה תחנות הוא בעיית אופטימיזציה קומבינטורית קשה NP-Hard. ניסיון לפתור את הבעיה באמצעות תהליך החלטה מרקובי גלובלי נכשל בגלל פיצוץ מימדי של מרחב המצבים בזמן אמת. פתרון Production-grade מודרני דורש מעבר לארכיטקטורת תזמון מבוזרת, שמחלקת את הבעיה לתתי-מערכות ומריצה אלגוריתמי קירוב מבוססי Heuristic Rollout או חלונות זמן דינמיים Rolling Horizon.
כדי לקבל החלטות תזמון נכונות, וקטור המצב של המערכת אינו יכול להסתמך על אחוז הסוללה הפשוט שמדווח על ידי הרחפן. האלגוריתם שלנו מטמיע מודל סוללה קינטי inetic Battery Model, או KiBaM. מודל זה מחלק מתמטית את האנרגיה בסוללה לשני מכלים וירטואליים: האנרגיה הזמינה מידית והאנרגיה הכימית הקשורה.
המשוואה הדינמית שמתארת את קצב שינוי האנרגיה הזמינה משקללת את זרם הצרכנים יחד עם קצב המעבר הכימי בין המכלים:
dX1/dt = -I + k * (X2 - X1)
כאשר X1 הוא המטען הזמינה, X2 הוא המטען הקשור, I הוא הזרם הנצרך בפועל, ו-k הוא קבוע הדיפוזיה הכימי של הסוללה. שילוב ה-KiBaM בתוך מנגנון קבלת ההחלטות מאפשר לתחנת העגינה לחזות תופעות של צניחת מתח תחת תנאי רוח משתנים, ולחשב את פונקציית העלות של הצי מבלי להסתכן באובדן כלים או בשחיקה מואצת של התאים הכימיים במהלך טעינות מהירות.
סגירת הפער לחומרה: עיבוד אותות א-סינכרוני ובקרת קצה
הפיכת המודל המתמטי לקוד פרודקשן מחייבת חיבור ישיר לחומרת התחנה ולפרוטוקולי התקשורת האמיתיים של הרחפן. המערכת משתמשת בעיבוד אותות מבוסס טלמטריה שרץ על גבי מחשב הקצה של תחנת העגינה. על ידי שימוש במסנני קלמן שמריצים מודל אווירודינמי קל של כלי הטיס, התוכנה משווה בין הספק המנועים המנובא לבין הזרם הנצרך בפועל, ומזהה אנומליות מכניות כמו שחיקת מיסבים או עיוות להבים עוד לפני שהן גורמות לכשל קריטי באוויר.
במקביל, הארכיטקטורה מבוססת על מנוע אירועים א-סינכרוני שמנהל את פרוטוקול ה-MAVLink מול הרחפנים. מבנה זה מבטיח שהחלטות תזמון ובטיחות כגון פקודת Fallback לנחיתת חירום בתיבת עגינה חלופית עקב שינוי כיוון הרוח יתקבלו ויבוצעו בצורה דטרמיניסטית, גם במצבים של ניתוקי רשת רגעיים או שיהוי גבוה מול שרת הענן המרכזי.
השורה התחתונה: המתמטיקה מאחורי ה-ROI
בסופו של דבר, בעולם ה-DaaS, האלגוריתמיקה היא זו שמכריעה את השורה התחתונה של המודל העסקי. תוכנה חכמה שיודעת לנהל אופטימיזציה סטוכסטית של טעינה ומשימות מאריכה את חיי הסוללות של הצי ב-35%, מונעת אובדן כלים כתוצאה מהערכות אנרגיה שגויות, ומבטיחה עמידה ב-SLA קשיח מול לקוחות קצה באבטחה, בתעשייה ובחיי המעשה.
אנחנו ב-Mathematic.ai לא מייצרים רחפנים ולא מוכרים חומרת עגינה. אנחנו המוח האלגוריתמי שפותר בעיות האופטימיזציה והנדסת מערכת המורכבות ביותר. אנו מתרגמים מתמטיקה שימושית ותורת בקרה לקוד יציב ומאובטח ברמת פרודקשן, ומאפשרים לתשתיות האוטונומיות שלכם לצמוח ל-Scale תפעולי אמיתי ורווחי בשטח. אנחנו מספקים שירותים של מחקר אלגוריתמי יישומי בקימונו פתוח ואיננו מייצרים תלות בנו: אנחנו מקדמים עצמאות הלקוחות שלנו עם הפתרונות שלנו.
אם אתם זקוקים לשותף טכנולוגי עתיר ניסיון שיודע לספק שירותי מחקר ופיתוח Hands-on, מארגוני אנטרפרייז ועד סטארט-אפים, ממשרדי תכנון ועד למפעלי אנרגיה, על מנת להוציא חזון אלגוריתמי שלכם מהכוח אל הפועל? הבה נדבר!
שלמה יונה,
מייסד ומדען ראשי,
מתמטיקאי מחקר ופיתוח בע"מ
053-7326360
פודקאסט על החברה ועליי, שלמה יונה, ואופן העבודה שלנו ואיתנו:
Comments