עיבוד תמונות ואותות בעזרת מחשב תרגול מס' 10: התמרת פורייה הבדידה

Slides:



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

אלכסנדר ברנגולץ מסננים דו-ממדים מסננים דו-ממדים קונוולוציה גרפית קונוולוציה גרפית קונוולוציה בשני ממדים ( כולל גרפית ) קונוולוציה בשני ממדים ( כולל גרפית.
עיבוד תמונות ואותות בעזרת מחשב
מכונת מצבים תרגול מס' 4 Moshe Malka.
מתמטיקה בדידה תרגול 3.
אלכסנדר ברנגולץ דואר אלקטרוני: אלכסנדר ברנגולץ דואר אלקטרוני: תכונות של סדרות.
רקורסיות נושאי השיעור פתרון משוואות רקורסיביות שיטת ההצבה
משטר דינמי המשך – © Dima Elenbogen :55 חידה שכדאי לעבור עליה: 2011/ho/WCFiles/%D7%97%D7%99%D7%93%D7%94%20%D7%A2%D7%9D%20%D7%91%D7%95%D7%A0%D7%95%D7%A1.doc.
Inverse kinematics (Craig ch.4) ב"ה. Pieper’s solution נתבונן ברובוט עם 6 מפרקי סיבוב כאשר שלושת הצירים של המפרקים האחרונים נחתכים. נקודת החיתוך נתונה.
עיבוד תמונות ואותות במחשב 1 תרגול 2 אותות ומערכות חד ממדיים דיסקרטיים.
אוטומט מחסנית הפקולטה למדעי המחשב אוטומטים ושפות פורמליות ( ) תרגיל מספר 11.
Robot\Machine Vision Cherevatsky Boris.
חורף - תשס " ג DBMS, צורות נורמליות 1 צורה נורמלית שלישית - 3NF הגדרה : תהי R סכמה רלציונית ותהי F קבוצת תלויות פונקציונליות מעל R. R היא ב -3NF.
שימושים בטורי פוריה לעיבוד אותות
היום נדבר אל נושא אחד בתורת הגרפים. ובהמשך נשתמש בכלים אלו לפתרון כמה בעיות גאומטריות ובפרט להוכחת Szemeredi Trotter theorem.
Robust Characterization of Polynomials 1 Robust Characterization of polynomials “IT DOES NOT MAKE SENCE!” מרצים : אורי גרסטן יניב עזריה Ronitt Rubinfeld.
בהסתברות לפחות למצא בעיה במודל PAC עבור בהסתברות ε הפונקציה f טועה מודל ONLINE 1. אחרי כל טעות הפונקציה משתפרת 2. מספר הטעיות קטן.
עיבוד תמונות ואותות במחשב אלכסנדר ברנגולץ דואר אלקטרוני : שיטות קידוד שיטות קידוד אורך מלת קוד ואנטרופיה אורך מלת קוד ואנטרופיה קידוד.
א " ב, מילים, ושפות הפקולטה למדעי המחשב אוטומטים ושפות פורמליות ( ) תרגיל מספר 1.
א " ב, מילים, ושפות הפקולטה למדעי המחשב אוטומטים ושפות פורמליות ( ) תרגיל מספר 1.
Formal Specifications for Complex Systems (236368) Tutorial #6 appendix Statecharts vs. Raphsody 7 (theory vs. practice)
תורת הקבוצות חלק ב'. קבוצה בת מניה הגדרה: קבוצה אינסופית X היא ניתנת למניה אם יש התאמה חד-חד ערכית בין X לבין .
1 Formal Specifications for Complex Systems (236368) Tutorial #1 Course site : T.A. :Emilia Katz.
עיבוד אותות ותמונות במחשב
עיבוד תמונות ואותות במחשב 1 תרגול 2 אותות ומערכות חד ממדיים דיסקרטיים.
תחשיב הפסוקים חלק ג'. צורות נורמליות א. DF – Disjunctive Form – סכום של מכפלות. דוגמא: (P  ~Q  R)  (R  P)  (R  ~Q  ~P) הגדרה: נוסחה השקולה לנוסחה.
שימושים בטורי פוריה לעיבוד אותות
א " ב, מילים, ושפות הפקולטה למדעי המחשב אוטומטים ושפות פורמליות ( ) תרגיל מספר 1.
ערכים עצמיים בשיטות נומריות. משוואה אופינית X מציין וקטור עצמי מציינת ערך עצמי תואם לוקטור.
הקיבול איננו תלוי במטען ובפוטנציאל
שימושים בטורי פוריה לעיבוד אותות
הפקולטה למדעי המחשב אוטומטים ושפות פורמליות (236353)
טיב פני שטח (טפ"ש) טיב פני שטח- רמת החלקות של המשטח.
Ray 7 דוגמא אלגוריתם 1.קבל דוגמאות 2. פלט f a עבור הדוגמה a המינימלית החיובית ?
תחשיב הפסוקים חלק ד'. תורת ההיסק של תחשיב הפסוקים.
הקדמה. תנועת גל בחומר. קריסת הגל. משוואת ברגר (Burgers’ equation) ופתרונה. גלי הלם. סיכום.
עיבוד תמונות ואותות במחשב 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 רגיל - דינאמי.
אלכסנדר ברנגולץ דואר אלקטרוני: אלכסנדר ברנגולץ דואר אלקטרוני: פעולות מורפולוגיות.
1 Data Structures, CS, TAU, Perfect Hashing בעיה: נתונה קבוצה S של n מפתחות מתחום U השוואה ל- Hash : * טבלה קבועה (Hash רגיל - דינאמי) * רוצים זמן קבוע.
משטר דינמי – © Dima Elenbogen :14. הגדרת cd ו -pd cd - הזמן שעובר בין הרגע שראשון אותות הכניסה יוצא מתחום לוגי עד אשר אות המוצא יוצא מתחום.
מערכים עד היום כדי לייצג 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 דוא " ל :
תחשיב היחסים (הפרדיקטים)
מבוא למדעי המחשב, סמסטר א ', תשע " א תרגול מס ' 1 נושאים  הכרת הקורס  פסאודו - קוד / אלגוריתם 1.
Markov Decision Processes (MDP) תומר באום Based on ch. 14 in “Probabilistic Robotics” By Thrun et al. ב"הב"ה.
מודל הלמידה מדוגמאות Learning from Examples קלט: אוסף של דוגמאות פלט: קונסיסטנטי עם פונקציה f ב- C ז"א קונסיסטנטי עם S ז"א.
גיאולוגיה סטרוקטורלית מעגלי מוהר למעוות סופי (המשך...)
מתמטיקה בדידה תרגול 2.
1 מבוא למדעי המחשב סיבוכיות. 2 סיבוכיות - מוטיבציה סידרת פיבונאצ'י: long fibonacci (int n) { if (n == 1 || n == 2) return 1; else return (fibonacci(n-1)
Lecture 13 Maximal Accurate Forests From Distance Matrix.
Interpolation Functions in Matlab By Dmitriy Katsif.
- אמיר רובינשטיין מיונים - Sorting משפט : חסם תחתון על מיון ( המבוסס על השוואות בלבד ) של n מפתחות הינו Ω(nlogn) במקרה הגרוע ובממוצע. ניתן לפעמים.
פיתוח מערכות מידע Class diagrams Aggregation, Composition and Generalization.
 Client, Supplier ומה שביניהם ( ADT!).  שאלה 1: יצירת ADT עבור מעגל במישור נניח שלקוח מעוניין בפעולות הבאות : הזזת מעגל וחישוב שטח מעגל. הספק יספק ללקוח.
מבוא למדעי המחשב לתעשייה וניהול הרצאה 6. מפעל השעווה – לולאות  עד עכשיו  טיפלנו בייצור נרות מסוג אחד, במחיר אחיד  למדנו להתמודד עם טיפול במקרים שונים.
. Sequence Alignment Tutorial #3 © Ydo Wexler & Dan Geiger.
Present simple הווה פשוט
SQL בסיסי – הגדרה אינדוקטיבית
מסננים מסנן מעביר נמוכים LPF תומר ורונה.
קצוות תמונה Edge Detection
תזכורת על מה דיברנו שיעור שעבר? בנינו אתר אינטרנט עם כותרות
שיחזור פאזה באותות שמע שעברו שינוי
סמינר בנושאים מתקדמים בעיבוד תמונה
Presentation transcript:

עיבוד תמונות ואותות בעזרת מחשב תרגול מס' 10: התמרת פורייה הבדידה תרגול מס' 10: התמרת פורייה הבדידה

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

תגובת התדר באותות דיסקרטיים נסתכל על הפיתוח בקטע סופי אם האות מחזורי נעשה פיתוח מחזורי נבחר את הקטע כך שיכיל מחזור אחד אם לא, נבחר קטע המעניין אותנו אותות הבסיס יהיו האותות ההרמוניים המרוכבים הבדידים עוד עליהם בהמשך... ההתמרה נקראת DFT או Discrete Fourier Transform

האותות ההרמוניים המרוכבים הבדידים האותות הרציפים היו: האותות הבדידים הם: נראה כי אלו אכן "אותות עצמיים":

הבסיס ההרמוני הבדיד תזכורת למקרה הרציף: ייצגנו אות רציף בתחום [-L,L] הבסיס אינסופי ובן-מניה התדרים הם nf0 כאשר f0=1/T=1/2L

הבסיס ההרמוני הבדיד במקרה הבדיד, הבסיס הוא סופי לכל n, מתקיים כלומר, כדי לקרב אות בקטע [-L,L], הבסיס הוא:

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

הוכחה: האותות ההרמונים הדיסקרטיים אורתוגונליים מקרה 1:

הוכחה: האותות ההרמונים הדיסקרטיים אורתוגונליים (המשך) מקרה 1: מקרה 2: זוהי סדרה גאומטרית:

הוכחה: האותות ההרמונים הדיסקרטיים אורתוגונליים (המשך) כלומר: ולכן האותות ההרמוניים הדיסקרטיים מהווים בסיס

משפט היצוג של ה DFT כיוון שזהו בסיס אורתוגונלי, ניתן לייצג אות בדיד x בקטע כלשהו [h,h+T-1] DFT Inverse DFT זהו ייצוג מדויק בקטע זה אם האות x מחזורי, נבחר את T כזמן המחזור, ואז היצוג מדויק בכל התחום (ולא רק בקטע): מכפלה פנימית על מחזור אחד

חישוב DFT: דוגמא חשב DFT לאות השלם הדיסקרטי כך שהייצוג נכון עבור כל t האות מחזורי: בעל אורך מחזור 16, לכן נבחר את הקטע [0,15]

חישוב DFT: דוגמא - המשך פיתוח על פי הנוסחא

חישוב DFT: דוגמא - המשך פיתוח על פי הנוסחא: נוודא על ידי פיתוח אלטרנטיבי:

תכונות DFT לינאריות (נובע מלינאריות האינטגרל והסכימה) סימטריות: עבור x ממשי, גודל המקדם פונקציה זוגית גודל הפאזה פונקציה אי-זוגית הזזה בזמן: הזזה בתדר:

תכונות DFT - המשך דואליות: משפט פרסוול: התכונות נכונות גם ליצוגי פורייה אחרים (בשינויים מסויימים) הוכחות ניתן למצוא בספרי לימוד

תכונות הDFT – תכונת הקונבולוציה הקונבולוציה היא: בין המשכים מחזוריים של שני האותות לאורך מחזור באורך T קרויה קונבולוציה ציקלית או קונבולוציה מעגלית קונבולוציה ציקלית של שני אותות באורך T היא באורך T

קשר בין קונבולוציה רגילה לקונבולוציה ציקלית נניח אנו יכולים לבצע קונבולוציה ציקלית בלבד למשל, באמצעות תכונת הקונבולוציה של ה DFT ורוצים לחשב קונבולוציה רגילה באמצעותה ניתן באמצעות ריפוד אפסים מתאים ריפוד אפסים בא בסוף כל אחד מהאותות ומביא כל אחד מהאותות לאורך 2T-1 קונבולוציה רגילה קונבולוציה ציקלית

קשר בין קונבולוציה רגילה לקונבולוציה ציקלית - דוגמא >> u = randn(1 , 4) 0.29441081639264 -1.3361818579378 0.714324551818952 1.62356206444627 >> v = randn(1 , 4) -0.691775701702287 0.857996672828263 1.25400142160253 -1.59372957644748 >> z = zeros(1 , length(u) - 1) >> regConv = conv(u , v) -0.203666249098762 1.17694164328633 -1.27140037419032 -2.65503787269385 4.41828739939966 0.897508971459113 -2.58751888130615 >> circConv = ifft(fft([u z]) .* fft([v z])) -0.203666249098762 1.17694164328633 -1.27140037419032 -2.65503787269385 4.41828739939966 0.897508971459113 -2.58751888130615 >> max(abs(regConv - circConv)) 8.88178419700125e-016 קונב' רגילה: קונב' ציקלית באמצעות DFT

למה זה טוב? העלות של ביצוע קונבולוציה ע"י התמרה DFT, כפל איבר איבר, והתמרה הפוכה: התמרת DFT T מכפלות פנימיות כל אחת T פעולות סה"כ T2 פעולות כפל איבר איבר: T פעולות התמרה הפוכה T2 פעולות סה"כ O(T2) פעולות אז לא משתלם...

אלג' התמרת פורייה המהירה FFT אלג' מהיר מבוסס על "הפרד ומשול" עובד בזמן O(TlogT) אפילו עם קבוע קטן יחסית פותח ע"י Gauss ב1805, עוד לפני גילוי טורי פורייה עצמם שוב ב1965, ע"י Cooley & Tukey תרם לפיתוח תחום עיבוד התמונות מי שמתעניין – יש הסבר טוב ב wikipedia.

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

סיכום: סוגי פורייה השונים טור פורייה: עבור: אותות מחזוריים מישור הזמן: רציף במשתנה t מישור התדר: בדיד במשתנה k נוסחאות:

סיכום: סוגי פורייה השונים DT: Discrete Time Fouriere Transform עבור: אותות לא מחזוריים מישור הזמן: בדיד במשתנה t מישור התדר: רציף במשתנה f נוסחאות:

סיכום: סוגי פורייה השונים DFT או Discrete Time Fourier Series עבור: אותות מחזוריים מישור הזמן: בדיד במשתנה t מישור התדר: בדיד במשתנה k נוסחאות:

דוגמא: סינון במישור התדר הבדיד נתונה תמונה רועשת אופי הרעש: נוסף לכל שורה רעש הרמוני תדר f = 1/(8 pixels) נוסחאת הרעש: האמפליטודה A והפאזה φ אקראיים, ובלתי תלויים בין שורה לשורה ננסה לנקות עם פילטרי ממוצע וחציון, וכן עם פילטר מיוחד

דוגמא – המשך: הוספת הרעש בשורה ה100

לפני ואחרי הוספת רעש

מסנן מיצוע - תוצאות

מסנן מיצוע ומסנן חציון (מיצוע 8 פיקסלים סמוכים בכל שורה) הרעש נוקה, אך התמונה מטושטשת

סינון רעש במישור התדר ננתח את הרעש:

סינון רעש במישור התדר - המשך ננתח את הרעש: אם נעשה DFT לאות, בקטע [0,255] (כלומר T=256): ומהפיתוח הקודם קיבלנו (ע"י הצבה f=1/8 ו T=256)

סינון רעש במישור התדר - המשך DFT של אות הרעש (עוצמה)

סינון רעש במישור התדר - המשך נרצה לתכנן מסנן לינארי בשל תכונות הקונבולוציה, מסנן לינארי יכפול על איבר תדר במספר מרוכב כלשהו כך כל תדר יקבל טיפול שונה במקרה שלנו, הרעש משפיע על מרכיבי התדר 32 ו 224 נתכנן מסנן Notch Filter העובד על תדר אחד יאפס את רכיבי התדר ה32 ו 224 (המסנן יהיה 0 בתדרים אלה) ולא ישנה את האחרים (המסנן יהיה 1 בשאר התדרים)

סינון רעש במישור התדר - המשך אות אחרי המסנן במישור התדר אות מקורי במישור התדר

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

סינון רעש במישור התדר - השוואה פילטר Notch במישור התדר פילטר ממוצע ברוחב 8

סינון רעש במישור התדר - מימוש בניית המסנן בציר התדר: Filter=ones(1,256); Filter(32+1)=0; Filter(224+1)=0; הפעלת המסנן על התמונה: For k=1:size(I,1), Y=fft(I(k,:)).*Filter; I(k,:)=ifft(Y); end הפילטר במישור התדר

עקרונות לתכנון מסנן לניקוי רעש במישור התדר נניח ידוע לנו איכותית כיצד נראית התמונה במישור התדר, וכיצד נראה הרעש במישור התדר, נתכנן את המסנן כך: 1 בתדרים בהם עוצמת הרעש חלשה לעומת עוצמת התמונה 0 בתדרים בהם עוצמת הרעש חזקה לעומת עוצמת התמונה ערך בין 0 ל 1 בתדרים בהם עוצמות הרעש קרובות Weiner Filter דרך לבצע את התכנון באופן אופטימלי ילמד בקורסים מתקדמים...