Integer Programming אופטימיזציה של צינור מים רשתות
תכנות Integer (IP) הוא טכניקת אופטימיזציה מתמטית רבת עוצמה המטפלת בבעיות החלטות הכרוכות בדיסקרטי, או integer-conssמוגבל, משתנים. בהקשר של עיצוב רשת צינורות מים ופעולה, IP מספקת מהנדסים ומתכננים עם מסגרת קפדנית לבחירת קוטרים צינורות, איתור משאבות ושסתום, ופעולות תחזוקה תזמון - תוך איזון הוצאות הון, תפעול, ואמינות עירונית כמו גם עבור קבוצות מורכבות, לא היה צורך, לא זמין עבור פתרונות אבטחה, לא היה יעיל יותר, לא היה יעיל יותר, לא זמין, לא זמין עבור רשתות מורכבות, לא היה צורך, תוכניות תכנות, לא היה יעיל יותר, לא היה יעיל יותר, 000, 000.
הבנת רשתות צינור מים
רשתות צינורות מים הן מערכות מורכבות של צינורות מקושרים, משאבות, מיכלי אחסון, שסתום, ומכשירים בקרה שמעבירים מים ממקורות - כגון מאגרים, בארות או צמחי טיפול - לתושבים למגורים, מסחריים ותעשייתיים.העיצוב של רשת כזו כרוך במספר, לעתים קרובות מטרות סותרות: מזער עלויות הכוללות (התקנה, אנרגיה, תחזוקה), להבטיח לחץ הולם וזרימה בכל הביקוש, שמירה על מים נמוכים, חיטוי), מחלות חירום.
רשתות אלה בדרך כלל מתוזמנות כמו גרפנים מכוונים שבו צמתים מייצגים צומת, טנקים, נקודות מקור, ו הקצוות מייצגים צינורות או שסתום.התנהגות זרימת המים נשלטת על ידי שימור של מסה (continuity) ואנרגיה (המשוואה של בינדרולי, כולל אבדות חיכוך באמצעות Hazen-Williams או Darcy-Weisbachs).
תפקיד תכנות Integer
תכנות Integer הוא תת-קבוצה של תכנות ליניארי שבו כמה או כל משתנה ההחלטה מוגבלים לערכים integer. כאשר משתנים הם בינארי (0 או 1), המודל נקרא תוכנית בינארית integer (BIP); כאשר משתנים יכולים לקחת כל אי-שלילית integer, זה תוכנית אינטגרטיבית טהורה; וכאשר הם רצופים ו- integers מופיעים, זה כמו גם תרגילי תיבות סטנדרטיים, כי הם סטנדרטיים, הם סטנדרטיים, לעומת זאת, עיצוב מים).
[ה] הכוח של IP הוא ביכולתו לקודד תנאים לוגיים ומבנים קבועים.לדוגמה, התקנת צינור עולה קבועה של ההתקנה ללא קשר לשיעור זרימתו הסופית, ושימוש במשאבה מוסיף הן עלויות הון והן אנרגיה משתנה.מודל IP יכול להחליט (FLT:0בין אם FLT:1 להתקין כל מקטע צינורות (binary) ואם מותקף,LTF:2 אשר מאפשר לנטרק בין היתר לנטרולציה (מתאים) לנטרול) ולקבוע לחץ מתמשך (מתאים).
היתרונות העיקריים של מודל IP
מודל תכנות טיפוסי עבור אופטימיזציה רשת צינורות מים כולל את האלמנטים הבאים:
- (FLT:0) משתנה:FLT:1 עבור כל פלח צינור פוטנציאלי וקוטר, משתנה בינארי מציין את הבחירה שלו. בדומה, משתנים בינאריים מייצגים את ההתקנה של משאבות, שסתום, וטנקים. משתנים מתמשכים מודל זורם שערי זרימה, לחץ, ורמות מים.
- (FLT:0)Objective Function:FLT:1 המטרה היא בדרך כלל למזער את העלות הכוללת של מתנה נטו מעל אופק התכנון.זה כולל עלויות צינור ובירת משאבה, עלויות אנרגיה עבור משאבה (הקדמה לזרימה וראש), ועלויות תחזוקה חוזרות ונשנות.
- (FLT:0)Constraints: 1.10LT:1 מגבלות הליבה לאכוף חוקים פיזיים דרישות תפעוליות. Flow רציפות בכל צומת (החוק הראשון של Kirchhoff) מחבר את מגבלות אובדן הראש (באמצעות ה- Hazen-Williams משוואה לינארית או משוערת באמצעות פיסת חשמל), צינור, אורך להורדת לחץ, ללא הבטחת רמות מינימליות, בעוד דרישות של שירות כגון מגבלות צינור, כגון מגבלות, או מגבלות, בתנאי התקנת מגבלות).
האופי המשולב של הבעיה - תוך היותו מעשרות קוטרי צינורות לכל אחת ממאות או אלפי פלחות - מסתכם במרחב חיפוש עצום.ללא תכנות אינטגרטיבי, מעצבים לעתים קרובות פונים למשפט וטרור או גישות של שליטה שיכולה להחמיץ חיסכון משמעותי בעלויות.
היתרונות של Integer Programming
החלת תכנות integer עיצוב רשת צינורות מים מניב יתרונות מעשיים משמעותיים:
- (FLT:0) משאבים אללוק: ההרחבה 1 (IP) יכולה להפחית את העלויות הכוללות ב 10-30% בהשוואה לעיצובים היוריים המסורתיים, במיוחד ברשתות גדולות עם אזורי לחץ מרובים.מחקר של 2 מחקר מים (2015)FVE 3 הראה חיסכון 18% על רשת בגודל של ממש בעולם בינוני.
- (FLT:0) אחריות מבוססת-העברה: (FIRLT:1) על ידי מודל מפורש של תרחישים של כשל (למשל, הפסקות צינורות, תקלות משאבה) באמצעות מגבלות מבוססות תרחיש, IP יכול לייצר רשתות אשר שומרות על שירות תחת קבוצה מוגדרת מראש של contingities, ובכך לשפר את החוסן.
- (FLT:0) הערכת ראופיות של חלופות:FLT:1) מודל IP יכול להיות מנוהל מחדש עם נתוני עלות מעודכנים, דרישות תחזיות, או מגבלות רגולטוריות, המאפשר למתכננים לחקור אלפי תרחישים עיצוב בתוך דקות.
- (FLT:0) קבלת החלטות ה-Transtempud: 1FLT:1 הפתרון האופטימלי מלווה במשתנים כפולים (מחירי צל) המציינים את העלות השולית של הידוק של מעצורים, עוזר למתכננים לאשר השקעות.
יישומים אמיתיים בעולם אישרו את היתרונות האלה.העיר ברצלונה השתמשה בגישה מעורבת-אינטגרטיבית לעיצוב מחדש של מערכת אספקת המים שלה, השגת ירידה של 12% בעלויות תוך שיפור האמינות בלחץ (מקור: FLT:0Journal of Cleaner Production, 2016BuildFLT:1).
אתגרים ושיקולים
למרות החוזקות שלה, תכנות אינסטלגר נושא נטל חישובי משמעותי.הבעיה המפיצה של הצינור הקלאסי היא NP-Hard, כלומר, זמני פתרון יכולים לגדול באופן אקספוננציאלי עם גודל רשת.עבור רשתות עם יותר מכמה מאות צינורות, פותרים מסחריים כגון CPLEX, Gorobi, או חלופות קוד פתוח (למשל, COIN-OR) עשויים לדרוש שעות או ימים כדי למצוא פתרונות מוכחים של מספר הרדאריבי לשחית של מספר רב של חומר ניקוי אינטנסיבי של רטטים או תכנות.
כדי לנהל מורכבות, מתרגלים לעתים קרובות מעסיקים אחת או יותר מהאסטרטגיות הבאות:
- (ב) הפחתה:0) הפחתה של ההרחבה: 1FLT:1 Aggregate דורש צמתים, לחסל בבירור צינורות תת-אופטימיים, ומנף ידע דומיין כדי להפחית את ספירת המשתנים.
- (FLT:0) Heists ו metaheuristics: אלגוריתמים גנטיים, סימולציה annealing, או אופטימיזציה של חלקיקים נחיל יכול לספק פתרונות טובים במהירות, אם כי ללא ערבויות אופטימליות.
- (FLT:0) טכניקות של קידוד: 1 שיטות כמו בנדרס decomposition מפרידות את הבעיה לתוך תת-קרקעית מאסטר (integer) ו subproblem מתמשך, שיפור זמן הפתרון עבור תנצלויות מסוימות ברשת.
- (ב) ⁇ :0 ,Parallel Computing: FLT:1rears מודרני יכול לנצל מעבדי רב-core ואפילו מחשוב מבוזר כדי ליישר את עץ החיפוש.
אתגר נוסף הוא הטיפול במשוואות לא לינאריות-העצמיות.להרבה פותרים דורשים מגבלות ליניאריות; ומכאן, נספח ליניארי לינארי של ה- Hazen-Williams או Darcy-Weisbach הוא נפוץ.הדיוק של אופטימיזציה אלה יש לאוזן בזהירות נגד העלייה במשתנה בינארי (עבור כל חלק של התוספת של שיטות מתקדמות).
מגבלות איכות מים מוסיפים מורכבות נוספת.מודל של דעיכה כלורנית או גיל מים מציגות משתנים נוספים של המדינה וקנטינות לא ליניארית, לעתים קרובות דורשות שלב סימולציה נפרד לאחר האופטימיזציה - גישה מהותית שיכולה להחמיץ את הבורסות הטובות ביותר. חוקרים מפתחים באופן פעיל מודלים IP משולבים אשר co-opize עיצוב הידראולי ודינמיקה איכות מים.
כיוונים עתידיים
העתיד של תכנות integer ב אופטימיזציה רשת מים הוא בהיר, מונע על ידי התקדמות בשני האלגוריתמים וחומרה.כמה כיוונים מבטיחים הם מתעוררים:
- (FLT:0) אינטגרציה עם Machine Learning:FearLT:1) מודלים של למידת מכונות יכולים להעריך אובדן ראש או דפוסי ביקוש, מתן מגבלות Proxy המפחיתות את הצורך בסימולציה הידראולית מלאה בתוך הלולאה IP. Deep Learning יכול גם להאיץ את היור השורשי של ה-node heuristics, שיפור גבולות ראשוניים.
- (FLT:0) מימוש זמן: 1FLT עם כניסת רשתות מים חכמות מצוידות חיישנים ומבצעים, תכנות integer יכול להיות פרוס במסגרת בקרת מודל חיזוי (MPC) כדי להתאים לוח זמנים של משאבה והגדרות שסתום על בסיס תת-שעה, איזון עלויות אנרגיה ולחץ.זה דורש פתרונות קרובים, לדחוף לפירוק של פירוק ופתרון GPU מבוסס GPUrs.
- (FLT:0) עמידות והתאמה לאקלים: קיד 1 (מודלים עתידיים של LT:1) תכלול תכנות סטוצ'יסטיות ואופטימיזציה חזקה כדי להתמודד עם שינויים מונעים על ידי אקלים בלתי בטוחים בזמינות מים, גידול הביקוש ואירועים מזג אוויר קיצוניים. שני שלבים נוסחאות IP סטוצ'סטיות בשלב זה יכולות ללכוד החלטות השקעה (שלב ראשון) ו-Recourse תפעולי (שלב שני).
- (FLT:0) Multi-Objective Optimization:03FLT) 1 החלטות בעולם האמיתי כרוכות בפליפי מסחר בין עלות, אמינות, איכות מים, והשפעה סביבתית. IP רב-אובייקטיבי יכול ליצור גבולות פארטו, עוזר לבעלי העניין לדמיין פשרות ולקבל החלטות מושכלות.
מסקנה
תכנות Integer מספק מסגרת מתמטית קפדנית ויעילה עבור אופטימיזציה של רשתות צינורות מים, מתן חיסכון בעלויות מדידה, אמינות מוגברת, ותובנה גדולה יותר של עיצוב עסקאות.בעוד אתגרים חישוביים נשארים - במיוחד עבור בקנה מידה גדול, לא לינארי או בעיות סטוצ'סטיות - שיפור אלגוריתמי מתמשך ועוצמה הגוברת של פותרים מעורבים-integer הם מרחיבים בהתמדה את הגבול של מה ניתן לייעל מים, כמו גם מתחמיצית, פיתוח יעיל, פונקציות אקלים, פונקציות יעילות, פיתוח, פונקציות, פיתוח יעיל, פונקציות יעילות, פונקציות.