רעידת האדמה בטשקנט התרחשה ב-26 באפריל 1966 בשעה 5:23. למרות שעוצמתה הייתה 5.2 בסולם ריכטר בלבד, בשל עומקו הרדוד של מרכז הרעידה (3-8 ק"מ) היא גרמה להרס מסיבי של מרכז העיר בה התגוררו כמיליון וחצי תושבים.
רעידת אדמה התרחשה בעומק של 3-8 ק"מ וכללה תזוזות חזקות שנמשכו 10-12 שניות. בעקבות רעידת אדמה נהרגו רק 8 תושבי העיר אך בהמשך עקב סיבוכים שמחלות לב מספר הרוגים גדל והגיעה לכמה מאות, בעיקר אנשים מבוגרים. רעידות משנה נמשכו כשלושה חודשים והיו מגיעים לחוזק של 7 בסולם ריכטר.
כתוצאה מהאירוע במרכז העיר נהרסו כ-2 מיליון מ"ר של מגורים ומאות בנייני ציבור ומפעלים. ללא קורת גג נותרו כ-300 אלף אזרחים (כ-20% מאוכלוסיית העיר). לעיר הגיעו ראשי ברית המועצות לרבות ליאוניד ברז'נייב ואלכסיי קוסיגין והוחלט על בניית העיר מחדש תוך מאמץ של כול המדינה והפניית משאבים בהתאם. רוב הילדים הוצאו מהעיר עם תחילת חופשת הקיץ של בתי הספר. מאמץ מיוחד הופנה למניעת התפשטות מחלות וטיפול פסיכולוגי בתושבי העיר. תוך זמן קצר לעיר הגיעו משלחות עם עובדי בניין מכול רחבי ברית המועצות. עד לרעידת אדמה מרכז העיר היה בנוי בעיקר בבנייה נמוכה, הבנייה החדשה הייתה רב קומתית ומודרנית. בניית העיר מחדש נמשכה כ-3.5 שנים. שכונות חדשות נבנו במרכז העיר ובאזורים החדשים מסביבה.
לזכר האירוע ומבצע בניית העיר מחדש הוקמה אנדרטה מיוחדת.
TRS-80
TRS-80 Micro Computer System הוא מותג ששימוש לתיאור מספר דגמי מיקרו-מחשבים שנמכרו על ידי חברת Tandy בחנויות Radio Shack שבבעלותה. מערכת TRS-80 הראשונה הושקה ב-1977, והייתה מהדגמים הראשונים של מחשבים אישיים שיוצרו ייצור המוני, לצד מחשבים מתוצרת חברות כמו אפל וקומודור.
פסטיבל טורונטו
המטרו של שוויץ
גלאי גובה מכ&quot;מי
גלאי גובה מכ"מי הוא סוג של מכ"ם דו ממדי שמודד גובה של מטרות.
גלאי גובה מכ"מים היו מובחנים בשל צורת האנטנה שלהן - האנטנות היו גבוהות, אך צרות. כיוון שצורת האלומה הנוצרת היא פונקציה של צורת האנטנה, אלומת גלאי הגובה הייתה שטוחה ורחבה אופקית (כלומר לא טובה במציאת אזימוט למטרה), אבל דקה מאוד אנכית, ובכך מאפשרת מדידה מדויקת מאוד של זווית ההגבהה, ולאחר מכן גובה (בעזרת הטווח).
מכ"מים תלת ממדיים מודרניים מוצאים גם אזימוט וגם הגבהה, ובכך הפכו את גלאי הגובה המכ"מיים למיושנים מאוד.
גבול ישר
B. coli
T. pisiformis
נעמי שחורי
רג'ינה טיילור
רג'ינה טיילור (באנגלית: Regina Taylor; נולדה ב-22 באוגוסט 1960) היא שחקנית ומחזאית אמריקאית זוכת פרס גלובוס הזהב לשנת 1992 על תפקידה בסדרה "I'll Fly Away".
ביוגרפיה.
טיילור נולדה בדאלאס, טקסס וגדלה באוקלהומה, שם סבלה והייתה מודעת למקרי גזענות רבים. טיילור היא בוגרת "אוניברסיטת מתודיסט הדרומית" שבדאלאס.
הפכה לפופולרית בתור שחקנית טלוויזיה בתחילת שנות ה-90 בהן הופיעה בתפקיד עוזרת הבית לילי הרפר בסדרת הדרמה "I'll Fly Away". טיילור ששיחקה בסדרה לצידו של סם ווטרסטון זכתה על תפקידה בפרס גלובוס הזהב לשחקנית הטובה ביותר בתפקיד דרמטי לשנת 1992. במהלך שנות ה-90 שיחקה טיילור בפרויקט משותף של ספייק לי ושל מרטין סקורסזה "קלוקרס", בדרמה המשפטית של אדוארד זוויק "אומץ תחת אש" בתפקיד מרדית' אשתו של הפרקליט הצבאי קולונל סרלינג (דנזל וושינגטון) ובמותחן המשטרתי "המתווך" בתפקיד קארן אשתו של המתווך דני רומן (סמואל ל. ג'קסון). בשנת 1999 זכתה לביקורות אוהדות על הופעתה בתפקיד הפרקליטה אניטה היל בסרט הטלוויזיה "צדק משונה".
בשנת 2006 החלה טיילור לשחק בסדרת הפעולה שיצר דייוויד מאמט "היחידה" בתפקיד מולי בליין, אותו מילאה במשך ארבע עונות הסדרה.
יאק-40
יאק-40 (קוד דיווח נאט"ו: Codling) הוא מטוס נוסעים תלת-מנועי לטווח בינוני וקצר מתוצרת ברית המועצות. זה היה מטוס הנוסעים התלת סילוני הראשון בעולם.
רקע לבנייתו.
בשנת 1960 חברת איירופלוט הוציאה דרישה לפיתוח מטוס חדש במקום מטוסי איליושין Il-12 ו-איליושין Il-14 שהיו בשרות החל משנות ה-50. הפיתוח בוצע על ידי חברת תכנון יאקובלב והסתיים בשנת 1964. הטיסה הראשונה בוצע ב-21 באוקטובר 1966. כבר בשנת 1967 החל ייצור סדרתי של המטוס במפעל לייצור מטוסים בעיר סראטוב. הגרסה הראשונה הותאמה ל-24 נוסעים. תוך זמן קצר מספר נוסעים הוגדל ל-32. לקראת שנת 1972 מטוסים מדגם זה כבר העבירו 7 מיליון נוסעים.
כניסה ויציאת הנוסעים מהמטוס בוצע באמצעות פתח בחלק האחורי של המטוס, כמו במטוסי מטען. למטוס לא היה תא מיוחד למטען הנוסעים והמטען הוחזק בתא הנוסעים. במהלך שנות ייצור נבנו דגמים שונים שנכנסו לשירות מבצעי כמטוסי ביון. כמו כן מספר דגמים הותאמו למטוסי מחקר ואימון.
זה היה המטוס הסובייטי הראשון שקיבל הסמכה באיטליה וגרמניה ונמכר לחברות תעופה של מדינות אלו. במסגרת זו נמכרו 6 מטוסים. אומנם תוך מספר שנים מסיבות שונות הם הוחזרו לברית המועצות. בסך הכול המטוס בשנים שונות היה בשימוש ב-19 מדינות העולם. בסך הכול מחוץ לגבולות ברית המועצות נמכרו כ-130 מטוסים.
ייצור סדרתי של המטוס הופסק בשנת 1981, עד אז נבנו מעל ל-1000 יחידות. בסוף שנות ה-80 החלה הוצאת המטוסים משרות. בשנות ה-90 בוצעו עבודות לשדרוג מטוסים קיימים ובחלקם הם הוסבו למטוסי מנהלים. היו תוכניות להחלפת מנועי המטוס למנוע מתקדם וחסכוני יותר, אך הם לא מומשו. בשנות ה-2000 החלה מחדש הוצאת מסיבית משימוש. נכון לאוגוסט 2013 רק 45 מטוסים נותרו בשרות מהם כמחצית מחוץ לגבולות רוסיה.
טרנספורמציית מביוס
טיפוס (תורת המודלים)
בתורת המודלים, טיפוס הוא אוסף נוסחאות המתארות "התנהגות" של איברים במבנה מתמטי. בהינתן מבנה מסוים, טיפוס לא רק מאפשר לתאר התנהגות של איברים מתוכו, אלא גם של "איברים פוטנציאליים", המגולמים במשתנים formula_1. "התנהגות" המשתנים מנוסחת בפועל באמצעות קבוצת נוסחאות מסדר ראשון בשפת המבנה.
טיפוסים הם כלי רב עוצמה בתורת המודלים: באמצעותם ניתן להעריך את עושרם של מודלים קיימים, ובמידת הצורך לבנות מודלים חדשים.
מוטיבציה.
כאשר מנתחים מודלים על פי עושרם, לא ניתן להסתפק בניתוח על סמך נוסחאות ופסוקים; מטבעם, הם בעלי כוח הבעה מוגבל, ואינם מספיקים לתיאור כל התכונות שיכולות להתקיים במודל כלשהו.
למשל, לא ניתן לנסח, במודל לא סטנדרטי של האריתמטיקה, נוסחה המתארת איבר הגדול מכל מספר טבעי - אף על פי שזו תכונה לגיטימית. את התכונה הזו, ביחס למשתנה v, ניתן לנסח באמצעות קבוצת נוסחאות מהצורה v&gt;n לכל n טבעי.
קיימים שני דגשים מרכזיים:
קבוצת נוסחאות p המקיימת את שתי התכונות האלה נקראת טיפוס. הטיפוס p שמכיל את כל הנוסחאות v&gt;n מעיד על תכונה של משתנה אחד, v; טיפוס כזה נקרא 1-טיפוס. באופן דומה, טיפוס המעיד על תכונה של n משתנים נקרא n-טיפוס.
הגדרה פורמלית.
נניח formula_2 מבנה. נתבונן בשפה formula_3 המכילה, נוסף על שפת המודל formula_2, סמל קבוע חדש עבור כל אחד מאיברי תת קבוצה כלשהי formula_5 של formula_2 (ייתכן ש-formula_5 ריקה).
n-טיפוס חלקי הוא קבוצה formula_8 של נוסחאות בשפה formula_3, במשתנים formula_1, שהיא עקבית עם התורה השלמה של formula_2 (ביחס לשפה formula_3).
n-טיפוס שלם הוא n-טיפוס חלקי שהוא מקסימלי ביחס להכלה (ובאופן שקול, מכיל לכל נוסחה ב-n המשתנים אותה או את שלילתה).
במונח 'טיפוס' הכוונה היא לעיתים ל'טיפוס שלם', ולעיתים ל'טיפוס חלקי'. בפועל, ההבחנה לא יוצרת בלבול - מאקסיומת הבחירה (ליתר דיוק, מגרסה חלשה שלה, כדוגמת למת העל-מסננים), נובע שכל טיפוס חלקי ניתן להרחיב לטיפוס שלם.
את אוסף כל ה-n טיפוסים (השלמים) מעל קבוצת פרמטרים formula_5 במבנה formula_2 נהוג לסמן formula_15.
טיפוס מסדר n הוא ממומש ב-formula_2 אם יש איבר ב-formula_17 המספק את כל הנוסחאות בו; אחרת, הטיפוס מושמט ב-formula_2.
למשל, הטיפוס formula_19 בשפת המספרים הטבעיים מתאר משתנה formula_20 שגדול מכל המספרים הטבעיים. הטיפוס מושמט במודל הסטנדרטי של הטבעיים, formula_21. יחד עם זאת, formula_8 ממומש בכל מודל לא סטנדרטי של האריתמטיקה.
משפט הקומפקטיות מאפשר להוכיח שהתופעה המתוארת בדוגמה מתרחשת תמיד - כל טיפוס מעל מבנה formula_2 ניתן למימוש בהרחבה אלמנטרית כלשהי של formula_2.
טיפוס שלם הממומש על ידי איבר formula_25 במבנה formula_2 מסומן גם formula_27 (ובאופן טריוויאלי, קיים טיפוס יחיד כזה).
טיפוס p ביחס למבנה formula_2 לא חייב להיות ממומש בו, אך תמיד קיימת הרחבה אלמנטרית formula_29 בה formula_8 ממומש על ידי איבר formula_31, ואז formula_32.
דוגמה.
נתבונן במספרים הרציונליים בשפת הקבוצות הסדורות. נמצא את כל הטיפוסים מסדר 1 במשתנה v, כאשר מאפשרים שימוש בכל מספר רציונלי כפרמטר. ניתן להצטמצם לקבוצות נוסחאות מהצורה formula_33 ו-formula_34 (מאחר שתורת הסדר הקווי הצפוף ללא איבר ראשון ואחרון היא בעלת חילוץ כמתים). נקבל שכל 1-טיפוס p במשתנה formula_20 מקיים אחד משלושה:
מכאן, formula_38.
טיפוס מסעיף 2, המתאר חתך דדקינד, מגלם במשתנה formula_20 את המספר הממשי המתאים לחתך. מבנה המספרים הממשיים הוא הרחבה אלמנטרית של הרציונליים בה הטיפוס ממומש.
מנגד, מבנה המספרים הממשיים משמיט את הטיפוסים מסעיף 3 - אלה ממומשים רק על ידי איברים לא סטנדרטיים במודל של האנליזה הלא סטנדרטית. כמו כן, טיפוס מסעיף 2 יכול לתאר איבר אינפיניטסימלי - מספר חיובי הקטן מכל הרציונליים, וזוהי דוגמה נוספת של טיפוס הממומש במודל לא סטנדרטי של האנליזה.