Integer Programming עיצוב הרכבת המהירה רשת הרחבה

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

המונחים: Integer Programming

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

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

פותרים מודרניים כמו גורובי, CPLEX וכלים בקוד פתוח כגון SCIP מנף אלגוריתמים יבשתיים וחתכים-מטוס כדי למצוא פתרונות אופטימליים מוכחים או באיכות גבוהה ליד-אופטימיים בתוך זמן סביר.עבור פריים עמוק יותר, ראה FLT:0Wikipedia's integer Programming articleFevolver:1LT:1 .

יישום תכנות Integer בעיצוב רשת HSR

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

מיקום:

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

« « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « « «

קווי HSR מעבר לנוף כרוכים בבחירה דיסקרטית: אילו קטעים לבנות, אילו התאמות לעקוב (למשל, דרך הרים לעומת כבישים קיימים), ואם לשתף מסלולים עם מודלים סטנדרטיים של תכנות Integer יכול לייצג אלה כגון בעיות זרימה רשת עם משתנה בחירת קשת בינארי (constranal Management) כוללים מקסימום ⁇ , רדיוס מינימלי, אזורי סביבה, ודרישות קישוריות, בדרך כלל, כגון עלות תכנון: 1.F) מודלים תפעוליים של תכנון; לדוגמה, לדוגמה, עלויות מחקר 1JF; עלויות תפעולית של תחבורה; 1.com; 1.com; עלות; עלות; עלות, לדוגמה, לדוגמה, לדוגמה, עלויות תפעולית של ניהול רכבת 1.com; עלות; עלות; עלות; עלות, לדוגמה, לדוגמה, עלויות תפעולית של ניהול רכבת 1.com; 1.com; עלות; עלות; עלות של ניהול רכבת 1.comrvF; עלות; עלות; עלות; עלות, לדוגמה, לדוגמה, עלויות תכנון 1.coml-ידי ניהול רכבת: 1.coml-ידי ניתוח רכבת: עלויות תפעולית, לדוגמה, לדוגמה, עלויות תפעולית: 1.com; עלות, עלויות תפעולית, עלות, לדוגמה, לדוגמה, לדוגמה, עלויות מחקר: 1.RJ

תכנון וישועה

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

המונחים: Allocation

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

היתרונות של שימוש Integer תכנות ב HSR הרחבה

היישום של תכנות integer מניב יתרונות מוחשיים המצדיקים את העלות החישובית שלו.

לדוגמה בעולם האמיתי, תוכנית המאסטר של הרכבות המהירה האירופית (TEN-T) השתמשה במודלים אופטימיזציה כי לצייר רבות על תכנות integer כדי להעריך אפשרויות מסדרון. AFLT:0 European Commission ReportFLT:1 מדגיש את התפקיד של מודלים בבחירה במסדרון.

אתגרים ושיקולים

למרות כוחו, תכנות integer הוא לא כדור כסף. Planners חייב לנווט כמה מכשולים כדי להבטיח מודלים הם מעשי ואמינים.

מורכבות

בעיות רשת HSR בקנה מידה גדול כרוכות בקלות עשרות אלפי משתנים ומגבלות. Solving אותם אופטימליות יכול לקחת שעות או אפילו ימים על מחשבים ביצועים גבוהים. טכניקות - כגון בנדרס decomposition או Lagrangian הרפיה - לעתים קרובות הכרחיים כדי לעשות בעיות גמישות.התקדמות במחשוב מקבילים וחומרה מיוחדת (למשל, GPU-accatederated) הם בהדרגה ממיסים את הבעיה.

אמינות וזמינות

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

Multi-Objective Tradeoffs

עלות Balancing, השפעה סביבתית, הון חברתי וכדאיות פוליטית היא סובייקטיבית מטבעה, בעוד IP יכול להתמודד עם מטרות מומשקלות, הבחירה של משקולות משפיעות רבות על הרשת המתקבלת. ... [+] בעלי עניין להגדיר התנגשויות מקובלות הוא חיוני.מתודולוגיות כמו קבלת החלטות רב-ביקורתית אינטראקטיבית ניתן לשתף עם IP כדי לשלב העדפות של בעלי עניין באופן .

(ב) ,0) ,התאמת ואימוץ 1

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

מחקר: תכנון ההתרחבות של יפן

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

כיוונים עתידיים

התפקיד של תכנות integer בעיצוב HSR יגדל ככל שכוח חישובי ו פרדיגמות מודלים חדשים להופיע. Machine Learning-enhanced סניף-and-bound אלגוריתמים הם ניתוק פעמים. טכניקות אופטימיזציה של Robust משמשים כדי להתמודד עם אי הוודאות ללא להסתמך על תרחישים פשוטים.יתר על כן, שילוב עם מערכות גיאוגרפיות (GIS) מאפשר דור אוטומטי של נתונים מרחביים, צמצום מאמץ ידני כמו ניידות עולמית, הופך להיות ראיות.

מסקנה

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