‫‪-1-‬‬

‫אותות אקראיים ורעש – סמסטר אביב תשע"א‬

‫תרגיל ‪ : Matlab‬משימה מספר ‪1‬‬
‫שערוך‬
‫שערוך בערוץ תקשורת עם הפרעות‬
‫‪‬‬ ‫‪‬‬
‫יהא ‪ X 4×1‬וקטור אקראי כך שאיבריו מפולגים ‪ i.i.d‬באופן הבא‪ . X i = ± 1 w. p 0.5 :‬כל איבר בוקטור‬
‫‪‬‬ ‫‪‬‬
‫הוא למעשה שידור של ביט מידע יחיד‪ .‬ו"א זה עובר ערוץ לינארי דטרמיניסטי‪ ,‬שימודל ע"י מכפלה במטריצה‬
‫‪ H 4×4‬ובמוצא הערוץ מתווסף רעש גאוסי ‪ N 4×1‬שאיבריו מפולגים ‪ i.i.d‬באופן הבא‪ X . N i ~ N (0, σ 2 ) :‬ו‪N -‬‬
‫בת"ס‪.‬‬
‫נסמן את מוצא המערכת ב‪ , Y -‬כך שמתקיים‪. Y = H ⋅ X + N :‬‬
‫בתרגיל נבחן דרכים שונות לשערוך המידע המשודר בערוץ ) ‪.( X‬‬

‫חלק ‪-1‬שערוך לינארי אופטימלי‬

‫מצא ביטוי אנליטי למשערך ה‪ LMMSE -‬של ‪ X‬מתוך ‪) Y‬בטא תשובתך במונחי ‪ H , Y‬ו‪.( σ -‬‬
‫‪2‬‬
‫א‪.‬‬
‫מצא ביטוי אנליטי למטריצת קוואריאנס שגיאת משערך ה‪) LMMSE -‬בטא תשובתך במונחי ‪ H‬ו‪-‬‬ ‫ב‪.‬‬
‫‪.( σ 2‬‬
‫‪1 4‬‬ ‫‪1‬‬ ‫‪3‬‬
‫‪1 1‬‬ ‫‪2‬‬ ‫‪2 ‬‬
‫‪= H1 ≡ ‬‬
‫‪.H‬‬ ‫בסעיף זה נתון כי‪:‬‬ ‫ג‪.‬‬
‫‪1 0 0.01 0 ‬‬
‫‪‬‬ ‫‪‬‬
‫‪1 0‬‬ ‫‪1‬‬ ‫‪1‬‬
‫‪ .1‬בתת סעיף זה הנח כי ‪ . σ 2 = 1‬בצע סימולציית מונטה‪-‬קרלו למשערך ה‪ LMMSE -‬של ‪X‬‬
‫מתוך ‪ Y‬כדי לשערך את מטריצת קוואריאנס השגיאה בשערוך‪ .‬חשב את הקוואריאנס המתקבל‬
‫במקרה זה מהפיתוח האנליטי והשווה את התוצאה עם תוצאת הסימולציה‪.‬‬
‫הנחיות לביצוע תת הסעיף‪:‬‬
‫• לצורך שערוך מטריצת קוואריאנס השגיאה‪ ,‬בצע מיצוע של מטריצות השגיאה‬
‫) ‪(i‬‬
‫האמפיריות ) אם ביצעת ‪ m‬ניסויים‪ ,‬ובניסוי ה ‪ 1 ≤ i ≤ m‬התקבל וקטור שגיאה ‪, e‬‬
‫) ‪(i‬‬
‫‪ , C i = e ⋅ e‬והשיערוך המבוקש‬ ‫)) ( (‬
‫‪i‬‬ ‫‪T‬‬
‫אזי מטריצת השגיאה האמפירית בניסוי ה ‪ i‬היא‬
‫‪1 m‬‬
‫הוא לפיכך ‪∑ Ci‬‬
‫(‪.‬‬
‫‪m i =1‬‬
‫כדי להגריל את הוקטור ‪ X‬ניתן להעזר בפקודה ‪. randsrc‬‬ ‫•‬
‫כדי להגריל את הרעש הגאוסי ‪ N‬העזר בפקודה ‪. randn‬‬ ‫•‬
‫כדי לבצע פעולת היפוך מטריצה העזר בפקודה ‪. inv‬‬ ‫•‬
‫‪‬‬
‫‪1 if Xˆ LMMSE ,i ≥ 0‬‬
‫‪Xi = ‬‬
‫ˆ‬ ‫לצורך פענוח הביטים ב‪ X -‬נגדיר את כלל ההחלטה לביט באופן הבא‪:‬‬
‫‪− 1 otherwise‬‬
‫‪‬‬
‫ˆ‪ X‬הינו האיבר ה‪ i -‬במשערך ה‪ LMMSE -‬ואילו ̂‪ X‬הינו ההחלטה על הביט ה‪ i -‬ששודר‬
‫‪i‬‬ ‫כאשר‬
‫‪LMMSE ,i‬‬

‫ב‪. X -‬‬

‫‪ .2‬בצע סימולציית מונטה‪-‬קרלו למשערך ה‪ LMMSE -‬של ‪ X‬מתוך ‪ Y‬והפעל על המשערך את‬
‫כלל ההחלטה לביט המתואר בכדי לשערך את הסתברות השגיאה הממוצעת לביט כפונקציה של‬
‫יחס האות לרעש שיוגדר באופן הבא‪ . SNR = 10 log(1 / σ 2 )[dB] :‬את התוצאה יש להציג על גבי‬
‫גרף ב‪. Matlab -‬‬
 ‫‪-2-‬‬

‫= }‪. P{error‬‬
‫‪1 4‬‬
‫{‬
‫‪∑ Pr Xˆ i ≠ X i‬‬
‫‪4 i =1‬‬
‫שים לב‪ :‬הסתברות השגיאה הממוצעת לביט הינה‪} :‬‬
‫הנחיות לביצוע תת הסעיף‪:‬‬
‫• בחר את ה‪ SNR -‬להיות בתחום ]‪) [0,40] [dB‬העזר בפקודה ‪.( linspace‬‬
‫• בצע לפחות ‪ 2000‬הרצות לכל ‪ SNR‬בכדי לשערך את הסתברות השגיאה‪.‬‬
‫• את גרף הסתברות השגיאה כתלות ב‪) SNR -‬ב‪ ( dB -‬יש להציג בסקאלה חצי‬
‫לוגריתמית‪ .‬לצורך כך העזר בפקודה ‪. semi log y‬‬
‫‪1 0‬‬ ‫‪0‬‬ ‫‪0‬‬
‫‪0 0.7‬‬ ‫‪0‬‬ ‫‪0 ‬‬
‫=‪.‬‬
‫≡ ‪H H2‬‬ ‫‪‬‬ ‫חזור על סעיף ג'‪ ,‬כאשר כעת נתון כי‪:‬‬ ‫ד‪.‬‬
‫‪0 0 0.25 0 ‬‬
‫‪‬‬ ‫‪‬‬
‫‪0 0‬‬ ‫‪0‬‬ ‫‪0.1‬‬
‫‪1 0 0 0 ‬‬
‫‪0 0.5 0 0 ‬‬
‫‪H H3 ≡ ‬‬
‫= ‪ .‬האם ניתן לבצע את השערוך? נמק‬ ‫חזור על סעיף ג'‪ ,1‬כאשר כעת נתון כי‪ :‬‬ ‫ה‪.‬‬
‫‪1 0 0 0 ‬‬
‫‪‬‬ ‫‪‬‬
‫‪0 0 0 1 ‬‬
‫את תשובתך‪.‬‬

‫חלק ‪-2‬שערוך לינארי תת‪-‬אופטימלי‬

‫בסעיף זה נציע משערך לינארי פשוט יותר‪ ,‬המכונה משערך ה‪ . ZF ( Zero Forcing ) -‬המשערך מוגדר באופן‬
‫הבא‪. Xˆ ZF (Y ) = H −1 Y :‬‬
‫מצא ביטוי אנליטי למטריצת קוואריאנס שגיאת משערך ה‪) ZF -‬בטא תשובתך במונחי ‪ H‬ו‪.( σ 2 -‬‬ ‫א‪.‬‬
‫עבור המקרה בו ‪. H = H 1‬‬ ‫ב‪.‬‬
‫‪ .1‬בתת סעיף זה הנח כי ‪ . σ = 1‬בצע סימולציית מונטה‪-‬קרלו למשערך ה‪ ZF -‬של ‪ X‬מתוך ‪Y‬‬
‫‪2‬‬

‫כדי לשערך את מטריצת קוואריאנס השגיאה בשערוך‪ .‬חשב את הקוואריאנס המתקבל במקרה‬
‫זה מהפיתוח האנליטי והשווה את התוצאה עם תוצאת הסימולציה‪.‬‬
‫‪‬‬
‫‪1 if Xˆ ZF ,i ≥ 0‬‬
‫‪ X i = ‬כאשר‬
‫ˆ‬ ‫לצורך פענוח הביטים ב‪ X -‬נגדיר את כלל ההחלטה לביט באופן הבא‪:‬‬
‫‪− 1 otherwise‬‬
‫‪‬‬
‫ˆ‪ X‬הינו האיבר ה‪ i -‬במשערך ה‪ ZF -‬ואילו ̂‪ X‬הינו ההחלטה על הביט ה‪ i -‬ששודר ב‪. X -‬‬
‫‪i‬‬ ‫‪ZF ,i‬‬

‫‪ .2‬בצע סימולציית מונטה‪-‬קרלו למשערך ה‪ ZF -‬של ‪ X‬מתוך ‪ Y‬והפעל על המשערך את כלל‬

‫ההחלטה לביט המתואר בכדי לשערך את הסתברות השגיאה הממוצעת לביט כפונקציה של יחס‬
‫האות לרעש ]‪ . SNR[dB‬את הגרף המתקבל יש להציג על גבי אותו הגרף מחלק ‪ – 1‬סעיף ג'‪2‬‬

‫)לצורך כך העזר בפקודה ‪.( hold on‬‬

‫‪‬‬ ‫‪3‬‬
‫‪+ 1 w. p 5 ‬‬
‫‪ . X 1 = ‬נסמן‬ ‫‪ .3‬בתת סעיף זה מעוניינים בשערוך ‪ X 1‬בלבד ונתון כי פילוג ‪ X 1‬הינו‪ :‬‬
‫‪− 1 w. p 2 ‬‬
‫‪‬‬ ‫‪5 ‬‬
‫(‬ ‫)‬
‫ב‪ Xˆ ZF ,1 (Y ) -‬את משערך ה‪ ZF -‬ל‪ . X 1 -‬האם כלל ההחלטה ) ‪ Xˆ 1 = sign Xˆ ZF ,1 (Y‬הינו‬
‫אופטימלי במובן הסתברות שגיאה מינימאלית? אם לא‪ ,‬מהו ככל ההחלטה האופטימלי במובן‬
‫זה?‬
‫הנחיות לביצוע הסעיף‪ :‬ראה חלק ‪ – 1‬סעיף ג'‪.‬‬
 ‫‪-3-‬‬

‫כעת נתון כי‪. H = H 2 :‬‬ ‫ג‪.‬‬

‫‪ .1‬חזור על סעיף ב' עם ‪. H = H 2‬‬
‫‪ .2‬מהו היחס בין השגיאה הריבועית הממוצעת בשערוך ‪ X 4‬בשיטת ה‪ LMMSE -‬לבין שיטת ה‪-‬‬
‫‪ ZF‬כאשר ‪? σ 2 = 1‬‬
‫כעת נתון כי‪ . H = H 3 :‬האם ניתן לבצע את השערוך? נמק את תשובתך‪.‬‬ ‫ד‪.‬‬

‫הערה כללית‪:‬‬
‫יש לצרף לפתרון‪:‬‬
‫• את כל קוד סימולציית התרגיל‪.‬‬
‫• את הגרפים שהתקבלו בהרצות השונות‪.‬‬
‫• את תוצאות השערוך למטריצות קוואריאנס השגיאה שנתבקשת לחשב‪.‬‬
‫• את הביטויים האנליטיים למטריצות קוואריאנס השגיאה שנתבקשת לחשב‪.‬‬