By Irina Polansky Deriving Mechanism Singularity Positions through the Graph Theory Duality Principle The Iby and Aladar Fleischman Faculty of Engineering.

Slides:



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

New entity in statics – “Face Force” Developing new engineering concept through graph representations.
1 Trees CLRS: chapter A hierarchical combinatorial structure הגדרה רקורסיבית: 1. צומת בודד. זהו גם שורש העץ. 2. אם n הוא צומת ו T 1 ….T K הינם עצים,
מבוסס על הרצאות של יורם זינגר, האוניברסיטה העברית י"ם
מה קורה בתא הפוסט - סינפטי עקב הפעלת סינפסה כימית ?
גרף מכוון Directed Graph a b c f g ed h צמתים חוג עצמי קשתות.
צורה נורמלית של גרייבך הפקולטה למדעי המחשב אוטומטים ושפות פורמליות ( ) תרגיל מספר 11.
פונקציונל פונקציה מספר פונקציונל דוגמאות לא פונקציונל פונקציונל.
Recitation #9. Q1 גרף מכוון מורכב מקבוצה של צמתים (nodes) ומקשתות מכוונות (arcs) המחברות ביניהם. כל קשת מכוונת יוצאת מצומת אחד ונכנסת לצומת אחר. ( בגרפים.
מתמטיקה בדידה תרגול 3.
איפיון השיזור הקוונטי של מצבים טהורים הרצאה למבחן מאסטר ישי שמעוני.
רקורסיות נושאי השיעור פתרון משוואות רקורסיביות שיטת ההצבה
אביב תשס " ה JCT תיכון תוכנה ד " ר ר ' גלנט / י ' לויאןכל הזכויות שמורות 1 פרק 10 Packages.
מסדי נתונים תשס " ג 1 תכנון סכמות (Design Theory) מסדי נתונים.
חורף - תשס " ג DBMS, Design1 שימור תלויות אינטואיציה : כל תלות פונקציונלית שהתקיימה בסכמה המקורית מתקיימת גם בסכמה המפורקת. מטרה : כאשר מעדכנים.
R. Bar-Yehuda © 1 Graph theory – תורת הגרפים 2.4 Directed Trees – עצים מכוונים מבוסס על הספר : S. Even, "Graph Algorithms",
Na+ P-. הפוטנציאל האלקטרוכימי אנרגיה חופשית ל - 1 mole חומר. מרכיב חשמלי מרכיב כימי מרכיבי הפוטנציאל האלקטרוכימי של חומר X: המרכיב הכימי : RTlnC x R –
R. Bar-Yehuda © 1 קומבינטוריקה למדעי - המחשב – הרצאה #14 Graph theory – תורת הגרפים Chapter 1: PATHS IN GRAPHS – 1. מסלולים.
רקורסיות נושאי השיעור מהן רקורסיות פתרון רקורסיות : שיטת ההצבה שיטת איטרציות שיטת המסטר 14 יוני יוני יוני 1514 יוני יוני יוני 1514.
אוטומט מחסנית הפקולטה למדעי המחשב אוטומטים ושפות פורמליות ( ) תרגיל מספר 11.
חורף - תשס " ג DBMS, צורות נורמליות 1 צורה נורמלית שלישית - 3NF הגדרה : תהי R סכמה רלציונית ותהי F קבוצת תלויות פונקציונליות מעל R. R היא ב -3NF.
היום נדבר אל נושא אחד בתורת הגרפים. ובהמשך נשתמש בכלים אלו לפתרון כמה בעיות גאומטריות ובפרט להוכחת Szemeredi Trotter theorem.
1 Trees CLRS: chapter A hierarchical combinatorial structure הגדרה רקורסיבית: 1. צומת בודד. זהו גם שורש העץ. 2. אם n הוא צומת ו T 1 ….T K הינם עצים,
הכלה ושקילות בין ביטויי XPath. הביטויים מכילים את האופרטורים הבאים [ ] פיצול // צאצא – קו כפול * - ג'וקר תווית דוגמה a[a][*//b] עבור כל ביטוי P ישנו עץ.
1 Formal Specifications for Complex Systems (236368) Tutorial #5 Refinement in Z: data refinement; operations refinement; their combinations.
בהסתברות לפחות למצא בעיה במודל PAC עבור בהסתברות ε הפונקציה f טועה מודל ONLINE 1. אחרי כל טעות הפונקציה משתפרת 2. מספר הטעיות קטן.
מדידת תנועת קרום כדור הארץ בשיטות שונות טקטוניקה - תרגול 6.
מרצה: פרופסור דורון פלד
מסדי נתונים תשס " ג 1 תכנון סכמות – אלגוריתם פירוק לתבניות בצורת BCNF מסדי נתונים.
תורת היחסות 100 שנים למהפכה.
Formal Specifications for Complex Systems (236368) Tutorial #6 appendix Statecharts vs. Raphsody 7 (theory vs. practice)
תורת הקבוצות חלק ב'. קבוצה בת מניה הגדרה: קבוצה אינסופית X היא ניתנת למניה אם יש התאמה חד-חד ערכית בין X לבין .
תכנות תרגול 6 שבוע : תרגיל שורש של מספר מחושב לפי הסדרה הבאה : root 0 = 1 root n = root n-1 + a / root n-1 2 כאשר האיבר ה n של הסדרה הוא קירוב.
1 Formal Specifications for Complex Systems (236368) Tutorial #1 Course site : T.A. :Emilia Katz.
תזכורת: גרפים גרף (G=(V,E V|=n, |E|=m| מכוון \ לא מכוון דרגה של קדקד
מודל ONLINE לומדמורה 1. כל ניתן לחישוב בזמן פולינומיאלי 2. אחרי מספר פולינומיאלי של טעיות ( ) הלומד לא טועה ז"א שווה ל- Littlestone 1988.
סוכנים ונמלים A(ge)nts אלגוריתמים מבוזרים לחקירת הרשת מאמרים : A Distributed Ant Algorithm for Efficiently Patrolling a Network A Distributed Ant Algorithm.
IN מעגל חשמלי אנלוגי לדנדריט הפוסט-סינפטי: מה קורה בתא הפוסט סינפטי עקב הפעלת סינפסה כימית ?
ערכים עצמיים בשיטות נומריות. משוואה אופינית X מציין וקטור עצמי מציינת ערך עצמי תואם לוקטור.
הקיבול איננו תלוי במטען ובפוטנציאל
נובמבר קיפאון Deadlock. נובמבר עמוד נושאים בעית הקיפאון –דוגמא –תנאים לקיפאון טיפול בקיפאון –מניעה, זיהוי,התחמקות –אלגוריתמים למניעה והתחמקות.
שאלה 1 נתון כביש ישר עם תחנות דלק בנקודות , בנקודת המוצא נתונה מכונית עם תא דלק שמספיק ל-100 ק"מ. מחיר מילוי תא הדלק בתחנה.
הפקולטה למדעי המחשב אוטומטים ושפות פורמליות (236353)
Data Structures, CS, TAU, Perfect Hashing 1 Perfect Hashing בעיה : נתונה קבוצה S של n מפתחות מתחום U השוואה ל - Hash : * טבלה קבועה (Hash רגיל - דינאמי.
גרפים - Graphs גרף G(V,E) מורכב מקבוצת צמתים V וקבוצת קשתות E.
1 Data Structures, CS, TAU, Perfect Hashing בעיה: נתונה קבוצה S של n מפתחות מתחום U השוואה ל- Hash : * טבלה קבועה (Hash רגיל - דינאמי) * רוצים זמן קבוע.
משטר דינמי – © Dima Elenbogen :14. הגדרת cd ו -pd cd - הזמן שעובר בין הרגע שראשון אותות הכניסה יוצא מתחום לוגי עד אשר אות המוצא יוצא מתחום.
תזכורת : אלגברה ליניארית מסקנה קלט : וקטורים פלט : האם u תלוי ליניארית ב קלט : מערכת של n משואות לינאריות ב -m נעלמים. פלט : פתרון, או שאין כזה. אלגוריתם.
מודל הלמידה מדוגמאות Learning from Examples קלט: אוסף של דוגמאות פלט: קונסיסטנטי עם פונקציה f ב- C ז"א קונסיסטנטי עם S ז"א מודל הלמידה מדוגמאות Learning.
עקרון ההכלה וההדחה.
יחס סדר חלקי.
מבוא למדעי המחשב תרגול 3 שעת קבלה : יום שני 11:00-12:00 דוא " ל :
Markov Decision Processes (MDP) תומר באום Based on ch. 14 in “Probabilistic Robotics” By Thrun et al. ב"הב"ה.
הפקולטה להנדסה ע"ש איבי ואלדר פליישמן THE IBY AND ALADAR FLEISCHMAN FACULTY OF ENGINEERING בית הספר להנדסה מכאנית DEPARTMENT OF SOLID MECHANICS, MATERIALS.
Lecture 13 Maximal Accurate Forests From Distance Matrix.
(C) סיון טל גילוי מידע וזיהוי תבניות תרגול מס. 9 גילוי מידע וזיהוי תבניות תרגול מס. 9 דחיסת נתונים מהו קידוד תכונות של קידודים אי - שוויון קרפט.
1 Space Complexity Non-Deterministic Space אליעזר מדבד
Transforming Knowledge to Structures from Other Engineering Fields by Means of Graph Representations. Dr. Offer Shai and Daniel Rubin Department of Mechanics,
השדה המגנטי קובץ זה נועד אך ורק לשימושם האישי של מורי הפיזיקה ולהוראה בכיתותיהם. אין לעשות שימוש כלשהו בקובץ זה לכל מטרה אחרת ובכלל זה שימוש מסחרי; פרסום.
Practice session 3 תחביר ממשי ( קונקרטי ) ותחביר מופשט ( אבסטרקטי ) שיטות חישוב : Applicative & Normal Evaluation Partial Evaluation.
Practice session 3.  תחביר ממשי ( קונקרטי ) ותחביר מופשט ( אבסטרקטי )  שיטות חישוב : Applicative & Normal Evaluation.
מספרים אקראיים ניתן לייצר מספרים אקראיים ע"י הפונקציה int rand(void);
Presentation prepared by Rakefet Menda
טרנזיסטור כמתג דו מצבי ממסר - RELAY הפעלה רציפה , PWM
פרוקטוז, C6H12O6 , חד-סוכר מיוחד
ממשקים - interfaces איך לאפשר "הורשה מרובה".
בעיות נוספות ב-NPC.
Marina Kogan Sadetsky –
אלגוריתם שינוי צורה למתקני טנזגריטי
למה רמת פרמי צריכה להיות קבועה בחומר שנמצא בשווי משקל?
Presentation transcript:

By Irina Polansky Deriving Mechanism Singularity Positions through the Graph Theory Duality Principle The Iby and Aladar Fleischman Faculty of Engineering Department of Solid Mechanics, Materials and Systems Supervisor: Dr. Offer Shai

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

w in w out

w in w out Singularity position: A

שימושים בנקודות סינגולריות הימנעות מסינגולריות אם נדרשת תנועה רציפה הגבר מומנט או כוח שימוש בעובדה שבנקודה סינגולרית המכניזם ננעל Space-Based Synthetic Aperture Radar (SAR) 1986 Ford Mustang hatchback Balli and Chand ( ) “Synthesis of mechanism between singularity positions” Toggle pliers

A BC 1 4 a1a1 2 F E D 3 a3a3 b4b4 a4a4 a2a2 Wolfson “Mechanics of machinery” 1996 היבט אנליטי על נקודות סינגולריות במכניזם H.S. Yan “On the Dead-Center positions of Planar Linkage Mechanisms” (1989)

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

דואליות בין מסבכים למכניזמים 1 P A 2 לכל מסבך תמיד ניתן לבנות מכניזם כך שהמהירויות היחסיות של החוליות במכניזם יהיו שוות לכוחות במוטות המסבך

דואליות בין מסבכים למכניזמים 1 P A 2 I II לכל מסבך תמיד ניתן לבנות מכניזם כך שהמהירויות היחסיות של החוליות במכניזם יהיו שוות לכוחות במוטות המסבך

דואליות בין מסבכים למכניזמים 1 P A 2 לכל פאה במסבך מתאים צומת במכניזם I II

דואליות בין מסבכים למכניזמים 1 P A 2 לכל פאה במכניזם מתאים צומת במסבך I II

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

דואליות בין מסבכים למכניזמים 1 P A P ˆ i P i ˆ 2 ˆ i A

1 2 1 P A P 1 2 P 1 ˆ i P i ˆ 2 ˆ i 1 ˆ i P i ˆ 2 ˆ i

1 2 1 P A P 1 2 P 1 ˆ i P i ˆ 2 ˆ i

1 P A 2 1 P A 2 P 2 1 I II I נייצג את המסבך הדואלי כגרף זרימות זרימות בפאות בגרף מייצגות משתנה כוח נוסף – כוח בפאה נייצג את המכניזם כגרף פוטנציאלים פוטנציאלים בצמתים מייצגים את המהירויות של צמתי המכניזם

Maxwell Diagram 1 P A 2 I 0 II I 0 בבואת המהירות דיאגרמת הכוחות

Maxwell Diagram 1 P A 2

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

דואליות בין מסבכים למכניזמים G G* (מסבך) (מכניזם) זרימות (כוחות) הפרשי הפוטנציאלים (מהירויות יחסיות) זרימות (כוחות) הפרשי הפוטנציאלים (תזוזות יחסיות) כוחות במסבך = מהירויות יחסיות במכניזם מתי יש כוחות במכניזם? לפי כלל הדואליות: פוטנציאלים בגרף מקורי – זרימות בגרף דואלי תזוזות במסבך – כוחות במכניזם ? יש כוחות במכניזם כאשר המכניזם נמצא במצב סינגולרי

דואליות בין מסבכים למכניזמים 1 P A 2 1 P A 2 P 2 1 נייצג את המסבך כגרף פוטנציאלים פוטנציאלים בצמתים מייצגים את תזוזות של צמתי המסבך A'A'

דואליות בין מסבכים למכניזמים 1 P A 2 1 P A 2 P 2 1 נייצג את המסבך כגרף פוטנציאלים פוטנציאלים בצמתים מייצגים את תזוזות של צמתי המסבך A'A' F 1 = F 2 = π A P

P L A B L D -PL C שיטת הקורה המצומדת

מכניזם תקוע I II מכניזם 2 1 P 2 1 II I גרף 1 A 2 P P 2 1 II I גרף דואלי 1 P A 2 מסבך דואליתזוזות במסבך דואלי 1 P A 2 A'A' I II 2 1 תיאור השיטה 1 A 2 P

דוגמא להפעלת השיטה ABC A B C A B C

A B C A B C A' B' C' A B C A π  B π  C π  A π  B π  C π 

A π  דוגמא להפעלת השיטה A' B' C' A π  B π  C π  A B C A π  B π  C π  1 3 A π  B π  A B C

דוגמא להפעלת השיטה A B C

A B C A B C A' B' C'  F  F  F  

דוגמא להפעלת השיטה H.S. Yan “On the Dead-Center positions of Planar Linkage Mechanisms (1989) A B C

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

A v  B v  C v  D v  0 v  A B C f  A f  C f  D f  A B C D B f  Another force variable – face force  f  B f  D f A f  C f  בבואת המהירות דיאגרמת הכוחות

0 A f  C f  D f  f  B f  A B C New force variable – face force  f  B f  D f A f  C f 

0 A f  C f  D f  f  B f  A B C

f1f1 f2f2 f3f Face force in mechanism 0 f  1 f  3 f  f  1, 2, 3 3, 4, 5 2, 5, 6 1, 4, 6

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