NG Interpolation: Divided Differences

Slides:



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

1 Formal Specifications for Complex Systems (236368) Tutorial #4 Refinement in Z: data refinement; operations refinement; their combinations.
פונקציונל פונקציה מספר פונקציונל דוגמאות לא פונקציונל פונקציונל.
תכנות מונחה עצמים Object Oriented Programming (OOP) אתגר מחזור ב'
מתמטיקה בדידה תרגול 3.
אינטרפולציה רועי יצחק.
קורס אינטראקטיבי מבוסס על הקורס המועבר ע”י ד”ר קרסנוב קורס אינטראקטיבי מבוסס על הקורס המועבר ע”י ד”ר קרסנוב פרק 6. פירוק ……….(LU and Cholesky) …...
מבני נתונים 1 – מבנה התרגולים
אלכסנדר ברנגולץ דואר אלקטרוני: אלכסנדר ברנגולץ דואר אלקטרוני: תכונות של סדרות.
רקורסיות נושאי השיעור פתרון משוואות רקורסיביות שיטת ההצבה
חשבון דיפרנציאלי ואינטגרלי א' (חדו"א)
Inverse kinematics (Craig ch.4) ב"ה. Pieper’s solution נתבונן ברובוט עם 6 מפרקי סיבוב כאשר שלושת הצירים של המפרקים האחרונים נחתכים. נקודת החיתוך נתונה.
חורף - תשס " ג DBMS, Design1 שימור תלויות אינטואיציה : כל תלות פונקציונלית שהתקיימה בסכמה המקורית מתקיימת גם בסכמה המפורקת. מטרה : כאשר מעדכנים.
רקורסיות נושאי השיעור מהן רקורסיות פתרון רקורסיות : שיטת ההצבה שיטת איטרציות שיטת המסטר 14 יוני יוני יוני 1514 יוני יוני יוני 1514.
עבודה סמינריונית Prelude to Ukkonen algorithm ON-LINE CONSTRUCTION OF SUFFIX TREES מגישים : עיד מוחמד טיבי פיראס.
אוטומט מחסנית הפקולטה למדעי המחשב אוטומטים ושפות פורמליות ( ) תרגיל מספר 11.
אינטרפולציה רועי יצחק.
חורף - תשס " ג 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.
1 Formal Specifications for Complex Systems (236368) Tutorial #5 Refinement in Z: data refinement; operations refinement; their combinations.
בהסתברות לפחות למצא בעיה במודל PAC עבור בהסתברות ε הפונקציה f טועה מודל ONLINE 1. אחרי כל טעות הפונקציה משתפרת 2. מספר הטעיות קטן.
עיבוד תמונות ואותות במחשב אלכסנדר ברנגולץ דואר אלקטרוני : שיטות קידוד שיטות קידוד אורך מלת קוד ואנטרופיה אורך מלת קוד ואנטרופיה קידוד.
א " ב, מילים, ושפות הפקולטה למדעי המחשב אוטומטים ושפות פורמליות ( ) תרגיל מספר 1.
Formal Specifications for Complex Systems (236368) Tutorial #6 appendix Statecharts vs. Raphsody 7 (theory vs. practice)
תורת הקבוצות חלק ב'. קבוצה בת מניה הגדרה: קבוצה אינסופית X היא ניתנת למניה אם יש התאמה חד-חד ערכית בין X לבין .
תכנות תרגול 6 שבוע : תרגיל שורש של מספר מחושב לפי הסדרה הבאה : root 0 = 1 root n = root n-1 + a / root n-1 2 כאשר האיבר ה n של הסדרה הוא קירוב.
1 Formal Specifications for Complex Systems (236368) Tutorial #1 Course site : T.A. :Emilia Katz.
תכנות תרגול 6 שבוע : הגדרת פונקציות return-value-type function-name(parameter1, parameter2, …) הגדרת סוג הערכים שהפונקציה מחזירה שם הפונקציהרשימת.
תחשיב הפסוקים חלק ג'. צורות נורמליות א. DF – Disjunctive Form – סכום של מכפלות. דוגמא: (P  ~Q  R)  (R  P)  (R  ~Q  ~P) הגדרה: נוסחה השקולה לנוסחה.
מודל ONLINE לומדמורה 1. כל ניתן לחישוב בזמן פולינומיאלי 2. אחרי מספר פולינומיאלי של טעיות ( ) הלומד לא טועה ז"א שווה ל- Littlestone 1988.
דיפרנציאציה ואינטגרציה נומרית
ערכים עצמיים בשיטות נומריות. משוואה אופינית X מציין וקטור עצמי מציינת ערך עצמי תואם לוקטור.
הקיבול איננו תלוי במטען ובפוטנציאל
הפקולטה למדעי המחשב אוטומטים ושפות פורמליות (236353)
Ray 7 דוגמא אלגוריתם 1.קבל דוגמאות 2. פלט f a עבור הדוגמה a המינימלית החיובית ?
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 רגיל - דינאמי) * רוצים זמן קבוע.
מערכים עד היום כדי לייצג 20 סטודנטים נאלצנו להגדיר עד היום כדי לייצג 20 סטודנטים נאלצנו להגדיר int grade1, grade2, …, grade20; int grade1, grade2, …, grade20;
מודל הלמידה מדוגמאות Learning from Examples קלט: אוסף של דוגמאות פלט: קונסיסטנטי עם פונקציה f ב- C ז"א קונסיסטנטי עם S ז"א מודל הלמידה מדוגמאות Learning.
עקרון ההכלה וההדחה.
יחס סדר חלקי.
Line Terminated By Arbitrary Load Zg + Vg d=ld=0 Z0,βZ0,β ZRZR I(0) d V(0) + VgVg ZgZg ZRZR Z0Z0 β I(0) V(0) ΓRΓR Line Impedance Load Impedance Current.
תחשיב היחסים (הפרדיקטים)
מבוא למדעי המחשב, סמסטר א ', תשע " א תרגול מס ' 1 נושאים  הכרת הקורס  פסאודו - קוד / אלגוריתם 1.
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)
Points on a perimeter (Convex Hull) קורס – מבוא לעבוד מקבילי מבצעים – אריאל פנדלר יאיר ברעם.
מבנה מחשבים תרגול מספר 3. טענה על עצים משפט: בעץ שדרגת כל קודקודיו חסומה ב-3, מספר העלים ≤ מספר הקודקודים הפנימיים + 2. הוכחה: באינדוקציה על n, מספר הקודקודים.
1 גילוי מידע וזיהוי תבניות תרגול מס. 3 התפלגות נורמלית רב - מימדית Kullback-Leibler Divergence - משפט קמירות - נגזרת שנייה משפט Log sum inequality משפט.
Interpolation Functions in Matlab By Dmitriy Katsif.
- אמיר רובינשטיין מיונים - Sorting משפט : חסם תחתון על מיון ( המבוסס על השוואות בלבד ) של n מפתחות הינו Ω(nlogn) במקרה הגרוע ובממוצע. ניתן לפעמים.
דיפרנציאציה ואינטגרציה נומרית
פיתוח מערכות מידע Class diagrams Aggregation, Composition and Generalization.
מספרים אקראיים ניתן לייצר מספרים אקראיים ע"י הפונקציה int rand(void);
מבוא למדעי המחשב סיבוכיות.
4 July 2007 נרמול מסד הנתונים.
SQL בסיסי – הגדרה אינדוקטיבית
פרוקטוז, C6H12O6 , חד-סוכר מיוחד
שיטות נומריות בהנדסה בסמסטר ב' תשס"ט ניתן הקורס "שיטות נומריות בהנדסה" שהוא קורס חובה במסגרת המחלקה להנדסת מכונות לסטודנטים בשנה ב'. קורס זה.
תיאוריית תכנון סכמות למסדי נתונים יחסיים חלק 4
בעיות נוספות ב-NPC.
Marina Kogan Sadetsky –
תרגול 11 NP complete.
ריבועים פחותים – מקרה כללי
תוכנה 1 תרגול 13 – סיכום.
Presentation transcript:

NG Interpolation: Divided Differences

Lagrange Interpolation: Weight Functions NG Interpolation: Divided Differences Lagrange Interpolation: Weight Functions

שגיאות אינטרפולציה עם הגדלת מס' נקודות (דוגמה)

קרוב ( interpolation) של ברווז

קרוב ( interpolation) של ברווז Lagrange Interpolation

קרוב ( interpolation) של ברווז Cubic Spline Interpolation

אינטרפולציה ע"י ספלאיין (spline) באינטרפולציה ע"י פולינום בנינו פולינום יחיד העובר דרך כל נקודות הטבלה (1+n נק') ראינו שהפולינום יוצר בעיית האוסצילציות ככל ש n גדל. אינטרפולציה ע"י פולינום בד"כ לא מתכנסת כאשר . הבעיה חמורה עוד יותר אם הפונקציה לא חלקה. אפשרות אחרת – למצאו מספר פולינומים, כל אחד העובר דרך סט של נקודות. האינטרפולציה החדשה תהיה חלקה כך שבכל נקודת חיבור בין 2 פולינומים יש רציפות לא רק של הפולינום אלא גם הנגזרות!

ספלאין קובי (cubic spline) הגדרה: s(x) נקרא ספלאין מדרגה ≤ n אם: s(x) הינו פולינום מדרגה קטנה או שווה ל n על כל תת אינטרוול [xi+1 ,xi] s(r)(x) רציפה על [a,b] לכל ≤ n-1 r ≤ 0 נתונה פונקציה על הקטע וסט של הנקודות a= =b Cubic Spline הכי נפוץ. על כל קטע (xi+1 ,xi) ישנו פולינום מדרגה 3. ז"א: יש n קטעים ולכן ישנם n4 נעלמים

ספלאין קובי נבדוק כמה משוואות יש: סה"כ 2-n4 משוואות חסרות 2 משוואות. נוסיף אותן כ-2 "תנאי שפה" ב xn, x0 : ספלאין טבעי: כאשר אין נתונים נוספים אז קובעים ספלאין מלא: אם ידועות הנגזרות אזי לפני שנעבור לבניית הספלאין נגדיר סימנים: נסמן את מרחקים בין הנקודות כ- ונסמן את הנגזרת השנייה בנקודה xi ב Mi . בשלב זה הערכים של Mi אינם ידועים. נמצא אותם בהמשך, תוך כדי בניית הספלאין. ספלאין טבעי (natural spline); ספלאין מלא (clamped spline)

בניית הספלאין אם (x)s פולינום מדרגה שלישית בין xi לבין 1+xi אזי הנגזרת השנייה משתנה ליניארית: נבצע אינטגרציה פעמיים. כדי לחשב את הקבועים של האינטגרציה נציב את הנתונים נקבל: כאן ספלאין רשום דרך M !!! השתמשנו עד כה בכל הנתונים חוץ מהתנאי שנגזרת הספלאין רציפה, ז"א נראה בהמשך שהתנאי הזה מביא למערכת המשוואות:

בניית הספלאין (המשך) נוכיח את הטענה הקודמת. נחשב את משמאל ומימין מנקודה xi: נציב xi במקום x ונשווה, נקבל אחרי קצת אלגברה: סה"כ 1-n משוואות עם 1+n נעלמים Mi

בניית הספלאין (המשך) מערכת המשוואות הנ"ל אפשר לכתוב בצורה פשוטה יותר אם נכפיל ב נקבל: כאשר בצורה של מטריצה המערכת נראית כך: קיבלנו מערכת תלת-אלכסונית. המקדים λ0, μn , d0 , dn תלויים בתנאי שפה.

תנאי שפה שגיאת אינטרפולציה בספלאין טבעי נגזרת שנייה בקצבות שווה ל-0: מכאן מקבלים 0λ0==μn =d0=dn. בספלאין מלא נגזרת ראשונה בקצבות נתונה. במקרה הזה מקבלים שגיאת אינטרפולציה ניתן להוכיח ששגיאת האינטרפולציה ע"י ספלאין קובי היא השגיאה יורדת כ 4h כאשר h יורד.

Cubic Spline (other form) וסט של הנקודות על נתונה פונקציה אנו מחפשים את המקדמים אבל כאן וזה מאוד נוח!

Cubic Spline (other form) וסט של הנקודות על נתונה פונקציה

Cubic Spline

Cubic Spline נגדיר: צריך למצוא ! מהתנאים c,d,e נרכיב מערכת משוואות Ax=b איפה x=c

Natural Cubic Spline: Ax=b

Natural Cubic Spline

Clamped Cubic Spline: Ax=b

Clamped Cubic Spline

Tridiagonal Linear System

Tridiagonal Linear System

Tridiagonal Linear System: Thomas Algorithm

Cubic Spline (exercise) Construct a natural cubic spline to approximate by using the values given by f(x) at x=0, 0.25, 0.5, 0.75 and 1.0. Integrate the spline over [0,1], and compare the result to Use the derivatives of the spline to approximate and . Compare these approximations to the actual values. Use spline Use spline (find ) and compare the results with a)

דוגמה: קרוב ( interpolation) של ברווז

קרוב ( interpolation) של ברווז ע"י ספלאין

קרוב ( interpolation) של ברווז Cubic Spline Interpolation