לוגיקה פוזיית בשליטה אדפטיבית: A Deep Dive into Fault Tolerance

מערכות תעשייתיות מודרניות פועלות בתנאים תובעניים יותר ויותר, כאשר דיוק, אמינות והמשך זמן הם לא ניתן לוותר על הרובוטיקה האוטונומית לשליטה אווירית ורשתות חשמל חכמות, העלות של כשל המערכת יכולה להיות קטסטרופלית – הן מבחינה כלכלית והן מבחינת שיטות בקרה מסורתיות אנושיות, בנוי על מודלים מתמטיים קשיחים, מאבק כאשר חיישנים מידרדרים, עוברים ללא משפט, או תקלות מופיעות מסגרת לא יעילה, כאשר יש צורך חיובי, כלומר, יש צורך לשנות את המצב ההגיון קריטי, כדי לשלוט על ידי מערכות בקרה לוגיקה, באופן קבוע, באופן בלתי סובלנית, ומציאותי, יש צורך, באופן בלתי סביר, כי יש צורך, כי יש צורך, כי יש צורך בהגיון חיוני, כי יש צורך במשטרה, כי יש צורך לשנות את המצב, כי יש צורך לשנות את המצב, כי יש צורך במשטרה, גם על ידי מערכות בקרה לוגיקה קשה, כי יש צורך במשטרה, כדי לשנות את המצב הזה, באופן קריטי, באופן בלתי סביר, באופן בלתי סביר, עם חוסר סובלנות, עם יציבות לוגיקה קשה, כי יש צורך במשטרה, כדי לשנות את המצב, כי יש צורך במשטרה, יש צורך במשטרה, כי יש צורך במשטרה, יש צורך במשטרה, גם על ידי מערכות בקרה

לוגיקה מטושטשת אינה תחליף לתיאוריה של שליטה קלאסית; היא מגבירה אותו, מערערת הפער בין חישוב מדויק לבין ההגיון המשוער, דמוי האדם הדרוש כדי לנווט בתנאים לא מושלמים בעולם האמיתי. במאמר זה, אנו חוקרים כיצד לוגיקה מטבולית משתלבת עם מערכות בקרה הסתגלות כדי להשיג סובלנות שגויה, לבחון את המנגנונים הבסיסיים, יישומים מעשיים על פני תעשיות, ואת השיקולים הטכניים חייבים לשקול בעת יישום מערכות אלה.

הבנה של לוגיקה מטושטשת: Beyond Binary Truth

לוגיקה פוזיית, שהוצגה על ידי לוטפי זאדה בשנת 1965, היא צורה של לוגיקה רבת ערך העוסק בדרגות של אמת ולא בעקרון האמיתי / הלוגיקה הבוטה. בלוגיקה קלאסית, הצהרה היא אמת או שקרית לחלוטין. פוד מאפשר לערכים לוגיקה לנוע ברציפות בין 0 ל-1, המאפשרים מערכות להתמודד עם אמיתות חלקית, אי ודאות, וחוסר ודאות, וודאות – כמו החלטה אנושית.

בליבתו, מערכת לוגיקה מרופדת כוללת שלושה מרכיבים מרכזיים: מטושטשות, בסיס כלל עם הקצוץ, ועיוות.

  • (FLT:0)FuzzificationFLT:1 ממיר ערכים קלטיים (למשל, סורק קריאה של 72F) לערכי חברות מרופדים על פני קבוצות לשוניות מוגדרות כגון "קר", "מלחמה", או "חם".
  • (FLT:0) InferenceofveFLT:1) חל על קבוצה של כללים אם-אז (למשל, "אם הטמפרטורה חמה ולחץ היא גבוהה, ואז להפחית את פתיחת השסתום") באמצעות מפעילי סחרחורת כדי לייצר פלטים מטבוליים.
  • (ב) מתרגם ה-[[1924]] ל[[1924]], [[1924]]]], [[1924]]]], [[1924]]]], [[1924]]]]]], [[1924]]]]]]

אדריכלות זו היא מה שעושה לוגיקה מטושטשת מתאימה לשליטה הסתגלותית.ניתן לכוון את בסיס החוקים או להרחיב מבלי צורך לבנות מודל מתמטי מאפס, והמערכת מידרדרת בחסד כאשר איכות קלט משתנה - דרישה בסיסית לסובלנות לקויה.

מערכות בקרה הסתגלות: הצורך בגמישות

מערכות בקרה הסתגלות נועדו להתאים את הפרמטרים שלהם בזמן אמת כדי לשמור על ביצועים הרצויים בפני שינוי תנאי הפעלה, דינמיקת מערכת או הפרעות חיצוניות.בניגוד בקרים קבועים-גאין, בקרים אדפטיים מזהים התנהגות צמחית ולשנות את חוקי הבקרה שלהם בהתאם. גישות נפוצות כוללות בקרת התאמת מודל (MRAC) ו הרגולטורים עצמיים.

האתגר, עם זאת, הוא ששיטות הסתגלות מסורתיות מסתמכות רבות על זיהוי מערכת מדויק.כאשר רעש חיישן, השפלה של אקטוטור או רכיב חלקי משחיתות את תהליך הזיהוי, הבקר יכול להשתנות מהתנהגות אופטימלית – לפעמים באופן קטסטרופלי.זה בדיוק המקום שבו לוגיקה מטושטשת מציעה רשת בטיחות.על ידי שילוב של חוסר איזון, בקר הסתגלות יכול לפעול על נתונים לא ברורים או לא שלמים, שליטה סבירה של פעולות מידע חלקי.

בקר אדפטי מטבולי בדרך כלל משתמש בלוגיקה מרופדת למפות מערכת קובע לשלוט בהתאמות.תפקידי החברות ובסיס השלטון יכולים להיות מכווננים באינטרנט באמצעות אלגוריתמים למידה, יצירת לולאה לתיקון עצמי המפצה על תקלות מבלי לדרוש מודל מתמטי מפורש של מצב ההונאה.

כיצד לוגיקה מטושטשת משפרת את הסבלנות

סובלנות Fault מתייחסת ליכולתה של המערכת להמשיך לפעול נכון – אולי עם ביצועים מופחתים – בנוכחות כשלים בחומרה, באגים של תוכנה או omalies סביבתיות. בשליטה הסתגלותית, השגת סובלנות גבוהה דורש שלוש יכולות: גילוי מוקדם של תקלות, אבחון מדויק ותיקון מחדש של החסד. לוגיקה פוזי תורמת לכל השלושה.

לוגיקה פוזיית ב Fault Detection and Diagnosis

גילוי לקויות אמנה לעתים קרובות מסתמכ על אזעקות מבוססות הסף או ניתוח חיורי ממודלים ידועים של מערכות.שיטות אלה יכולות לגרום לחיובים כוזבים כאשר רעש הוא גבוה או מתגעגע לחתימות שגויות עדינות שמתגשמות בהדרגה.לוגיקה פוזי משפרת זיהוי מוטעה על ידי הערכת אותות מרובים בו זמנית ובהתחשב דרגות החברות שלהם למצבים רגילים ופגום.

לדוגמה, מערכת זיהוי לקויה עלולה לפקח על רטט, טמפרטורה, ואת המשוך הנוכחי במנוע.במקום לבדוק כל אחד נגד סף קשה, זה להעריך כיצד "נורמלי" כל אות מופיע על פני קבוצות סחרחורת.אם הרטט הוא "גבוהה באופן בהיר" וטמפרטורה היא "מתונות", "סף חדיר" ההפרעה עלולה לייצר "אמון נמוך" התראה אם הופכת ל"גבוהה מאוד" בעוד שטמפרטורת נוטה "לתקן" כדי לתקן את הבקר גבוה" לפני ש" היא "לתקן" את הפלט" בצורה מדויקת" (retretretretretretrepleretretretretretretretretreative) באופן יחסי," (reative) באופן יחסי," (retretretreative) מאפשר ל" (reative) באופן יחסי," (retreative) באופן יחסי," (reative) באופן יחסי," (reative) באופן יחסי," (reative) באופן יחסי," (retretreative) באופן יחסי," (reative) באופן יחסי, "להת" (retretretretretretretretretre

שלב האבחנה מתחזק באופן דומה.לוגיקה פוזיית יכולה לסווג סוגים של תקלות על ידי התאמת דפוסי סימפטום נצפות נגד בסיס כלל שמקורו בידע מומחה או נתונים היסטוריים.זה חשוב במיוחד במערכות מורכבות שבהן מצבי תקלות מרובים חופפים או היכן הסימפטומים הם מעורפלים.

חידוש מחדש ושיקום

ברגע שהאשמה מזוהה ואבחון, מערכת הבקרה ההסתגלות חייבת לשנות את היציבות.לוגיקה פוזית מאפשרת את התצורה מחדש הזו בכמה דרכים:

  • (FLT:0)Sensor fusion and estimation:cioFLT) 1 כאשר חיישן נכשל או נסחף, אי-שוויון מטבולי יכול להעריך את הפרמטר החסר מסימנים מתוקשרים.לדוגמה, אם חיישן טמפרטורה נכשל, המערכת עלולה להפר טמפרטורה מלחץ ומדידות הנוכחית באמצעות כללים מרופפים.
  • (FLT:0) החלפה של בסיס הבסיס: 1FLT) הבקר יכול לבחור מבסיסים מרובים של כללים בהתאם למצב השגוי המאובחן.בסיס חוק "סטורי" עשוי להסתמך יותר על תחזיות מודל, בעוד שבסיס "האשמה בפועל" עשוי ליישם מבני רווח שונים.
  • (FLT:0)Membership function הסתגלות:FLT:1בביצועים מתקדמים יותר, המערכת המטושטשת מאמת את תפקידי החברות שלה בזמן אמת כדי לשקף ביצועים מוזנחים, ביעילות להרחיב את טווח התפעול המקובל ככל שהודאות עולה.

גישה זו מונעת את המעברים של שליטה פתאומית שיכולים לערער על מערכת, החלפת תגובה רכה, בוגר המשמרת המשכיות תפעולית. בפועל, זה אומר רובוט עם קוד משותף כושל יכול להמשיך לנוע באופן מדויק על ידי הסתמכות על הערכות מטבוליות מחיישנים אחרים, או רשת חשמל inverter יכול לרכוב דרך כשלון חלקי על ידי תיקון האסטרטגיה של שליטה שלה.

יישומים אמיתיים ברחבי תעשיות

השילוב של לוגיקה מסחררת, שליטה הסתגלותית, וסובלנות לקויה מצא את הלכידות בתחומים שבהם אמינות היא ראשית.למטה הן דוגמאות ייצוגיות על פני ארבע תעשיות גדולות.

מערכות רובוטיות וטכנולוגיות

רובוטים אוטונומיים הפועלים בסביבה לא מאורגנת עומדים בפני אי ודאות מתמדת: שטח בלתי אחיד, עומסי שכר משתנים, השמדה חיישן, ולבוש מכני. Fuzzy הסתגלות Controllers מאפשרים לרובוטים אלה לזהות השפלה הפעלה (למשל, מנוע נחלש) ולהתאים את כוח הגאה או מניפולציה שנותרו בזמן אמת.מחקר הראה שליטה לקויה לא-סובלנית ברובוטים ניידים, שבו punware או מפצה את ההתערבות אנושית דורשת פיקוח על ידי צמיגים.

ייצור ואוטומציה תעשייתית

בתהליכי ייצור מתמשכים - כגון כורים כימיים, קווי ייצור, או CNC מאצ'ינג - זמן לא מתוכנן הוא יקר מאוד. מטושטש מערכות בקרה אדפטיבית לפקח על רטט, טמפרטורה, כלים, ומדדים באיכות המוצר. כאשר כלי חיתוך מתחיל משעמם, המערכת מזהה את השינוי לא כמו כישלון פתאומי, אלא כסטיה הדרגתית מטווחי הפעלה רגילים.

חלל ו Avionics

מטוסים וחללית דורשים את הרמות הגבוהות ביותר של סובלנות לקויה.שליטה על פני השטח, חיישנים, ומבצעים חייבים לשרוד כשלים חד-פעמיים ללא אובדן שליטה. לוגיקה פוזי הוחלה במערכות בקרת טיסה כדי לטפל בתרחישים כגון אובדן חלקי של איילון או שטף תקוע.על ידי ניצול נתונים מחיישנים אינרטיים, אינדיקטורים מהירים אוויריים, ו- GPS, בקר מתואם יכול למעשה לשלוט על פני השטח, תוך כדי להמשיך לשלוט על פני השטח של מערכת הביטחון.

מערכות חשמל ורשתות חכמות

רשתות חשמל להתמודד עם תקלות החל מעמודי קו כדי למנוע כישלונות בצמחים אנרגיה מתחדשת. פוזי הסתגלות מסייע למנועי רשת לשמור על מתח ויציבות תדירות גם כאשר תת-קבוצה של מודולים אלקטרוניים כוח נכשל.הבקר מפיץ את הנוכחי בין מודולים בריאים ומתאים את דפוסי המעבר המבוססים על הערכות מרופפות של יכולת שנותרה.

יתרונות השוואתיים: לוגיקה פוזי לעומת שיטות מסורתיות

שיטות בקרה מסורתיות סובלניות כוללות את החומרה Redundancy (חיישנים או מעשים), התחדשות אנליטית (באמצעות משקיפים המבוססים על מודלים), ובקרת חזקה (עיצוב בקרים כדי לסבול אי-ודאות קשורה). לכל אחד יש כוחות, אבל גם מגבלות כי לוגיקה סחרחורת יכולה לטפל.

  • (FLT:0) חומרה מאוזנת באדום: 1R) יעיל אך יקר, כבד, ושטח-consuming. לוגיקה פוזי יכול להשיג סובלנות דומה עם פחות חומרה על ידי שימוש בהערכה מבוססת תוכנה והגדרה מחדש.
  • (FLT:0) חידושים אנליטיים 1FLT דורש מודלים מדויקים של מערכת, אשר מחלחלים כמו תקלות לשנות את הדינמיקה של הצמח. לוגיקה פוזי פועלת היטב עם מודלים משוערים ויכולה להסתגל כאשר המודל כבר לא תואם מציאות.
  • (FLT:0)Robust controlFLT:1 מטפל טווחי אי הוודאות מוגדרים מראש אך אינו יכול להסתגל למצבים של תקלות בלתי צפויות.שליטה אדפטית פוזי יכולה להתמודד עם דפוסים חדשים של תקלות על ידי שילוב כללים והתאמה של פונקציות חברות באינטרנט.

לוגיקה פוזיית אינה תרופת פלאצ'ה מציגה מורכבות בעיצוב בסיס כללי, דורשת כוונון זהיר של פונקציות החברות, ויכול להיות כבד חישובי יותר מלוגיקה פשוטה של סף.עם זאת, כאשר בשילוב עם אלגוריתמים הסתגלות כגון רשתות עצביות או אופטימיזציה גנטית - יצירת מערכות עצביות היברידיות או מטושטשות אבולוציוניות - נקודות אלה הן יותר ויותר יעילות.

שיקולים למהנדסים

בניית מערכת בקרה אדפטיבית עם סובלנות לקויה דורשת תשומת לב לכמה היבטים מעשיים, מהנדסים צריכים להיות מודעים לאחר בעת תכנון מערכות כאלה:

עיצוב בסיס כללי ותחזוקת

הבסיס של הכלל הוא הלב של המערכת המנוכרת.כללים צריכים להיות מפורשים מהידע המומחה, ההיסטוריה המבצעית, או סימולציות המכסות תנאים רגילים ושגויים.טעות נפוצה יוצרת כללים רבים מדי, אשר מגבירה מורכבות ועומס חישובי. בסיס חוק רזה, מאורגן היטב - באופן חד-משמעי 10 עד 50 כללים עבור לולאה שליטה אחת - קל יותר לאמת ולער את המהנדסים.

תפקיד חברות Tuning

פונקציות חברות מגדירות כיצד מפות קלטות חריפות לתנאים לשוניים.צורתם, חפיפה וכיסוי משפיעים ישירות על התנהגות המערכת. שיטות כוונון הסתגלות, כגון ⁇ ⁇ ⁇ או אלגוריתמים אבולוציוניים, יכולים לייעל את תפקידי החברות במהלך מערכת ההפעלה ואפילו במהלך פעולה מקוונת.עם זאת, יש להגביל את ההתאמה המקוונת למנוע את המערכת המטושטשת להסחף להגדרות לא יציבות.

המונחים: constraints

פלטפורמות בקרה Embedded לעתים קרובות יש CPU מוגבל וזיכרון. מנועי הקצינה פוזי חייב להיות יעיל.לבדוק יישום שולחן, אחסון כללים ספארי, וקידוד נקודה קבועה הם טכניקות נפוצות כדי להפחית את פני השטח חישובי. מיקרובקרים מודרניים עם הוראות DSP ייעודי יכול להתמודד עם בקרים מורכבים יחסית מורכב עם מחזורים תחת מ"ח אחד.

אימות ובדיקה

מערכות סובלניות חייבות להיות מאומתות בתנאי נורמליות ושגויות.מהנדסים צריכים לדמות מגוון של תרחישים פגומים - כישלון חיישן, השפלה מרובות חיישן, סטיות הפעלה, עיכובים בתקשורת - ולוודא כי בקר הסתגלות המטושטש מטבולית שומר על יציבות וביצועים מקובלים.

מגמות מתפתחות וכיוונים עתידיים

תחום השליטה ההסתגלות המטושטשת ממשיך להתפתח, מונע על ידי התקדמות במחשוב, למידת מכונה, והדרישות הגדלות של מערכות אוטונומיות.כמה מגמות שווה לאות:

  • (FLT:0) אינטגרציה עם למידה עמוקה: FIRLT:1 ; רשתות עצביות עמוקות משמשים כדי לגלות באופן אוטומטי כללים ופונקציות חברות מהנתונים, צמצום ההסתמכות על מומחים אנושיים ומאפשרות מערכות להסתגל למצבים חדשים ללא הנדסה ידנית.
  • (FLT:0) סובלנות שגויה מוקדמת: FLT:1ir במקום להגיב לאפסות לאחר גילוי, מערכות סחרחורת משולבות עם מודלים חיזויים התחזיות מגמות ההידרדרות.
  • (FLT:0) מערכות מרובות-מקודמות: 1 בציים של כלי רכב אוטונומיים או רובוטיים נפוחים, לוגיקה מרופדת מאפשרת לסוכנים בודדים לשתף מידע מוטעה ולתאם תשובות הסתגלותיות.אם אחד מהם מאבד חיישן ניווט, הוא יכול לסמוך על הערכות ממזל"טים שכנים כדי לשמור על היווצרות.
  • (FLT:0) ופריסת זמן אמת: קיד 1 (FLT:1) עם עליית מחשוב קצה, מנועי הקצוץ מרופסים ישירות על חומרת IoT ליד תחנת הבקרה.זה מקטין את הסבלנות ומאפשר החלטות לא סובלניות להיות מבוצעות מקומית ולא בענן.

מסקנה

לוגיקה פוזיית התבגרה מסקרנות תיאורטית לכלי הנדסי מעשי לבניית מערכות בקרה הסתגלותיות שיכולות לזהות, לאבחן, להתאושש מפגמים.היכולת שלו להתמודד עם אי הוודאות, לשלב מקורות אותות מרובים, ולקבוע מחדש אסטרטגיות שליטה בזמן אמת הופכת אותו חיוני עבור יישומים שבהם כישלון אינו אופציה.

עבור מהנדסים מעצבים פלטפורמות בקרה הדור הבא, השקעה בארכיטקטורה הסתגלות מטושטשת היא החלטה אסטרטגית שמשלמים דיבידנדים באמינות, במשרה גבוהה, ובטיחות. כשרשתות החיישן צומחות מורכבות יותר ומערכות הופכות להיות יותר אוטונומיות, התפקיד של לוגיקה מטושטשת בסובלנות לא נכונה רק יתרחב - מה שהופך אותו ליכולות בסיסיות בתיבת הכלים של מהנדס הבקרה.

(ב) לקריאה נוספת על יסודות מתמטיים של קבוצות ולוגיקה, ראה את המאמר המקורי של זאדה (FLT:0) ,Fuzzy SetscioFLT:1 (Information and Control, 1965) הדרכה מעשית בעיצוב בקרים מטבוליים עבור יישומים תעשייתיים זמין בתקן IEEE:2IE Stdddcastd 1855-2016FLT 3 על Fuzzy Mark- Languages מכוסה לאחרונה באבחון מלאכותי של ADD.