הכנת המצגת: מוטי בן ארי ומיכל סמואל המחלקה להוראת המדעים, מכון ויצמן למדע ©

Slides:



Advertisements
Similar presentations
Completeness and Expressiveness. תזכורת למערכת ההוכחה של לוגיקה מסדר ראשון : אקסיומות 1. ) ) (( 2. )) ) (( )) ( ) ((( 3. ))) F( F( ( 4. ) v) ( ) v ((
Advertisements

1 Colorful XML: One Hierarchy Isn't Enough Authors : H. V. Jagadish, Laks V. S. Lakshmanan, Monica Scannapieco, Divesh Srivastava, Nuwee Wiwatwattana Presented.
כריית מידע -- Clustering
מבוא למדעי המחשב לתעשייה וניהול
סמינר על סוגיות במדעי המחשב מרצה : עמי ברלר מכללת " אחווה " 2003.
מבוסס על הרצאות של יורם זינגר, האוניברסיטה העברית י"ם
גרף מכוון Directed Graph a b c f g ed h צמתים חוג עצמי קשתות.
פרויקט ויקיספר מתמטיקה משולבת : עריכת ויקיספר על ידי קבוצת מורים בסביבה מותאמת רוחמה אבן, שי אולשר, גילה אוזרוסו - חגג המחלקה להוראת המדעים, מכון ויצמן.
פעולות מילון Insert, Delete, Search Binary Search Tree, AVL, 2-3 Tree, Skip List O(log n) האם יש מבנה עם סבוכיות (1)O? לא למפתח כלשהו.
מבני נתונים 1 – מבנה התרגולים
רקורסיות נושאי השיעור פתרון משוואות רקורסיביות שיטת ההצבה
גרפים ממשקלים גרף ממשקל הוא גרף עם משקל לכל קשת עץ פורש הוא עץ שצמתיו הם כל הצמתים של הגרף וקשתותיו הן קשתות הגרף.
פה מחלקים דיסקים ?. 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 שימור תלויות אינטואיציה : כל תלות פונקציונלית שהתקיימה בסכמה המקורית מתקיימת גם בסכמה המפורקת. מטרה : כאשר מעדכנים.
מכון ויצמן למדע - שמוליק מתוך 8 חישוב מקבילי ומבוזר מה זה יחידה חמישית במדעי המחשב... n ענף מתקדם במדעי המחשב העוסק במערכות ממוחשבות מרובות ישויות.
יפעת קוליקנט, מכון ויצמן למדע1 פרק 7, אלגוריתם Ra לפתרון בעית הקטע הקריטי במערכות מבוזרות.
מה החומר למבחן ? כל החומר שנלמד בהרצאות ובתרגולים. לגבי backtracking: לא תידרשו לממש אלגוריתם, אך כן להבין או להשלים מימוש נתון. אחת משאלות המבחן מבוססת.
עבודה סמינריונית Prelude to Ukkonen algorithm ON-LINE CONSTRUCTION OF SUFFIX TREES מגישים : עיד מוחמד טיבי פיראס.
חורף - תשס " ג DBMS, צורות נורמליות 1 צורה נורמלית שלישית - 3NF הגדרה : תהי R סכמה רלציונית ותהי F קבוצת תלויות פונקציונליות מעל R. R היא ב -3NF.
משפט ההרכבה Composition Theorem תהי C מחלקה של פונקציות בוליניות תהי נגדיר סדרת פונקציות שניתנות לחישוב בזמן פולינומיאלי.
בהסתברות לפחות למצא בעיה במודל PAC עבור בהסתברות ε הפונקציה f טועה מודל ONLINE 1. אחרי כל טעות הפונקציה משתפרת 2. מספר הטעיות קטן.
מסדי נתונים תשס " ג 1 תכנון סכמות – אלגוריתם פירוק לתבניות בצורת BCNF מסדי נתונים.
תכנות תרגול 6 שבוע : תרגיל שורש של מספר מחושב לפי הסדרה הבאה : root 0 = 1 root n = root n-1 + a / root n-1 2 כאשר האיבר ה n של הסדרה הוא קירוב.
ערמות ; מבני נתונים 09 מבוסס על מצגות של ליאור שפירא, חיים קפלן, דני פלדמן וחברים.
אלגוריתמים מבוזרים אלגוריתם המבוצע על ידי קבוצת מעבדים אוטונומיים המחוברים ביניהם (ברשת). המעבדים מתקשרים ע"י העברת הודעות (ז.מ.) ברשתות מחשבים:  שכבה.
מערכות הפעלה ( אביב 2009) חגית עטיה ©1 מערכת קבצים log-structured  ה log הוא העותק היחיד של הנתונים  כאשר משנים בלוק (data, header) פשוט כותבים את הבלוק.
מודל ONLINE לומדמורה 1. כל ניתן לחישוב בזמן פולינומיאלי 2. אחרי מספר פולינומיאלי של טעיות ( ) הלומד לא טועה ז"א שווה ל- Littlestone 1988.
מבני בקרה לולאות. שאלה #1 שאלה ב' – תכתוב תוכנה הכותבת את תפריט הבאה Type 1 to find the area of a circle Type 2 to find the circumference of a circle.
נובמבר קיפאון Deadlock. נובמבר עמוד נושאים בעית הקיפאון –דוגמא –תנאים לקיפאון טיפול בקיפאון –מניעה, זיהוי,התחמקות –אלגוריתמים למניעה והתחמקות.
שאלה 1 נתון כביש ישר עם תחנות דלק בנקודות , בנקודת המוצא נתונה מכונית עם תא דלק שמספיק ל-100 ק"מ. מחיר מילוי תא הדלק בתחנה.
The Cyclic Multi-peg Tower of Hanoi מעגלי חד-כווני סבוכיות הפתרון בגרסאות עם יותר מ-3 עמודים.
Ray 7 דוגמא אלגוריתם 1.קבל דוגמאות 2. פלט f a עבור הדוגמה a המינימלית החיובית ?
גרפים - Graphs גרף G(V,E) מורכב מקבוצת צמתים V וקבוצת קשתות E.
אלכסנדר ברנגולץ דואר אלקטרוני: אלכסנדר ברנגולץ דואר אלקטרוני: פעולות מורפולוגיות.
עצים מאוזנים הגדרה: משפחת עצים תקרא מאוזנת אם ,h(T) = O(log n) באשר T הוא עץ במשפחה, n הוא מספר הצמתים ב-T ו-h(T) הוא הגובה של T עצי (Adelson-Velsky,
מודל הלמידה מדוגמאות Learning from Examples קלט: אוסף של דוגמאות פלט: קונסיסטנטי עם פונקציה f ב- C ז"א קונסיסטנטי עם S ז"א מודל הלמידה מדוגמאות Learning.
Created by Dalia Censor, December העברת רשימת ציטוטים ממאגר ל- RefWorks שתי דרכים להעברת רשומות ממאגר ל- RefWorks : יצוא ישיר ל- RefWorks המאגרים:
עקרון ההכלה וההדחה.
תכנות מונחה עצמים Object Oriented Programming (OOP) אתגר מחזור ב' Templates תבניות.
מבוא למדעי המחשב תרגול 3 שעת קבלה : יום שני 11:00-12:00 דוא " ל :
מבוא למדעי המחשב, סמסטר א ', תשע " א תרגול מס ' 1 נושאים  הכרת הקורס  פסאודו - קוד / אלגוריתם 1.
מיון (Sorting) קלט : מערך בן n מספרים. פלט : מערך ובו המספרים אותם מאוחסנים בסדר עולה
Glenn Ricart and Ashok K. Agrawala. An Optimal Algorithm for Mutual Exclusion in Computer Networks. Communications of the ACM 24(1), 1981, המחלקה.
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. ב"הב"ה.
מודל הלמידה מדוגמאות Learning from Examples קלט: אוסף של דוגמאות פלט: קונסיסטנטי עם פונקציה f ב- C ז"א קונסיסטנטי עם S ז"א.
מבוא מורחב למדעי המחשב בשפת Scheme תרגול 10. אג'נדה שאלות מבחינות חזרה על מימוש stream אפשרי 2.
עצים בינאריים - תזכורת דרגת צומת שורש עלה צומת פנימי מרחק בין 2 צמתים
A. Frank File Organization Hardware Size Parameters.
1 מבוא למדעי המחשב סיבוכיות. 2 סיבוכיות - מוטיבציה סידרת פיבונאצ'י: long fibonacci (int n) { if (n == 1 || n == 2) return 1; else return (fibonacci(n-1)
Safari On-line books. מה זה ספארי ספארי זו ספריה וירטואלית בנושא מחשבים היא כוללת יותר מ כותרים כל הספרים הם בטקסט מלא ניתן לחפש ספר בנושא מסוים.
מבנה מחשבים תרגול מספר 3. טענה על עצים משפט: בעץ שדרגת כל קודקודיו חסומה ב-3, מספר העלים ≤ מספר הקודקודים הפנימיים + 2. הוכחה: באינדוקציה על n, מספר הקודקודים.
יום עיון –פרויקט חקר מדעי במסגרת תחרות שישים שנות תעשייה כימית בישראל ד"ר מירי קסנר ברוכים הבאים 1 ביולי 2008 מכון ויצמן למדע, רחובות.
- אמיר רובינשטיין מיונים - Sorting משפט : חסם תחתון על מיון ( המבוסס על השוואות בלבד ) של n מפתחות הינו Ω(nlogn) במקרה הגרוע ובממוצע. ניתן לפעמים.
פיתוח מערכות מידע Class diagrams Aggregation, Composition and Generalization.
תרגיל כיתה 7 מבוא לטכנולוגיות מחשב CPE. – 2 – ארכיטקטורה של מעבד מודרני Execution Functional Units Instruction Control Integer/ Branch FP Add FP Mult/Div.
Contents Building Web Services כתב אקת'ם חאג' יחיא BuildingWeb Services Building Web Services
1 חלק XQuery :IV XML Query. 2 ביבליוגרפיה - DTD 3 ביבליוגרפיה – books.xml TCP/IP Illustrated Stevens W. Addison-Wesley Advanced Programming in.
. Sequence Alignment Tutorial #3 © Ydo Wexler & Dan Geiger.
1 ניתוח שונות: Post-hoc analysis ניתוח שונות חד-כיווני עם אפקטים קבועים: Post-hoc analysis ד"ר מרינה בוגומולוב מבוסס חלקית על ההרצאות של פרופ' יואב בנימיני.
קצת היסטוריה 1981דיווח ראשון על תסמונת כשל חיסוני נרכש בקרב מספר הומוסקסואלים. 1981דיווח על ביטויים שונים של איידס בקרב מזריקי סמים, חולי המופיליה, מקבלי.
מחרוזות – הטיפוס String
Programming Arrays.
FAA FAA (int s, int val) { temp = s; s = s + val; return temp; }
Tirgul 12 Trees 1.
מבוא למדעי המחשב סיבוכיות.
תירגול 14: מבני נתונים דינאמיים
למה רמת פרמי צריכה להיות קבועה בחומר שנמצא בשווי משקל?
Presentation transcript:

הכנת המצגת: מוטי בן ארי ומיכל סמואל המחלקה להוראת המדעים, מכון ויצמן למדע ©

האלגוריתם הבא מטפל ב כשלים ביזאנטים. Leslie Lamport, Robert Shostak and Marshall Pease. The Byzantine generals problem. ACM transactions on programming languages and systems 4(3), 1982, אלגוריתם הגנרלים הביזנטים

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

זואי דעתי-? ליאו דעתי-? בזיל דעתי-? ג’ון דעתי-? A A A A A A R R R R A A A A R A דעה של זואי דעה של בזיל דעה של ליאו דעה של ג’ון החלטה סופית מבנה נתונים בצומת של זואי דעה של ליאו דעה של בזיל דעה של זואי דעה של ג’ון החלטה סופית מבנה נתונים בצומת של ליאו A R A A A A R A R R

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

עבור כל צומת אחר Z בצע החלט מהי דעתו של Z פיתוח האלגוריתם BG המחלקה להוראת המדעים, מכון ויצמן למדע © שלח את דעתו לכל הצמתים האחרים (פרט ל Z). עבור כל צומת אחר Z בצע קבל את הדעות של Z לפי הצמתים האחרים. החלט על סמך רוב דעות מהי באמת דעתו של Z. רוב דעות- מבין הדעה שהתקבלה ישירות והדעות שהתקבלו בעקיפין בחר דעה ראשונית: לתקוף (A) או לסגת (R). שלח את דעתך לכל הצמתים האחרים. קבל מכל הצמתים האחרים את דעותיהם. החלט על סמך רוב הדעות שלך ושל הצמתים האחרים אם לתקוף או לסגת.

זואי דעתי-? ליאו דעתי-? בזיל דעתי- ג’ון דעתי-? A AR A סיבוב שני - “ רכילות ” דעה של ליאו דעה של בזיל דעה של זואי דעה של ג’ון החלטה סופית מבנה נתונים בצומת של ליאו A R A R מבזיל דרך בזיל מזואי דרך זואי דרך ג’ון מג’ון דעה של זואי דעה של בזיל דעה של ליאו דעה של ג’ון החלטה סופית מבנה נתונים בצומת של זואי A R A מבזיל דרך בזיל דרך ליאו מליאו דרך ליאו דרך ג’ון מג’ון A R R A A R R RRRR A A AAA R A RAA

A A R A זואי דעתי-? ליאו דעתי-? בזיל דעתי- ג’ון דעתי-? A AR A מבנה נתונים בצומת של זואי דעה של ג’ון דרך בזילדרך ליאומג’ון A מבנה נתונים בצומת של ליאו דעה של ג’ון דרך בזילדרך זואימג’ון R מבנה נתונים בצומת של בזיל דעה של ג’ון דרך זואידרך ליאומג’ון A AAA R R R A AA AA

זואי דעתי-? ליאו דעתי-? בזיל דעתי- ג’ון דעתי-? A AR A סיבוב שני - “ רכילות ” דעה של ליאו דעה של בזיל דעה של זואי דעה של ג’ון החלטה סופית מבנה נתונים בצומת של ליאו A R A R מבזיל דרך בזיל מזואי דרך זואי דרך ג’ון מג’ון דעה של זואי דעה של בזיל דעה של ליאו דעה של ג’ון החלטה סופית מבנה נתונים בצומת של זואי A R A מבזיל דרך בזיל דרך ליאו מליאו דרך ליאו דרך ג’ון מג’ון A R R A A R R RRRR A A AAA R A RAA ARAAAA AA A A R A זואי דעתי-? ליאו דעתי-? בזיל דעתי- ג’ון דעתי-? A AR A R A

אלגוריתם המלך אלגוריתם נוסף לטיפול בכשלים ביזאנטים. סיבוכיות טובה יותר. עבור N גנרלים מתוך F בוגדים ובלבד ש F4 <N

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

שלח את דעתך לכל הצמתים האחרים קבל מכל הצמתים האחרים את דעותיהם חשב רוב דעות ומספר קולות שקיבל הרוב סיבוב ראשון המחלקה להוראת המדעים, מכון ויצמן למדע © למשל: אם A קיבל 3 קולות ו- R קיבל 2 קולות, הרוב הוא A ומספר הקולות הוא 3.

אם תורך להיות מלך אזי שלח רוב לכל הגנרלים כדעת המלך סיבוב שני המחלקה להוראת המדעים, מכון ויצמן למדע © רוב מוחץ: מספר קולות גדול מ- G div 2) + B), כאשר G מספר הגנרלים ו- B מספר הבוגדים. אחרת קבל דעה של המלך אם הרוב "מוחץ" אזי שנה דעתך לדעת הרוב אחרת שנה דעתך לדעת המלך

ג'וןבזילזואיליאו קולות מלךרוב מיכאל ב ז ל מ סיבוב ראשון - ג'ון בוגד, ג'ון מלך A R R A A A A A A A A A R R R R R R R R A A R R A A R R

A A R R ג'וןבזילזואיליאו קולות מלךרוב מיכאל ב ז ל מ סיבוב שני - ג'ון בוגד, ג'ון מלך A A R R

ג'וןבזילזואיליאו קולות מלךרוב מיכאל ב ז ל מ סיבוב שלישי - ג'ון בוגד, בזיל מלך R A R A A A A A A A A A R R R R R A A R R R R R R R R R

R R R R ג'וןבזילזואיליאו קולות מלךרוב מיכאל ב ז ל מ סיבוב רביעי - ג'ון בוגד, בזיל מלך R R R R

ג'וןבזילזואיליאו קולות מלךרוב מיכאל ב ז ל מ סיבוב ראשון - ג'ון בוגד, ליאו מלך A R R A A A A A A A A A R R R R R R R R A A R R R R R R

R R R R ג'וןבזילזואיליאו קולות מלךרוב מיכאל ב ז ל מ סיבוב שני - ג'ון בוגד, ליאו מלך R R R R

ג'וןבזילזואיליאו קולות מלךרוב מיכאל ב ז ל מ סיבוב שלישי - ג'ון בוגד, ג'ון מלך R A R A R R R R R R R R R R R R R R R R R R R R A A R R

ג'וןבזילזואיליאו קולות מלךרוב מיכאל ב ז ל מ סיבוב רביעי - ג'ון בוגד, בזיל מלך R R R R R R R R

ג'וןבזילזואיליאו קולות מלךרוב מיכאל ב ז ל מ