The Game of Life טיפולוגית PVM. John Conway ד"ר ג'ון קונווי – פרופסור למתמטיקה סופית ((Finite Mathematics באוניברסיטת פרינסטון. ד"ר ג'ון קונווי – פרופסור.

Slides:



Advertisements
Similar presentations
כריית מידע -- Clustering
Advertisements

מבוא למדעי המחשב לתעשייה וניהול
1 Formal Specifications for Complex Systems (236368) Tutorial #4 Refinement in Z: data refinement; operations refinement; their combinations.
חיפוש בינה מלאכותית אבי רוזנפלד. סוגי חיפוש כלליים UNINFORMED SEARCH -- חיפושים לא מיודעים במרחי מצבים – BFS – DFS INFORMED SEARCH – חיפושים מיודעים –
Map-Reduce Input: a collection of scientific articles on different topics, each marked with a field of science –Mathematics, Computer Science, Biology,
פונקציונל פונקציה מספר פונקציונל דוגמאות לא פונקציונל פונקציונל.
מכונת מצבים תרגול מס' 4 Moshe Malka.
איפיון השיזור הקוונטי של מצבים טהורים הרצאה למבחן מאסטר ישי שמעוני.
תמחיר תהליך. מערכת תמחיר תהליך מערכת זו נועדה לספק מידע, כמו מערכת תמחיר הזמנה, על עלות המוצרים שיוצרו בתקופה ועל עלות המוצרים שבתהליך הייצור בסוף התקופה.
דוד שוורץ, עידן זק, נטע צור וחיה כהן. הפונקציונאליות : המשתמש יבחר קובץ שעליו הוא רוצה לבצע את האנליזה, וילחץ עליו עם כפתור ימני בעכבר. יפתח תפריט ובו.
רקורסיות נושאי השיעור פתרון משוואות רקורסיביות שיטת ההצבה
מסדי נתונים תשס " ג 1 תכנון סכמות (Design Theory) מסדי נתונים.
חורף - תשס " ג DBMS, Design1 שימור תלויות אינטואיציה : כל תלות פונקציונלית שהתקיימה בסכמה המקורית מתקיימת גם בסכמה המפורקת. מטרה : כאשר מעדכנים.
מכון ויצמן למדע - שמוליק מתוך 8 חישוב מקבילי ומבוזר מה זה יחידה חמישית במדעי המחשב... n ענף מתקדם במדעי המחשב העוסק במערכות ממוחשבות מרובות ישויות.
תרגול 5 רקורסיות. רקורסיה קריאה של פונקציה לעצמה –באופן ישיר או באופן עקיף היתרון : תכנות של דברים מסובכים נעשה ברור ונוח יותר, מכיוון שזו למעשה צורת.
Na+ P-. הפוטנציאל האלקטרוכימי אנרגיה חופשית ל - 1 mole חומר. מרכיב חשמלי מרכיב כימי מרכיבי הפוטנציאל האלקטרוכימי של חומר X: המרכיב הכימי : RTlnC x R –
שאלות חזרה לבחינה. שאלה דיסקים אופטיים מסוג WORM (write-once-read-many) משמשים חברות לצורך איחסון כמויות גדולות של מידע באופן קבוע ומבלי שניתן לשנותו.
אוטומט מחסנית הפקולטה למדעי המחשב אוטומטים ושפות פורמליות ( ) תרגיל מספר 11.
הכנת המצגת: מוטי בן ארי ומיכל סמואל המחלקה להוראת המדעים, מכון ויצמן למדע ©
חורף - תשס " ג 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 Data Structures, CS, TAU, Splay Tree Splay Tree  מימוש של עץ חיפוש בינארי  מטרה לדאוג ל- Amortized Time  פעולה בודדת יכולה לקחת O(N)  אבל כל רצף.
1 Formal Specifications for Complex Systems (236368) Tutorial #5 Refinement in Z: data refinement; operations refinement; their combinations.
בהסתברות לפחות למצא בעיה במודל PAC עבור בהסתברות ε הפונקציה f טועה מודל ONLINE 1. אחרי כל טעות הפונקציה משתפרת 2. מספר הטעיות קטן.
מרצה: פרופסור דורון פלד
מסדי נתונים תשס " ג 1 תכנון סכמות – אלגוריתם פירוק לתבניות בצורת BCNF מסדי נתונים.
שאילת שאלות שאלת חקר המפתח למנעול 1. שאילת שאלות – שאלת חקר מה ניתן לשנות ? :  בתנאים : טמפ ' או לחץ או הכלים, או הציוד  בחומרים : איכות או כמות או.
א " ב, מילים, ושפות הפקולטה למדעי המחשב אוטומטים ושפות פורמליות ( ) תרגיל מספר 1.
Formal Specifications for Complex Systems (236368) Tutorial #6 appendix Statecharts vs. Raphsody 7 (theory vs. practice)
תורת הקבוצות חלק ב'. קבוצה בת מניה הגדרה: קבוצה אינסופית X היא ניתנת למניה אם יש התאמה חד-חד ערכית בין X לבין .
Synchronizers - מסנכרנים הדמיית רשת סינכרונית ברשת אסינכרונית.
תכנות תרגול 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.
ספריה וירטואלית בטכנולוגית J2EE הטכניון – מכון טכנולוגי לישראל הפקולטה להנדסת חשמל המעבדה למערכות תוכנה עזרן אייל טרבלסי אורדן סמסטר חורף תשס " ד מנחה.
ערמות ; מבני נתונים 09 מבוסס על מצגות של ליאור שפירא, חיים קפלן, דני פלדמן וחברים.
מודל ONLINE לומדמורה 1. כל ניתן לחישוב בזמן פולינומיאלי 2. אחרי מספר פולינומיאלי של טעיות ( ) הלומד לא טועה ז"א שווה ל- Littlestone 1988.
תהליכים  מהו תהליך ?  מבני הנתונים לניהול תהליכים.  החלפת הקשר.  ניהול תהליכים ע " י מערכת ההפעלה.
איתור ותפיסת כדור לזריקה תוך שיתוף שתי זרועות רובוטיות הטכניון - מכון טכנולוגי לישראל הפקולטה להנדסת חשמל המעבדה לבקרה ורובוטיקה תופאחה חיסאוי יגאל סיגל.
ערכים עצמיים בשיטות נומריות. משוואה אופינית X מציין וקטור עצמי מציינת ערך עצמי תואם לוקטור.
הפקולטה למדעי המחשב אוטומטים ושפות פורמליות (236353)
תחשיב הפסוקים חלק ד'. תורת ההיסק של תחשיב הפסוקים.
Galileo Navigation System Software Systems lab Software Systems lab סמסטר חורף תשס " ט סמסטר חורף תשס " ט מנחה: ולדימיר זדורנוב משה חיות מבצעים: גליה סימנובסקי.
Data Structures, CS, TAU, Perfect Hashing 1 Perfect Hashing בעיה : נתונה קבוצה S של n מפתחות מתחום U השוואה ל - Hash : * טבלה קבועה (Hash רגיל - דינאמי.
תכנות תרגול 5 שבוע : הגדרת פונקציות return-value-type function-name(parameter1, parameter2, …) הגדרת סוג הערכים שהפונקציה מחזירה שם הפונקציהרשימת.
1 Data Structures, CS, TAU, Perfect Hashing בעיה: נתונה קבוצה S של n מפתחות מתחום U השוואה ל- Hash : * טבלה קבועה (Hash רגיל - דינאמי) * רוצים זמן קבוע.
יחס סדר חלקי.
Data Structures, CS, TAU, RB-Tree 1 עץ אדום-שחור - עץ חיפוש בינארי - בכל צומת ביט אינפורמציה נוסף - צבע « עץ “ כמעט מאוזן ” « (O(log n במקרה גרוע ביותר.
Markov Decision Processes (MDP) תומר באום Based on ch. 14 in “Probabilistic Robotics” By Thrun et al. ב"הב"ה.
Global Motion Estimation קורס : מבוא לעיבוד מקבילי מרצה: דר' גיא תל צור מגישים: גלעד נרקיס אייר רום אייר רום קבוצה: pp3.
מתמטיקה בדידה תרגול 2.
1 מבוא למדעי המחשב סיבוכיות. 2 סיבוכיות - מוטיבציה סידרת פיבונאצ'י: long fibonacci (int n) { if (n == 1 || n == 2) return 1; else return (fibonacci(n-1)
Points on a perimeter (Convex Hull) קורס – מבוא לעבוד מקבילי מבצעים – אריאל פנדלר יאיר ברעם.
1 מבוא למדעי המחשב backtracking. 2 מוטיבציה בעיית n המלכות: נתון: לוח שחמט בגודל. המטרה: לסדר על הלוח n מלכות כך שאף אחת לא תאיים על השנייה. דוגמא: עבור.
11 Introduction to Programming in C - Fall 2010 – Erez Sharvit, Amir Menczel 1 Introduction to Programming in C תרגול
- אמיר רובינשטיין מיונים - Sorting משפט : חסם תחתון על מיון ( המבוסס על השוואות בלבד ) של n מפתחות הינו Ω(nlogn) במקרה הגרוע ובממוצע. ניתן לפעמים.
Presentation by Gil Perry Supervised by Amos Fiat 1.
אתרי מתמטיקה באינטרנט לפניכם מספר אתרים מעניינים ללימוד מתמטיקה תוך כדי משחק ותרגול. אנו מניחים שמצגת זו מביאה מספר קטן מן האתרים הקיימים ברשת. אין ספק.
פיתוח מערכות מידע Class diagrams Aggregation, Composition and Generalization.
1 מבוא לתכנות – תוכנה פונקציות. 2 משחק החיים של Conway The Game of life סימולצית פעילות מערכת תאים שפותחה על ידי המתמטיקאי הבריטי ג'ון הורטון קונווי בשנת.
מבוא למדעי המחשב לתעשייה וניהול הרצאה 6. מפעל השעווה – לולאות  עד עכשיו  טיפלנו בייצור נרות מסוג אחד, במחיר אחיד  למדנו להתמודד עם טיפול במקרים שונים.
1 Formal Specifications for Complex Systems (236368) Tutorial #1 Course site:
. Sequence Alignment Tutorial #3 © Ydo Wexler & Dan Geiger.
מצגת סוף סמסטר מנחה: ד"ר גבי נקבלי מגיש: ויקטור מרגוליס
מספרים אקראיים ניתן לייצר מספרים אקראיים ע"י הפונקציה int rand(void);
Formal Specifications for Complex Systems (236368) Tutorial #1
מבוא למדעי המחשב סיבוכיות.
תירגול 14: מבני נתונים דינאמיים
Marina Kogan Sadetsky –
Computer Programming תרגול 3 Summer 2016
Engineering Programming A
Presentation transcript:

The Game of Life טיפולוגית PVM

John Conway ד"ר ג'ון קונווי – פרופסור למתמטיקה סופית ((Finite Mathematics באוניברסיטת פרינסטון. ד"ר ג'ון קונווי – פרופסור למתמטיקה סופית ((Finite Mathematics באוניברסיטת פרינסטון. ממציא הרעיון למשחק החיים

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

חוקי המשחק תא ריק, " יוליד " יצור, אם יש לו בדיוק 3 שכנים. תא ריק, " יוליד " יצור, אם יש לו בדיוק 3 שכנים. יצור קיים, ישרוד אם יש לו שניים או שלושה שכנים בלבד. יצור קיים, ישרוד אם יש לו שניים או שלושה שכנים בלבד. בכל המקרים אחרים היצור יכחד : 1) מבדידות – אם יש לו רק שכן אחד, או בכלל לא. בכל המקרים אחרים היצור יכחד : 1) מבדידות – אם יש לו רק שכן אחד, או בכלל לא. 2) מצפיפות – אם יש לו יותר משלושה שכנים.

מה יקרה במצבים הבאים, במרכז ? במקרים האלו לא ישתנה המצב במרכז.

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

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

התחלה בניית מערך יצורים התחלתי השרצת בודק תא (pvm_spawn) הושרצו בדיקות לכל התאים ? איסוף נתונים מכל הבודקים בניית מערך יצורים חדש קץ הזמנים כבר כאן ? הצג תמונת מצב וזמן הריצה סוף כן לאכן לא

המבנה של המערך ההתחלתי תא ריק תא מלא

התחלה בניית מערך יצורים התחלתי השרצת בודק תא (pvm_spawn) הושרצו בדיקות לכל התאים ? איסוף נתונים מכל הבודקים בניית מערך יצורים חדש קץ הזמנים כבר כאן ? הצג תמונת מצב וזמן הריצה סוף כן לאכן לא

תהליך השרצת הבודקים : מועברת תת מטריצה הבנויה מ -9 תאים ( התא הנבדק ו -8 שכנים ) תת המטריצה הבאה בתור לפי האלגוריתם

תהליך הבדיקה : כל שרץ מבצע בדיקה של תא אחד מתוך מטריצת הבסיס. כל שרץ מבצע בדיקה של תא אחד מתוך מטריצת הבסיס. הבדיקה מתבצעת ע " י חישוב מספר השכנים. הבדיקה מתבצעת ע " י חישוב מספר השכנים. על - פי התייחסות לכללי המשחק, מחליט השרץ מה יהיה מצבו של התא A5 בדור הבא. על - פי התייחסות לכללי המשחק, מחליט השרץ מה יהיה מצבו של התא A5 בדור הבא.

התחלה בניית מערך יצורים התחלתי השרצת בודק תא (pvm_spawn) הושרצו בדיקות לכל התאים ? איסוף נתונים מכל הבודקים בניית מערך יצורים חדש קץ הזמנים כבר כאן ? הצג תמונת מצב וזמן הריצה סוף כן לאכן לא

חילופים

חישוב יעילות המיקבול : Speedup Serial code fraction Efficiency $

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

יחס חישובים - תקשורת נעביר 9 תאים לחישוב תא 1 חדש נעביר 12 תאים לחישוב 2 תאים חדשים נעביר 16 תאים לחישוב 4 תאים חדשים

יחס חישובים – תקשורת ( Jacobi Iteration )

מבנה תקשורת אב שרץ שורש ענף עלה

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

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

זה הסוף ידידי שלום וביי ! משחק החיים טיפולוגית PVM מוגש ע " י : יאיר סהר טל שורץ מנחה : דר ' תל - צור מחיאות כפיים סוערות

שאלות ????