מצגת סוף סמסטר מנחה: ד"ר גבי נקבלי מגיש: ויקטור מרגוליס

Slides:



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

תוכנה 1 סמסטר א ' תשע " ב תרגול מס ' 7 * מנשקים, דיאגרמות וביטים * לא בהכרח בסדר הזה.
מבוא למדעי המחשב לתעשייה וניהול
1 Formal Specifications for Complex Systems (236368) Tutorial #4 Refinement in Z: data refinement; operations refinement; their combinations.
©Silberschatz, Korth and Sudarshan4.1Database System Concepts סכימה לדוגמא.
סמינר על סוגיות במדעי המחשב מרצה : עמי ברלר מכללת " אחווה " 2003.
פונקציונל פונקציה מספר פונקציונל דוגמאות לא פונקציונל פונקציונל.
עיבוד תמונות ואותות בעזרת מחשב
מטרות בבניית התנורמטרות בבניית התנור שהתנור יהיה כמה שיותר קרוב לעיגול, אך שיהיה נוח לבנות אותו. לא נאבד את החום בפינות התנור לא לאבד חום בדפנות התנור.
היכרות עם אקסל 1. 2 נושאי המפגש היכרות עם אקסל – אלכסוני הקסם שימושים בהוראה: מחשבון סודי ופעילות לחנוכה שימושים נוספים: ממוצע.
הוספת מנשק משתמש ל - [ תפקידי רוחב בצוות ]. Features סיפוריםחבר צוות אחראי הערכת זמן ( בשעות ) זמן בפועל ( בשעות ) הושלם ( כן \ לא )
תמחיר תהליך. מערכת תמחיר תהליך מערכת זו נועדה לספק מידע, כמו מערכת תמחיר הזמנה, על עלות המוצרים שיוצרו בתקופה ועל עלות המוצרים שבתהליך הייצור בסוף התקופה.
רקורסיות נושאי השיעור פתרון משוואות רקורסיביות שיטת ההצבה
Inverse kinematics (Craig ch.4) ב"ה. Pieper’s solution נתבונן ברובוט עם 6 מפרקי סיבוב כאשר שלושת הצירים של המפרקים האחרונים נחתכים. נקודת החיתוך נתונה.
חורף - תשס " ג DBMS, Design1 שימור תלויות אינטואיציה : כל תלות פונקציונלית שהתקיימה בסכמה המקורית מתקיימת גם בסכמה המפורקת. מטרה : כאשר מעדכנים.
שאלות חזרה לבחינה. שאלה דיסקים אופטיים מסוג WORM (write-once-read-many) משמשים חברות לצורך איחסון כמויות גדולות של מידע באופן קבוע ומבלי שניתן לשנותו.
מה החומר למבחן ? כל החומר שנלמד בהרצאות ובתרגולים. לגבי backtracking: לא תידרשו לממש אלגוריתם, אך כן להבין או להשלים מימוש נתון. אחת משאלות המבחן מבוססת.
ספר סקיצות ספר סקיצות קלאסי עם יכולות ממוחשבות. ספר סקיצות רגיל  יתרונות : נוח לנשיאה, מהיר ונוח לעבודה, עמיד.  חסרונות : הכול ידני, קשה לקבל דיוקים.
פרויקט מחקרי בנושא יחס הזהב ואסתטיקה של מנשקים ARD מנחה : פרופ ' נעם טרקטינסקי מנחה אקדמי : פרופ ' יובל אלוביץ ' מגישים : אפרת דוד ארסני קרופניק.
חורף - תשס " ג 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.
ממשק המשתמש שימושיות או בעצם תכליפאניות?. ISO9241 Web usability is the extent to which a web site enables users, in a given context of use, to achieve.
א " ב, מילים, ושפות הפקולטה למדעי המחשב אוטומטים ושפות פורמליות ( ) תרגיל מספר 1.
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 של הסדרה הוא קירוב.
Questions are the Answer Penick&all H ISTORY R ELATIOINSHIPS A PPLICATION S PECULATION E XPLANATION.
מערכות הפעלה ( אביב 2009) חגית עטיה ©1 מערכת קבצים log-structured  ה log הוא העותק היחיד של הנתונים  כאשר משנים בלוק (data, header) פשוט כותבים את הבלוק.
ערכים עצמיים בשיטות נומריות. משוואה אופינית X מציין וקטור עצמי מציינת ערך עצמי תואם לוקטור.
The Cyclic Multi-peg Tower of Hanoi מעגלי חד-כווני סבוכיות הפתרון בגרסאות עם יותר מ-3 עמודים.
טיב פני שטח (טפ"ש) טיב פני שטח- רמת החלקות של המשטח.
Data Structures, CS, TAU, Perfect Hashing 1 Perfect Hashing בעיה : נתונה קבוצה S של n מפתחות מתחום U השוואה ל - Hash : * טבלה קבועה (Hash רגיל - דינאמי.
Remember Remember The 5 th of November. תרגול 2 קובץ סדרתי.
1 Data Structures, CS, TAU, Perfect Hashing בעיה: נתונה קבוצה S של n מפתחות מתחום U השוואה ל- Hash : * טבלה קבועה (Hash רגיל - דינאמי) * רוצים זמן קבוע.
עקרון ההכלה וההדחה.
by Sagiv Frankel & Ayana Wiener, Advised by Dr. Chen Keasar Advised by Dr. Chen Keasar & Mr. Ran Yahalom & Mr. Ran Yahalom.
תכנות מונחה עצמים Object Oriented Programming (OOP) אתגר מחזור ב' Templates תבניות.
מבוא למדעי המחשב תרגול 3 שעת קבלה : יום שני 11:00-12:00 דוא " ל :
Markov Decision Processes (MDP) תומר באום Based on ch. 14 in “Probabilistic Robotics” By Thrun et al. ב"הב"ה.
1 מבוא למדעי המחשב סיבוכיות. 2 סיבוכיות - מוטיבציה סידרת פיבונאצ'י: long fibonacci (int n) { if (n == 1 || n == 2) return 1; else return (fibonacci(n-1)
ניתוח בחינת הבגרות במכניקה ומעבר..... מכניקה – שאלה 3.
Safari On-line books. מה זה ספארי ספארי זו ספריה וירטואלית בנושא מחשבים היא כוללת יותר מ כותרים כל הספרים הם בטקסט מלא ניתן לחפש ספר בנושא מסוים.
1 מבוא למדעי המחשב backtracking. 2 מוטיבציה בעיית n המלכות: נתון: לוח שחמט בגודל. המטרה: לסדר על הלוח n מלכות כך שאף אחת לא תאיים על השנייה. דוגמא: עבור.
אביב תשס " ה JCT תיכון תוכנה ד " ר ר ' גלנט / י ' לויאןכל הזכויות שמורות 1 פרק 7 ISP דוגמא נוספת.
11 Introduction to Programming in C - Fall 2010 – Erez Sharvit, Amir Menczel 1 Introduction to Programming in C תרגול
WEB OF SCIENCE. WEB OF SCIENCE  Science Citation Index ExpandedTM  Social Sciences Citation Index®  Art & Humanities Citation Index®
- אמיר רובינשטיין מיונים - Sorting משפט : חסם תחתון על מיון ( המבוסס על השוואות בלבד ) של n מפתחות הינו Ω(nlogn) במקרה הגרוע ובממוצע. ניתן לפעמים.
1 ׃1998 Morgan Kaufmann Publishers פקודת ה- jump 4 bits 26 bits 2 bits 00 : כתובת קפיצה במילים : כתובת קפיצה בבתים … …
1 מבוא למדעי המחשב רקורסיה. 2 רקורסיה היא שיטה לפתרון בעיות המבוססת על העיקרון העומד ביסוד אינדוקציה מתמטית: אם ידועה הדרך לפתור בעיה עבור המקרים הבסיסיים.
פיתוח מערכות מידע Class diagrams Aggregation, Composition and Generalization.
 Client, Supplier ומה שביניהם ( ADT!).  שאלה 1: יצירת ADT עבור מעגל במישור נניח שלקוח מעוניין בפעולות הבאות : הזזת מעגל וחישוב שטח מעגל. הספק יספק ללקוח.
2003B Q5 Suppliers(sid, sname, city) Select sid from suppliers where city=‘jerusalem’ or sname like ‘%Smith’ Select sid from suppliers where city=‘jerusalem’
1 Formal Specifications for Complex Systems (236368) Tutorial #1 Course site:
דוח אמצע סמסטר אביב תשס"ב 2002 שם הפרויקט :סביבת בדיקה ל PCIX PCIX environment מנחה : איתי אדר מגישים : שמיל ניסימוב גוילי יואב הטכניון.
פס על כל העיר נורית זרחי.
קצת היסטוריה 1981דיווח ראשון על תסמונת כשל חיסוני נרכש בקרב מספר הומוסקסואלים. 1981דיווח על ביטויים שונים של איידס בקרב מזריקי סמים, חולי המופיליה, מקבלי.
מספרים אקראיים ניתן לייצר מספרים אקראיים ע"י הפונקציה int rand(void);
Tirgul 12 Trees 1.
Formal Specifications for Complex Systems (236368) Tutorial #1
מבוא למדעי המחשב סיבוכיות.
SQL בסיסי – הגדרה אינדוקטיבית
עבודה עם נתונים באמצעות ADO.NET
Your one-stop-shop for Online Marketing
פרוקטוז, C6H12O6 , חד-סוכר מיוחד
ממשקים - interfaces איך לאפשר "הורשה מרובה".
Marina Kogan Sadetsky –
מבחן t למדגם יחיד.
תזכורת על מה דיברנו שיעור שעבר? בנינו אתר אינטרנט עם כותרות
איתור נתונים מתקדם, בעזרת vlookup וחברים
מן הספרות ערכה והביאה לדפוס: ד"ר אדווה מרגליות
Presentation transcript:

מצגת סוף סמסטר מנחה: ד"ר גבי נקבלי מגיש: ויקטור מרגוליס Client ID מצגת סוף סמסטר מנחה: ד"ר גבי נקבלי מגיש: ויקטור מרגוליס

רקע ומוטיבציה לזיהוי משתמש באופן ייחודי יש יתרונות רבים לצד השרת, אחד מהם הוא היכולת לספק לו תוכן שתפור ספציפית לדפוס ההתנהגות של הלקוח ברשת. למשל בעזרת שימוש בCookies אתר פרסום יכול לשתול Cookie בצד הלקוח גם ללא שהלקוח יבקר באתר הפרסום, וזאת ע"י שימוש ב3rd Party Cookies. דבר זה הוביל לחסימת Cookies בצד הלקוח ויצירת מצב נסתר בדפדפנים בהם לא נשמר דבר בצד הלקוח בזמן גלישה. מה שהציב בפני אותם אתרים אתגר חדש של זיהוי משתמשים ללא שימוש בCookies.

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

פתרון אמתי לבעיה גישה נוספת לבעיה היא בדיקת ה Skew בין מעבד השרת לבין מעבד הלקוח. גישה זו נבדקה במאמר "Clock Skew Based Client Device Identification in Cloud Environments " ונמצאה יעילה עד כדי 92%.

Clock Skew מהו? מסיבות של תהליך היצור, אין שני יצרני תדר בעלי אותו תדר מדויק ולכן עבור שני יצרני תדר i,j יתקיים כי הפרש התדר ביניהם יהיה Tskew i, j = TCi − TCj

כיוונים לפתרון ניתן לשפר את השיטה ע"י בדיקה מול יצרני תדר שונים בתוך המחשב ולקבל תוצאה מדויקת יותר. כיוון זה נחקר בפרויקט הנ"ל, ע"י מציאת הSkew בין הCPU לGPU אשר שניהם נמצאים בתוך מחשב הלקוח, וזאת כדי לקבל תוצאה מדויקת יותר ללא הפרעות.

היישום בשביל למצוא את הSkew בסביבת דפדפן השתמשתי בממשק הWebCL אשר נכון לעכשיו עדיין ניסיוני והמימוש היחיד שקיים לדפדפן מבוסס PC הוא של חברת נוקיה (מיקרוסופט?) ומתאים אך ורק לדפדפן Firefox בגרסה 32 בלבד. דבר שכמובן הקשה על המימוש הראשוני של הרעיון, ולכן בוצעה בדיקת התכנות על פלטפורמת OpenCL, שהיא הבסיס לממשק הרשת WebCL. פלטפורמת הOpenCL ותיקה יותר ונגישה יותר לעבודה.

התוצאה

התוצאה

התוצאה שני הגרפים הנ"ל התקבלו כתוצאה מהרצת הבדיקה על גבי שני מחשבים זהים כאשר כל גרף מייצג 3 הרצות שנפרדות של הבדיקה כאשר תוצאת השיפוע בגרף הראשון היא 15475, 15472, 15464 כאשר השוני הוא 0.07% בין שתי התוצאות הקיצוניות. תוצאות השיפוע בגרף השני היא 16152, 16156, 16159 כאשר השוני כאן הוא 0.04% בין שתי התוצאות הקיצוניות. כל זאת כאשר המרחק בין שתי המדידות עומד כמעט על 5% אחת מן השנייה. וזאת לשתי מערכות מחשב זהות לחלוטין בעלות מעבד core i7- 4770 ומעבד גרפי Intel HD4600.

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

תוצאות נוספות

תוצאות נוספות כמו כן לא כך התוצאות שהתקבלו היו ליניאריות, ובחלקן היה רעש אשר מנע מהן להיות תוצאות קבילות. הגרף מייצג שש ריצות שונות על גבי אותו מחשב, כאשר בכל פעם מופעל עליו עומס שונה מבחינת מטלות CPU/GPU וכך בעצם ניתן לראות כי עומס על אחד המעבדים גורם לא רק לרעש אלא לשינוי שיפוע הגרף של מדידת הSkew.

מימוש בסביבת WebCL

מימוש בסביבת WebCL

מימוש בסביבת WebCL בשביל להתגבר על בעיה שJavaScript לא מספק את ערך שעון הCPU נאלצתי להשתמש בממשק הWebCL בשביל לקבל תוצאות שעון מערכת על הCPU גם. התוצאות קרובות יותר ממה שהיו בסביבת הOpenCL אך עדיין קיים הפרש של 0.2% בין תוצאה אחת לשנייה כשההפרש בין כל התוצאות עומד על כ0.005%. מה שמלמד שניתן לבצע הבחנה בין שני המחשבים בכל זאת.

סיכום התקבלו בניסוי נתונים אשר מאשרים כי ניתן להבדיל בצורה חד משמעית בין שתי מערכות מחשב זהות לחלוטין שבדיקות רשת אחרות לא היו מצליחות להבדיל ביניהן. יש מקום להמשיך לחקור את הנושא בקנה מידה גדול יותר, עם מספר גדול יותר של מחשבים. כמו כן הגרפים הלינאריים לחלוטין אשר התקבלו בתוצאות הWebCL מלמדים כי מספיק לבצע מספק קטן של דגימות ובכך להפוך את התהליך לנסתר מן העין, בניגוד לבדיקה של 1800 איטרציות על פני שניה כל אחת שהסתכמו ל30 דקות.

תודה רבה על ההקשבה