Ang Papel ng Integer Programming sa Infrastructure Design
Ang integer programming (IP) ay nakatayo bilang isang batong - panulok ng pananaliksik sa mga operasyon, na nagpapangyari sa mga nagpapasiyang-gawa ng isang tulay dito o doon sa mga idependiyente kung saan ang 3 bus sa rutang ito ay hindi maaaring gawing maliit ang balangkas na ito. Sa pamamagitan ng pormulasyon ang mga layunin at mga kondisyon tulad ng mga takip ng badyet, mga pagsaklaw ng serbisyo, at mga limitasyon sa kapaligiran ay maaaring makilala ng mga tagatukoy na parehong makakagawa at makasusulong.
Sa konteksto ng matatag na imprastraktura ng transportasyon, ang mga integer programming models ay tumutulong sa mga tagaplano na umasam ng mga sira at mga sistema ng disenyo na nagpapanatili ng function sa ilalim ng stress. ang mga disruptions ay maaaring magmula sa mga natural na sakuna, mga pagbagsak ng kagamitan, o biglaang mga repleksiyon ng pangangailangan. ang IP ay nagbibigay-daan sa mga morentasyon ng mga trabahong katulad ng pag-ikot, pagpapalawak ng kapasidad, at lokasyon ng pasilidad.
Mga Uri ng Integr Programming Models
Ang purong integer programming (IP) ay nangangailangan ng lahat ng mga variables upang maging integers. mixed-interger programming (MIP) ay nagpapahintulot ng parehong integer at patuloy na variables, na ginagawa itong angkop para sa mga problema na nagsasama ng discrete at patuloy na mga desisyon na manangkop para sa halimbawa, na nagpapasiya sa bilang ng mga linya (inter) at ang kanilang kapal (continuous). Ang mga Binary integers programmingramplome (BIP) ay nagtatakda sa 0 o 1, huwaran para sa mga pagpipiliang oo/tulad ng mga pagpipiliang pang-intang pang-intOR ay nalutas sa mga pres.
Mga Pangunahing Pakinabang sa Pag - aayos ng Transportasyon
Ang resilienteng imprastraktura ng transportasyon ay dapat na sumipsip ng shocks, umangkop sa nagbabagong mga kondisyon, at mabilis na makabawi.Ang integer programming ay sumusuporta sa tunguhing ito sa ibayo ng ilang mga kritikal na application area.
Disenyo ng Network at Paglawak ng Capacity
Halimbawa, kapag pinalawak ang sistema ng lansangang bayan o riles, kailangang piliin ng mga inhinyero kung saan daragdagan ng mga linya, riles, o node. Binabawasan ng mga modelo ng IP ang kabuuang gastos sa paghiling ng saklaw, pag-uugnay, at pagkamaaasahan na mga limitasyon.[T] Maaaring kailanganin ng isang modelo na ang bawat linya-estinasyong pares ay may hindi bababa sa dalawang hindi magkakaugnay na mga landas, na tinitiyak na ang isang kabiguan ay hindi nag-iiba sa mga sistema ng urban. Ang ganitong pamamaraan, na kilala bilang network refignifirmization[T:1], ay nailalapat sa mga sistemang malaya at servider.
Lokasyon ng Mukha at Pag - iingat ng Pawang - Palad
Ang pagtatakda kung saan ilalagay ang mga emergency reaction center, transit stations, o mga bodega ng maintenance ay kinasasangkutan ng mga problema sa lugar ng discrete facility.[T] Ang mga integration formation tulad ng p-median na problema o Ang paghahanap ng mga pasilidad kung saan ay hindi maayos, naglalaman ng mga aktiba pang-daan[FLT:[3] Ang mga sasakyang pang-ekono ay nagresultang pang-kalikasan ay nagresultang pang-kalikasan ng mga entasyon, na pangangailangan o pang-karapatang makakapag-ari ng mga sasakyang pang-kapara sa mga sasakyang pang-kapara sa mga sasakyang pangkalikasan, na pangkalikasanya ng mga sasakyang pangkalikasuhan.
Paglikas at Biglang Pagpaplano
Sa panahon ng mga sakuna tulad ng bagyo o lindol, ang mga network ng transportasyon ay dapat na mapabilis ang paglikas. Ang mga modelong integer programming models ay nag-eeere ng mga stratehiyang reversion, signal stature, at surving upang ilipat ang pinakamaraming populasyon sa ligtas na mga sona sa loob ng isang time window. Ang mga modelong ito ay kinabibilangan ng mga limitasyon sa mga kapasidad ng kalsada, mga alitan sa interseksiyon, at mga tirahang magagamit. Ang pananaliksik ay nagpakita na ang mga IP-based evacuation plan ay maaaring mabawasan ang mga oras ng oras ng pag-paglilinaw ng 20–30% kung ihahambing sa mga heuristiko.
Araling - Kaso: Pag - abuso sa mga Transit Network sa Urbano
Isaalang - alang ang mid-sized na lungsod na naghahangad na palawakin ang sistema nito ng mabilisang paghahatid ng bus (BRT). Ang awtoridad ng pagpaplano ay dapat magpasiya sa paglalagay ng bagong mga istasyon sa kahabaan ng mga pasilyo ng kandidato, ang dalas ng serbisyo, at ang allocation ng mga bus sa mga ruta. Ang isang integer programming model ay binuo kasama ang mga sumusunod na elemento:
- Mga Kabagu-bago ng Decision: Binaryong mga variables para sa mga lokasyon ng istasyon, integer variables para sa mga frequency ng bus destino.
- [Talaksan:] Malaki ang saklaw ng populasyon sa loob ng 10-minutong paglalakad, bawasan ang kabuuang halaga ng konstruksiyon at operasyon, at palakihin ang network connectivity.
- Mga kontraint: Hangganan ng Badyet, minimum na mga kahilingan sa daang-bakal, sukdulang haba ng ruta, at mga kondisyong pang-edukasyon tulad ng pag-aalok ng hindi bababa sa dalawang alternatibong landas para sa bawat mataas-demand na pasilyo.
Ang paglutas sa modelo ay nagbibigay ng isang network ng BRT na sumasaklaw sa 85% ng mga tinatarget na populasyoni ⁇ 15% higit kaysa sa umiiral na sistemang Episiyaat isang 10% mas mababang halaga. Ang mga resistansiya ng resistansiya ay tumitiyak na walang isang istasyon ang nagbukod ng higit sa 5% ng mga gumagamit. Ang halimbawang ito ay nagpapakita kung paanong binabago ng IPP ang mga substituent planing tungo sa isang data-fensableng disenyo. ang komplementasyon ay nangangailangan ng malapit na pakikipagtulungan sa pagitan ng mga model, inhinyero, at mga stanskripwers upang dalisayin ang mga pag-inams.
Mga Pakinabang ng Programang Integer Para sa Pagiging Mapanlinlang
Ang pagpapatibay ng integer programming sa disenyo ng imprastraktura ng transportasyon ay nagbibigay ng ilang mga nakikitang pakinabang. Ang optimal resource alocation ay tumitiyak na limitadong badyet ay nakatuon sa mga pinaka-nakaapektong proyekto. Enhanced configence Ang mga limitasyong pinansiyal ay lumalabas mula sa malinaw na pag-iisa ng mga senaryo ng pagkabigo at redunsifancy infit.[4] Ang entsic na pag-up:[T]Cove-intness ay ang mga prefigic na profigurasyon[5] na may mga patakarang producedence:[T] Ang mga kondisyon ay karaniwang mga kondisyon na nakakamit ay na may mga kondisyon na nakukuha sa pamamagitan ng mga kondisyon na may mga kondisyon na may mga kondisyon na may mga kondisyong produksyon na may mga kondisyon na may mga kondisyong pang-kadukor na may mga kondisyong pang-kadeng pang-kadecit.[[[[[T] Ang mga kondisyon
Isa pa, ang mga modelo ng IP ay lumilikha ng mga resultang maaaring i-udible at baguhin habang dumarating ang bagong datos.Ang transparency na ito ay nagpapatibay ng tiwala sa mga poitler at sumusuporta sa mga statative planning cycle. Kung ihahambing sa reaktibidad-lamang na mga paglapit, ang mga modelong optimisasyon ay direktang naghahanap ng pinakamahusay na solusyon sa halip na pagtasa ng isang limitadong set ng mga alternatibo.
Mga Hamon sa Pagpapawalang - bisa
Sa kabila ng mga lakas nito, ang integer programming ay humaharap sa mga mahahalagang hadlang sa mga proyekto ng real-world transportment. Computational complexment Mabilis na lumalago na may problemang sukat; maraming malalaking-scale na modelo ay NP-hard, na nangangahulugang ang eksaktong mga tagalutas ay maaaring gumugol ng mga oras o araw upang makahanap ng napatunayang mga solusyong pang-eorsal. Ang mga kamakailang pagsulong sa mga paraang metaboliko (e.g.g., Bendersquarcans influent) at mga huristic hot-star ay nakatulong sa mga realit-time-tunay na mga paraang kinakailangan.
Ang pagiging madaling makuha at kalidad ay naghaharap ng isa pang hamon.[kailangan ng mga modelo ng IP] tumpak na pagtatantiya ng pangangailangan, oras ng paglalakbay, kabiguang probability, at gastos.Sa maraming rehiyon, ang gayong datos ay kakaunti o hindi tiyak, na humahantong sa mga solusyon na maaaring maging lubos lamang sa papel.Ang instansyang analisis at matatag na mga pamamaraang pang-ebolusyon ay maaaring magpagana nito, ngunit ito ay nakadaragdag ng kasalimuutan.
[AngModel rightation ay mahalaga ngunit madalas na nakakaligtaan.[kailangan ng sanggunian] Ang mga palagay sa modelong ekwasyon tungkol sa pag-uugali ng tao (e.g., top selection) o imprastraktura ay dapat suriin laban sa mga makasaysayang data o mga proyektong pilot. Kung walang ekwasyon, ang mga output ay maaaring maging hindi praktikal. bukod pa, ang mga integer programming model ay maaaring maging opaque sa mga hindi-eksperimento, ginagawa itong mahirap makuha mula sa mga ke-in mula sa mga tagagawa ng desisyon na sanayan.
Mga Tagubilin at Nag - uugatg mga Kalakaran sa Hinaharap
Ang susunod na henerasyon ng integer programming para sa kakayahang mag-ayos ng transportasyon ay malamang na mag-ebolb ng ilang mga teknolohiyang cut-edge. Ang pagsasama ng IP sa pag-aaral ng makina ay maaaring matuto ng mga padron mula sa datos at impluwensya bilang instratsiments ⁇ for halimbawa, paghula ng pangangailangan sa paglalakbay sa ilalim ng hindi pangkaraniwang kondisyon ng panahon at pagpapakain ng mga presipitasyong iyon sa epistisasyon. Ang reg pang-time-produksiyon ay mas mabilis na nakapagsa sa pamamagitan ng paglutas at pagpapasya ay nagbibigay ng mga ektiba ng mga prestitusyon.
Ang mga paraang ito ay isinasaalang-alang ang isang set ng posibleng mga kinabukasan (e.g., iba't ibang antas ng baha, mga intensibong lindol) at paghahanap ng mga solusyon na nagsasagawa ng mahusay na pag-iral sa lahat ng mga ito. Ang dalawang-stage stochastic IP, kung saan ang ilang mga desisyon ay ginagawa bago ang kawalang katiyakan ay nahayag at ang iba pa ay partikular na nababagay sa pagpaplano ng klima sa ilalim ng pagbabago.
Ang isa pang magandang kalakaran ay ang uncenction-objective optimization[, na kinikilala na ang kakayahang umangkop, gastos, equity, at epektong pangkapaligiran ay kadalasang nasa tensiyon.Ang integer programming ay maaaring lumikha ng mga hangganang Pareto, na nagpapahintulot sa mga tagaplano na pumili ng solusyon na pinakamahusay na tumutugma sa mga prayoridad ng komunidad.Ang open-source na mga pag-unlad at pagkokodigo ng ulap ay ang mga destrigrektong pang-kompyuter, na nakapagduksiyon, na nakapagduksiyon ng mga mas maliliit na lungsod at pagpapaunlad ng mga bansang gamitin ang mga modelong pang-ektiplusyon.
Ang mga pangkat ng industriya at akademikong mga institusyon ay aktibong nagpapaunlad ng mga pinakamahusay na gawain. INFORFORMS[ Ang Transport Science and Logistics Society ay naglalathala ng mga panuntunan para sa mga model-based na mga desisyon sa imprastraktura, habang ang National Academies of Sciences, Engineering, and Medicine ay naglabas ng mga ulat tungkol sa pag-aayos ng mga metriko. Ang pag-aklas sa mga mapagkukunang ito ay magpapabilis ng pag-aampon.
Pagsasaayos
Ang integer programming ay isang mahalagang kasangkapan sa pagdidisenyo ng mga imprastraktura ng transportasyon na hindi lamang mabisa kundi matibay rin sa pagkasira ng mga bahagi ng katawan, mula sa mga pagsulong sa mga plano sa emergency, ang mga modelo ng IP ay naglalaan ng mahigpit, paulit - ulit na mga paraan sa paggawa ng masalimuot na mga pasiya na hindi naman naihihigpit. Habang ang mga hamon na may kaugnayan sa pagkalkula, impormasyon, at komunikasyon ay nagpapatuloy, ang patuloy na pagsulong sa mga programa sa algorithm, pagkatuto ng makina, at pag - aayos ng mga sistema sa transportasyon ay patuloy na lumalawak sa gitnang ito.
Para sa higit pang pagbasa, isaalang-alang ang mga sumusunod na mga mapagkukunan: ang [INFORMS journal Transport Science para sa pag-cut-edge research, National Academies ay nag-uulat tungkol sa matatag na transportasyon, at Gurobi ⁇ s sa mixer-inte programming.