קרנות של Boolean Algebra ב- Robotics

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

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

פעילות מהירה ואנאלוגים רובוטיים

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

ומבצע

התפוקה של הפעולה והמבצעית נכונה רק כאשר כל קלטותיה נכונות.בהקשר רובוטי, זה משמש לעתים קרובות ליישום של חילופי בטיחות או רצף של שימוש רב-תנאי מתחיל.לדוגמה, זרוע רובוטית עשויה להיות מתוכנתת להוריד מאחז רק אם גם "מכשול המבדיל" חיישן פעיל FLT:0andFLT:1) "מחזק לחלוטין" מופעלת על ידי הניסיונות השליליים של ה-ידי ה-ידי ה-L.

או מבצע

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

לא מבצע

הפעולה לא רק מונעת ערך הגיוני. חיוני ליצירת התנהגויות מצביות שבו היעדר אות גורם פעולה.שימוש נפוץ הוא בהימנעות: רובוט עשוי להיות מתוכנן לנוע קדימה רק כאשר FLT:0NOTFLT:0NOTFLT 1 מכשולים הוא ברירת מחדל פעולה; פעולה לא מאפשרת יצירת אותות משלימים, כגון "דלת פתוחה" ו"דלת סגורה" ממכשירים מורכבים, כמו לא להפסיק את השימוש בסולם בלעדי על ידי חיישן לא מוגבל, לא ניתן ליישם את השימוש בסולם, אלא אם לא רק על ידי שימוש לא רק על ידי שימוש לא רק על ידי כלי רכב מתכתי מתכתי מתכתי מתכתיטרקטינים אוטומטיים, אלא אם לא מופעלים מורכבים, כמו "לא מוגבל יותר".

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

עיצוב מעגלי בקרה עם לוגיקה מהירה

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

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

מתוך "Bolean Expressions to State Machines"

בעוד ש-Bolean algebra מצטיין בלוגיקה משולבת - שבו הפלט תלוי רק בקלטים הנוכחיים - התנהגויות רובוטיות רבות הן הכרחיות, כלומר הן תלויות בהיסטוריה. מכונות ממשלתיות (FSMs) מרחיבות מושגים מבוטחים על ידי שילוב אלמנטים זיכרון (Flip-flops) כי לאחסן מצב המעבר בין המדינות הם פונקציות מתוחות של המדינה הנוכחית ומקורות חיצוניים, לדוגמה, ייתכן ש-"מצב של שינוי אוטומטי"לאי" אינו יכול להפעיל" (S) ו-"מסלול"מסלול"ל"ל"ל) באופן ידני"מסלול"ל"ל"ל"ל"ל"ל"ל"ל"ל-"לתקן"לתקן"ל" (S) ו-"ל) כלומר, כלומר, כלומר, כלומר, כלומר, "ל) את המצב"לתקן" (S) של המערכת" (S) של המערכת" (S) של המערכת" (S) ו-"מסלול" (S) שיכול להפעיל את פעולתו" (S) של המערכת" (S) של שינוי מחשבי"מכיוון ש-" (S) של המערכת"מסלול"מסלולאריכים) של המערכת" (S) של המערכת"לתקן"

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

Beyond Basic Logic: שילוב של ביטויים בוטים להתנהגות מורכבת

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

טכניקה חשובה נוספת היא השימוש של Boolean algebra בהיתוך חיישן.רובוטים משתמשים בחיישנים מרובים של שיטות שונות (חומרי חישוב ultrasonic, אינפרא אדום, מגע, מצלמה) כדי לתפוס את הסביבה.כל חיישן מספק פסק דין בינארי (למשל, "התחולה בתוך 30 ס"מ"מ"ח אמיתי/false) ממנת את פסקי הדין הללו עם לוגיקה Booleans מפחיתה את השגויות, לדוגמה, רובוט יכול לקחת בחשבון לפחות שני חיישנים מתאימים (A) או יותר מאשר אם זה (או חיישנים מתאימים) או יותר מ-A) או בקיצור, כלומר, כלומר, כלומר, כלומר, אם זה יכול להיות מסכים עם CBB).

Boolean algebra גם מדגיש את הרעיון של FPLT:0ladder לוגיקה FLT:1 בשימוש בקרים לוגיים לוגיים מתכנתים (PLCs), אשר נפוצים רובוטיקה תעשייתית. ⁇ לוגיקה סולם הם בעצם ייצוגים גרפיים של ביטויים בולין, שבו מגעים (inputs) ו coils ( ⁇ s) מסודרים בצורות אופקיות כל אחד לרוץ למשוואה להתחיל עם כפתורים מודרניים (למשל) כדי להתחיל קשר פעולה עם לחץ פתוח)

מחקרים: Boolean Algebra במערכות ניווט ובטיחות אוטונומיות

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

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

גילוי ואבחון

Boolean algebra מספקת גם מסגרת לזיהוי תקלות במערכות הרובוטיות.על ידי מודל היחסים הצפויים בין קוראי חיישן ופקודות אקטוטור, מהנדסים יכולים ליצור דגלים כאשר ההתנהגות הנצפה ממודל הלוגי.לדוגמה, אם מנוע הרובוט של הרובוט הוא הורה לרוץ (input= 1) אבל המקודמת אינה מדווחת על תנועה לאחר זמן, מצבה של Boobulmandator "רץ" ו-" אינו יכול לגרום לתקלות אוטומטית, כמו שימוש בעצים.

אתגרים ומגבלות

בעוד ש-Bolean algebra הוא עוצמתי, יש לו מגבלות על המציאות של הפשטות בינארית: קריאת חיישן הם רק לעתים רחוקות נקי 1s ו 0s; הם ערכים רצופים ברעש, סחף וחוסר ודאות. Threshold ערכים אלה לתוך אותות Boolean יכולים לאבד מידע ולהציג בעיות hysteresis באופן חלקי.

אתגר נוסף הוא הצמיחה האקספוננציאלית של טבלאות אמת, ככל שמספר הקלטות עולה.מערכת עם 10 קלטות יש 210 = 1024 שילובים אפשריים; עם 20 קלטות זה הופך ליותר ממיליון.לכאורה מונעת ביטויים בולין עבור מערכות כאלה הוא בלתי מעשי.מהנדסים מסתמכים על שפות תיאור חומרה (HDLs) כמו VHDL או Verilog, אשר מסנתזת באופן אוטומטי מתפקודים של רמתיים, כמו מתודולוגית אבטחה גבוהה יותר, אך ורקמות, אך ורקמותרפיסטציה, אך ורקמותרפיסטית זו אינה יכולה לייצג את הכלים הבין-תרגול מתודולוגית אבטחה גבוהה יותר, אך ורקמות, כמו שיטות מתודולוגית שיטות מתודולוגית של שיטות קומפקטיות, אך ורקמות, אך ורקמות, אך ורקמות, אך ורקמות, אך ורקמות, אך ורקמות, כמו שיטות מתודולוגיות של שיטות חשיבה (D.

כיוונים עתידיים ותפקידו של Boolean Algebra ב- AI-Driven Robotics

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

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

לבסוף, דחיפה לכיוון (FLT:0) מערכת מבוססת-AIFharve1 (AI) רובוטיקה עשויה לראות את ההתחדשות של שיטות בוטות לקבלת החלטות מפרשיות.מערכת המבוססת על כלל המובעת בלוגיקה של Boolean היא שקופה מטבעה – כל החלטה יכולה להיצמד לשילוב ספציפי של תנאים.

מסקנה

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