Quaternions and Rotations ב"ה תומר באום. Quaternion Group חבורה שמכילה 8 איברים: 1,-1,i,j,k ו –i,-j,-k כך ש: i*j=k, j*i=-k j*k=i, k*j=-i k*i=j, i*k=-j.

Slides:



Advertisements
Similar presentations
1 Formal Specifications for Complex Systems (236368) Tutorial #4 Refinement in Z: data refinement; operations refinement; their combinations.
Advertisements

צורה נורמלית של גרייבך הפקולטה למדעי המחשב אוטומטים ושפות פורמליות ( ) תרגיל מספר 11.
אלכסנדר ברנגולץ מסננים דו-ממדים מסננים דו-ממדים קונוולוציה גרפית קונוולוציה גרפית קונוולוציה בשני ממדים ( כולל גרפית ) קונוולוציה בשני ממדים ( כולל גרפית.
מתמטיקה בדידה תרגול 3.
אינטרפולציה רועי יצחק.
רקורסיות נושאי השיעור פתרון משוואות רקורסיביות שיטת ההצבה
חשבון דיפרנציאלי ואינטגרלי א' (חדו"א)
משטר דינמי המשך – © 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.
Inverse kinematics (Craig ch.4) ב"ה. Pieper’s solution נתבונן ברובוט עם 6 מפרקי סיבוב כאשר שלושת הצירים של המפרקים האחרונים נחתכים. נקודת החיתוך נתונה.
חורף - תשס " ג DBMS, Design1 שימור תלויות אינטואיציה : כל תלות פונקציונלית שהתקיימה בסכמה המקורית מתקיימת גם בסכמה המפורקת. מטרה : כאשר מעדכנים.
עבודה סמינריונית Prelude to Ukkonen algorithm ON-LINE CONSTRUCTION OF SUFFIX TREES מגישים : עיד מוחמד טיבי פיראס.
The Solar Wind And its consequences. dx dA משוואות בסיסיות בהידרו דינמיקה הכח הפועל כתוצאה מגרדיאנט בלחץ על אלמנט מסה - dm.
אוטומט מחסנית הפקולטה למדעי המחשב אוטומטים ושפות פורמליות ( ) תרגיל מספר 11.
אינטרפולציה רועי יצחק.
היום נדבר אל נושא אחד בתורת הגרפים. ובהמשך נשתמש בכלים אלו לפתרון כמה בעיות גאומטריות ובפרט להוכחת Szemeredi Trotter theorem.
1 Formal Specifications for Complex Systems (236368) Tutorial #5 Refinement in Z: data refinement; operations refinement; their combinations.
משפט ההרכבה Composition Theorem תהי C מחלקה של פונקציות בוליניות תהי נגדיר סדרת פונקציות שניתנות לחישוב בזמן פולינומיאלי.
בהסתברות לפחות למצא בעיה במודל PAC עבור בהסתברות ε הפונקציה f טועה מודל ONLINE 1. אחרי כל טעות הפונקציה משתפרת 2. מספר הטעיות קטן.
תנועות עיניים המטרה ? לשמור או להביא את ה -fovea ל אובייקט מה מיוחד ב Fovea?  ה - fovea מהווה 1 מ " מ מהרשתית (~ מעל ה מהעולם הראייתי ).  ב -fovea מרוכזים.
סמינר במדעי המחשב 3 עודד פרץ משפט הנורמליזציה החזקה.
מרצה: פרופסור דורון פלד
עיבוד תמונות ואותות במחשב אלכסנדר ברנגולץ דואר אלקטרוני : שיטות קידוד שיטות קידוד אורך מלת קוד ואנטרופיה אורך מלת קוד ואנטרופיה קידוד.
א " ב, מילים, ושפות הפקולטה למדעי המחשב אוטומטים ושפות פורמליות ( ) תרגיל מספר 1.
אלגברה ליניארית 1.
מגישים: אנדרי זמנסקי יבגני שיפמן מנחה: ד"ר גבי דוידוב עקיבה אחרי ארבע מטרות תוך כדי מיון אוטומטי בשיטת קורלציה ו - JPDAF.
תורת הקבוצות חלק ב'. קבוצה בת מניה הגדרה: קבוצה אינסופית X היא ניתנת למניה אם יש התאמה חד-חד ערכית בין X לבין .
אתחולים ובנאים יצירת מופע חדש של עצם כוללת : הקצאת זכרון, אתחול, הפעלת בנאים והשמה לשדות במסגרת ריצת הבנאי נקראים גם הבנאי / ים של מחלקת הבסיס תהליך זה.
Tangent Bug יישום תומר באום Based on ch. 2 in “Principles of robot motion” By Choset et al. ב"הב"ה.
Hunting A Cooperative Hunting Behavior by Mobile-robot Troops (by Hiroaki Yamaguchy) מוגש ע " י רועי ואורן.
תחשיב הפסוקים חלק ג'. צורות נורמליות א. DF – Disjunctive Form – סכום של מכפלות. דוגמא: (P  ~Q  R)  (R  P)  (R  ~Q  ~P) הגדרה: נוסחה השקולה לנוסחה.
מודל ONLINE לומדמורה 1. כל ניתן לחישוב בזמן פולינומיאלי 2. אחרי מספר פולינומיאלי של טעיות ( ) הלומד לא טועה ז"א שווה ל- Littlestone 1988.
Matrices and Arrays sum, transpose, and diag By Sagi Berglas.
Motion planning via potential fields תומר באום Based on ch. 4 in “Principles of robot motion” By Choset et al. ב"הב"ה.
ערכים עצמיים בשיטות נומריות. משוואה אופינית X מציין וקטור עצמי מציינת ערך עצמי תואם לוקטור.
הקיבול איננו תלוי במטען ובפוטנציאל
Kalman Filter תומר באום Based on ch. 8 in “Principles of robot motion” By Choset et al. ב"הב"ה.
הפקולטה למדעי המחשב אוטומטים ושפות פורמליות (236353)
The Cyclic Multi-peg Tower of Hanoi מעגלי חד-כווני סבוכיות הפתרון בגרסאות עם יותר מ-3 עמודים.
Ray 7 דוגמא אלגוריתם 1.קבל דוגמאות 2. פלט f a עבור הדוגמה a המינימלית החיובית ?
תחשיב הפסוקים חלק ד'. תורת ההיסק של תחשיב הפסוקים.
עיבוד תמונות ואותות במחשב תרגול 9: טורי פורייה 1/39 עיבוד תמונות ואותות בעזרת מחשב תרגול מס' 9: טורי פורייה.
R. Bar-Yehuda © 1 קומבינטוריקה למדעי - המחשב – הרצאה #16 EULER GRAPHS גרפים אויילרים מבוסס על הספר : S. Even, "Graph Algorithms",
משטר דינמי – © Dima Elenbogen :14. הגדרת cd ו -pd cd - הזמן שעובר בין הרגע שראשון אותות הכניסה יוצא מתחום לוגי עד אשר אות המוצא יוצא מתחום.
תזכורת : אלגברה ליניארית מסקנה קלט : וקטורים פלט : האם u תלוי ליניארית ב קלט : מערכת של n משואות לינאריות ב -m נעלמים. פלט : פתרון, או שאין כזה. אלגוריתם.
מרחב הפאזה פרקים בתנודות וגלים לא ליניאריים פרופ' לזר פרידלנד
מודל הלמידה מדוגמאות Learning from Examples קלט: אוסף של דוגמאות פלט: קונסיסטנטי עם פונקציה f ב- C ז"א קונסיסטנטי עם S ז"א מודל הלמידה מדוגמאות Learning.
עקרון ההכלה וההדחה.
יחס סדר חלקי.
תחשיב היחסים (הפרדיקטים)
Markov Decision Processes (MDP) תומר באום Based on ch. 14 in “Probabilistic Robotics” By Thrun et al. ב"הב"ה.
מודל הלמידה מדוגמאות Learning from Examples קלט: אוסף של דוגמאות פלט: קונסיסטנטי עם פונקציה f ב- C ז"א קונסיסטנטי עם S ז"א.
מבוא מורחב למדעי המחשב בשפת Scheme תרגול 10. אג'נדה שאלות מבחינות חזרה על מימוש stream אפשרי 2.
גיאולוגיה סטרוקטורלית מעגלי מוהר למעוות סופי (המשך...)
Particle Filter תומר באום ב"ה. מוטיבציה אנו רוצים להעריך מצב של מערכת (מיקום,מהירות טמפרטורה וכו') בעזרת מדידות שנעשות בזמנים שונים. ( כמו טווח לנקודות.
מתמטיקה בדידה תרגול 2.
מבנה מחשבים תרגול מספר 3. טענה על עצים משפט: בעץ שדרגת כל קודקודיו חסומה ב-3, מספר העלים ≤ מספר הקודקודים הפנימיים + 2. הוכחה: באינדוקציה על n, מספר הקודקודים.
1 גילוי מידע וזיהוי תבניות תרגול מס. 3 התפלגות נורמלית רב - מימדית Kullback-Leibler Divergence - משפט קמירות - נגזרת שנייה משפט Log sum inequality משפט.
אתחול עצמים. אתחולים ובנאים יצירת מופע חדש של עצם כוללת: הקצאת זכרון, אתחול, הפעלת בנאים והשמה לשדות במסגרת ריצת הבנאי נקראים גם הבנאי/ם של מחלקת הבסיס.
סדרי גודל ביקום מוסטפה עספור.
מספרים אקראיים ניתן לייצר מספרים אקראיים ע"י הפונקציה int rand(void);
Object Oriented Programming
Object Oriented Programming
Object Oriented Programming
ממשקים - interfaces איך לאפשר "הורשה מרובה".
Floating Point Representations: Accuracy and Stability
שיטות נומריות בהנדסה בסמסטר ב' תשס"ט ניתן הקורס "שיטות נומריות בהנדסה" שהוא קורס חובה במסגרת המחלקה להנדסת מכונות לסטודנטים בשנה ב'. קורס זה.
תוכנה 1 תרגול 13 – סיכום.
CAD Computer aided design.
NG Interpolation: Divided Differences
I ;J\;J\ _\_\ -
Presentation transcript:

Quaternions and Rotations ב"ה תומר באום

Quaternion Group חבורה שמכילה 8 איברים: 1,-1,i,j,k ו –i,-j,-k כך ש: i*j=k, j*i=-k j*k=i, k*j=-i k*i=j, i*k=-j i*i=j*j=k*k=-1

האלגברה של הקווטרניונים נקרא לצירוף הלינארי הבא קווטרניון Q=s+ai+bj+ck=[s+v] ניתן לרישום גם כ: Q=(s,a,b,c) אוסף הצירופים מהצורה הזו כאשר a,b,c,s ממשיים נקרא האלגברה של הקווטרניונים.

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

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

דוגמא: סיבוב סביב ציר X ב90 מעלות ואח"כ סביב ציר Z ב 90 מעלות:

נוסחת רודריגז סיבוב של וקטור v סביב לוקטור יחידה u בזווית נגד כיוון השעון:

נגדיר: ו: הוכחה:

המשך: הווקטורים הבאים מהווים בסיס ל נתבונן על מערכת קואורדינטות שהצירים שלה הם W אנחנו בעצם מסובבים סביב ציר Z של המערכת הנ"ל

reference Robotics: control, sensing, vision, and intelligence, KS Fu, RC Gonzalez, CSG Lee Introduction to robotics: mechanics and control, JJ Craig Wikipedia