מגישים : רן ינאי - 9-03313923 שרון אלעד - 4-01183313 מנחה : ד " ר הקטור רוטשטיין סמסטר קיץ תשס ” ב - 2002 הטכניון - מכון טכנולוגי לישראל הפקולטה להנדסת.

Slides:



Advertisements
Similar presentations
בתרגול הקודם הורשה: –ניתן להרחיב רק מחלקה אחת –כל מה שלא private – עובר בהורשה –המילה השמורה super –יצירת היררכיה –Object היא שורש ההיררכיה –דריסה אופרטור.
Advertisements

1 Formal Specifications for Complex Systems (236368) Tutorial #4 Refinement in Z: data refinement; operations refinement; their combinations.
מה קורה בתא הפוסט - סינפטי עקב הפעלת סינפסה כימית ?
A. Frank File Organization Hardware Time Parameters.
דוד שוורץ, עידן זק, נטע צור וחיה כהן. הפונקציונאליות : המשתמש יבחר קובץ שעליו הוא רוצה לבצע את האנליזה, וילחץ עליו עם כפתור ימני בעכבר. יפתח תפריט ובו.
רקורסיות נושאי השיעור פתרון משוואות רקורסיביות שיטת ההצבה
פה מחלקים דיסקים ?. platter surface Reading head tracks sectors cylinder Magnetic Disk rotating מבנה הדיסק הדיסק מחולק לצלחות (platters) לכל צלחת יש ראש.
מסדי נתונים תשס " ג 1 תכנון סכמות (Design Theory) מסדי נתונים.
עקיבה אחר מטרה בשיטת מרכז מסה
Inverse kinematics (Craig ch.4) ב"ה. Pieper’s solution נתבונן ברובוט עם 6 מפרקי סיבוב כאשר שלושת הצירים של המפרקים האחרונים נחתכים. נקודת החיתוך נתונה.
חורף - תשס " ג DBMS, Design1 שימור תלויות אינטואיציה : כל תלות פונקציונלית שהתקיימה בסכמה המקורית מתקיימת גם בסכמה המפורקת. מטרה : כאשר מעדכנים.
פרויקט : רובוט צייר מגישים : אופיר ארז אלכס לזיקין אלכס לזיקין מנחה : ארי טוטפלד.
מטרות הפרויקט הבנת בעיית העקיבה לימוד בעיית העקיבה החד ממדית לימוד השימוש במסנן קלמן לפתרונה שימוש בלוגיקה עמומה לשיפור הפתרון לימוד בעיית העקיבה הדו.
Power Consumption Awareness by using a Pedometer המעבדה לרשתות מחשבים המעבדה לרשתות מחשבים סמסטר אביב תשס " ח סמסטר אביב תשס " ח מנחים: איתי דברן – המעבדה.
1 שיפור עקיבה אחר מטרה בשיטת קורלציה ומרכז כובד בשילוב אלגוריתם IMM מגיש: שישלניקוב דניס מנחה: דר' גבי דוידוב הטכניון - מכון טכנולוגי לישראל TECHNION -
מגישים : אייל שור יצחק עוז - סיני מנחה : רן זסלבסקי.
הטכניון – מכון טכנולוגי לישראל הפקולטה להנדסת חשמל המעבדה לחקר הראיה ומדעי התמונה שחזור תמונה באמצעות אלגוריתם MRF מבוסס מגישים : ערד שייבר ואיל שינדלר.
חורף - תשס " ג DBMS, צורות נורמליות 1 צורה נורמלית שלישית - 3NF הגדרה : תהי R סכמה רלציונית ותהי F קבוצת תלויות פונקציונליות מעל R. R היא ב -3NF.
Map-Reduce Input: a collection of scientific articles on different topics, each marked with a field of science –Mathematics, Computer Science, Biology,
1 Formal Specifications for Complex Systems (236368) Tutorial #5 Refinement in Z: data refinement; operations refinement; their combinations.
מדידת תנועת קרום כדור הארץ בשיטות שונות טקטוניקה - תרגול 6.
מסדי נתונים תשס " ג 1 תכנון סכמות – אלגוריתם פירוק לתבניות בצורת BCNF מסדי נתונים.
א " ב, מילים, ושפות הפקולטה למדעי המחשב אוטומטים ושפות פורמליות ( ) תרגיל מספר 1.
א " ב, מילים, ושפות הפקולטה למדעי המחשב אוטומטים ושפות פורמליות ( ) תרגיל מספר 1.
1. 2 רקע כללי: כיום השיטה הנפוצה ביותר למציאת מיקום אדם מתבססת על מערכת Global Position System – GPS. למערכת זו יש מספר חסרונות : יש צורך לקבל את קוד.
MLR MAP LEARNING ROBOT בוצע ע"י : בוצע ע"י : אורן יהב אורן יהב ודורון ארנון ודורון ארנון מנחה : מנחה : קובי כוחי קובי כוחי.
מגישים: אנדרי זמנסקי יבגני שיפמן מנחה: ד"ר גבי דוידוב עקיבה אחרי ארבע מטרות תוך כדי מיון אוטומטי בשיטת קורלציה ו - JPDAF.
1 חישוב ואופטימיזציה של שאילתות חלק 2 Query Evaluation and Optimization Part 2.
Hunting A Cooperative Hunting Behavior by Mobile-robot Troops (by Hiroaki Yamaguchy) מוגש ע " י רועי ואורן.
מנפה שגיאות - DEBUGGER מבוא למדעי המחשב (234114) רועי מלמד
ספריה וירטואלית בטכנולוגית J2EE הטכניון – מכון טכנולוגי לישראל הפקולטה להנדסת חשמל המעבדה למערכות תוכנה עזרן אייל טרבלסי אורדן סמסטר חורף תשס " ד מנחה.
BRUSHLESS בקרה למנוע BRUSHLESS בקרה למנוע DSP באמצעות.
מערכות הפעלה ( אביב 2009) חגית עטיה ©1 מערכת קבצים log-structured  ה log הוא העותק היחיד של הנתונים  כאשר משנים בלוק (data, header) פשוט כותבים את הבלוק.
א " ב, מילים, ושפות הפקולטה למדעי המחשב אוטומטים ושפות פורמליות ( ) תרגיל מספר 1.
01/01/01 אמיר ווינשטוק עירן חוף שקופית מס ’ 1 מימוש ובדיקת אלגוריתם ללמידה ע"י חיזוקים עבור רובוט המשחק הוקי - אויר : מגישים עירן חוף אמיר ווינשטוק : מנחה.
שיפור תמונות צבע תוך שימוש ב -Multiscale Retinex מבצעים : מרינה בלבנוב ירון זליכה מנחה : דר’ דורון שקד סמסטר חורף תשנ”ט.
איתור ותפיסת כדור לזריקה תוך שיתוף שתי זרועות רובוטיות הטכניון - מכון טכנולוגי לישראל הפקולטה להנדסת חשמל המעבדה לבקרה ורובוטיקה תופאחה חיסאוי יגאל סיגל.
תרמודינמיקה השפעת טמפרטורה על GG בקרה קינטית ובקרה תרמודינמית רים נאוה ארנה.
1 Bond Price Volatility נובמבר שאלות 2 ו 4 נתונות שתי איגרות החוב הבאות :
שימושים בטורי פוריה לעיבוד אותות
Kalman Filter תומר באום Based on ch. 8 in “Principles of robot motion” By Choset et al. ב"הב"ה.
הקדמה. תנועת גל בחומר. קריסת הגל. משוואת ברגר (Burgers’ equation) ופתרונה. גלי הלם. סיכום.
Galileo Navigation System Software Systems lab Software Systems lab סמסטר חורף תשס " ט סמסטר חורף תשס " ט מנחה: ולדימיר זדורנוב משה חיות מבצעים: גליה סימנובסקי.
Remember Remember The 5 th of November. תרגול 2 קובץ סדרתי.
1 Data Structures, CS, TAU, Perfect Hashing בעיה: נתונה קבוצה S של n מפתחות מתחום U השוואה ל- Hash : * טבלה קבועה (Hash רגיל - דינאמי) * רוצים זמן קבוע.
משטר דינמי – © Dima Elenbogen :14. הגדרת cd ו -pd cd - הזמן שעובר בין הרגע שראשון אותות הכניסה יוצא מתחום לוגי עד אשר אות המוצא יוצא מתחום.
מרחב הפאזה פרקים בתנודות וגלים לא ליניאריים פרופ' לזר פרידלנד
הטכניון – מכון טכנולוגי לישראל הפקולטה להנדסת חשמל מעבדה לבקרה ורובוטיקה בחינה של אלגוריתמים לעקיבה אחר טילים בליסטיים מגישים : נדב רוזנבלט ויבגני גנדין.
1 חישוב של אופרטורים רלציוניים Evaluation of Relational Operators.
Markov Decision Processes (MDP) תומר באום Based on ch. 14 in “Probabilistic Robotics” By Thrun et al. ב"הב"ה.
Global Motion Estimation קורס : מבוא לעיבוד מקבילי מרצה: דר' גיא תל צור מגישים: גלעד נרקיס אייר רום אייר רום קבוצה: pp3.
עצים בינאריים - תזכורת דרגת צומת שורש עלה צומת פנימי מרחק בין 2 צמתים
Particle Filter תומר באום ב"ה. מוטיבציה אנו רוצים להעריך מצב של מערכת (מיקום,מהירות טמפרטורה וכו') בעזרת מדידות שנעשות בזמנים שונים. ( כמו טווח לנקודות.
מה היום ? - - חזרה מהירה. - קריאה וכתיבה לקבצים. - בניית תוכנית כתיבה low-level - בניית ערוץ גלובלי והדגמה מול חומרה - low-level DAQ, פולימורפיזם וטריגר.
1 מבוא למדעי המחשב סיבוכיות. 2 סיבוכיות - מוטיבציה סידרת פיבונאצ'י: long fibonacci (int n) { if (n == 1 || n == 2) return 1; else return (fibonacci(n-1)
הטכניון - מכון טכנולוגי לישראל TECHNION - ISRAEL INSTITUTE OF TECHNOLOGY הפקולטה להנדסת חשמל המעבדה לבקרה ורובוטיקה תכנות רובוט מסוג AIBO בעזרת תכנת Webots.
1 מבוא למדעי המחשב backtracking. 2 מוטיבציה בעיית n המלכות: נתון: לוח שחמט בגודל. המטרה: לסדר על הלוח n מלכות כך שאף אחת לא תאיים על השנייה. דוגמא: עבור.
בקרה תומר באום ב"הב"ה. סוגי בקרה חוג פתוח Open-loop control : אנו מכוונים את הרובוט למצב הבא שהוא אמור להיות בו לפי מודל מסוים, כמו שעשינו בקינמטיקה הפוכה.
11 Introduction to Programming in C - Fall 2010 – Erez Sharvit, Amir Menczel 1 Introduction to Programming in C תרגול
Interpolation Functions in Matlab By Dmitriy Katsif.
עקיבה אחר מטרה בשיטת מרכז כובד בשילוב אלגוריתם IMM מגישים: שי בן שחר גלעד רבינוביץ מנחה: דר' גבי דוידוב הטכניון - מכון טכנולוגי לישראל TECHNION - ISRAEL.
השדה המגנטי קובץ זה נועד אך ורק לשימושם האישי של מורי הפיזיקה ולהוראה בכיתותיהם. אין לעשות שימוש כלשהו בקובץ זה לכל מטרה אחרת ובכלל זה שימוש מסחרי; פרסום.
דוח אמצע סמסטר אביב תשס"ב 2002 שם הפרויקט :סביבת בדיקה ל PCIX PCIX environment מנחה : איתי אדר מגישים : שמיל ניסימוב גוילי יואב הטכניון.
מצגת סוף סמסטר מנחה: ד"ר גבי נקבלי מגיש: ויקטור מרגוליס
מספרים אקראיים ניתן לייצר מספרים אקראיים ע"י הפונקציה int rand(void);
מבוא למדעי המחשב סיבוכיות.
שימוש בעכבר אופטי לניווט של רובוט מנחה: רן זסלבסקי עמית בוכריס
השוואה בין אלגוריתמים של ניווט רובוט דרך מכשולים
הנעה חשמלית.
NG Interpolation: Divided Differences
Presentation transcript:

מגישים : רן ינאי שרון אלעד מנחה : ד " ר הקטור רוטשטיין סמסטר קיץ תשס ” ב הטכניון - מכון טכנולוגי לישראל הפקולטה להנדסת חשמל המעבדה לבקרה ורובוטיקה

תוכן  מטרת הפרויקט  מוטיבציה לביצוע הפרוייקט  מדידות ואפיון רעש המגנטומטר  אודומטריה  בניית הסימולטור  Kalman Filter  מסקנות

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

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

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

מדידות ואפיון רעש המגנטומטר - המשך Minute: Hour: רעש לבן במדידות לאורך דקה מגמה אקספוננציאלית במדידות לאורך שעה

אודומטריה נתוני התנועה מהרובוט ניתנים ע " י : θ L - נתוני סיבוב גלגל שמאלי θ R - נתוני סיבוב גלגל ימני כאשר : * כדי לחשב את θ L ואת θ R, בכל שלב מחשבים את d או ΔΨ. ΔΨ d b R left right θ R = 2d + ΔΨ *b, θ L = 2d - ΔΨ *b 2 R 2 R d = ( θ R + θ L ) R, ΔΨ = ( θ R - θ L ) R 2 b

בניית הסימולטור - כללי עבודת הסימולטור, בהינתן מסלול הרובוט בחדר נתון וזמן דגימה מהמשתמש : 1. שרטוט המסלול המבוקש. 2. יצירת מטריצה המחזיקה בכל שורה את נתוני האודומטריה עבור פרק הזמן המבוקש (בהתחשב בהאצה, תאוטה וכו'...). 3. שחזור המסלול המקורי בהנתן מטריצת האודומטריה עם אפשרות להוסיף רעש לשחזור, ובכך לדמות פעולת הרובוט. 4. יצירת שדה מגנטי לכל נקודת דגימה (המתקבלת מהשחזור הנ"ל) עם אפשרות להוסיף רעש למדידות. 5. שימוש באלגוריתם KALMAN FILTER בכדי לנסות לתקן את שגיאות הרובוט ושגיאות המגנטומטר.

בניית הסימולטור – חישוב התנועה בהינתן תאוצת הרובוט - a ומהירותו המקסימלית v max : v = ∫a dt s = ∫v dt = ½at² בכדי לחשב את d (מרחק) ואת ΔΨ (זווית הסיבוב) בכל פרק זמן : זמן הגעה עד מהירות מקסימלית: t max = v max /a המרחק שהרובוט עובר עד שהגיע ל- t max : s max = ½v max ²/a הזמן והמרחק הנ"ל זהים עבור תאוצה ותאוטה (t accelerate =t decleration). המרחק שעובר הרובוט ב-v max : s sat = s total -2s max = s total - v max ²/a

בניית הסימולטור - חישוב התנועה- המשך ניתן לחלק לשתיים את תנועת הרובוט : 1. תנועה בקו ישר. 2. תנועה סיבובית במקום. התנועה בקו ישר: מתחלקת ל-2 מקרים: א. זמן התנועה מספיק ארוך כך שתתחלק לתאוצה,תנועה במהירות קבועה ותאוטה ב. זמן התנועה קצר ולכן הרובוט רק מאיץ ומאט v t t max S sat זמן ל - S max זמן ל - תאוצה תאוטה

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

בניית הסימולטור – השדה המגנטי לאחר שחזור המיקום באמצעות נתוני האודומטריה, מוגדר שדה מגנטי בכל נקודת דגימה. מטריצת המעבר מהשדה בחדר לשדה הנמדד על ידי הרובוט: H_robot_x H_robot_y H_robot_z cos ψ sin ψ 0 -sin ψ cos ψ H_world_x H_world_y H_world_z = * המרת מערכות צירים

Kalman Filter - הקדמה בשנת 1960 פרסם R.E.Kalman את תוצאות מחקרו בנושא סינון רעשים. מטרת המסנן הנה להעריך את מצב המערכת המכילה רעשים שונים ולתקן את הערכים השגויים בצורה רקורסיבית. בהינתן הערכה על התנהגות המערכת ונתוני המדידות, ניתן לבצע שיערוך של הנתונים. גודל השערוך תלוי ב הערכת כמות הרעש במערכת. predict correct

Kalman Filter - מימוש x k = x k ’ + Δx k x k x k’ Δx k y k = y k ’ + Δy k => χ = y k χ’ = y k’ Δχ = Δy k Ψ k = Ψ k ’ + Δ Ψ k Ψ k, Ψ k’, Δ Ψ k Q - הערכה לקווריאנס של רעש התהליך (Δθ L, Δθ R ) P - הערכה לקווריאנס של שגיאת מדידת המקום ( Δχ) - מתוקן כל צעד R - הערכה לקווריאנס של רעש המגנטומטר Z – הפרש בין השדה המגנטי המדוד לשדה הניתן מחישובי הרובוט True values Computed values Errors

Kalman Filter – דוגמא *distance between original and kalman is : cm *distance between original and computed is : cm

מסקנות Kalman Filter יעיל מאוד בשיפור תנועת הרובוט. באמצעות הפרמטרים R ו -Q אנו שולטים במידת ההערכה לרעש הן במגנטומטר והן במדידות הרובוט : o ככל שמגדילים את R מעריכים רעש גדול יותר במגנטומטר. o ככל שמגדילים את Q מעריכים שגיאות גדולות יותר במדידות הרובוט. # בכדי להגיע לאופטימום עלינו לבצע כוונון עדין בין שני הפרמטרים.

המרה ממערכת החדר הרובוט המרה ממערכת החדר למערכת הרובוט y world ψ ψ k kxkx kyky lxlx lyly x world y robot x robot חזור