סמינר ברובוטיקה רב סוכנית THE DYNAMICS OF COLLECTIVE SORTING ROBOT-LIKE ANTS AND ANTS-LIKE ROBOTS ROBOT-LIKE ANTS AND ANTS-LIKE ROBOTS J.L. Deneubourg,

Slides:



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

בתרגול הקודם הורשה: –ניתן להרחיב רק מחלקה אחת –כל מה שלא private – עובר בהורשה –המילה השמורה super –יצירת היררכיה –Object היא שורש ההיררכיה –דריסה אופרטור.
1 Formal Specifications for Complex Systems (236368) Tutorial #4 Refinement in Z: data refinement; operations refinement; their combinations.
חיפוש בינה מלאכותית אבי רוזנפלד. סוגי חיפוש כלליים UNINFORMED SEARCH -- חיפושים לא מיודעים במרחי מצבים – BFS – DFS INFORMED SEARCH – חיפושים מיודעים –
Present Progressive Present Progressive הווה עכשווי / ממושך.
(Paradigm=Example) Artist unknown A group of scientists placed 5 monkeys in a cage and in the middle, a ladder with bananas on the top. קבוצת מדענים.
Associative memory and the medial temporal lobes Andrew Mayes, Daniela Montaldi and Ellen Mig,
מטרות בבניית התנורמטרות בבניית התנור שהתנור יהיה כמה שיותר קרוב לעיגול, אך שיהיה נוח לבנות אותו. לא נאבד את החום בפינות התנור לא לאבד חום בדפנות התנור.
תכנות מונחה עצמים Object Oriented Programming (OOP) אתגר מחזור ב'
רקורסיות נושאי השיעור פתרון משוואות רקורסיביות שיטת ההצבה
חורף - תשס " ג DBMS, Design1 שימור תלויות אינטואיציה : כל תלות פונקציונלית שהתקיימה בסכמה המקורית מתקיימת גם בסכמה המפורקת. מטרה : כאשר מעדכנים.
תרגול 5 רקורסיות. רקורסיה קריאה של פונקציה לעצמה –באופן ישיר או באופן עקיף היתרון : תכנות של דברים מסובכים נעשה ברור ונוח יותר, מכיוון שזו למעשה צורת.
Na+ P-. הפוטנציאל האלקטרוכימי אנרגיה חופשית ל - 1 mole חומר. מרכיב חשמלי מרכיב כימי מרכיבי הפוטנציאל האלקטרוכימי של חומר X: המרכיב הכימי : RTlnC x R –
שאלות חזרה לבחינה. שאלה דיסקים אופטיים מסוג WORM (write-once-read-many) משמשים חברות לצורך איחסון כמויות גדולות של מידע באופן קבוע ומבלי שניתן לשנותו.
Tutorial #7 Preventing combinatorial loops – © Yohai Devir 2007 © Dima Elenbogen 2009 Technion - IIT.
חורף - תשס " ג 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.
A. Frank File Organization Pile File Measures. 2 A. Frank Steps in analysis of file organization בהערכת מבנה קובץ, נתייחס ל - 6 שלבים / צעדים : 1. תאור.
ממשק המשתמש שימושיות או בעצם תכליפאניות?. ISO9241 Web usability is the extent to which a web site enables users, in a given context of use, to achieve.
משטר סטטי שערים לוגיים Wired Drives – © Dima Elenbogen 2009, Moshe Malka :29.
Formal Specifications for Complex Systems (236368) Tutorial #6 appendix Statecharts vs. Raphsody 7 (theory vs. practice)
תכנות תרגול 6 שבוע : תרגיל שורש של מספר מחושב לפי הסדרה הבאה : root 0 = 1 root n = root n-1 + a / root n-1 2 כאשר האיבר ה n של הסדרה הוא קירוב.
1 חישוב ואופטימיזציה של שאילתות חלק 2 Query Evaluation and Optimization Part 2.
Hunting A Cooperative Hunting Behavior by Mobile-robot Troops (by Hiroaki Yamaguchy) מוגש ע " י רועי ואורן.
Questions are the Answer Penick&all H ISTORY R ELATIOINSHIPS A PPLICATION S PECULATION E XPLANATION.
הרחבות המודל הבסיסי של היצע העבודה ד"ר אנליה שלוסר.
Tutorial #7 Preventing combinatorial loops – © Yohai Devir 2007 © Dima Elenbogen 2009 Technion - IIT.
ערכים עצמיים בשיטות נומריות. משוואה אופינית X מציין וקטור עצמי מציינת ערך עצמי תואם לוקטור.
מבני בקרה לולאות. שאלה #1 שאלה ב' – תכתוב תוכנה הכותבת את תפריט הבאה Type 1 to find the area of a circle Type 2 to find the circumference of a circle.
הקיבול איננו תלוי במטען ובפוטנציאל
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 - הזמן שעובר בין הרגע שראשון אותות הכניסה יוצא מתחום לוגי עד אשר אות המוצא יוצא מתחום.
מערכים עד היום כדי לייצג 20 סטודנטים נאלצנו להגדיר עד היום כדי לייצג 20 סטודנטים נאלצנו להגדיר int grade1, grade2, …, grade20; int grade1, grade2, …, grade20;
מודל הלמידה מדוגמאות Learning from Examples קלט: אוסף של דוגמאות פלט: קונסיסטנטי עם פונקציה f ב- C ז"א קונסיסטנטי עם S ז"א מודל הלמידה מדוגמאות Learning.
עקרון ההכלה וההדחה.
יחס סדר חלקי.
– © Yohai Devir 2007 © Dima Elenbogen 2009 Technion - IIT Tutorial #7 Preventing combinatorial loops.
תכנות מונחה עצמים Object Oriented Programming (OOP) אתגר מחזור ב' Templates תבניות.
Markov Decision Processes (MDP) תומר באום Based on ch. 14 in “Probabilistic Robotics” By Thrun et al. ב"הב"ה.
A. Frank File Organization Introduction to Pile File.
1 מבוא למדעי המחשב סיבוכיות. 2 סיבוכיות - מוטיבציה סידרת פיבונאצ'י: long fibonacci (int n) { if (n == 1 || n == 2) return 1; else return (fibonacci(n-1)
Safari On-line books. מה זה ספארי ספארי זו ספריה וירטואלית בנושא מחשבים היא כוללת יותר מ כותרים כל הספרים הם בטקסט מלא ניתן לחפש ספר בנושא מסוים.
בקרה תומר באום ב"הב"ה. סוגי בקרה חוג פתוח Open-loop control : אנו מכוונים את הרובוט למצב הבא שהוא אמור להיות בו לפי מודל מסוים, כמו שעשינו בקינמטיקה הפוכה.
- אמיר רובינשטיין מיונים - Sorting משפט : חסם תחתון על מיון ( המבוסס על השוואות בלבד ) של n מפתחות הינו Ω(nlogn) במקרה הגרוע ובממוצע. ניתן לפעמים.
1 מבוא למדעי המחשב רקורסיה. 2 רקורסיה היא שיטה לפתרון בעיות המבוססת על העיקרון העומד ביסוד אינדוקציה מתמטית: אם ידועה הדרך לפתור בעיה עבור המקרים הבסיסיים.
מטא-מודלים Metamodels. מטא-מודל - דגשים לפתרון לקרוא את הכל – זה ארוך אבל הכל נמצא בפנים ! להסתכל על התרשימים הויזואליים ולראות מה מזהים. לקשר בין התמונה.
Kashrut is a mitzvah in the Torah and has been passed on through generations. Kashrut is a chok. this means that we don’t know why we do it but we.
פיתוח מערכות מידע Class diagrams Aggregation, Composition and Generalization.
תכנות אסינכרוני, תקשורת ופיתוח אפליקציות ל- Windows 8.1 ואפליקציות ל- Windows Phone 8 Control (Part II)
המחסום הברירני מבחין בין מעבר של חומרים שונים מולקולות הידרופוביות מגיעות מהר מאוד לשיווי משקל. מולקולות הידרופוביות מגיעות מהר מאוד לשיווי משקל. מולקולות.
1 חלק XQuery :IV XML Query. 2 ביבליוגרפיה - DTD 3 ביבליוגרפיה – books.xml TCP/IP Illustrated Stevens W. Addison-Wesley Advanced Programming in.
1 Formal Specifications for Complex Systems (236368) Tutorial #1 Course site:
1 ניתוח שונות: Post-hoc analysis ניתוח שונות חד-כיווני עם אפקטים קבועים: Post-hoc analysis ד"ר מרינה בוגומולוב מבוסס חלקית על ההרצאות של פרופ' יואב בנימיני.
מספרים אקראיים ניתן לייצר מספרים אקראיים ע"י הפונקציה int rand(void);
Formal Specifications for Complex Systems (236368) Tutorial #1
מבוא למדעי המחשב סיבוכיות.
Present simple הווה פשוט
SQL בסיסי – הגדרה אינדוקטיבית
עבודה עם נתונים באמצעות ADO.NET
פרוקטוז, C6H12O6 , חד-סוכר מיוחד
ממשקים - interfaces איך לאפשר "הורשה מרובה".
Marina Kogan Sadetsky –
בחירת חומר גלם כתב: עמרי שרון.
למה רמת פרמי צריכה להיות קבועה בחומר שנמצא בשווי משקל?
Shell Scripts בסביבת UNIX
שיעור עשירי: מיונים, חיפושים, וקצת סיבוכיות חישוב
Engineering Programming A
Presentation transcript:

סמינר ברובוטיקה רב סוכנית THE DYNAMICS OF COLLECTIVE SORTING ROBOT-LIKE ANTS AND ANTS-LIKE ROBOTS ROBOT-LIKE ANTS AND ANTS-LIKE ROBOTS J.L. Deneubourg, S. Goss, N. Franks, A. Sendova-Franks, C. Detrain and L. Chretin COLLECTIVE SORTING AND SEGREGATION IN ROBOTS WITH MINIMAL SENSING Chris Melhuish, Owen Holland and Steve Hoddell SORTING מבוסס על המאמרים : מגישים : אסף מבורך נועה שחם גיא מנור

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

מחסן - ידועה מ ” מפת ” המחסן - יש מנהל מחסן ופועלים - ישנה תקשורת בין הפועלים לבין עצמם. : קן נמלים - לא ידועה מ ” מפת ” הקן - אין היררכיה ניהולית - אין תקשורת בין הפועלות בנוגע למיון. : בכל זאת, מחקרים הראו שבקיני נמלים ישנו מיון של מזון, ביצים, זחלים, גלמים וכו ’ יתר על כן - אם נפרק קן נמלים, הפועלות יחזירו מיד את המצב לקדמותו.

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

מודל מונטה-קרלו מושגים: ALR – ant-like robots RLA – robot-like ants

עקרונות המודל: - ישנם 2 סוגי חפצים : מסוג A ומסוג B. 1. הרובוטים (ALRs) נעים באופן רנדומלי. 2. כאשר רובוט נתקל בחפץ, הסבירות שירים אותו, גדלה ככל שהחפץ מבודד יותר. ( כלומר, ככל שמספרם של החפצים מאותו הסוג קטן יותר, בסביבה הקרובה ). 3. כאשר רובוט נושא חפץ, הסבירות שהוא יוריד אותו, גדלה ככל שהחפץ מבודד פחות. ( יותר חפצים מאותו הסוג, בסביבה הקרובה ). הערה: כלל 2 + הורדה רנדומלית או כלל 3 + הרמה רנדומלית, מספיקים כדי לבצע " מיון ”. אבל אם ניישם את שני החוקים יחד, נגיע למטרה הרבה יותר מהר.

נשים לב ! כאשר ALR שמחזיק חפץ, מבחין בערמה קטנה, הוא פורק בה את הסחורה שלו ובכך מגביר את ה " אטרקטיביות ” של הערימה הזו, עבור ALRs אחרים. כך ממשיכה הערמה “ לגדול ” ולקלוט לתוכה חפצים מבודדים באופן יחסי. איסוף של חפצים מאזור בו נוכחות עצמים מסוג מסוים הייתה דלילה - תדלל עוד יותר את האזור. כך תעלה הסבירות שהחפצים הנותרים יאספו גם הם. כאשר ישנם מספר סוגים של חפצים, יצירת “ מקבץ ” של סוג A תגרום לבידוד החפצים מסוג B באותו אזור. התוצאה של תהליך זה היא: מיון החפצים

תאור המודל: 1. הסביבה היא רשת (Grid). 2. בזמן ALRs - t 0, חפצים מסוג A וחפצים מסוג B, מפוזרים באופן אקראי ב " רשת ". כאשר בכל משבצת יכול להיות חפץ אחד ו / או ALR אחד.

3. בכל יחידת זמן, ה -ALRs זזים באופן אקראי : - בכיוונים : צפון, דרום, מזרח ומערב. - אינם יכולים להיכנס ב " קיר ". - אינם יכולים לזוז למשבצת שיש בה ALR אחר. ( לא נדון בדרכים למימוש תנאים אלו ) 4. כאשר ALR נכנס למשבצת שיש בה חפץ, הוא " מחליט " האם להרים אותו או לא ע ” פ פונקציה הסתברותית התלויה גם בסביבת החפץ. 5. כאשר ALR הנושא חפץ נכנס למשבצת ריקה, הוא " מחליט " האם להניח אותו או לא ע ” פ פונקציה הסתברותית התלויה גם בסביבה.

חישוב ההסתברות להרמת חפץ : f – הערכה של היחס בין מספר המשבצות הקרובות שבהן יש חפצים מאותו סוג לכלל המשבצות הקרובות + k – קבוע קטן ( 0.1,0.2 …) ניתן לראות שההסתברות להרמת החפץ יורדת ככל ש - f גדול יותר. כאשר p = 1 f = 0 ( כאשר החפץ הוא יחיד מסוגו בסביבה הקרובה, בטוח נרים אותו ) כאשר + p=0 f=k כאשר f שואף ל -1 p הולך וקטן. ( כאשר יש הרבה חפצים מאותו הסוג – יש רק סיכוי קטן שנרים את החפץ ).

חישוב ההסתברות להורדת חפץ : f – הערכה של היחס בין מספר המשבצות הקרובות שבהן יש חפצים מאותו סוג לכלל המשבצות הקרובות k - – קבוע קטן. ניתן לראות שההסתברות להורדת החפץ עולה ככל ש -f גדול יותר. כאשר f = 0  p = 0 ( כאשר אין חפצים נוספים מאותו הסוג בסביבה הקרובה, בטוח שלא נוריד אותו ) כאשר f = k -  p = 0.25 כאשר f שואף ל -1  p הולך וגדל. ( כאשר יש הרבה חפצים מאותו הסוג בסביבה הקרובה – יש סיכוי גדול שנוריד את החפץ באותו המקום ). לתקן P F