מבוא תכנות Integer בהנדסה מבנית

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

המונחים: Integer Programming

הגדרה וקרן מתמטית

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

ניתן לבטא את הטופס הכללי של בעיית תכנות integer:

המינימיזציה (או ממקסימה) cTx כפוף Ax ⁇ b, x ⁇ 0, ו x ⁇ Zn עבור חלק מקבוצה של משתנים, שבו c מייצג עלות או coefficients אובייקטיבי, A הוא המריצה המגבילה, מייצג גבולות משאבים, ו x הוא הווקטור של משתנים החלטות מוגבל ערכים integers. כאשר כל המשתנים חייב להיות intragers, הבעיה נקראה מספר קבוע של דיסקרטיגר זה רק עם מספר קבוע של נוגדנים).

למה Integer Programming Matters for Materials

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

« הקשר היסטורי ואבולוציה

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

יישומים בהנדסת מבנים

אופטימיזציה של בחירה

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

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

המונחים: mit and Layout

מעבר למבחר חומרי, תכנות integer משמש נרחב עבור sizing ו הצבת רכיבים מבניים. Reinforcementפרט במבנים קונקרטיים הוא דוגמה קלאסית. מהנדסים חייבים לקבוע את המספר, קוטר, וספא של פלדה recing ברים בדבורים, עמודות, ו-Selbs. החלטות אלה הם דיסקרטיים: Rebar מיוצרת סטנדרטיים כגון 10, מ"מ, 12 מ"מ, 20 מ"מ ו-bit, ו-recrecrecreekreekrecreekreekreative, בעוד דרישות פיתוח מינימלית, כמו תיבות של עיצוב קבוע, כמו מגבלות, ו-S.

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

Trus and Beam Optimization

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

אופטימיזציה של מבנה Composite

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

סוגים של מודל תכנות Integer בשימוש

המונחים: Binary Integer Programming

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

תכנות Integer

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

Integer Non ליניארית תכנות

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

חומרים מתקדמים ואתגרי האופטימיזציה שלהם

המונחים: high-Performance Concrete

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

המונחים: polymers

פולימרים עמידים בסיבים (FRPs) הם חומרים קלים, קורוזיה עמידים יותר בשימוש לחיזוק מבנים קיימים ולמען בנייה חדשה בסביבות אגרסיביות. רכיבי FRP מיוצרים בדרך כלל בצורות סטנדרטיות וגדלים, כגון צלחות, ברים ופגזים. תכנות Integer יכול לייעל את המיקום והכיוון של חיזוק FRP על beams או להגיע למטרה מסוימת, תוך כדי צמצום הטכניקות החומריות של ה-Acc-i-togram (המכונה) להפחתה של ה-i-Integer) יכול להפחתה של ה-Integer.

שם מקור: Mody Alloys

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

מהנדס טימבר

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

היתרונות של Integer Programming

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

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

מורכבות

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

מודלים של יעילות וסיפלציה

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

זמינות נתונים ואיכות

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

המונחים:

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

שיטות הפעלה וכלי תוכנה

(הופנה מהדף בעיות תכנות של גראס דורשות משווקים מיוחדים המיישם אלגוריתמים כגון שלבים סניף-וולטים, סנפיר וחיתוך-מטוסים, ושיטות סימולציות מסחריות כמו FLT:0GurobireaFLT:1 ו-FLT:2IBM ILOG CPLEXFLT 3 משמשות באופן נרחב בתעשייה ולאקדמיה ליעילותם ו-Opensource כגון:2IFDEROL.

שילוב עם טכנולוגיות אחרות

בניית מודל מידע (BIM)

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

ניתוח יסודות Finite Element Analysis (FEA)

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

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

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

מגמות מחקר ודרכים לעתיד

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

מסקנה

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