תכונות מערכות: זיכרון, הפיכות, סיבתיות, יציבות BIBO, ליניאריות ואי-תלות בזמן
פרק 2 — למידה מודרכת ותרגול מעמיק
תכונות מערכות: זיכרון, הפיכות, סיבתיות, יציבות BIBO, ליניאריות ואי-תלות בזמן
פרק 2 — למידה מודרכת ותרגול מעמיק
בפרק הקודם רכשנו את שפת האותות: הגדרנו אותות רציפים ובדידים, ביצענו מניפולציות בציר הזמן, וחישבנו אנרגיה והספק. אך בעולם האמיתי אותות אינם קיימים בחלל ריק; הם נוצרים, מועברים, מסוננים ומעובדים על ידי מערכות פיזיקליות והנדסיות. מערכת יכולה להיות מעגל אלקטרוני, אלגוריתם עיבוד קול ספרתי בטלפון חכם, או רכב אוטונומי המגיב לפקודות היגוי. מבחינה מתמטית, מערכת היא אופרטור טרנספורמציה המקשר בין מרחב אותות הכניסה למרחב אותות היציאה. כדי לתכנן, לנתח ולשלוט במערכות אלו, אנו זקוקים למערכת מיון קפדנית המאפיינת את תכונות היסוד שלהן: האם למערכת יש זיכרון? האם היא מסוגלת לפעול בזמן אמת (סיבתיות)? האם היא יציבה או עלולה לקרוס (יציבות BIBO)? והחשוב מכל — האם היא ליניארית ואינה תלויה בזמן (LTI)? בחוברת זו נלמד לזהות ולהוכיח תכונות אלו באופן שיטתי ומעמיק, ונבנה את הגשר הישיר למערכות LTI ותגובת הלם.
מטרות למידה מרכזיות:
- הבנת מושג המערכת כאופרטור מתמטי הממפה אות כניסה לאות יציאה בזמן רציף ובזמן בדיד
- הבחנה בין מערכות חסרות זיכרון (Memoryless) למערכות בעלות זיכרון (Dynamic)
- בדיקת הפיכות של מערכת ומציאת המערכת ההופכית המשחזרת את אות הכניסה המקורי
- הגדרת עקרון הסיבתיות הפיזיקלי וזיהוי מערכות סיבתיות מול מערכות שאינן סיבתיות
- שליטה בעקרון יציבות כניסה-חסומה יציאה-חסומה (BIBO Stability) והוכחת יציבות באמצעות אי-שוויונות
- שימוש בדוגמאות נגדיות מבוססות כניסה חסומה להוכחת אי-יציבות
- בדיקה שיטתית של ליניאריות באמצעות מבחן הסופרפוזיציה (אדיטיביות והומוגניות)
- בדיקת אי-תלות בזמן (Time-Invariance) והשוואת שתי דרכי ההזזה
- ניתוח משולב של כל שש תכונות היסוד עבור מערכות מורכבות וחיבורי מערכות בטור
מודל המערכת, זיכרון והפיכות
מערכת היא ישות פיזיקלית או אלגוריתמית המקבלת אות כניסה ומייצרת אות יציאה על ידי פעולה מתמטית מוגדרת. בזמן רציף נסמן את פעולת המערכת כך:
ובאופן מקביל, עבור מערכת הפועלת בזמן בדיד נסמן:
התנהגות המערכת אינה נקבעת על פי ערך בודד בלבד, אלא על פי האופן שבו היא מעבדת פונקציות שלמות של אותות כניסה לפונקציות של אותות יציאה.