覆盖类选址问题分类及研究综述Word文档格式.docx
- 文档编号:18773973
- 上传时间:2023-01-01
- 格式:DOCX
- 页数:14
- 大小:30.42KB
覆盖类选址问题分类及研究综述Word文档格式.docx
《覆盖类选址问题分类及研究综述Word文档格式.docx》由会员分享,可在线阅读,更多相关《覆盖类选址问题分类及研究综述Word文档格式.docx(14页珍藏版)》请在冰豆网上搜索。
location;
classification
0;
引;
言
选址问题作为一项战略决策,其影响是深远和持久的。
根据决策者的目标和所面临的约束条件的不同,选址问题可以分为不同的种类,较常见的有:
单一设施点选址(SingleFacilityLocation),多设施点选址(Multi-facilityLocation),层次性选址(HierarchicalLocation),p中值问题(p-Median),p中心问题(p-Center),覆盖问题(Coverage)等。
在三大经典选址模型中,覆盖类选址是选址问题中的一个重要分支,它已被广泛的应用到应急服务设施以及公共设施点的选址问题中。
目前,国内外关于一般选址研究的文献相对较多,其中综述性的文献就有:
Barbaros等[1],Owen和Daskin[2],Hale和Moberg[3],ReVelle和Eiselt[4],杨丰梅等[5],王非等[6],以上文献从总体上对选址问题的研究进展作了介绍与总结。
覆盖选址相关的早期重要文献主要有:
Hakimi[7],Toregas等[8],Toregas和ReVelle[9-10],Church和ReVelle[11],Pirkul和Schilling[12-13],Hogan和ReVelle[14],这些文献对推动覆盖选址问题的研究有重要作用。
Schilling等[15]对1991年以前的覆盖选址问题作了综述研究。
后来,Farahani等[16]对1991年以后至2011年之间与覆盖相关的选址文献作了大量的综述性研究。
通过对比这两篇综述所分析的目标文献数量,可以发现:
20世纪90年代以后在理论上出现了大量研究覆盖选址问题的文献,其中与应急服务设施相关的有:
Current和Kelly[17],Michael和Feng[18],Brotcorne等[19-20],Daskin和Dean[21],Sorensen和Church[22]等。
纵观国内,覆盖选址方面的研究文献主要有:
马云峰[23-24],翁克瑞、杨超[25],殷代
君[26],葛春景等[27],他们主要研究了最大覆盖选址模型的一些应用及其求解算法。
应用排队论来处理覆盖选址问题的相关研究主要有胡丹丹[28-29],鹏翀等[30]。
可以发现,同国外的研究相比,国内关于覆盖选址问题的研究相对不足,相关的综述研究也较少。
从时间上来看,Schilling和Farahani等人的综述研究几乎覆盖了从覆盖选址模型最初提出到2011年间的所有相关文献。
但是,由于分类标准的不同和研究文献的零散性,要全面了解覆盖选址问题的发展以及不同覆盖模型之间的内在关系就比较困难,尤其是概率选址问题的提出及应用。
鉴于此,以下从各个模型出现的时间顺序以及所使用的方法将覆盖选址问题其划分类别,重点分析模型假设条件的不断改进和不同模型之间的内在联系,使读者能够从整体上把握覆盖选址模型的发展逻辑和各种重要的类别细分。
同时,对覆盖选址相关的重要文献做相关的评述,为今后研究覆盖选址问题提供便利。
1;
覆盖选址问题的分类
选址问题按照不同的标准可以划分为不同的类型,较为常见的分类标准有以下几种:
①设施点的数目;
②潜在设施点的空间布局;
③目标函数的数量;
④设施点是否有容量限制;
⑤设施点受顾客偏爱的性质;
⑥设施点之间是否存在等级关系;
⑦模型参数是确定还是随机的,等等。
众多的划分标准,使得如何对选址问题进行阐述本身就是一个困难的问题,不同的标准体现了研究重点差异。
王非等[6]人按照时间节点将选址研究划分为三个阶段:
零散研究阶段(1909~1960s);
系统研究阶段(1960s
~1980s);
不确定性研究阶段(1980s~至今)。
按照时间维度将选址研究分为不同的阶段是很自然的选择,但是以下将采用另一种更为细致的标准来介绍覆盖选址模型的分类和研究进展。
按照模型参数(或者约束条件的形式)是否确定,覆盖选址问题可以分为确定性选址模型和概率选址模型两大类。
对于概率模型,按照所应用的方法,进一步将划分为一般概率模型和应用排队论的概率模型。
对于其他的子类别,则主要通过目标函数或者模型之间的相互关系进一步进行细分,具体结果如图1。
覆盖选址问题■
图1;
覆盖选址问题分类
鉴于篇幅限制,本文主要分析确定性覆盖模型和概率模型中的一般概率覆盖问题,并且重点回顾国外关于覆盖选址问题的相关研究状况。
对于选址问题其他的分类方法和相关介绍,可以进一步参考文献[31-33]。
2;
分类评述
对于大多数的覆盖类选址问题,可以叙述如下:
已知需求点集合和潜在的设施点集合,对于给定的服务半径,①当设施点的数量无限制时,要求寻找一种设施点的配置方式使得使用最少的服务设施以覆盖所有的需求点;
②当给定设施点数量时,要求找到一种设施点配置方式使得其覆盖的需求点尽可能的多。
其中情形一为集合覆盖问题,而情形二为最大覆盖问题。
当然,对于如何确定设施点能够覆盖需求点,不同的方法又会得到其他的形式,比如,变半径覆盖,概率覆盖以及多重覆盖等。
同时,目标函数和约束条件的稍微变化又可以得到不同扩展类型的覆盖问题。
下文主要按照图1的划分对重要的覆盖选址问题进行分类评述,对于每一类问题,同时给出基本的数学规划模型。
由于基本覆盖模型的应用较为广泛,其符号记法一般也稍有差异,在介绍各个模型之前,先对部分符号做如下规定:
i:
需求点标号;
j:
设施点标号;
V:
需求点集合;
W:
设施点集合;
r:
服务半径;
p:
允许建立的设施点数量;
h■:
需求点i的需求量;
c■:
设施点j的固定建造成本;
d■:
需求点i到设施点j的距离;
N■=j:
d■≤r:
能够对需求点i提供服务的设施点集合;
M■=i:
设施点j可以服务的需求点集合;
X■:
设施点j安排的服务设施数量,X■∈N;
x■=■;
y■=■。
2.1;
确定性覆盖模型
2.1.1;
集合覆盖(LocationSetCoveringProblem,LSCP)
LSCP最早由Toregas[8]等人提出,主要用于解决应急服务设施点的选址问题,它要求建立最少的服务设施点以覆盖所有的需求点,其模型如下(LSCP):
min■x■
(1)
s.t.■x■≥1,?
坌i∈V
(2)
x■∈0,1,?
坌j∈W;
(3)
其中目标函数
(1)式要求建立的服务设施点数量最小;
约束
(2)式规定,对每一个需求点,至少有一个设施点可以对其提供服务;
(3)式是变量取值类型约束。
在上述LSCP模型中,如果考虑不同设施点的成本因素,要使建造成本最小,则可以得到加权集合覆盖模型(WSCP):
min■c■x■(4)
s.t.
(2)~(3)
对于此模型,Roth[35]最早设计了计算机求解算法。
注意到,LSCP是WSCP所有设施点成本相同时的特殊情况。
就LSCP的起源,一般认为Hakimi是该问题的最早提出者[7,16],在1965年的一篇论文中,Hakimi[34]研究了网络图上的顶点覆盖问题,并考虑了在给定距离约束的条件下,如何安排最少数量的警察以覆盖所有高速公路网络上的顶点,只是当时所建立的模型并不是标准的覆盖选址模型。
1969年,Roth[35]提出了求解覆盖问题局部最优解的计算机算法,由于其目标函数是加权和最小形式,因此并不严格属于集合覆盖问题(SetCoveringProblem,SCP),而是一般意义上的加权集合覆盖问题(WeightedSetCoveringProblem,WSCP)。
另外,由于该文献最初并不是基于选址问题而提出,这就造成后来人们在回顾LSCP的研究文献时常常将Roth的研究工作忽略。
1971年,Toregas等[8]正式建立了应急服务设施的LSCP数学规划模型,当服务设施点具有相同的成本时,目标函数转化为建立最少的服务设施点以覆盖所有的需求点。
事实上,这是Roth模型中目标函数权系数相同的特殊情况,但是在选址理论中,一般认为Toregas等人是LSCP数学模型的最早提出者。
LSCP模型建立以后,人们面临着如何有效求解的问题。
受Roth提出的求解算法的启发,在接下来的两年时间里,Toregas和ReVelle[9-10]又分别提出了精确求解LSCP的行和列简化算法(RowandColumnReduction)。
Vasko和Wilson[36]提出了求解LSCP①的启发式算法,其结果表明:
在同等条件下,LSCP比WSCP更难于求解。
Alminana和Pastor[37]提出了一种改进形式的代理启发式算法(SurrogateHeuristic)用以求解LSCP。
Brotcorne等[19]提出了求解需求点离散、潜在设施点连续的大规模覆盖选址问题的快速启发式算法。
以上等人的研究大多属于标准的SCP,要覆盖的目标对象为网络或者平面上的点集。
对于其他形式的集合覆盖问题,Boffey和Narula[38],Gendreau等[39]分别提出了路径覆盖和回路覆盖问题,Current和Storbeck[40]研究了有容量约束的LSCP,Murray
等[41]提出了另外两种隐式和显式的LSCP模型。
在现实生活中,决策者往往面临着有限的预算约束,而LSCP模型为了覆盖所有的需求点,可能导致建立的设施点过多从而超出预算。
因此,人们又提出了覆盖选址问题的另一个模型:
最大覆盖选址模型。
2.1.2;
最大覆盖(MaximalCoveringLocationProblem,MCLP)
1974年,Church和ReVelle[11]提出了MCLP模型:
在给定设施点数量的条件下,如何安排设施点的位置使得覆盖的需求量尽可能的多,其具体形式如下:
max■h■y■(5)
s.t.■x■≥y■,?
坌i∈V(6)
■x■≤p(7)
x■=0,1,?
坌j∈W(8)
y■=0,1,?
坌i∈V;
(9)
其中目标函数(5)式最大化覆盖的需求量;
约束(6)式是需求点被覆盖时应满足的条件;
约束(7)式规定了建立设施点的最大数量;
约束(8)和(9)式为变量取值类型。
同年,White和Case[42]以部分覆盖模型的方式提出了一种特殊的最大覆盖问题,即所有需求点具有相等的需求量,因此,目标函数转化为覆盖尽可能多的需求点(而非需求点的需求量),并分析了该模型和SCP模型的关系。
Klastorin[43]证明了MCLP可以转化为一般指派问题进行求解。
在实践应用方面,MCLP模型主要用于解决应急服务设施的选址问题。
Bennett等[44]应用MCLP模型,研究了边远地区的医疗资源的选址问题;
Eaton等[45-46]将MCLP模型应用到现实中的应急医疗车辆的选址问题中。
Richard等[47]应用MCLP模型研究了保护区的选择问题,最大化能够覆盖的物种数量。
Li等[48]综述了覆盖模型在应急服务设施选址和规划方面的应用,Chung[49]综述了覆盖选址模型在其他方面的应用,如数据提取、统计分类和认知过程建模等。
确定性覆盖模型在应用过程中也存在一定的问题,最为主要的便是覆盖半径的确定。
早期的文献一般是规定一个事先给定的半径,在此半径内可以完全覆盖,否则不覆盖。
因此,这种覆盖方法也被称为0~1覆盖。
针对这种两元划分标准,后来的研究文献分别提出了变半径覆盖[50]、逐渐覆盖[51-54]等扩展模型。
Berman等[55]对以上两种一般的覆盖模型以及合作覆盖模型做了分类综述。
早期覆盖模型的另一个缺陷是:
只要需求点位于设施点的覆盖半径内,任何情况下服务设施点都可以对需求点提供服务。
这种假设显然对于那些服务设施点经常处于繁忙状态的系统过于严格。
因此,后来提出了备用覆盖和合作覆盖模型来提高服务水平。
如Hogan和ReVelle[56]较早地提出了用额外一个设施点作为备用覆盖的研究思路并介绍了其应用;
Pirkul和Schilling[12]考虑了有工作能力和备用服务的应急服务设施选址问题;
Curtin[57]建立了警察巡逻区域的最大覆盖以及备用覆盖模型,以上等研究只考虑一级备用覆盖。
Narisimhan等[58]建立了有容量约束和不同等级的备用覆盖模型,Berman[59]提出了位于平面上、并且服务设施点发出的“信号”能够因叠加而增强的合作覆盖模型。
2.2;
概率覆盖模型
如果考虑到所有的不确定性因素,可提供服务的设施点数量、需求点的位置和需求量以及服务单位到达需求点的时间等都有可能是随机变量。
备用覆盖模型的提出,考虑了服务设施点可能因处于繁忙状态而不可获得这种情形,因此它提出用额外的服务设施来确保所有需求尽可能得到满足。
由于没有具体考虑服务设施点的繁忙状态,这种处理方法属于隐式考虑服务设施点繁忙的模型。
就应急服务设施点的选址问题而言,多数研究文献重点关注于服务设施因处于繁忙状态而造成的不可获得性,处理方法上主要有概率模型(不同服务设施点繁忙状态相互独立)和排队论模型。
2.2.1;
最大期望覆盖(MaximalExpectedCoverageLocationProblem,MEXCLP)
在研究服务设施点经常处于繁忙状态的概率覆盖选址问题时,一个重要的问题就是服务设施点繁忙概率的确定。
一般有两种情况:
系统水平的繁忙概率(system-widebusyfraction)和区域水平的繁忙概率(region-specificbusyfraction),前者假定系统内所有的服务设施点具有相同的繁忙概率,而后者假定不同服务区域的设施点繁忙情况各不相同。
如果只考虑概率意义下能够得到服务的需求,就得到了期望类型的覆盖选址模型。
通过假定系统内所有的服务设施具有相等的繁忙概率,Daskin[60]最早介绍了期望覆盖模型在应急医疗服务系统中的应用。
后来基于同样的假设,Daskin[61]又建立了最大期望覆盖选址问题的整数规划模型,目标函数最大化覆盖的期望值,并设计了求解的启发式算法,其形式如下:
max■■1-qq■h■y■(10)
s.t.■y■≤■X■,?
坌i∈V(11)
■X■=p;
(12)
y■∈0,1,?
坌i∈V,k=1,…,p;
(13)
X■=0,1,…,p,?
坌j∈W(14)
其中:
q:
服务设施繁忙的概率;
其他符号如前文所述。
目标函数(10)式最大化概率加权意义下的覆盖量;
约束(11)式代表能够对每个需求点提供服务的服务设施数量限制;
约束(12)式是总的服务设施数量限制,当然也可以取小于等于形式,由于目标函数最大化,两者等价;
约束(13)和(14)式是变量取值类型条件。
期望覆盖模型考虑了服务设施的繁忙情形,但是并没有试图提高系统的可靠性。
Fujiwara[62]将MEXCLP模型应用到城市的救护车辆布局上,设计了求解问题的近似算法并通过模拟对近似解进行了分析。
Daskin等[63]将多重备用覆盖模型和MEXCLP结合起来,建立了概率形式的备用覆盖模型,从备用覆盖的角度考虑了服务的可靠性。
Sorensen和Church[64]考虑了服务的可获得性,建立了有区域可靠性的MEXCLP模型,目标函数最大化在保证服务质量的情况下所能够覆盖的需求量。
Chuang和Lin[65]建立了有双重覆盖标准的应急医疗救护车辆MEXCLP模型。
Repede和Bernardo[66]考虑了需求随时间变化的MEXCLP,并将其同决策支持系统相结合应用到实例城市的应急医疗服务系统中,其结果表明应急反应时间可以减少36%。
McLay[67]考虑了有两种不同服务设施、不同顾客类型的MEXCLP模型。
Rajagopalan等[68]设计了求解MEXCLP的三种启发式算法:
遗传算法,禁忌搜索和模拟退火,并使用方差分析技术对以上三种算法的性能进行了分析。
根据模型是否考虑服务的可获得性和反应时间这两种因素的随机性,Erkut等[69]分析了MCLP和MEXCLP等五类覆盖模型在救护车选址问题中的差异。
2.2.2;
概率集合覆盖(ProbabilisticLocationSetCoveringProblem,PLSCP)
通过对基于区域的服务繁忙概率进行估计,ReVelle和Hogan[70]提出了概率形式的集合覆盖选址模型。
在计算需求点i附近的服务设施点的繁忙概率时,他们使用以下计算公式:
q■=■(15)
■:
单个服务的平均持续时间(小时);
f■:
需求点k的服务请求率(个/天)。
如果记F■=■·
■f■/24,则(15)式可以改写为:
q■=F■■X■。
要使需求点i能够得到服务的概率不小于给定的值α,则应有:
1-F■■X■■≥α(16)
记b■是使得(17)成立的最小整数,
1-F■b■■≥α(17)
由此可以得到基于区域水平估计的概率集合选址模型:
min■X■;
(18)
s.t.■X■≥b■,?
坌i∈V(19)
X■∈N,?
坌j∈W(20)
其中目标函数(18)式最小化服务设施的数量;
约束(19)式是为达到给定的服务水平所必须的服务设施数量;
(20)式是变量类型限制。
与LSCP模型不同的是,PLSCP模型中,单个设施点允许安排的服务设施数量可以多于1个,并且由(17)的推导可知,该模型假定各个服务器是否繁忙是相互独立的。
Ball和Lin[71]提出了另一种基于系统水平的PLSCP模型,他们要求需求点不被覆盖的概率不能小于给定的值。
Goldberg和Paz[72]建立了另一种非线性的概率覆盖模型,假定服务单位到达需求点的时间是随机的,并且服务时间依赖于需求点的位置,目标函数最大化在给定时间限制时的期望需求量。
上述等人的研究主要考虑了服务设施因繁忙而导致的服务不确定性。
对于一般机会约束形式的概率集合覆盖问题,Beraldi和Ruszczynski[73]提出了约束右端项为0~1随机变量的概率集合覆盖模型,其中约束成立的联合概率不小于给定的值p,在p有效点的基础上提出了求解所有p有效点的枚举算法和分支定界算法。
在Beraldi和Ruszczynski提出的模型基础上,Saxena等[74]又建立了在约束左端项为0~1矩阵时的非线性整数规划模型,进一步给出了两种等价形式的线性规划化模型,并设计了基于线性规划的分离算法。
Hwang[75]将上述概率集合覆盖模型应用到物流系统的设计中,在系统设计的第一阶段用于解决仓库或分销中心对客户的覆盖问题。
考虑到服务设施的繁忙情形,概率集合覆盖要求被覆盖的需求点必须在给定的服务水平下能够得到服务。
显然,这比LSCP模型假定所有被覆盖的需求任何时候都可以得到服务更符合实际,尤其是对于经常处于繁忙状态的系统而言。
2.2.3;
最大可获的性覆盖(MaximalAvailabilityLocationProblem,MALP)
同集合覆盖模型一样,概率集合覆盖模型为了在给定的服务水平下覆盖所有的需求,它同样会安排较多的服务设施点。
如果给定了可以使用的服务设施数量,要在保证服务水平的条件下覆盖尽可能多的需求,就得到了对应于MCLP的概率模型。
根据服务繁忙概率的不同假设,ReVelle和Hogan[76]分别使用系统和区域水平的服务繁忙率,建立了有可靠性水平保证的最大可获得性选址问题模型MALPI和MALPII。
其中前者假定系统内所有的服务设施具有相等的繁忙概率,而后者假定不同的需求区域具有不同的繁忙概率。
由于前者是后者的
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 覆盖 选址 问题 分类 研究 综述