.png)
שערוך מוטס בזמן אמת: אתגרים ופתרונות הנדסיים
אתגר השערוך המוטס דורש פתרונות מדויקים כאשר מטיסים רחפנים טקטיים ותעשייתיים. לולאות בקרת טיסה פועלות בתדרים קשיחים שמגיעים לעד אלף הרץ ואינן סובלות חריגות מקסימליות בזמן ריצה או קפיצות קואורדינטות גיאומטריות שנוצרות משיטות מיפוי גלובליות. שיטות קלאסיות כמו מסנני חלקיקים ומיפוי מבוסס גרף נכשלות מתמטית ופיזיקלית תחת עומס הממדים, רעידות מנוע בתדר גבוה ופעולות דחיקה לשוליים שהופכות מטריצות דלילות לצפופות. התעשייה המודרנית פותרת משבר זה באופן סיסטמטי דרך חלוקת המבנה למעבדים א-סימטריים, הפרדה טופולוגית למערכות צירים כפולות והטמעת מסנני קלמן איטרטיביים שפועלים על יריעות מתמטיות בעזרת עצי ווקסלים.
תכנון מערכות רובוטיות מוטסות בסביבות שמונעות פליטה ונטולות קליטת לוויינים מתחיל בהבנה מוחלטת של מגבלות הסיליקון והפיזיקה. אנחנו לא יכולים לנתק את האלגוריתמיקה מהפלטפורמה המחשובתית שעליה היא רצה ומדינמיקת הטיסה הקשיחה שהיא משרתת. דינמיקת הטיסה של פלטפורמות מרובות להבים מתאפיינת בחוסר יציבות פנימי שדורש בקרת משוב רציפה בתדר גבוה. לולאות הבקרה פועלות במבנה מדורג כך שלולאת המיקום והמהירות מזינה את לולאת התמרון, והיא מזינה את לולאת קצב הזווית. מתכננים מיישמים לולאות אלו כבקרי PID ומרצים אותן בתדרים חיוניים שנעים בין ארבע מאות הרץ לאלף הרץ. מערכות הפעלה דטרמיניסטיות מנהלות את סביבת זמן האמת הזו ומכפיפות את שערוך המצב לשלושה אילוצים חסרי פשרות.
מערכות הבקרה גוזרות מתמטית ובאופן רציף את שגיאת המיקום והמהירות. כאשר אלגוריתם ניווט גלובלי סוגר לולאה ומתקן את מיקום הרחפן רטרואקטיבית, הוא יוצר קפיצת מדרגה בערך המיקום שמגיע לבקר. הנגזרת של מדרגה זו שואפת לאינסוף ומייצרת פקודת תיקון אלימה לבקרי המנועים, רוויית מנועים, אובדן מלא של עילוי והתרסקות. נוסף על כך, נתוני השערוך חייבים להגיע לבקר בקצב קבוע ומדויק. איחור בהגעת מנות המידע מעוות את פאזת השוליים של הבקר ומכניס את הכלי לתנודות בלתי נשלטות. כמו כן, אסור שאלגוריתם השערוך יחרוג ממסגרת הזמן שהמערכת הקצתה לו למחזור חישוב, ללא קשר למורכבות הסביבה הפיזית.
התעשייה משתמשת בפרדיגמת עיבוד מרובה ליבות א-סימטרי כדי לספק את צרכי הראייה הממוחשבת לצד הדרישה לזמן אמת קשיח. במודל זה אנו רואים הפרדה פיזית שחומות אש חומרתיות מגבות בין ליבות האפליקציה לליבות זמן האמת. תקלה בזיכרון בליבת הלינוקס לא יכולה לעצור או להשהות את הפסיקות שמנהלות את טיסת הרחפן.
ההסתמכות האקדמית ארוכת השנים על אלגוריתמים עולמיים של שערוך הובילה לכישלונות רבים כאשר מהנדסים ניסו לפרוס אותם בסביבה קינטית של רחפנים. אנו מגלים את הפערים במתמטיקה הבסיסית של השיטות תחת עומס מציאותי. מסנן חלקיקים נועד לפתור בעיות שערוך סטוכסטיות שאינן גאוסיאניות ואינן לינאריות, אך יישום מסנן זה כיחידת שערוך המצב המרכזית נכשל מתמטית. המרחב התעופתי נפרס על פני חמישה עשר ממדים לכל הפחות שכוללים מיקום, מהירות קווית, אוריינטציה והטיות נסתרות של מד התאוצה והג'יירוסקופ. כדי לכסות התפלגות במרחב כזה נדרש מספר אקספוננציאלי של חלקיקים. כל ניסיון לרוץ בזמן אמת דורש הקטנה דרסטית של כמות החלקיקים, ופעולה זו הופכת את המערכת לשבירה לכל רעש סביבתי. מנועי רחפנים מייצרים רעידות מבניות בתדרים גבוהים שמתווספות למדידות חיישני ההתמד כרעש שאינו תואם את פונקציית צפיפות ההסתברות המקורית. משקלם של מרבית החלקיקים צונח לאפס תוך מאיות שנייה והמסנן מתנוון. האלגוריתם מתנקז לחלקיק בודד שמאבד כל קשר לתוחלת השגיאה ומאבד את יכולת הניווט.
גישת המיפוי מבוסס הגרף מבצעת אופטימיזציה גלובלית על פני חלון זמן רציף כדי להימנע ממגבלות המסננים הקלאסיים. השיטה פותרת את מערכת המשוואות הלינארית של ההסאן שמייצגת את הקשרים הגיאומטריים של המסלול. מטריצת ההסאן בגרף פוזות דלילה מאוד ומאפשרת חישוב יעיל, אך חלון מחליק כופה הסרה תמידית של המצבים הישנים ביותר כדי לעמוד במכסת זיכרון קבועה. הסרה גסה של מצבים הורסת את העקביות הסטטיסטית של המערכת ולכן אלגוריתמים מבצעים הליך דחיקה לשוליים שמבוסס על משלים שור. פעולה מתמטית זו יוצרת חיבורים חדשים בין משתנים שלא קיימו קשר קודם לכן והופכת את המטריצה הדלילה לגושים צפופים לחלוטין. סיבוכיות פתרון משוואות הלינאריזציה קופצת בצורה דרמטית וגורמת לחריגות לא דטרמיניסטיות קיצוניות בזמן הריצה. מחזור שערוך קצר קופץ פתאום לערכים גבוהים ללא התרעה והרחפן נכנס למצב הרעבת נתונים שמוביל לאובדן יכולת שיכוך ולהתהפכות. זיהוי מוטעה של מקום מאלץ את פותר הגרף לעוות את היריעה הטופולוגית של המסלול כולו ומייצר קפיצות גיאומטריות הרסניות.
מערכות מודרניות ופלטפורמות טקטיות מתעדפות רציפות ודטרמיניזם על פני מיפוי גלובלי מושלם. הגישה המובילה כיום זונחת את האופטימיזציה מבוססת הגרף בחוג הפנימי לטובת מסנן קלמן מורחב איטרטיבי בתצורת שגיאת מצב. מהנדסים ממדלים את המערכת על גבי חבורות לי ומגדירים אופרטורים מיוחדים של חיבור וחיסור שמאפשרים למסנן לעדכן את וקטור המצב באופן מקומי תוך שמירה על יציבות נומרית מושלמת. מערכות אלו מנהלות את המפה המקומית בזמן אמת בעזרת מבנה נתונים מסוג עץ ווקסלים שתומך בהוספה ומחיקה של נתונים בתהליך מקבילי. פתרון זה מצמצם את הסיבוכיות ומאפשר עיבוד נתוני לייזר בקצב גבוה ללא חריגות זמן ריצה וללא שימוש בדחיקה לשוליים.
התעשייה אימצה טופולוגיית קואורדינטות כפולה כדי לאפשר בקרת טיסה חלקה ויכולות מיפוי גלובלי. מסנן הקלמן פועל בלעדית במרחב לוקאלי ביחס למערכת הגוף ומפיק מהירויות וזוויות חלקות לחלוטין עבור בקר הטיסה. במקביל רץ תהליך אסינכרוני של מיפוי מבוסס גרף בתדר נמוך מאוד שמנתח את השגיאה המצטברת ביחס למפה הגלובלית ומבצע סגירות לולאה. תהליך המיפוי מחשב מטריצת טרנספורמציה טהורה בין המפה למרחב הלוקאלי ולא משנה ישירות את מיקום הגוף. עדכון מסלול לא גורם לחריגה גיאומטרית בנתוני החיישנים של בקר הטיסה התחתון.
דור חדש של רחפנים טקטיים ותעשייתיים משתמש במכשירי סלולר כמחשבים מלווים במקום לתכנן חומרה מרובת ליבות יקרה. הטלפון מחובר בכבל נתונים לבקר טיסה תעשייתי פשוט ומנצל את המצלמות וחיישני ההתמד המובנים בו כדי להריץ אלגוריתמי אודומטריה ויזואלית. המערכת שולחת את הפלט לבקר הטיסה כוקטורים של מהירות ומיקום טהורים באמצעות פרוטוקול תעשייתי. בקר הטיסה קולט את וקטורי המהירות ומשלב אותם ישירות במסנן הקלמן שלו כהערכות חיישן חיצוניות. תצורה זו מבטיחה בידוד תקלות מוחלט כך שגם במקרה של כשל בתוכנת הטלפון הנייד המיקרו בקר ממשיך לאזן את הרחפן ומנהל נחיתת חירום.
האקדמיה וגופי מחקר משקיעים בטכנולוגיות דור העתיד, אך לכל קונספט חדשני קיימים צווארי בקבוק מהותיים ברמת הסיליקון והפיזיקה שמונעים כיום ייצור המוני. רשתות נוירונים עמוקות מנסות להחליף את הגיאומטריה הקלאסית ואת מעקב המאפיינים בעזרת זרימה אופטית רשתית שמתעלמת מהפרעות ויזואליות קיצוניות. למרות זאת, מודלים שלומדים מקצה לקצה סובלים משגיאות הטיה קיצוניות כאשר הם פועלים בסביבה זרה לחלוטין. בנוסף, הרצת מודלים אלו דורשת חומרה שצורכת הספק רב, מקצרת את זמן הטיסה דרמטית ויוצרת גל חום. התחממות הסיליקון מפעילה מנגנון הגנה של הורדת תדר שעון שמגדיל מיידית את השהיית החישוב ומוביל להתרסקות.
טכנולוגיות מיפוי תלת ממדי חדשות משתמשות בהמוני גאוסיאנים כדי להעניק לרובוט הבנה מרחבית פוטו ריאליסטית. אחסון מיליוני גאוסיאנים בזיכרון דורש משאבים אדירים שאינם זמינים בפלטפורמות מחשוב קצה על רחפנים ללא חריגת זיכרון. רחפנים טקטיים חווים תנועות חדות שיוצרות טשטוש תנועה במצלמות והורסות את עדכון המשקולות של האלגוריתם. המערכת מאבדת את הגיאומטריה המרחבית, מייצרת תוצרי לוואי מרחפים והורסת את שערוך המיקום.
מסנני חלקיקים גזירים משלבים מודלים גנרטיביים ולמידה מבוססת גרדיאנט כדי ללמוד פונקציות צפיפות הסתברותיות מורכבות. יכולת זו מונעת תיאורטית את ניוון החלקיקים ומאפשרת יעילות חישובית גבוהה יותר. בפועל, סביבות אמיתיות כוללות משבי רוח או הפרעות אירודינמיות שיוצרים רעשים פתאומיים בקריאות החיישנים. נתונים חריגים אלו יוצרים אי יציבות מוחלטת בגרדיאנט ומשקולות החלקיקים הופכות לערכים לא חוקיים. מצב זה הורס את שערוך המיקום של מערכת ההטסה בפחות ממחזור ריצה יחיד.
הפער ההנדסי מוכיח כי הפשטות האלגברית, בידוד חומרתי וטופולוגיה חסומה של מסנני קלמן ועצים נותרו המפתחות להבטחת שרידות מערכתית בסביבה אווירית נטולת תקשורת לוויינית בזמן אמת. פיתוחים אקדמיים יישארו בגדר הבטחות כל עוד חוקרים לא ימצאו דרך מתמטית וחומרתית להבטיח את רציפות הנגזרת, דטרמיניזם החישוב ועמידות המערכת לטשטוש ולחריגות זמני ריצה.
איך זה קשור אלינו במתמטיקאי מחקר ופיתוח בע"מ? התמצאות במרחב באופן אוטונומי היא מיומנות רובוטית חשובה. אנחנו מקימים בימים האלה ארגון שנותן מענה הוליסטי מבוסס רחפנים מאיסוף הנתונים השיטתי ועד לתובנות ולפתרונות ולתוצרים עבור לקוחות מענפי התכנון, הבנייה, האכיפה, החקלאות והתשתיות.
אם אתם זקוקים לשותף טכנולוגי עתיר ניסיון שיודע לספק שירותי מחקר ופיתוח Hands-on, מארגוני אנטרפרייז ועד סטארט-אפים, ממשרדי תכנון ועד למפעלי אנרגיה, על מנת להוציא חזון אלגוריתמי שלכם מהכוח אל הפועל? הבה נדבר!
כמובן, אנחנו כתמיד ממשיכים לספק שירותי מחקר אלגוריתמי יישומי ונותנים פתרונות ב-"קימונו פתוח" ומקדמים עצמאות הלקוחות שלנו ואי-תלות בנו.
שלמה יונה,
מייסד ומדען ראשי,
מתמטיקאי מחקר ופיתוח בע"מ
053-7326360
פודקאסט על החברה ועליי, שלמה יונה, ואופן העבודה שלנו ואיתנו:
Comments