עקיבה אחר מטרה בשיטת מרכז כובד בשילוב אלגוריתם IMM מגישים: שי בן שחר גלעד רבינוביץ מנחה: דר' גבי דוידוב הטכניון - מכון טכנולוגי לישראל TECHNION - ISRAEL.

Slides:



Advertisements
Similar presentations
מבוא למדעי המחשב לתעשייה וניהול
Advertisements

דבורקין מיכאל אלתרמן יגאל בהנחיית ד " ר גבי דוידוב.
עיבוד תמונות ואותות בעזרת מחשב
איתור ומעקב אחר הכדור בסרט וידאו של משחק כדורגל מדריך: גיא גלבוע מגישים: יגאל חלמיש גלבוע רוט.
תמחיר תהליך. מערכת תמחיר תהליך מערכת זו נועדה לספק מידע, כמו מערכת תמחיר הזמנה, על עלות המוצרים שיוצרו בתקופה ועל עלות המוצרים שבתהליך הייצור בסוף התקופה.
רקורסיות נושאי השיעור פתרון משוואות רקורסיביות שיטת ההצבה
נושא הפרויקט : עקיבה אחר שתי מטרות מתנגשות בעזרת מסנן קלמן.
עקיבה אחר מטרה בשיטת מרכז מסה
משטר דינמי המשך – © Dima Elenbogen :55 חידה שכדאי לעבור עליה: 2011/ho/WCFiles/%D7%97%D7%99%D7%93%D7%94%20%D7%A2%D7%9D%20%D7%91%D7%95%D7%A0%D7%95%D7%A1.doc.
A. Frank File Organization קובץ ישיר מתקדם Advanced Direct File.
Inverse kinematics (Craig ch.4) ב"ה. Pieper’s solution נתבונן ברובוט עם 6 מפרקי סיבוב כאשר שלושת הצירים של המפרקים האחרונים נחתכים. נקודת החיתוך נתונה.
חורף - תשס " ג DBMS, Design1 שימור תלויות אינטואיציה : כל תלות פונקציונלית שהתקיימה בסכמה המקורית מתקיימת גם בסכמה המפורקת. מטרה : כאשר מעדכנים.
עקיבה אחרי מספר מטרות בשיטת קורלציה + JPDAF מגיש : לוטן קפלנסקי מנחה : ד " ר גבי דוידוב הטכניון - מכון טכנולוגי לישראל TECHNION - ISRAEL INSTITUTE OF TECHNOLOGY.
מריוס הרשקוביץ. תוכן רקע רקע שיטות ואלגוריתמים שיטות ואלגוריתמים תוצאות תוצאות.
Na+ P-. הפוטנציאל האלקטרוכימי אנרגיה חופשית ל - 1 mole חומר. מרכיב חשמלי מרכיב כימי מרכיבי הפוטנציאל האלקטרוכימי של חומר X: המרכיב הכימי : RTlnC x R –
שאלות חזרה לבחינה. שאלה דיסקים אופטיים מסוג WORM (write-once-read-many) משמשים חברות לצורך איחסון כמויות גדולות של מידע באופן קבוע ומבלי שניתן לשנותו.
מטרות הפרויקט הבנת בעיית העקיבה לימוד בעיית העקיבה החד ממדית לימוד השימוש במסנן קלמן לפתרונה שימוש בלוגיקה עמומה לשיפור הפתרון לימוד בעיית העקיבה הדו.
Power Consumption Awareness by using a Pedometer המעבדה לרשתות מחשבים המעבדה לרשתות מחשבים סמסטר אביב תשס " ח סמסטר אביב תשס " ח מנחים: איתי דברן – המעבדה.
1 שיפור עקיבה אחר מטרה בשיטת קורלציה ומרכז כובד בשילוב אלגוריתם IMM מגיש: שישלניקוב דניס מנחה: דר' גבי דוידוב הטכניון - מכון טכנולוגי לישראל TECHNION -
הטכניון – מכון טכנולוגי לישראל הפקולטה להנדסת חשמל המעבדה לחקר הראיה ומדעי התמונה שחזור תמונה באמצעות אלגוריתם MRF מבוסס מגישים : ערד שייבר ואיל שינדלר.
אינטרפולציה רועי יצחק.
מבוא להנדסת חשמל מעגל מסדר שני.
חורף - תשס " ג DBMS, צורות נורמליות 1 צורה נורמלית שלישית - 3NF הגדרה : תהי R סכמה רלציונית ותהי F קבוצת תלויות פונקציונליות מעל R. R היא ב -3NF.
1 Formal Specifications for Complex Systems (236368) Tutorial #5 Refinement in Z: data refinement; operations refinement; their combinations.
מצגת פרויקט עקיבה אחרי גוף נע פרויקט סמסטריאלי סטודנטים : וסילי גנקין מראט אקולוב מנחה : אריה נחמני סמסטר אביב תשס " ז.
תנועות עיניים המטרה ? לשמור או להביא את ה -fovea ל אובייקט מה מיוחד ב Fovea?  ה - fovea מהווה 1 מ " מ מהרשתית (~ מעל ה מהעולם הראייתי ).  ב -fovea מרוכזים.
מדידת תנועת קרום כדור הארץ בשיטות שונות טקטוניקה - תרגול 6.
Formal Specifications for Complex Systems (236368) Tutorial #6 appendix Statecharts vs. Raphsody 7 (theory vs. practice)
מגישים: אנדרי זמנסקי יבגני שיפמן מנחה: ד"ר גבי דוידוב עקיבה אחרי ארבע מטרות תוך כדי מיון אוטומטי בשיטת קורלציה ו - JPDAF.
תורת הקבוצות חלק ב'. קבוצה בת מניה הגדרה: קבוצה אינסופית X היא ניתנת למניה אם יש התאמה חד-חד ערכית בין X לבין .
תכנות תרגול 6 שבוע : תרגיל שורש של מספר מחושב לפי הסדרה הבאה : root 0 = 1 root n = root n-1 + a / root n-1 2 כאשר האיבר ה n של הסדרה הוא קירוב.
מנפה שגיאות - DEBUGGER מבוא למדעי המחשב (234114) רועי מלמד
א " ב, מילים, ושפות הפקולטה למדעי המחשב אוטומטים ושפות פורמליות ( ) תרגיל מספר 1.
01/01/01 אמיר ווינשטוק עירן חוף שקופית מס ’ 1 מימוש ובדיקת אלגוריתם ללמידה ע"י חיזוקים עבור רובוט המשחק הוקי - אויר : מגישים עירן חוף אמיר ווינשטוק : מנחה.
שיפור תמונות צבע תוך שימוש ב -Multiscale Retinex מבצעים : מרינה בלבנוב ירון זליכה מנחה : דר’ דורון שקד סמסטר חורף תשנ”ט.
פרויקט עקיבה בצבע אחרי מספר מטרות בעזרת קורלציה, מסנן קלמן, JPDAF
עקיבה בזמן אמת אחר מטרה מתמרנת בעזרת חזאי קלמן פילטר וחזאי IMM מגישים : נקש שלמה זילברשטיין שלמה מנחה : ד " ר גבי דוידוב אפריל 2004.
ערכים עצמיים בשיטות נומריות. משוואה אופינית X מציין וקטור עצמי מציינת ערך עצמי תואם לוקטור.
1 תרגול : קודי קו בינאריים בסיסיים. 2 יצירת קוד קו יצירת הלמים לפי קוד קו מסנן בעל תגובה להלם h(t) ביטי כניסה X(t)Y(t) a1 a2 a3 a4 t Ts.
Kalman Filter תומר באום Based on ch. 8 in “Principles of robot motion” By Choset et al. ב"הב"ה.
טיב פני שטח (טפ"ש) טיב פני שטח- רמת החלקות של המשטח.
1 חקירת טרנזיסטור קוונטי הנשלט על ידי שינויי תדר Frequency Controlled Quantum Transistor מבצע : חן טרדונסקי מנחה : ד " ר אראל גרנות.
Galileo Navigation System Software Systems lab Software Systems lab סמסטר חורף תשס " ט סמסטר חורף תשס " ט מנחה: ולדימיר זדורנוב משה חיות מבצעים: גליה סימנובסקי.
Data Structures, CS, TAU, Perfect Hashing 1 Perfect Hashing בעיה : נתונה קבוצה S של n מפתחות מתחום U השוואה ל - Hash : * טבלה קבועה (Hash רגיל - דינאמי.
1 Data Structures, CS, TAU, Perfect Hashing בעיה: נתונה קבוצה S של n מפתחות מתחום U השוואה ל- Hash : * טבלה קבועה (Hash רגיל - דינאמי) * רוצים זמן קבוע.
משטר דינמי – © Dima Elenbogen :14. הגדרת cd ו -pd cd - הזמן שעובר בין הרגע שראשון אותות הכניסה יוצא מתחום לוגי עד אשר אות המוצא יוצא מתחום.
הטכניון – מכון טכנולוגי לישראל הפקולטה להנדסת חשמל מעבדה לבקרה ורובוטיקה בחינה של אלגוריתמים לעקיבה אחר טילים בליסטיים מגישים : נדב רוזנבלט ויבגני גנדין.
Markov Decision Processes (MDP) תומר באום Based on ch. 14 in “Probabilistic Robotics” By Thrun et al. ב"הב"ה.
Global Motion Estimation קורס : מבוא לעיבוד מקבילי מרצה: דר' גיא תל צור מגישים: גלעד נרקיס אייר רום אייר רום קבוצה: pp3.
Eigenfaces for Recognition
1 עקיבה אחר מטרה בשיטת קורלציה בשילוב אלגוריתם IMM מגישים: קיריצ'נקו אלכס שישלניקוב דניס מנחה: דר' גבי דוידוב הטכניון - מכון טכנולוגי לישראל TECHNION -
דוגמאות לגלים סטציונריים איריס רוגר פרקים בתנודות וגלים לא לינארייםמנחה: פרופ' לזר פרידלנד.
1 מבוא למדעי המחשב סיבוכיות. 2 סיבוכיות - מוטיבציה סידרת פיבונאצ'י: long fibonacci (int n) { if (n == 1 || n == 2) return 1; else return (fibonacci(n-1)
ניתוח בחינת הבגרות במכניקה ומעבר..... מכניקה – שאלה 3.
בקרה תומר באום ב"הב"ה. סוגי בקרה חוג פתוח Open-loop control : אנו מכוונים את הרובוט למצב הבא שהוא אמור להיות בו לפי מודל מסוים, כמו שעשינו בקינמטיקה הפוכה.
מעגלים אלקטרוניים לינאריים סמסטר אביב תשס"ב
Interpolation Functions in Matlab By Dmitriy Katsif.
מבוא למדעי המחשב לתעשייה וניהול הרצאה 6. מפעל השעווה – לולאות  עד עכשיו  טיפלנו בייצור נרות מסוג אחד, במחיר אחיד  למדנו להתמודד עם טיפול במקרים שונים.
דוח אמצע סמסטר אביב תשס"ב 2002 שם הפרויקט :סביבת בדיקה ל PCIX PCIX environment מנחה : איתי אדר מגישים : שמיל ניסימוב גוילי יואב הטכניון.
מערכות ראיה ממוחשבות.
מודל הרגרסיה הלוגיסטית.
השוואת נתונים למודל הסתברותי - כללית
פרוקטוז, C6H12O6 , חד-סוכר מיוחד
מסננים מסנן מעביר נמוכים LPF תומר ורונה.
הנעה חשמלית.
קצוות תמונה Edge Detection
תכנות מכוון עצמים ושפת JAVA
מגישים: עמיר ניצני דורון זטלמן מנחה: דר' גבי דוידוב
סמינר בנושאים מתקדמים בעיבוד תמונה
NG Interpolation: Divided Differences
Presentation transcript:

עקיבה אחר מטרה בשיטת מרכז כובד בשילוב אלגוריתם IMM מגישים: שי בן שחר גלעד רבינוביץ מנחה: דר' גבי דוידוב הטכניון - מכון טכנולוגי לישראל TECHNION - ISRAEL INSTITUTE OF TECHNOLOGY הפקולטה להנדסת חשמל המעבדה לבקרה ורובוטיקה

מטרות הפרויקט 1.עקיבה אחר מטרה מתמרנת בשיטת מרכז הכובד. אות הכניסה הוא מסגרות המצולמות במצלמת אינפרא-אדום, כך שהמטרה כהה יחסית לרקע. 2.עקיבה אחר מטרה במקרים בהם המטרה מוסתרת – שערוך מיקום המטרה על-ידי שימוש במסנן קלמן. 3.שיפור יכולת העקיבה של המערכת ע"י שימוש בשני מודלי תנועה, שילובם יעשה ע"י אלגוריתם ה IMM. 4.בדיקת ההבדלים בין שימוש במודל יחיד לבין שימוש בשני מודלים, יתרונות וחסרונות כל שיטה.

רקע תיאורטי 1.מרכז כובד: מרכז כובד של גוף מחושב ע"י הנוסחא הבאה : כאשר, N הוא מס' הפיקסלים במטרה, I הם ערכי הפיקסלים. על מנת לאפיין בצורה איכותית את מרכז הכובד של המטרה יש לבצע את החישוב על תמונה בינארית של המטרה, כלומר כאשר המטרה שחורה והרקע לבן.

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

רקע תיאורטי מסנן קלמן ( המשך ) פעולת המסנן מאופיינת במחזוריות : שערוך מראש של ווקטור המצב עפ"י הפרמטרים השונים ולאחר כניסת המדידה, תיקון של הווקטור המשוערך. פרמטרי המסנן העיקריים: 1.Q : מטריצת שונות שגיאת התהליך. פרמטר זה מאפיין את שונות תנועת הגוף במימדי ווקטור המצב. 2.R : מטריצת שונות שגיאת המדידה. פרמטר זה מאפיין את טיב המדידה שהתקבלה, האם על המסנן לתת משקל רב למדידה. מסנן קלמן הוא נושא מוכר היטב ולכן אין טעם בהצגת המשוואות המתמטיות.

רקע תיאורטי 3. אלגוריתם ה IMM (Interactive Multiple Model) מטרת האלגוריתם היא לשפר את שערוך מיקום מרכז הכובד של המטרה ע"י מתן מספר שערוכים המבוססים על מודלים שונים, כאשר קיימת אינטראקציה בין המודלים השונים ע"י שיקלולם. צעדי האלגוריתם : 1.חישוב הסתברויות הערבול: 2.שלב הערבול:

3. התאמת מודל-מצב: 4. עדכון הסתברות המצב: 5. שקלול וקטור המצב והקוואריאנס: רקע תיאורטי אלגוריתם ה IMM (Interactive Multiple Model) (המשך )

שלבי העקיבה 1.סימון המטרה ע"י המשתמש. 2.יצירת תמונה בינארית של המטרה. 3.הגדרת גודל המטרה ע"י חיפוש במסגרת הראשונית עבור שפות המטרה בצורה ספיראלית. 4.חישוב מרכז הכובד של המטרה, הצבת חלון החיפוש על מרכז הכובד של המטרה. בכל איטרציה יש שימוש בחלון החיפוש של האיטרציה הקודמת. גודל גודל חלון החיפוש נקבע בצורה כזו שהמטרה תכלל בו באיטרציה הבאה.

יצירת תמונה בינארית תמונה בינארית נקבעת ע"י סף המבדיל בין פיקסלים שחורים ללבנים. על מנת לקבוע את הסף, יש חישוב של הסתברויות ההופעה של כל ערך פיקסל [0,256], וחישוב הסף ע"י T= µ- σ.

עקרונות גילוי הסתרה אלגוריתם המערכת מנסה להתמודד עם שני סוגי הסתרה: 1.הסתרה חלקית- חלק קטן מהגוף מוסתר אך עדיין ניתן למצוא מרכז כובד בצורה יעילה. 2.הסתרה מלאה – שטח המטרה הנראה הולך וקטן ע"י גוף מסתיר => שימוש בשיטות שערוך מרכז הכובד הבעיה: זיהוי הסתרה במסגרת מאוחרת מדי גורם למרכז הכובד של הגוף לזוז אחורה וכתוצאה מכך חישוב וקטור התחלתי שגויה

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

אפיון מטריצות המסנן א. אפיון R : שונות שגיאת המדידה חושבה ע"י חישוב שונות הפיקסלים שבחלון החיפוש אך אינם שייכים למסגרת המגדירה את המטרה בלבד. פיקסלים שחורים שיופיעו בטח זה יגרמו לסטיות במרכז הכובד ולכן הינם מיוחסים כרעש. ב. אפיון Q : בפרויקט זה הנחנו כי תנועת המטרה אינה ידועה מראש ולכן לא ניתן לקבוע מטריצת Q מראש. לכן מטריצת Q היא מטריצה הנבנית תוך כדי ריצת האלגוריתם באופן מסתגל. המטריצה מאותחלת לערכים נמוכים והיא גדלה בפקטור קבוע כל עוד קיימת שגיאת שערוך גדולה מספיק. מריצת האלגוריתם רואים כי תוך מספר מסגרות יש התכנסות לערך קבוע של מטריצת Q.

שימוש בשני מודלי תנועה בפרויקט היה שימוש בשני מודלים : א. מודל מסדר שני : מהירות קבועה. מטריצת המודל ( חד מימד ) : ב. מודל מסדר שלישי : תאוצה קבועה. מטריצת המודל ( חד מימד ) :

דוגמא לעקיבה בשיטת מרכז הכובד זהו סרט מצולם שניתן ע"י המעבדה

דוגמא לעקיבה בשיטת מרכז הכובד זהו סרט סינטטי שנועד לבחון את המערכת

רוחב הסרט של המערכת על מנת לבחון את רוחב הסרט של המערכת, כלומר מהו תחום התדרים שהמסנן יכול לקבל אינפורמציה ולשחזרה במידה טובה, נבדק האלגוריתם על כניסת אות סינוס. הבדיקה נעשתה על-מנת להשוות בין שתי זוגות של שיטות : א. מודל יחיד מול זוג מודלים (IMM). ב. שימוש במטריצת Q קבועה לעומת מטריצת Q מסתגלת כפי שמומשה בפרויקט.

השוואה בין מודל יחיד לבין IMM ובין מטריצת Q קבועה למטריצת Q מסתגלת אות סינוס, אמפליטודה 10,מודל יחיד, מטריצת Q קבועה אות סינוס, אמפליטודה 10, שני מודלים (IMM) מטריצת Q מסתגלת. בדיקת רוחב הסרט של האלגוריתם נעשה ע"י בדיקתו על סרטים סינטטיים של תנועה סינוסית של מטרה.

השוואה בין מודל יחיד ל IMM ובין מטריצת Q קבועה למסתגלת בדיקת רוחב הסרט ועקום הפאזה עבור סרטים סינטטיים: 1.מהשוואת אופיין ההגבר ניתן לראות כי עבור IMM ומטריצה מסתגלת ההגבר הוא 1 לעומת הגבר ( overshoot) שקיים במקרה של מודל יחיד ומטריצת Q קבועה. 2. מהשוואת עקומי ההגבר בשני המקרים ניתן לראות כי במקרה של מודל יחיד ומטריצת Q קבועה המערכת מגיעה מהר יותר לאי-יציבות, דבר המקטין את רוחב הסרט. במקרה של IMM ומטריצת Q מסתגלת, ירידת הפאזה איטית יותר ומאפשרת שימוש בתדרים נוספים.

מודל יחיד, מטריצת Q קבועה זוג מודלים (IMM),מטריצת Q מסתגלת במקרה זה הבדיקה נערכה לאלגוריתם השערוך בלבד, ללא עיבוד תמונה. השוואה בין מודל יחיד לבין IMM ובין מטריצת Q קבועה למטריצת Q מסתגלת הערה: לא היה ניתן ליצור עקום פאזה במקרה זה.

השוואה בין מודל יחיד לבין IMM רוחב הסרט בשני המקרים קרוב מאוד אך ניתן להבחין בהבדלים הבאים : א. הגבר המסנן : בשני עקומי רוחב הסרט ניתן להבחין בתחום בו המסנן מגביר את מוצאו יחסית לכניסה. ניתן לראות כי עבור מודל יחיד הגבר זה גדל ומגיע ל 1dB ואילו עבור IMM הגבר זה יציב על 0.5dB. הבדל זה מאפשר שימוש פשוט יותר בתחום התדרים שבו יש הגבר בשיטת ה IMM. ב. עקום הפאזה : ניתן לראות כי הפרש הפאזה בשני המקרים גדל, אך במקרה של מודל יחיד הירידה חדה יותר לעומת השימוש ב IMM. מהשוואה זו ניתן להסיק כי מערכת הבנויה ממודל יחיד תצא מיציבות מהר יותר ממערכת המשתמשת ב IMM.

שימוש במטריצת Q קבועה לעומת מטריצת Q מסתגלת ההבדל המשמעותי בין שני הגרפים הוא ברוחב הסרט. עבור מטריצת Q קבועה מתקבל רוחב סרט של 13 הרץ ואילו עבור מטריצת Q משתנה מתקבל רוחב סרט של 23 הרץ. הבדל זה משמעותי בקביעת קצב הדגימות הנכנס למסנן לבחירת אלגוריתם העקיבה. הערה : הנפילות שנראות בגרף עבור מטריצת Q מסתגלת נובעות מקצב הדגימה שהוא כפולה שלמה של תדרי אות הכניסה. במקרה כזה נדגם האות מעט לפני שיא האות ומעט אחריו כך שהמסנן לא מצליח לשחזר את שיא האות בצורה טובה.

הדגמת דינאמיות אלגוריתם ה IMM האלגוריתם נבחן עבור כניסה של מהירות קבועה (קו ישר) כאשר שונתה מטריצת המעברים מניסוי לניסוי. א. עבור מטריצת מעברים תקינה : ניתן להבחין בשינוי המשקלים והתייצבות ערכיהם עם המשך תנועת הגוף בקו ישר. ניתן לראות שהאלגוריתם מעדיף את המודל השני – מסדר שני.

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

הדגמת דינאמיות אלגוריתם ה IMM ג. עבור מטריצת מעברים שגויה: ניתן לראות את השתוללות האלגוריתם בתחילת התנועה עד להתייצבות הערכים על משקלים קרובים ביותר לשתי השיטות.

הדגמת דינאמיות אלגוריתם ה IMM המערכת נבחנה על כניסת אות סינוסי בתדר קבוע, תוך חישוב המשקל הגבוה בכל מקרה. החישוב נעשה כל פעם עבור אמפליטודה שונה. בנוסף, החישוב נעשה עבור מספר תדרים. מסקנה:ככל שהאמפליטודה עולה עבור תדר קבוע כך המערכת שואפת להשתמש במודל מסדר שלישי בגלל שינויי המהירות. הדבר נכון גם לגבי אמפליטודה קבועה ותדר משתנה אך בצורה מהירה יותר. 5 הרץ. 10 הרץ.

סוף המצגת