Table of Contents

הבנה של Boolean Algebra ותפקידה ב-Ladder Logic Optimization

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

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

היחסים בין Boolean algebra ו- Scale לוגיקה הם יסוד לאוטומציה תעשייתית מודרנית. A יחסים בין Boolean algebra, מעגלים לוגיים, מעגלים ממסר ו- Ladder הם תנאי מוקדם ללמידה כיצד לעצב וליישם מערכות בקרה באמצעות PLC. הבנת הקשר זה מאפשר מהנדסי בקרה ליצור מערכות אוטומציה יעילה יותר, אמינה ושמירה על מערכות אוטומציה.

מימון של Boolean Algebra עבור מערכות בקרה

המונחים:

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

  • (FLT:0) AND מבצע:REFLT:1) מיוצג על ידי ריבוי (ב) או פשוט דבקות (AB), פעולה זו חוזרת אמת רק כאשר כל הקלטות נכונות.
  • (ב) [ה]הפעלת:0[עריכת קוד מקור], הייצוג הזה חוזר על עצמו כאשר לפחות קלט אחד הוא אמת.
  • (FLT:0) ,NOT מבצע: FLT:1 מייצג על ידי ראשוני (') או מעל לבאר, פעולה זו מונעת את ערך הקלט.בלוגיקה הסולם, לא פעולות מוצגות כמגעים סגורים בדרך כלל.

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

חוקי אלגברה וחוקי האוורס

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

  • (ב) ויקרא י"א: ויקרא י"א: א' א' ו'
  • (ב) ,0) חוקי ננול: 1= 1= 1= 1= 1=0=0=0)
  • (ב) ,0) חוקי מילואים: 1 A + A=A ו- A=A
  • (ב) ,0) חוקי הכפל: 1 (ב) 1= 1 ו- A)
  • (ב) ⁇ :0 (ב) ,2=ב) ,(ב)=ב) ו- A= B= B) A
  • (ב) ,0 (ב) חוקים: 1) (A + B) + C= A + (B + C) ו- (A) C= A)
  • (FLT:0 (Distributive Laws:FLT:1) A) = A) B + A-A.C ו- A + (B) = (A + B) (A + C)
  • (ב) ,0) , ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇

בנוסף, תיאוריית דה מורגן מספקים כלים חזקים לשינוי ביטויים בוטים: (A + B) = A') ו- (A) B'=A' + B'. משפטים אלה שימושיים במיוחד כאשר הם מתמירים בין צורות שונות של לוגיקה או כאשר עובדים עם קשרים סגורים בדרך כלל.

טכניקות מתקדמות לסימולציה

גורם הוא טכניקת פשטות עוצמתית ב Boolean algebra, בדיוק כפי שהוא במספר אמתי אלגברה. על ידי זיהוי תנאים נפוצים בהבעה Boolean, מהנדסים יכולים לחלץ משתנים משותפים ולהקטין את המורכבות הכוללת של ההיגיון. לדוגמה, הביטוי AB + AC יכול להיות מופקד A(B + C), הדורש פחות פעולות כדי ליישם את הסולם בלוגיקה.

משפט קונסטנס הוא כלי פשטות יקר נוסף: AB + A'C + BC = A-B + A'C. משפט זה מאפשר חיסול של תנאים מחוסנים שאינם תורמים לתפקוד הלוגיקה הסופי.הכרה בהזדמנויות ליישם את הטכניקות המתקדמות הללו באה עם תרגול וניסיון בניתוח ביטויים בוטה.

תהליך התרגום: מעבר בין לוגיקה סולם וביטויי Boolean

« ⁇ Ladder Logic to Boolean Expressions

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

תהליך ההמרה עוקב אחר עקרונות אלה:

  • (FLT:0Series Contacts:FLT:1) אנשי קשר מחוברים בסדרה מייצגים ותפעול.אם מגע A הוא בסדרה עם מגע B, הביטוי הבוטה הוא A.
  • (FLT:0)Parallel Contacts:FLT:1 Contacts מחובר במקביל לייצג או פעולות.אם מגע A הוא במקביל עם מגע B, הביטוי הבוטה הוא A + B.
  • (ב) ,0) אנשי קשר קרובים: FLT:1 (אלה מייצגים את הפעולה הלא-מחוק.א. מגע סגור בדרך כלל עבור משתנה A'.
  • (FLT:0) שילובים מורכבים: 1 כאשר סדרות ושילובים מקבילים קיימים יחד, ההורות מצביעות על סדר הפעולות, עם ופעולות (סדרה) לוקחות עדיפות על או פעולות (מקבילה).

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

מתוך Boolean Expressions to Ladder Logic

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

כאשר מבצעים ביטויים בלוגיקה של הסולם:

  • כל אחד ומונח (מוצר) הופך לשורה של קשרים
  • כל מונח או מונח (sum) הופך להיות ענף מקביל בסולם
  • משתנים מורכבים הופכים בדרך כלל למגעים סגורים
  • הפלט או ההוראה ממוקמים בסוף כל רץ

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

שלב-בי-שלב תהליך ל-Sigating Ladder Logics

שלב 1: אנליז את הלוגיקה הקיימת

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

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

שלב 2: להמיר את לוגיקה ל-Bolean Expression

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

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

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

שלב 3: החל את כללי Boolean Algebra עבור סימפלציה

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

תהליך הפשטות בדרך כלל כרוך:

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

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

שלב 4: לבדוק את הביטוי המפוכח

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

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

שלב 5: חזרה לאופטימיזציה של לוגיקה

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

כאשר אנו מציירים את לוגיקה הסולם המוסמכת:

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

Karnaugh Maps: A Visual Approach to Boolean Simplification

תגית: Karnaugh Maps

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

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

מיפוי קראנו הוא דרך שיטתית ואגדית של יישום Boolean algebra כדי להפחית בעיות דיגיטליות מורכבות. עבור יישומים לוגיקה הסולם, K-maps יכול לעזור לזהות אנשי קשר מחוסנים ולפשט מבנים מורכבים, המוביל תוכניות PLC יעילות יותר.

יצירת מפות קארנוו מ- Truth Tables

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

לבנות מפה של K משולחן אמת:

  1. לקבוע את מספר המשתנים בתפקוד הבורק
  2. צור רשת עם 203FLT:0 ânFLT:1rea תאים, שבו n הוא מספר המשתנים
  3. שורות ועמודות באמצעות קוד אפור (רק קצת שינויים בין תאים סמוכים)
  4. העברת ערכי הפלט משולחן האמת לתאי K-map המתאימים
  5. תאים עם 1s שבו הפונקציה תפוקה אמיתית

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

קבוצות ומיצוי ביטויים סימבוליים

Adjacent 1s במפה של קאנו מייצגים הזדמנויות לפשט את הביטוי.המילונים (מונחים מינימליים) עבור הביטוי הסופי נמצאים על ידי קבוצות מתפתלות של 1s במפה.תהליך הקבוצתי עוקב אחר כללים ספציפיים כדי להבטיח פשטות אופטימלית:

  • קבוצות מינוריות חייבות להיות מלבניות, וחייבות להיות אזור שהוא כוח של שניים (כלומר, 1, 2, 4, 8). מלבנים מינוקליים צריכים להיות גדולים ככל האפשר מבלי להכיל 0.
  • קבוצות יכולות לחפוף כדי להפוך כל אחת לגדולה יותר.
  • קבוצות יכולות לעטוף סביב הקצוות של K-map בשל סידור הקוד האפור
  • כל 1 צריך לכלול לפחות קבוצה אחת
  • • הקטנת מספר הקבוצות הכולל

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

החל K-Maps to Ladder Logic Optimization

מתכנתים תעשייתיים מתמודדים עם בעיות רבות.יניהם: צמצום זמן הסריקה ניתן להשתמש כל כך נמוך עלות PLCs; חיסול "bugs" בפסים לוגיים של הסולם; וצמצום עלויות תחזוקה על לוגיקה של הסולם הישן.Karnaugh יכול לעזור עם כל הבעיות האלה.

כאשר משתמשים ב-K-maps for Scale Logicפשטification:

  1. יצירת שולחן אמת המייצג את כל שילובי קלט אפשריים ואת הפלטים התואמים שלהם
  2. העברת נתוני שולחן האמת ל-K-map בגודל מתאים
  3. לזהות ולעגל את כל קבוצות של 1s סמוכים לאחר כללי K-map
  4. להפיק את הביטוי הבוטי הפשוט מהקבוצות
  5. הפוך את הביטוי הפשוט חזרה ללוגיקה

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

אל תתייחסו להגבלות ב-K-Maps

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

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

היתרונות של Siלהגדיל את לוגיקה סולם באמצעות Boolean Algebra

הפחתת הרוזנת הסגורה וההקשות

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

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

שיפור ביצועי המערכת וזמני הסורק

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

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

הגדלת אמינות וצמצום נקודות הכישלונות

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

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

קל יותר לפתור ולשמור

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

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

צמצום המורכבות ושיפור המסמכים

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

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

דוגמאות מעשיות ל-Ladder Logic Simplification

דוגמה: סדרה פשוטה - פיירל סימנס

שקול מעגל לוגיקה מדרגות שבו הפלט Y נשלט על ידי ההסדר הבא: צור קשר עם (צור קשר B במקביל עם Contact C), וכל הקבוצה במקביל (צור קשר A בסדרה עם איש קשר B). הביטוי הבורקי עבור המעגל הזה הוא:

Y = A-(B + C) + AB

כדי לפשט את הביטוי הזה, אנו יכולים ליישם את חוקי ההפצה והקליטה:

Y=A.(B + C) + ABFLT:0) Y=AB + AC + AB (חוק חלוקתי) ,AB + AB + AC (חוק שכנוע: AB + AB + AB + AB= AB)FLT:2Y= AB + C) (חוק .

הביטוי הפשוט A.(B + C) דורש פחות מגעים מאשר המעגל המקורי.בלוגיקה הסולם, זה מתורגם ליצירת קשר עם (צור B במקביל עם Contact C), ביטול ענף AB האדום לחלוטין.

דוגמה 2: יישום חוק מיצוי

שקול תרחיש מורכב יותר שבו תפוקה Z נשלט על ידי: (צור קשר A בסדרה עם מגע B) במקביל עם מגע A.הביטוי הבוטה הוא:

Z = A-B + A

החלת חוק הקליטה (A + A-B=A) אנו יכולים לפשט את זה:

Z = A

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

דוגמה: De Morgan's Theorem Application

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

M=A + B)

החל את המשפט של דה מורגן: (A + B)

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

דוגמה: מורכב Multi-Variable Simplification

שקול את קו הייצור בקרת שבו הפלט Q פועל כאשר:

  • חיישן A פעיל וחיישנים B פעיל, או
  • חיישן A פעיל וחיישנים C פעיל, או
  • חיישן B פעיל וחיישנים C פעיל

ביטוי בוטה הוא: Q= A-B + AC + B-C

באמצעות משפט הקונצנזוס (A.B + A'C + B-C = AB + A'C), אנו עשויים בתחילה לחשוב שנוכל לחסל B-C. עם זאת, במקרה זה, שכן אין לנו A בביטוי, משפט הקונצנזוס אינו חל ישירות. במקום זאת, אנו יכולים להשתמש ב-K-map כדי לאמת האם ניתן לפשט עוד יותר.

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

פיטולים נפוצים ועיסוקים טובים ביותר ב-Bolean Simplification

להימנע מטעויות נפוצות

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

  • (ב) ,0) מפעיל תיקון מראש: 1 ; תמיד לזכור כי פעולות ופעולות (הכפל) לקחת עדיפות על או פעולות (מסורת) אלא אם ההורים מצביעים אחרת.
  • (ב) [13] חוק ה-Bullean: (FLT:1 ), ודא שאתה מחיל את החוק הנכון למצב.לדוגמה, החוק המפיץ ב-Bullean algebra עובד אחרת מאשר באלגברה רגילה עבור מקרים מסוימים.
  • (הרחבה:0) להבטחת תוצאות: FLT:1 תמיד ליצור טבלאות אמת כדי לוודא שהביטוי הפשוט מייצר פלטות זהות למקור לכל שילובי הקלט.
  • (FLT:0) ראו מגעים סגורים בדרך כלל: FLT:103) שימו לב זהירה אם מגעים פתוחים בדרך כלל או סגורים, כפי שזה משפיע על הביטוי הבוטה.
  • (ב) ,0) אבחון מגבלות מעשיות: לפעמים ביטוי תיאורטי פשוט יותר אינו מעשי ליישום מגבלות חומרה או דרישות בטיחות.

שימת דגש על פשטות עם Readability

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

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

בדיקות ואימות

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

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

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

מתי להגות ומתי לעזוב את ההיגיון

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

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

נושאים מתקדמים ב- Boolean Optimization for Ladder Logic

אופטימיזציה לוגית רב-לב

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

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

המונחים: state Implementation

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

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

כלי תוכנה לסימולציה אוטומטית

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

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

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

יישומי תעשייה ומחקרי מקרים

ניהול תהליכי ניהול

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

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

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

בניית מערכות אוטומציה

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

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

מים וטיפול במים

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

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

חומר יד ולוגי

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

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

מגמות עתידיות ב-Ladder Logic Optimization

שילוב עם בינה מלאכותית

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

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

עיצוב מבוסס מודל

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

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

כלי סימולציה ואימות

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

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

משאבים חינוכיים ולמידה נוספת

מסלול למידה מומלץ

עבור מהנדסים המעוניינים לפתח מומחיות ב Boolean algebra ואופטימיזציה לוגיית הסולם, מומלץ גישה למידה מובנית:

  1. (ב) ,0) ,[[1924]]]], [[1924]]]]]], [[1924]]]], [[1924]]]], [[1924]], [[1924]]]]]]
  2. (ב) ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇
  3. (ב) ⁇ :0) , ⁇ (ב) , ראה את חוקי ה-Bertel gebra כדי לפשט ביטויים
  4. (ב) ,0) ,Karnaugh Maps:FLT:1 לפתח מיומנות עם K-maps עבור פשטות חזותית
  5. (התחילה:0) יישום מעשי: 1 (FréalLT) החל את הכישורים האלה לפרויקטי תכנות PLC אמיתיים
  6. (ב) ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇

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

משאבים ומכשירים באינטרנט

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

  • (ב) [ה]כל אודות מעגליות [ה]: [הרש"ל:2https: www.allaboutcircuits.comveFLT 3: 3] מציע הדרכות מקיפים על Boolean algebra ולוגיקה דיגיטלית, כולל קטעים ספציפיים על סולם פשטות לוגיקה
  • (ב) ,0) ,3 ,4 ,4 ,4 ,5 , ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇
  • (FLT:0) כלי K-map אינטראקטיביים K-map:03) זמינים באינטרנט המאפשרים להתאמן עם מפת הקרנו.
  • (ב) ,0) סימולטור תוכנה של סימולטור 1 (FLT) מאפשר אימון יד-על ללא צורך בחומרה פיזית

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

פיתוח מקצועי

עבור מהנדסים, חינוך מתמשך ב Boolean algebra ואופטימיזציה לוגיית הסולם יכול לספק הטבות קריירה משמעותיות. ארגונים מקצועיים כגון ISA (חברה בינלאומית של אוטומציה) מציעים קורסים, Webinars ו Conferences ממוקדים על תכנות PLC ועיצוב מערכת בקרה.

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

מסקנה: הערך הסופי של Boolean Algebra במערכות בקרה מודרניות

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

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

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

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