מדידות חוזרות במערכות מיון איכות ר. רביד, ש. דרור, א. בשקנסקי המחלקה להנדסת תעשייה וניהול המכללה האקדמית להנדסה אורט בראודה כרמיאל.

Slides:



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

כריית מידע -- Clustering
מבוא למדעי המחשב לתעשייה וניהול
1 Formal Specifications for Complex Systems (236368) Tutorial #4 Refinement in Z: data refinement; operations refinement; their combinations.
Cross Validation False Negatives / Negatives
מתמטיקה בדידה תרגול 3.
ענת כהן, רפי נחמיאס אוניברסיטת תל-אביב הכנס השנתי החמישי של מיט"ל תקשוב בהוראה האקדמית ע"ש פרופ' נחמיה לבציון ענת כהן 2007 מודל חישובי להערכת עלות-תועלת.
אינטרפולציה רועי יצחק.
תמחיר תהליך. מערכת תמחיר תהליך מערכת זו נועדה לספק מידע, כמו מערכת תמחיר הזמנה, על עלות המוצרים שיוצרו בתקופה ועל עלות המוצרים שבתהליך הייצור בסוף התקופה.
רקורסיות נושאי השיעור פתרון משוואות רקורסיביות שיטת ההצבה
A. Frank File Organization קובץ ישיר מתקדם Advanced Direct File.
עקיבה אחרי מספר מטרות בשיטת קורלציה + JPDAF מגיש : לוטן קפלנסקי מנחה : ד " ר גבי דוידוב הטכניון - מכון טכנולוגי לישראל TECHNION - ISRAEL INSTITUTE OF TECHNOLOGY.
The Implementation of a Cost Effectiveness Analyzer for Web- Supported Instruction: A Case Study Anat Cohen, Rafi Nachmias (Tel Aviv University)
שיטות מחקר בתקשורת שיעור מס' 3- מדידה. מדידה -הגדרה מדידה - מתן ערך של משתנה לכל תצפית. מדידה - מתן ערך של משתנה לכל תצפית. דוגמא: מספר עיתונים שקורא.
1 שונות המשתנה. המודל : הנחות 1-3 מתקיימות. הנחה 4 אינה מתקיימת - כך שלפחות עבור תצפית אחת השונות שונה מהשונות של יתר התצפיות. לפחות עבור s ו t אחד. תוצאות.
1 שיפור עקיבה אחר מטרה בשיטת קורלציה ומרכז כובד בשילוב אלגוריתם IMM מגיש: שישלניקוב דניס מנחה: דר' גבי דוידוב הטכניון - מכון טכנולוגי לישראל TECHNION -
תכנות תרגול 2 שבוע : שבוע שעבר כתבו תוכנית המגדירה שלושה משתנים מאתחלת אותם ל 1 2 ו 3 ומדפיסה את המכפלה שלהם את ההפרש שלהם ואת הסכום שלהם.
אוטומט מחסנית הפקולטה למדעי המחשב אוטומטים ושפות פורמליות ( ) תרגיל מספר 11.
אינטרפולציה רועי יצחק.
הכנת המצגת: מוטי בן ארי ומיכל סמואל המחלקה להוראת המדעים, מכון ויצמן למדע ©
חורף - תשס " ג DBMS, צורות נורמליות 1 צורה נורמלית שלישית - 3NF הגדרה : תהי R סכמה רלציונית ותהי F קבוצת תלויות פונקציונליות מעל R. R היא ב -3NF.
מבנה כללי של דוח הסיור. רקע כללי והצגת מטרות העבודה ושאלת המחקר.
The Game of Life טיפולוגית PVM. John Conway ד"ר ג'ון קונווי – פרופסור למתמטיקה סופית ((Finite Mathematics באוניברסיטת פרינסטון. ד"ר ג'ון קונווי – פרופסור.
יולי גרמן, רואי אנואר MCDM - Multi Attribute Utility1 תורת תועלת מרובת תכונות.
1 Formal Specifications for Complex Systems (236368) Tutorial #5 Refinement in Z: data refinement; operations refinement; their combinations.
מבוא למדעי המחשב תרגול 4 שעת קבלה : יום שני 11:00-12:00 דוא " ל :
א " ב, מילים, ושפות הפקולטה למדעי המחשב אוטומטים ושפות פורמליות ( ) תרגיל מספר 1.
א " ב, מילים, ושפות הפקולטה למדעי המחשב אוטומטים ושפות פורמליות ( ) תרגיל מספר 1.
אלגברה ליניארית 1.
Formal Specifications for Complex Systems (236368) Tutorial #6 appendix Statecharts vs. Raphsody 7 (theory vs. practice)
מגישים: אנדרי זמנסקי יבגני שיפמן מנחה: ד"ר גבי דוידוב עקיבה אחרי ארבע מטרות תוך כדי מיון אוטומטי בשיטת קורלציה ו - JPDAF.
תורת הקבוצות חלק ב'. קבוצה בת מניה הגדרה: קבוצה אינסופית X היא ניתנת למניה אם יש התאמה חד-חד ערכית בין X לבין .
תכנות תרגול 6 שבוע : תרגיל שורש של מספר מחושב לפי הסדרה הבאה : root 0 = 1 root n = root n-1 + a / root n-1 2 כאשר האיבר ה n של הסדרה הוא קירוב.
תחשיב הפסוקים חלק ג'. צורות נורמליות א. DF – Disjunctive Form – סכום של מכפלות. דוגמא: (P  ~Q  R)  (R  P)  (R  ~Q  ~P) הגדרה: נוסחה השקולה לנוסחה.
א " ב, מילים, ושפות הפקולטה למדעי המחשב אוטומטים ושפות פורמליות ( ) תרגיל מספר 1.
ייצור במינימום הוצאות ביקושים מותנים וקווי התרחבות פונקציות ההוצאות
מספר קבצים 1 שיטות גרפיות הצגת מספר קבצים במקביל המטרה : הצגה במקביל של קבצי נתונים בכדי להשוותם הדרכים – הצגה במקביל – הלבשה – הרכבה עקרונות.
ערכים עצמיים בשיטות נומריות. משוואה אופינית X מציין וקטור עצמי מציינת ערך עצמי תואם לוקטור.
מבחן t למדגמים בלתי תלויים
הקיבול איננו תלוי במטען ובפוטנציאל
Kalman Filter תומר באום Based on ch. 8 in “Principles of robot motion” By Choset et al. ב"הב"ה.
תחשיב הפסוקים חלק ד'. תורת ההיסק של תחשיב הפסוקים.
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 רגיל - דינאמי) * רוצים זמן קבוע.
תוחלת ושונות בהתפלגויות אחרות התפלגות בינומית : X~B(n,p) E(X)=np, σ 2 (x)=np(1-p) התפלגות היפרגיאומטרית : X~H(N,n,M) E(X)=n*M/N, σ 2 (x)=n*M/N(1-M/N)[(N-n)/N-1)]
רגרסיה קו רגרסיה הוא קו תיאורטי המאפשר לנו לבחון את השפעתו של משתנה מנבא אחד (או יותר) על המשתנה התלוי: במילים אחרות, מודל רגרסיה עוזר לנו לנבא על פי משתנה.
מציגים : PP23 אודי זמבל דני זיסליס
עקרון ההכלה וההדחה.
יחס סדר חלקי.
מבוא למדעי המחשב תרגול 3 שעת קבלה : יום שני 11:00-12:00 דוא " ל :
תחשיב היחסים (הפרדיקטים)
Markov Decision Processes (MDP) תומר באום Based on ch. 14 in “Probabilistic Robotics” By Thrun et al. ב"הב"ה.
Global Motion Estimation קורס : מבוא לעיבוד מקבילי מרצה: דר' גיא תל צור מגישים: גלעד נרקיס אייר רום אייר רום קבוצה: pp3.
Safari On-line books. מה זה ספארי ספארי זו ספריה וירטואלית בנושא מחשבים היא כוללת יותר מ כותרים כל הספרים הם בטקסט מלא ניתן לחפש ספר בנושא מסוים.
11 Introduction to Programming in C - Fall 2010 – Erez Sharvit, Amir Menczel 1 Introduction to Programming in C תרגול
1 גילוי מידע וזיהוי תבניות תרגול מס. 3 התפלגות נורמלית רב - מימדית Kullback-Leibler Divergence - משפט קמירות - נגזרת שנייה משפט Log sum inequality משפט.
Interpolation Functions in Matlab By Dmitriy Katsif.
Presentation by Gil Perry Supervised by Amos Fiat 1.
פיתוח מערכות מידע Class diagrams Aggregation, Composition and Generalization.
Costs and Filters Dr. Avi Rosenfeld Department of Industrial Engineering Jerusalem College of Technology
1 מבוא לתכנות – תוכנה פונקציות. 2 משחק החיים של Conway The Game of life סימולצית פעילות מערכת תאים שפותחה על ידי המתמטיקאי הבריטי ג'ון הורטון קונווי בשנת.
1 ניתוח שונות: Post-hoc analysis ניתוח שונות חד-כיווני עם אפקטים קבועים: Post-hoc analysis ד"ר מרינה בוגומולוב מבוסס חלקית על ההרצאות של פרופ' יואב בנימיני.
פס על כל העיר נורית זרחי.
מצגת סוף סמסטר מנחה: ד"ר גבי נקבלי מגיש: ויקטור מרגוליס
מותאם לקריטריוני ה DSM-IV
Mediation and Moderation
Marina Kogan Sadetsky –
בחירת חומר גלם כתב: עמרי שרון.
NG Interpolation: Divided Differences
ד"ר נירית גביש המחלקה להנדסת תעשייה וניהול
Presentation transcript:

מדידות חוזרות במערכות מיון איכות ר. רביד, ש. דרור, א. בשקנסקי המחלקה להנדסת תעשייה וניהול המכללה האקדמית להנדסה אורט בראודה כרמיאל

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

3 מבוא מאמר זה מהווה חלק ממחקר מקיף העוסק בפיתוח פרוצדורה להערכת מערכת סיווג איכות כאשר משתנה האיכות קטגוריאלי.

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

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

6 הגדרות מטריצת הסיווג תסומן והיא מטריצה ריבועית מסדר m. אבר במטריצה, מציין את ההסתברות המותנית שפריט מקטגורית איכות i יסווג לקטגורית איכות j. המטריצה סטוכסטית, כלומר:

7 הגדרות ( המשך ) מטריצת ההפסד - ההפסד הנגרם כתוצאה מסווג פריט מקטגוריה i לקטגוריה j.

8 הגדרות ( המשך ) קריטריון להערכת מערכת סיווג

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

10 הגדרות וסימונים p - ההסתברות שפריט יהיה תקין (1-p)- ההסתברות שפריט יהיה פגום α - ההסתברות שפריט תקין יסווג כפגום β - ההסתברות שפריט פגום יסווג כתקין מטריצת הסיווג המתקבלת היא:

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

12 שני מסווגים הפריטים יבדקו על ידי מסווג אחד. פריטים שימצאו פסולים יועברו למסווג שני, שחוות דעתו מדויקת לחלוטין ((gold standard וסופית.

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

14 שלושה מסווגים הפריטים יבדקו על ידי שני מסווגים בלתי תלויים. במקרה של חילוקי דעות, יועברו הפריטים למסווג שלישי בלתי תלוי. כל המסווגים בעלי כישורים דומים. ההחלטה הסופית תתקבל לפי הרוב.

15 שלושה מסווגים ( המשך ) מטריצת המיון תוחלת העלות

16 המקרה הכללי הגדרות וסימונים שני מסווגים שלושה מסווגים

17 הגדרות וסימונים m - מספר קטגוריות איכות. וקטור פרופורציות קטגוריות האיכות הנכנסת לתחנת סיווג.

18 הגדרות וסימונים ( המשך ) מטריצת הסיווג של מסווג בודד

19 הגדרות וסימונים ( המשך ) מטריצת ההפסדים

20 שני מסווגים הפריטים יבדקו על-ידי שני מסווגים בלתי תלויים בעלי כישורים דומים. במקרה של חילוקי דעות תתקבל ההחלטה לחומרה.

21 שני מסווגים ההסתברות לסיווג של פריט מקטגוריה i לקטגוריה j: תוחלת העלות לפריט

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

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

24 שלושה מסווגים ההסתברות לסיווג נכון של פריט מקטגורית איכות i ההסתברות לסיווג של פריט מקטגוריה i לקטגוריה j, i≠j

25 שלושה מסווגים ההסתברות לסיווג נכון במדיניות זו תמיד תהיה גבוהה יותר מההסתברות לסווג נכון כאשר יש מסווג אחד היות ו- תוחלת העלות לפריט תהיה:

26 דוגמא סוג סוג סוג ס י ו ו ג סה"כסוג 3סוג 2סוג סוג 1מצב בפועל סןג סוג סה"כ

27 המקרה הדיכוטומי ( המשך ) מסווג יחיד

28 המקרה הדיכוטומי ( המשך ) שלושה מסווגיםשני מסווגים מטריצת סיווג תוחלת ההפסד

29 המקרה הכללי מטריצת הסיווג מטריצת ההפסד

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

31 המקרה הכללי ( המשך ) מהחישובים עולה כי השימוש במסווג בודד עדיף על פני השימוש בשני מסווגים. השימוש בשלושה מסווגים עדיף על השימוש במסווג בודד כאשר:

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