distances and gives near to optimal results in the
case of integer time distances.
A bit different situation occurres, when
reengineering of a current emergency service system
is performed. The necessity of system updating
ussualy follows from the fact that distribution of
demands for service has been developping in time
and space and thus, the originally determined center
locations do not suit both serviced population and
providers operating the service centers. Contrary to
the original system design, the current service
providers suggest changes in the center deployment
and their suggestion may be in a conflict with public
interests. That is why the system administrator
permits system reengineering only subject to some
formal rules, which are intented to prevent
worsening the service accessibility. The considered
formal rules are quantified by a maximal number of
provider’s centers, which are allowed to change their
locations and by the maximal distance between a
current center location and a possible new location.
Generally, addition of constraints may considerably
spoil the computational time necessary to obtain the
optimal solution of the problem. The study (Kvet
and Janáček, 2016) showed, that they do not impact
the computational time, when a user demand is
serviced from the nearest located center.
In this paper, we deal with more general model
of the emergency medical system design under
reengineering. We assume that service of a user
demand is provided from the nearest center only if
the center is not occupied by servicing a former
demand. Otherwise, the user’s demand is serviced
from the nearest unoccupied center. Initial
emergency system design considering the failing
centers was studied by (Snyder and Daskin, 2005)
and the associated radial formulation was presented
in (Kvet, 2014). Nevertheless, the reengineering of
service system with failing centers has not been
studied yet. Therefore, we focus on the influence of
the formal rule constraints on best possible service
availability in the service system and on the
associated computational process convergency.
In this paper, we provide a reader with a radial
model of emergency service system reengineering
with failing centers under rules imposed by the
system administrator. We perform a computational
study to find whether real-sized instances of the
problem are solvable using a common IP-solver.
The remainder of the paper is organized as
follows. The next section is devoted to the radial
model formulation, in which temporarily failing
centers are considered. In Section 3, the
administrator auxiliary rules are introduced. Section
4 contains a description of experiments. The
conclusion summarizes obtained findings and
contains possible directions of a further research.
2 REENGINEERING OF A
SERVICE SYSTEM WITH
FAILING CENTERS
To describe the problem of the users’ disutility
minimization by changing the deployment of centers
belonging to one considered provider, we introduce
J as a finite set of all users (dwelling places), where
b
j
denotes a volume of expected demand of user jJ.
Let I be a finite set of possible center locations.
Symbol d
ij
denotes the integer network time distance
between locations i and j, where i, j I
J. The
maximal relevant distance is denoted by m. The
current emergency service center deployment is
described by two disjoint sets of located centers I
L
I
and I
F
I, where I
L
contains p centers of the
considered provider, which performs updating of his
part of the system and I
F
is the set of centers
belonging to the other providers. Locations from I
F
stay unchanged. The center locations from I
L
can be
relocated within the set I
R
= I- I
F
.
In this paper, the generalized disutility perceived
by a user is modelled by a sum of weighted time
distances from the r nearest located centers. The
probabilities q
k
for k=1..r are positive real values,
which meet the following inequalities q
1
≥ q
2
≥ …
≥ q
r
and depend only on the order of distances from
the user to the r nearest centers. The k-th value can
be proportional to the probability of the case that the
k-1 nearest centers are occupied and the k-th nearest
center is available (Jankovič, 2016, Snyder and
Daskin, 2005).
We introduce coefficients a
s
ij
for each pair i, j
iI and jJ, where a
s
ij
= 1 if and only if d
ij
s and
a
s
ij
= 0 otherwise for s= 0, 1, …, m-1.
To describe decisions on new center deployment,
we introduce series of decision variables, where
binary variable y
i
defined for each iI
R
takes the
value of one, if a service center is to be located at i
and it takes the value of zero otherwise. To express
the total distance necessary for user demand
satisfaction, we introduce auxiliary zero-one
variables x
jsk
for jJ, s0, ..., m-1, k1, ..., r to
model the disutility contribution value of the k-th
nearest service center to the user j. The variable x
jsk
takes the value of 1 if the k-th smallest disutility
contribution for the customer jJ is greater than s
and it takes the value of 0 otherwise. Then the
ICORES 2018 - 7th International Conference on Operations Research and Enterprise Systems
86