המלצה למרכז נתונים זקוקה לכלל ביטול
להגדרת מרכז נתונים יש שתי משימות שיכולות למשוך לכיוונים מנוגדים: לשמור על המתקן מחובר לרשת במהלך הפרעות מתח קצרות, ולהעביר אותו להזנת גיבוי כאשר תקלה דורשת תגובה זו. המלצה שפותרת את הבעיה הראשונה עדיין לא הרוויחה את ההרשאה לפתרון השנייה. תקן התכנון שלי הוא להפוך את שני התנאים למפורשים, כולל הראיות שיכולות לבטל תשובה שנראית מוצלחת לכאורה.
סימולציית Veriprajna שלנו מיישמת תקן זה במתקן סינתטי. מצבת הציוד שלו, אירועי המתח והתוצאות הם רכיבי בדיקה (fixtures), ולא התקנת לקוח או תקרית שנמדדה בפועל. הריצה בסיוע מודל משתמשת בתשובות שנשמרו במטמון מראש דרך גשר מקומי, ולא בהסקה ישירה חדשה. במסגרת דוגמה מוגבלת זו, תקלה מוצעת נוספת משנה את התשובה הסופית מהגדרה שעברה באופן ראשוני להעדר כל המלצה.
היפוך זה חשוב משום שתהליך העבודה חייב לשמר מבחן קבלה שנכשל, גם כאשר כבר יש בידיו הגדרה סבירה והסבר רהוט עבורה.
שתי סיבות להעברה
הסימולציה ממדלת צי של יחידות UPS (מערכות אל-פסק). נתיב העברה אחד סופר הפרעות מתח מזכות בתוך חלון זמן מתגלגל. ברגע שמצטברות מספיק פגיעות, היחידה עוברת להזנת גיבוי. נתיב אחר מגיב באופן עצמאי לשקיעת מתח עמוקה וממושכת במידה מספקת. שינוי הגדרת הספירה מותיר את הנתיב השני על כנו.
המתח ההנדסי מובן גם ללא תרשים ציוד. מונה רגיש עלול לגרום להעברה במהלך שרשרת הפרעות שהמתקן מיועד לעבור דרכן ברציפות. מונה סובלני יותר יכול להשאיר את העומס הממודל מחובר, אך הוא עדיין צריך להגיב למקרי התקלה המשמשים לבדיקת ההגנה. בהדגמה זו, הקבלה דורשת את שתי ההתנהגויות לאורך ספריית אירועים סופית.
תוצאות אלו דורשות גם מתן שמות זהיר. העברת מרכז נתונים להזנת גיבוי מנתקת את העומס שלו מרשת החשמל הציבורית; אין בכך כשלעצמו כדי לקבוע שהשרתים איבדו כוח. לעומת זאת, שמירה על עומס רשת ממודל אינה אומרת דבר לגבי האם לסוללה אמיתית יש אנרגיה מספקת. המלצת הגדרה אינה יכולה לשאול מסקנה אחת מהמדד השני.
החיפוש הראשוני מוצא מועמד עם חמש פגיעות בחלון של 90 שניות, תוך שימוש בספירה מצטברת. הוא עובר את ספריית הבסיס. זה מעניק לתהליך העבודה סיבה להמשיך לבדוק את המועמד, אך לא סיבה להפסיק להטיל בו ספק.
תקלה מוצעת נופלת בין הנתיבים
המודל המאתגר השמור במטמון מוסיף אירוע סינתטי המסומן כתקלת בידוד מתקדמת בסלילי שנאי. הראיה המועילה היא התנהגותו בתוך הסימולטור, ולא הסמכות המשתמעת משמו.
הוא מכיל ארבע שקיעות נספרות המרוחקות יותר מ-90 שניות זו מזו. עבור המועמד הראשוני של חמש פגיעות, פגיעות מוקדמות נושרות מהחלון לפני שמספיק פגיעות יכולות להצטבר. כל שקיעה נשארת גם מעל סף השקיעה העמוקה הממודל של 0.60 per-unit, כאשר per unit מציין שבריר מהמתח הנומינלי. אף אחד מנתיבי ההעברה אינו לוכד את האירוע המוצע עבור אותו מועמד.
לאחר מכן תהליך העבודה חוזר על החיפוש על פני כל 32 שילובי ההגדרות של סף פגיעות, חלון זמן ומצב ספירה, תוך שימוש בארבע תקלות הבסיס בתוספת ההצעה שנוספה. אף מועמד אינו מספק הן את תנאי האירועים השפירים והן את תנאי אירועי התקלה. התוצאה הסופית היא הימנעות, ללא תצורה שנבחרה. זוהי חזרה מההמלצה הראשונית, ולא מדידה שלפיה כל מועמד נכשל בכל מבחן בודד.
בחירה תכנונית חשובה גלויה כאן: המודל יכול לתרום מקרה חדש, אך בדיקות דטרמיניסטיות מכריעות האם מועמד כלשהו נותר מקובל. הסבר משכנע של ההגדרה המוצעת אינו יכול להשיב את ההמלצה על כנה לאחר שבדיקות אלו נכשלות. הסבר ההדגמה מספק את הסרטון והקשר נוסף לדוגמה זו.
מדוע לא להמשיך לכוונן עד שמשהו יעבור?
הרחבת חלון ספירה נשמעת כמו תגובה טבעית להפרעות מרוחקות זו מזו. הורדת סף נשמעת כמו תגובה נוספת. כל אחת מהן משנה אילו אירועים גורמים להעברה, ולכן כל אחת מהן עלולה לערער את המטרה של המשך פעולה רציף דרך הפרעות שפירות. יש להעריך תיקון מול שני היעדים, ולא לשפוט אותו אך ורק לפי השאלה האם הוא לוכד את האירוע שנוסף זה עתה.
החיפוש שהודגם כבר בודק את התפריט הסופי שלו ואינו מחזיר תשובה. הרחבת תפריט זה תהיה ניסוי חדש. היא עשויה לזהות מועמד אחר, אך ההצלחה עדיין תהיה תלויה באותם תנאי קבלה ובמה שהמודל מייצג. תפריט שמוצה הוא ראיה לגבי אותן אפשרויות שנבדקו, ולא הוכחה לכך שכל הגדרת ציוד אפשרית אינה מתאימה.
אני מעדיף תוצאה בלתי פתורה גלויה על פני בחירת הכישלון הפחות מאכזב והצגתו כתצורה. להעדפה זו יש מחיר: צוות אינו מקבל הגדרה חדשה מריצה זו. עליו להחליט אילו ראיות או שינוי במודל יצדיקו חיפוש נוסף. הסירוב זוכה במקומו בכך שהוא הופך את העבודה החסרה למפורשת.
בתהליך הנדסי אמיתי, יש להבחין גם בין מניעת שינוי מוצע לבין תפעול ציוד קיים. סימולציה זו אינה מנפיקה פקודות לציוד. הימנעותה אינה קובעת שמתקן צריך להתנתק, שהגדרותיו הנוכחיות בטוחות, או שיש להחליף חומרה.
גם דוגמה נגדית זקוקה לבדיקה קפדנית
מבחן קשה יכול לחשוף פער בהליך קבלה ועדיין להיות תיאור לקוי של ציוד פיזי. השם «תקלת בידוד סלילים» אינו קובע אבחנת שנאי. דוגמה זו מציגה אירוע מדומה החומק משני נתיבי העברה ממודלים; היא אינה מאמתת אירוע זה כתקלה חשמלית אמיתית.
זה מותיר שתי החלטות נפרדות. תחת הנחות הבדיקה הנוכחיות, לתהליך העבודה אין המלצה מקובלת. עבור מתקן אמיתי, מהנדסים יצטרכו גם להעריך האם הנחות אלו מייצגות את הציוד וההפרעות החשובים. הסרת האתגר משום שהוא חוסם תשובה תסתיר את ההחלטה הראשונה. התייחסות לאתגר כהוכחה פיזית תדלג על השנייה.
צעד הבא מועיל הוא לפיכך לציין מה יפתור את אי-הוודאות. אם האירוע המוצע רלוונטי מבחינה פיזית, ייתכן שהמודל או ההגדרות הזמינות ידרשו תיקון לפני שהמלצה תוכל להתקדם. אם הוא אינו רלוונטי, החרגתו דורשת סיבה הנדסית הקשורה להיקף הממודל. כל אחד מהנתיבים צריך לשמר את המבחן שנכשל ואת הכרעתו כדי שניתן יהיה להבין תוצאה מוצלחת עתידית.
התנהגות ציוד שנמדדה, אנרגיית סוללה ותזמון העברה נותרים מחוץ להדגמה זו. שינוי הגדרה אמיתי ידרוש הגדרות ציוד מאומתות, נתוני הפרעות מדודים, מודל חשמלי מאומת מתאים וסקירה הנדסית עצמאית. פלט מודל רהוט יותר אינו יכול לספק קלטים חסרים אלה.
הנה ההסבר הקצר שלי מדוע אני רוצה שההמלצה תבוטל כאשר הבדיקות התומכות בה נכשלות.
עבור תהליך עבודה הנדסי בסיוע בינה מלאכותית, אני רוצה שתיעוד הקבלה יזהה את המועמד הנוכחי, את המבחנים שהוא עובר, את המבחן שיכול להסירו ואת אי-הוודאות שנותרה לאחר ההסרה. תשובה מוצלחת שימושית רק כל עוד הסיבות המוצהרות שלה ממשיכות להתקיים. כאשר הן אינן מתקיימות עוד, על תהליך העבודה לשמר את ההתנגדות ולבטל את ההמלצה לפני שמישהו יתייחס אליה כהרשאה לשינוי ציוד.
