עיבוד תמונות ואותות במחשב אלכסנדר ברנגולץ דואר אלקטרוני : שיטות קידוד שיטות קידוד אורך מלת קוד ואנטרופיה אורך מלת קוד ואנטרופיה קידוד.

Slides:



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

מבוא למדעי המחשב לתעשייה וניהול
1 תוכנה 1 תרגול 14 – סיכום. 2 קצת על מנשקים מנשק יכול להרחיב יותר ממנשק אחד שירותים במנשק הם תמיד מופשטים וציבוריים public interface MyInterface { public.
Rules for adding the ing חוקים להוספת ING לפועל ב present Progressive.
אלכסנדר ברנגולץ מסננים דו-ממדים מסננים דו-ממדים קונוולוציה גרפית קונוולוציה גרפית קונוולוציה בשני ממדים ( כולל גרפית ) קונוולוציה בשני ממדים ( כולל גרפית.
מכונת מצבים תרגול מס' 4 Moshe Malka.
מתמטיקה בדידה תרגול 3.
מבני נתונים 1 – מבנה התרגולים
אלכסנדר ברנגולץ דואר אלקטרוני: אלכסנדר ברנגולץ דואר אלקטרוני: תכונות של סדרות.
רקורסיות נושאי השיעור פתרון משוואות רקורסיביות שיטת ההצבה
חורף - תשס " ג DBMS, Design1 שימור תלויות אינטואיציה : כל תלות פונקציונלית שהתקיימה בסכמה המקורית מתקיימת גם בסכמה המפורקת. מטרה : כאשר מעדכנים.
עיבוד תמונות ואותות במחשב 1 תרגול 2 אותות ומערכות חד ממדיים דיסקרטיים.
רקורסיות נושאי השיעור מהן רקורסיות פתרון רקורסיות : שיטת ההצבה שיטת איטרציות שיטת המסטר 14 יוני יוני יוני 1514 יוני יוני יוני 1514.
עבודה סמינריונית Prelude to Ukkonen algorithm ON-LINE CONSTRUCTION OF SUFFIX TREES מגישים : עיד מוחמד טיבי פיראס.
אוטומט מחסנית הפקולטה למדעי המחשב אוטומטים ושפות פורמליות ( ) תרגיל מספר 11.
שימושים בטורי פוריה לעיבוד אותות
היום נדבר אל נושא אחד בתורת הגרפים. ובהמשך נשתמש בכלים אלו לפתרון כמה בעיות גאומטריות ובפרט להוכחת Szemeredi Trotter theorem.
משפט ההרכבה Composition Theorem תהי C מחלקה של פונקציות בוליניות תהי נגדיר סדרת פונקציות שניתנות לחישוב בזמן פולינומיאלי.
מרצה: פרופסור דורון פלד
א " ב, מילים, ושפות הפקולטה למדעי המחשב אוטומטים ושפות פורמליות ( ) תרגיל מספר 1.
א " ב, מילים, ושפות הפקולטה למדעי המחשב אוטומטים ושפות פורמליות ( ) תרגיל מספר 1.
תורת הקבוצות חלק ב'. קבוצה בת מניה הגדרה: קבוצה אינסופית X היא ניתנת למניה אם יש התאמה חד-חד ערכית בין X לבין .
תכנות תרגול 6 שבוע : תרגיל שורש של מספר מחושב לפי הסדרה הבאה : root 0 = 1 root n = root n-1 + a / root n-1 2 כאשר האיבר ה n של הסדרה הוא קירוב.
עיבוד תמונות ואותות במחשב 1 תרגול 2 אותות ומערכות חד ממדיים דיסקרטיים.
Backpatching 1. תזכורת מתרגול קודם קוד ביניים - שפת הרביעיות שיטות לייצור קוד ביניים –שימוש בתכונת code –כתיבה ישירה ל-buffer של פקודות שיטות לתרגום מבני.
שימושים בטורי פוריה לעיבוד אותות
א " ב, מילים, ושפות הפקולטה למדעי המחשב אוטומטים ושפות פורמליות ( ) תרגיל מספר 1.
ערכים עצמיים בשיטות נומריות. משוואה אופינית X מציין וקטור עצמי מציינת ערך עצמי תואם לוקטור.
מבוא למדעי המחשב תרגול מספר.
שימושים בטורי פוריה לעיבוד אותות
הפקולטה למדעי המחשב אוטומטים ושפות פורמליות (236353)
טיב פני שטח (טפ"ש) טיב פני שטח- רמת החלקות של המשטח.
Ray 7 דוגמא אלגוריתם 1.קבל דוגמאות 2. פלט f a עבור הדוגמה a המינימלית החיובית ?
תחשיב הפסוקים חלק ד'. תורת ההיסק של תחשיב הפסוקים.
עיבוד תמונות ואותות במחשב 1 תרגול2 אותות ומערכות חד ממדיים דיסקרטיים.
Galileo Navigation System Software Systems lab Software Systems lab סמסטר חורף תשס " ט סמסטר חורף תשס " ט מנחה: ולדימיר זדורנוב משה חיות מבצעים: גליה סימנובסקי.
עיבוד תמונות ואותות במחשב תרגול 9: טורי פורייה 1/39 עיבוד תמונות ואותות בעזרת מחשב תרגול מס' 9: טורי פורייה.
Data Structures, CS, TAU, Perfect Hashing 1 Perfect Hashing בעיה : נתונה קבוצה S של n מפתחות מתחום U השוואה ל - Hash : * טבלה קבועה (Hash רגיל - דינאמי.
תכנות תרגול 5 שבוע : הגדרת פונקציות return-value-type function-name(parameter1, parameter2, …) הגדרת סוג הערכים שהפונקציה מחזירה שם הפונקציהרשימת.
אלכסנדר ברנגולץ דואר אלקטרוני: אלכסנדר ברנגולץ דואר אלקטרוני: פעולות מורפולוגיות.
משטר דינמי – © Dima Elenbogen :14. הגדרת cd ו -pd cd - הזמן שעובר בין הרגע שראשון אותות הכניסה יוצא מתחום לוגי עד אשר אות המוצא יוצא מתחום.
תזכורת : אלגברה ליניארית מסקנה קלט : וקטורים פלט : האם u תלוי ליניארית ב קלט : מערכת של n משואות לינאריות ב -m נעלמים. פלט : פתרון, או שאין כזה. אלגוריתם.
מערכים עד היום כדי לייצג 20 סטודנטים נאלצנו להגדיר עד היום כדי לייצג 20 סטודנטים נאלצנו להגדיר int grade1, grade2, …, grade20; int grade1, grade2, …, grade20;
מודל הלמידה מדוגמאות Learning from Examples קלט: אוסף של דוגמאות פלט: קונסיסטנטי עם פונקציה f ב- C ז"א קונסיסטנטי עם S ז"א מודל הלמידה מדוגמאות Learning.
עקרון ההכלה וההדחה.
יחס סדר חלקי.
עיבוד תמונות ואותות בעזרת מחשב תרגול מס' 8: Template Matching
מבוא למדעי המחשב תרגול 3 שעת קבלה : יום שני 11:00-12:00 דוא " ל :
מודל הלמידה מדוגמאות Learning from Examples קלט: אוסף של דוגמאות פלט: קונסיסטנטי עם פונקציה f ב- C ז"א קונסיסטנטי עם S ז"א.
1 מבוא למדעי המחשב סיבוכיות. 2 סיבוכיות - מוטיבציה סידרת פיבונאצ'י: long fibonacci (int n) { if (n == 1 || n == 2) return 1; else return (fibonacci(n-1)
(C) סיון טל גילוי מידע וזיהוי תבניות תרגול מס. 9 גילוי מידע וזיהוי תבניות תרגול מס. 9 דחיסת נתונים מהו קידוד תכונות של קידודים אי - שוויון קרפט.
1 גילוי מידע וזיהוי תבניות תרגול מס. 3 התפלגות נורמלית רב - מימדית Kullback-Leibler Divergence - משפט קמירות - נגזרת שנייה משפט Log sum inequality משפט.
Presentation by Gil Perry Supervised by Amos Fiat 1.
פיתוח מערכות מידע Class diagrams Aggregation, Composition and Generalization.
Practice session 3 תחביר ממשי ( קונקרטי ) ותחביר מופשט ( אבסטרקטי ) שיטות חישוב : Applicative & Normal Evaluation Partial Evaluation.
מבוא למדעי המחשב לתעשייה וניהול הרצאה 7. סברוטינות subroutines.
Practice session 3.  תחביר ממשי ( קונקרטי ) ותחביר מופשט ( אבסטרקטי )  שיטות חישוב : Applicative & Normal Evaluation.
Data Structures Hanoch Levi and Uri Zwick March 2011 Lecture 3 Dynamic Sets / Dictionaries Binary Search Trees.
1 Formal Specifications for Complex Systems (236368) Tutorial #1 Course site:
Programming Arrays.
Formal Specifications for Complex Systems (236368) Tutorial #1
מבוא למדעי המחשב סיבוכיות.
שימוש בשיטה א-פרמטרית להשוואת תוחלות של שתי אוכלוסיות.
הפקולטה למדעי המחשב אוטומטים ושפות פורמליות (236353)
ממשקים - interfaces איך לאפשר "הורשה מרובה".
Marina Kogan Sadetsky –
תוכנה 1 תרגול 13 – סיכום.
NG Interpolation: Divided Differences
Computer Programming תרגול 3 Summer 2016
Engineering Programming A
Presentation transcript:

עיבוד תמונות ואותות במחשב אלכסנדר ברנגולץ דואר אלקטרוני : שיטות קידוד שיטות קידוד אורך מלת קוד ואנטרופיה אורך מלת קוד ואנטרופיה קידוד Huffman קידוד Huffman אלכסנדר ברנגולץ דואר אלקטרוני : שיטות קידוד שיטות קידוד אורך מלת קוד ואנטרופיה אורך מלת קוד ואנטרופיה קידוד Huffman קידוד Huffman קידוד אותות ותמונות

© ברנגולץ א ’ עיבוד תמונות ואותות במחשב 2 בעיית הקידוד נתונה סדרה של ערכים נתונה סדרה של ערכים כל אחד מהם יכול להיות מתוך קבוצת ערכים סופית V כל אחד מהם יכול להיות מתוך קבוצת ערכים סופית V יש לייצג את הסדרה באמצעות סדרה בינארית בעלת אורך מינימלי. יש לייצג את הסדרה באמצעות סדרה בינארית בעלת אורך מינימלי. ייצוג “ טבעי ”: נצמיד לערך x i את הקוד הבינארי של i. אורך מלת קידוד הוא |log|V. ייצוג “ טבעי ”: נצמיד לערך x i את הקוד הבינארי של i. אורך מלת קידוד הוא |log|V. דוגמא : דוגמא :  kbz-*la

© ברנגולץ א ’ עיבוד תמונות ואותות במחשב 3 הגדרת הבעיה  האם אי אפשר לבנות קידוד קצר יותר ?  דרישות : – יחידות הפענוח (Uniquely Decodable) – רגעיות הפענוח (Instantaneous) כמה ניתן לחסוך, במקרה הטוב ביותר ? כמה ניתן לחסוך, במקרה הטוב ביותר ? איפה ניתן לחסוך ? איפה ניתן לחסוך ?

© ברנגולץ א ’ עיבוד תמונות ואותות במחשב 4 אנטרופיה נגדיר את האנטרופיה : כאשר הסתברות של הערך בסדרה X. נגדיר את האנטרופיה : כאשר הסתברות של הערך בסדרה X. דוגמאות : דוגמאות : – – –

© ברנגולץ א ’ עיבוד תמונות ואותות במחשב 5 תכונות של אנטרופיה משפט : משפט : נגדיר : אורך ממוצע של מלת קוד בקידוד : נגדיר : אורך ממוצע של מלת קוד בקידוד : משפט : משפט : דוגמא : דוגמא :

© ברנגולץ א ’ עיבוד תמונות ואותות במחשב 6 קידוד Huffman רעיון : אם יש לנו רק שתי אותיות אז אין אפשרות קידוד אחרת חוץ מלקדד אחת 1 ושניה 0. רעיון : אם יש לנו רק שתי אותיות אז אין אפשרות קידוד אחרת חוץ מלקדד אחת 1 ושניה 0. נבנה שוטת קידוד רקורסיבית ( בהינתן הסתברות של אותיות ): נבנה שוטת קידוד רקורסיבית ( בהינתן הסתברות של אותיות ): – ניקח שתי אותיות בעלות הסתברות הכי נמוכה, – נבנה מהם אות “ מורכבת ” שהסתברותה סכום של הסתברויות שלהן, – קידוד של אותיות המורכבות נקבל בכך שנוסיף לראישה משותפת 1 לאחת מהן ו 0 לשניה. ניתן להוכיח שבקוד הזה שאם פגשנו קידוד של האות מסוימת אז אין אות אחרת שזה התחלת הקידוד שלה. ולכן הוא חד - פענוח. ניתן להוכיח שבקוד הזה שאם פגשנו קידוד של האות מסוימת אז אין אות אחרת שזה התחלת הקידוד שלה. ולכן הוא חד - פענוח.

© ברנגולץ א ’ עיבוד תמונות ואותות במחשב 7 דוגמא a, 0.01 b, 0.02 e, 0. 1 d, 0.09 c, 0.04 f, g, 0.2 h, 0.4 a/b, a/b/c, a/b/c/d, e/f, a/b/c/d/g, a/b/c/d/e/f/g,