מיגל אלקוביירה מויה (באנגלית: Miguel Alcubierre Moya, נולד ב -28 במרץ 1964) הוא פיזיקאי תאורטיקן מקסיקני. אלקוביירה ידוע בפיתוח "מנוע עיוות אלקוביירה (באנגלית: Alcubierre warp drive)", מנוע ספקולטיבי שבעזרתו חללית יכולה להגיע למהירות טיסה גבוהה יותר מאשר מהירות האור.
קריירה.
בשנת 1988 קיבל אלקוביירה תואר Licentiate בפיזיקה, ובשנת 1990 קיבל תואר MSC בפיזיקה תאורטית, שניהם ב UNAM. בסוף 1990, אלקוביירה עבר לוויילס כדי להשתתף בבית הספר לתואר שני באוניברסיטת קרדיף, שם קיבל בשנת 1994 תואר דוקטורט ביחסות חישובית, ענף בתורת היחסות הכללית. בשנת 1996 התחיל לעבוד במכון מקס פלאנק בפוטסדאם, גרמניה, בפיתוח טכניקות נומריות חדשות המשמשות לתיאור חורים שחורים.
מאז 2002, הוא עובד במכון למדעי הגרעין של ה UNAM, שם הוא עורך מחקר תוך הפעלת מחשבים כדי לנסח ולפתור את המשוואות הפיזיקליות שהוצעו לראשונה בידי אלברט איינשטיין. הפתרונות בצורת סוליטון שהוצעו על ידי אלקוביירה למשוואות השדה של איינשטיין עשויים להראות כי תורת היחסות הכללית תואמת לעובדה שאוששה בניסויים כי מכניקת הקוונטים היא אי-לוקלית. מחקר זה מתנגד לרעיון כי האי-לוקליות של מכניקת הקוונטים מצריכה נטישה של היחסות הכללית, על מבנה המתמטי.
ב -11 ביוני 2012 מונה אלקוביירה למנהל המכון למדעי הגרעין ב UNAM.
ב -14 ביוני 2016, לאחר תקופה מוצלחת מאוד של ארבע שנים כמנהל המכון למדעי הגרעין באוניברסיטה הלאומית האוטונומית של מקסיקו, מיגל אלקוביירה נבחר מחדש על ידי מועצת המנהלים של האוניברסיטה כמנהל המכון למדעי הגרעין לתקופה נוספת של ארבע שנים.
פרסום במאי 1994.
אלקוביירה זכה לפרסום לאחר שבמאי 1994 פורסם בכתב העת "Classical and Quantum Gravity" מאמר שכתב שכותרתו "מנוע עיוות: מהירות שיא - נסיעות בתוך תורת היחסות הכללית", שבו הוא מתאר את מנוע עיוות אלקוביירה, אמצעי תאורטי של נסיעה במהירות רבה יותר ממהירות האור אשר אינו מפר את העיקרון הפיזיקלי ששום דבר לא יכול לנוע במרחב מהר יותר מאשר מהירות האור. במאמר זה הוא בנה מודל תאורטי שמכיל שטח בתוך "בועה" של חלל מעוקל. בועה זו, המכונה "מרחב היפר-רלטיביסטי מקומי-דינמי", מונעת קדימה על ידי התרחבות מקומית של זמן-מרחב מאחוריה, וצמצום הפוך מולו, כך שתאורטית חללית שתוצב בתוך שטח בועה זו תוכל לנוע במהירות רבה יותר ממהירות האור.
הופעות במדיה.
מיגל אלקוביירה הופיע בסרט התיעודי "איך ויליאם שטנר שינה את העולם", סרט העוסק במסע בזמן ובמסע בין כוכבים. ואף הופיע בתוכנית: "מדע בדיוני: פיזיקה של הבלתי אפשרי" של פרופסור מיצ'יו קאקו שבו נדונה תאוריית הבועה שלו.
אלקוביירה הוזמן פעמיים לראיונות בתחנת הרדיו (Radio Educación XEEP (1060 AM, לראשונה ב -18 בפברואר 2011, ומאוחר יותר ב -4 במרץ 2011, בתוכנית הטכנולוגית בנושא ממשקים טכנולוגיים, שבה הסביר את דעותיו על המצב הנוכחי של מחקר מדעי וטכנולוגי במקסיקו, ונתן סקירה קצרה לדגם המנוע שלו.
חיים אישיים.
אלקוביירה נולד במקסיקו סיטי ב -1964.
הוא נשוי למריה אמיליה באייר, ויש לו ארבעה ילדים.
Pwdump
pwdump (באנגלית: pwdump) הם אוסף כלים לבדיקות אבטחה במערכת הפעלה חלונות מבית מיקרוסופט.
באמצעות כלים אלה ניתן לגשת לזיכרון ולחלץ גיבוב של סיסמאות NTLM המאוחסנים במסד הנתונים (SAM) של מנהל חשבונות האבטחה, בחשבון המשתמש המקומי.
על מנת שסט הכלים של pwdump יעבודו כמתוכנן, יש להפעילם כמנהל מערכת ורק לאחר מכן לבצע פעולות לשליפת רשומות המשתמשים.
גרסאות.
הגרסה הראשונה של הכלי פותחה על ידי ג'רמי אליסון (Jeremy Allison) בשנת 1997, אך מאז שוחררו עוד מספר גרסאות שפותחו על ידי מתכנתים שונים:
מיגל אלקובייר
הום פוד
קתדרלת ניו יורק
לאדינו (פירושונים)
קאפרשט
למת לחיצות הידיים
למת לחיצות הידיים קובעת כי במסיבה שבה חלק מהאנשים לוחצים ידיים, כמות האנשים שלחצו ידיים מספר אי זוגי של פעמים חייבת להיות זוגית. ללמה שימושים בתורת הגרפים, וממנה נובע כי בכל גרף לא מכוון קיימים מספר זוגי של צמתים שדרגתם אי זוגית. הלמה היא תוצאה של נוסחת סכום הדרגות (נקראת גם: משפט הדרגה או משפט הדרגות) לפיה לכל גרף formula_1 מתקיים: formula_2. שתי התוצאות אלו הוכחו על ידי לאונרד אוילר במאמרו על בעיית הגשרים של קניגסברג שהיווה את הבסיס לתורת הגרפים.
הצמתים בעלי דרגה אי זוגית נקראים לפעמים צמתים אי זוגיים או קודקודים אי זוגיים, ולפי המינוח הזה נוכל לומר שהלמה קובעת שבכל גרף לא מכוון יש מספר זוגי של צמתים אי זוגיים.
הוכחה.
נוכיח קודם את נוסחת סכום הדרגות ובאמצעותה נוכיח את הלמה:
נספור בשתי דרכים שונות את מספר הזוגות formula_3 כאשר formula_4 מסמל קשת ו-formula_5 הוא צומת ש-formula_4 יוצאת ממנו, כל צומת formula_5 נמצא ב-formula_8 זוגות (שכן יוצאות מהצומת formula_8 קשתות), לכן מספר הזוגות הוא סכום כל דרגות הצמתים בגרף. אולם, ניתן לספור גם לפי הקשתות, כל קשת formula_4 נמצאת ב-2 זוגות (עם כל אחד מהקצוות של formula_4), ולכן מספר הזוגות הוא גם פעמיים מספר הקשתות. כלומר קיבלנו את השוויון formula_2.
נוכיח באמצעות השוויון הקודם את הלמה:
נניח בשלילה שיש מספר אי זוגי formula_13 של צמתים אי זוגיים בגרף לא מכוון כלשהו, סכום כל הדרגות של הצמתים האי זוגיים הוא אי זוגי (כיוון שחיברנו מספרים אי זוגיים מספר אי זוגי של פעמים), סכום הדרגות של הצמתים בעלי דרגה זוגית הוא זוגי (חיבור מספרים זוגיים תמיד יוצא מספר זוגי). לכן formula_14 הוא מספר אי זוגי (כחיבור של מספר זוגי ומספר אי זוגי). אבל מתקיים formula_2. בסתירה לכך שצד שמאל של השוויון הוא אי זוגי, ולכן מספר הצמתים האי זוגיים בכל גרף לא מכוון הוא זוגי.
גרפים רגולריים.
מנוסחת סכום הדרגות נקבל שלכל גרף formula_16-רגולרי בעל formula_17 צמתים יש formula_18 קשתות. אם formula_16 אי זוגי, מספר הקשתות בגרף חייב להתחלק ב-formula_16. כלומר, אם formula_16 אי זוגי בגרף יש מספר זוגי של צמתים.
גרפים אינסופיים.
הלמה אינה נכונה בעבור גרפים אינסופיים, וזאת גם אם בגרף ישנם רק מספר סופי של צמתים בעלי דרגה אי זוגית. לדוגמה, לגרף שרוך עם נקודת קצה אחת יש רק צומת יחיד עם דרגה אי זוגית, בניגוד ללמה.
מצוק פאונדרז
מצוק פאונדרז או מתלול פאונדרז (באנגלית: Founders Escarpment) הוא מצוק בולט ממערב לפסגות פאונדרז, ברכס הריטג' שבאנטארקטיקה.
המדרון משתרע בין קרחון מינסוטה וקרחון ספלצטוסר.
היסטוריה.
מקור השם.
שמו של המצוק ניתן לו על ידי משלחת החקר הגאולוגי של אוניברסיטת מינסוטה שחקרה את האזור בין השנים 1964–1963.
המצוק נקרא על שם פסגות פאונרז הסמוכות לו. הפסגות קרויות על שם המייסדים של ארצות הברית, כמו אתרים רבים אחרים ברכס הריטג' (רכס "המורשת") הקשורים להיסטוריה של ארצות הברית.
איזומורפיזם של גרפים
בתורת הגרפים, איזומורפיזם של גרפים הוא התאמה בין הקודקודים של שני גרפים המשרה התאמה בין הקשתות. גרפים איזומורפיים (כאלו שיש ביניהן איזומורפיזם) הם זהים זה לזה מכל בחינה תאורטית. מציאת איזומורפיזם בין גרפים היא בעיה חישובית קשה ומפורסמת.
משפט וויטני קובע ששני גרפים קשירים הם איזומורפיים אם ורק אם ה-Line graphs שלהם איזומורפיים, למעט חריג אחד: המשולש איננו איזומורפי לגרף הקלשון (קודקוד אחד מחובר לשלושה) אף על פי שה-Line graphs שלהם כן.
הגדרה.
גרפים formula_1 ו-formula_2 הם איזומורפיים אם קיימת פונקציה formula_3 חד-חד-ערכית ועל, כך שעבור כל formula_4, מספר הקשתות המקשרות בין formula_5 ו-formula_6 זהה למספר הקשתות המקשרות בין formula_7 ו-formula_8.
שני גרפים, formula_1 ו-formula_2, אשר איזומורפיים זה לזה, יסומנו כך: formula_11.
כל התכונות שאפשר לנסח במונחי השפה של תורת הגרפים נשמרות תחת איזומורפיזם. למשל, אם G ו-H איזומורפיים ואחד מהם פשוט, מכוון, בעל מסלול המילטוני, דו-צדדי, או מושלם, אז כך גם השני. איזומורפיזם שומר גם על תכונות מספריות של הגרף: המספר הכרומטי, הדרגה הממוצעת, המותן וכדומה.
כבעיה חישובית.
הבעיה של לקבוע האם שני גרפים נתונים הם איזומורפיים היא ב-NP כי בהינתן התאמה בין הגרפים, קל לוודא שהיא אכן איזומורפיזם. עם זאת, לבעיה התכונה הנדירה יחסית שלא ידוע האם היא ב-P, אך גם לא ידוע האם היא NPC (כלומר NP שלמה). בעיה מפורסמת נוספת עם תכונה זו היא בעיית הפירוק לגורמים.
הכללה של בעיה זו, השואלת האם גרף מסוים איזומורפי לתת-גרף של גרף אחר, היא ב-NPC (שכן ניתן להראות רדוקציה פולינומית מבעיית הקליקה אליה).
ישיבת הרב קוק ביפו
הרב אברהם יצחק הכהן קוק הקים ישיבה ביפו בשנת 1909. הישיבה נסגרה בשנת 1915 בעקבות מלחמת העולם הראשונה. קודם להקמתה דובר על כך שהישיבה תיקרא "אוצר חיים", אך ככל הנראה לא נעשה שימוש נרחב בשם זה לאחר שהוקמה.
ייסוד הישיבה.
בשנת תרס"ז החל הראי"ה קוק בפעולות להקמת ישיבה ייחודית לבחורים כישרוניים מרחבי הארץ והעולם, שתכלול תוכני לימוד רבים ותגדל אנשים שישפיעו על המצב הרוחני והתרבותי בארץ־ישראל.
תוכנית הלימודים.