La planificacin de las operaciones mineras con el tiempo y de recursos

Nir Lipovetzky y Christina N. Burt y Adrian R. Pearce y Peter J. Stuckey

Computacin y Sistemas de Informacin

La Universidad de Melbourne

Parkville, Australia

abstracto
Se estudia un problema de planificacin de la mina, donde todos los das, dado
un conjunto de bloques que deseamos a la ma, nuestra tarea es generar una
secuencia de minado para las excavadoras de tal manera que las limitaciones de

la formacin de una secuencia de la mina. El orden de los bloques en estas

secuencias afectar a la makespan y la capacidad para lograr la mezcla requerida de
las existencias formadas. Las excavadoras no pueden explotar ms de un bloque a
la vez, lo que lleva a un camino sub-estructura de nodos disjuntos sabia por el estado

recursos de mezcla se reunieron en varias etapas de la secuencia. Tales

para el problema. Por otra parte, el tiempo requerido para una excavadora para viajar

limitaciones de recursos de tiempo-orientado tradicionalmente no se manejan

entre dos bloques depende de lo que ya ha sido extrado. Es decir, como los bloques

bien por los planificadores automatizados. Por otra parte, el problema consiste en

se eliminan, las nuevas vas se pueden formar. Por lo tanto, el tiempo de viaje es

secuencias restantes nodos disjuntos hallazgo con los tiempos de viaje

dependiente de la estado de la mina. En este trabajo se aborda el problema del

dependientes del estado en los arcos, que son muy difciles para un Programa

hallazgo planes paralelos que producen buena, pero no necesariamente ptima,

entera mixta (MIP). En este trabajo se aborda el problema de secuencias viables

makespans de tal manera que se cumplan estos criterios.

hallazgo utilizando un enfoque combinado y MIP descomposicin basada en la

planificacin. El MIP se ocupa de las limitaciones de recursos, y el planificador
resuelve el problema secuencia restante. Extendemos la nocin de secuencias
viables hallazgo al hallazgo bueno secuencias viables, mediante la elaboracin de

El cmputo di fi cultad para este problema no se plantea en el tamao de los

una funcin objetivo heurstico en el MIP, lo que mejora el espacio de bsqueda

casos, stas son en realidad bastante pequea pero en la superposicin de varias

que resulta para el planificador. Nosotros analizamos empricamente la

subestructuras di fi culto. La sub-estructura de ruta del nodo-disjuntos sabia-estado,

escalabilidad de nuestro enfoque en un conjunto de datos de referencia, antes de

que impone que los movimientos de la excavadora son contiguos y no se cortan en

demostrar su eficacia en un estudio de casos en el mundo real proporcionado por

bloques en un momento dado, es anlogo al problema del hallazgo ptima red de

nuestro socio de la industria. Estos resultados demuestran que usando un MIP

mltiples productos bsicos flujo que ya est NOTARIO PBLICO- completar para el

heurstica, es posible obtener mejores resultados makespan con un planificador

caso de tiempos de recorrido euclidianas entre los bloques (Incluso, Itai, y Shamir,

subptimo que mediante el uso de un planificador ptimo con un PIM

desinformados.

1975). Las restricciones de precedencia por s solos pueden convertir

indeseablemente un problema resoluble en tiempo polinomio de NOTARIO

PBLICOcompleta (Lenstra y Rinnooykan 1978). Adems de esto, tenemos las limitaciones de

recursos, que son conocidos para convertir problemas solubles en tiempo polinomio

introduccin
Daily planificacin minera a cielo abierto es el problema de la generacin de

de NOTARIO PBLICO- complejidad duro (Blazewicz, Lenstra y Rinnooykan 1983).

Este problema es un reto de gran importancia prctica para las operaciones

secuencias viables de bloques para excavar-equipos de la mina, de tal manera que mezcla

mineras. En esta configuracin, los planes a largo plazo se utilizan para guiar la

requisitos se cumplen en las existencias de productos. Una secuencia es factible una

derivacin de los planes a corto plazo que, a su vez, se transmiten a los

serie de acciones para cada excavadora, incluidos los movimientos entre los bloques,

planificadores operacionales que deben poner en prctica el fi nal, semanal, plan de fi

y la minera de los propios bloques. La tarea de generar una secuencia factible

ne-resolucin. Es en esta etapa que sin ser detectados infeasibilities en los planes de

implica la asignacin de la excavacin de equipos a los bloques. El alcance de este

frecuencia se hacen evidentes. Infeasibilities surgen debido a la asignacin incorrecta

documento se limita a las excavadoras, en lugar de considerar tambin / equipos que

de los atributos de la mena en cualquier bloque dado, falta de disponibilidad de

acarrea el carro.

algunos equipos debido a mantenimiento y averas, o, simplemente, la imposibilidad

de lograr el plan debido al tiempo requerido para mover el equipo. Esta ltima slo

En una mina a cielo abierto, los bloques son secciones predeterminadas de mineral

puede estimarse groseramente en un mayor nivel de planificacin, donde el plan de

que estn marcados para la minera en este horario. Naturalmente, hay una precedencia ordenar

infidelidad fi no es su fi cientemente detallado para dar cuenta de esta informacin fi

en los bloques para el caso en que algunos bloques deben ser extrados para llegar a los

no de grano (Sandeman et al., 2010).

bloques de atrs. Una serie de excavadoras tienen la tarea de minera de este conjunto de
bloques. Las excavadoras se mueven de un bloque a otro, Derechos de Autor c
El enfoque actual en la industria es el de resolver el problema utilizando selecciones de

2014, Asociacin para el Avance de la arti fi cial

Inteligencia (www.aaai.org). Todos los derechos reservados.

bloques manuales. Es decir, un planificador humano altamente capacitado utiliza su experiencia

en la realizacin del plan para determinar

tornillo de banco secuencias de excavadoras en una manera ad hoc sobre una base del da

que es un producto granularidad pequea. Mientras que el contenido de hierro es

a da. La produccin de herramientas de planificacin, como el software de planificacin de

claramente importante, hay contaminantes presentes en el mineral que afectan a la e fi

minas, se utilizan para guiar a estos planes. Sin embargo, carecen de una herramienta que

cacia de la fusin y del metal de la calidad una vez que se procesa el mineral. Por ello es

da explcitamente una secuencia de minado para cada excavadora, y su experiencia es

importante en nuestro socio de la industria para crear un producto combinado que cumple

necesaria para crear mejores planes en-el-mosca. Tal herramienta dara minas

con los requisitos de contaminantes de sus clientes. Mineral de bajo contenido de dixido

planificadores de la informacin necesaria para mejorar la utilizacin de los equipos y la e fi

de silicio ( SiO 2) y xido de aluminio ( Alabama 2 O 3) se considera "alto grado" y puede ser

ciencia de la operacin, as como proporcionar la flexibilidad para ajustar el horario

mezclado con mineral de menor ley para obtener un producto fi nal dentro de los lmites

en-el-mosca.

esperados grado contaminante.

Solucin de problemas con los tiempos de recorrido dependientes del estado se puede lograr

En nuestro caso de estudio, se analizan los datos a partir de agosto / septiembre

en la planificacin [vase, por ejemplo, (Benton, Coles, y Coles

de 2013, donde haba dos pozos activos primarios. Consideramos que planean

2012)]. Sin embargo, la programacin entera mixta no se ha utilizado, a lo mejor de

perodos de una semana. Con el fin de demostrar la eficacia de clculo de la

nuestro conocimiento, para resolver un problema de planificacin operativa que

utilizacin de un MIP combinado y enfoque de planificacin, seleccionamos el

representa el movimiento del equipo. Esto es ms probable porque incluso cuando los

computacionalmente ms complejo, y por lo tanto interesante, de los datos de la

tiempos de recorrido no son estado-dependiente, es decir, asumimos que el tiempo de

semana disponibles para nuestro estudio de caso.

viaje euclidiana ms corta entre dos bloques se puede lograr, el problema sigue siendo
computacionalmente difcil. Esto, en combinacin con la cantidad de variables

Dentro de este marco de tiempo, slo el mineral de pre-arruinado puede ser

requeridas para capturar la discretizacin de una semana en minutos (y las simetras

extrado. Por lo tanto, no consideramos precedencias verticales. niveles mltiples

que surgen) hace que el problema completo intratable para el presente da MIP

pueden ser proyectadas trivialmente a un plano. Contamos con una a priori plan a

solucionadores. Sin embargo, la naturaleza misma de la construccin solucin en la

corto plazo, que dicta que bloquea debe ser extrado en ese periodo y el objetivo se

planificacin, es decir, buscando a travs de los estados, la hace particularmente

mezcla a lograr en las existencias. Bloques varan de 5kt a 155kT en tamao, y no

susceptible a este aspecto del problema. A la inversa, uno de los principales retos para

se forman de manera uniforme. Deducimos veces precedencias, viajes y

la planificacin consiste en razonar sobre los recursos muy limitados, incluso cuando

procesamiento de la condicin de la mina, segn lo dispuesto por nuestro socio de

todas las acciones tienen la misma duracin unitaria (Nakhost et al. 2012). Para los

la industria.

sistemas modernos de planificacin, la codificacin de este problema slo como un

problema de planificacin no es tratable.

El problema que abordamos en este trabajo se puede expresar formalmente de la siguiente

manera.
De fi nicin 1 (planificacin de la mina operativa) Teniendo en cuenta un plan a corto plazo, las

En este trabajo, presentamos una herramienta MIP-planificacin para la

solucin de este problema para nuestro socio de la industria. Esto lo

mezclas de goles y un conjunto de bloques para ser explotado, determinar las secuencias de
extraccin viables para las excavadoras disponibles para llevar a cabo.

logramos haciendo coincidir las fortalezas complementarias de ambas MIP y

la planificacin en un enfoque de descomposicin. Primero se aproximamos

Adems del problema de definicin, hay varios supuestos proporcionados por

la proyeccin del problema a las variables relacionadas con los recursos, y

nuestro socio de la industria, de la siguiente manera.

formular este problema como un MIP. Derivamos una funcin objetivo rector

Supuesto 1 Los bloques pueden ser divididos en varios arsenales.

que intenta anticipar una "buena" espacio de soluciones para el planificador.

La salida del MIP es una asignacin de bloques de existencias de tal manera
que se cumplan las limitaciones de recursos. Esta es la entrada al
planificador, que luego e fi cientemente fi nds las secuencias de excavacin
nodo-disjuntos sabia por el estado. Las ideas clave son que el problema en s
tiene una estructura que podemos explotar tanto en paradigmas de
planificacin y MIP,

Si bien el posible resultado de este supuesto no es lo ideal, ya que podra dar

claridad al uso ine fi ciente de equipo de que puede ser necesario, por ejemplo,
dividir un bloque de alta calidad a travs de dos arsenales con el fin de cumplir
con los requisitos de mezcla. Tal divisin en realidad ocurre regularmente en la
mina, pero no es deseable desde una perspectiva de planificacin.

Supuesto 2 Slo una excavadora puede extraer un bloque en un momento dado.

En el resto del artculo, proporcionaremos una descripcin completa de la

solicitud, as como una breve resea de programacin entera mixta y el trabajo
relacionado. Luego presentamos ms detalles de nuestra metodologa,
incluyendo los modelos MIP y de planificacin. Se demuestra la escalabilidad de
la aplicacin de este mtodo en los problemas de referencia, antes que ilustra
su rendimiento en un estudio de caso, con discusiones y conclusiones
siguientes.

La accesibilidad de los bloques tambin es importante, se requiere espacio su fi ciente para la

excavadora para hacer pivotar 180 y para los camiones que ser capaz de completar una vuelta
completa. Dejar ( segundo) contendr los conjuntos de precedencias para un bloque dado b. A
continuacin, definimos

B k ( segundo) ( segundo) a ser cualquiera de estos conjuntos, que son bloques contiguos
que deben ser eliminados junto con el fin de obtener acceso al bloque b. Para algunos
bloques, como los que ya son accesibles, ( b) = . Puede haber | ( b) | tales

Fondo
Descripcin del problema

conjuntos-cualquiera de los cuales pueden eliminarse para obtener acceso, la creacin de

precedencias disyuntivas. Proporcionamos una ilustracin de un conjunto como en la
Figura 1.

El Rio Tinto operado Yandicoogina mina es un / ao mina de hierro de 54

millones de toneladas en el oeste de Australia (22.77 S

Supuesto 3 Un bloque es accesible si el conjunto B k ( segundo) de los bloques adyacentes

119,23 MI). El principal producto de Yandi es de hierro mineral de fi nes,

se borra por alguna k.

planificadores (vase, por ejemplo, (Bylander 1997; Kautz y Walser 1999;. Vossen et al
2000).)

k
k

La motivacin natural para incorporar los puntos fuertes de la PIM y la planificacin es

useMIP como una verificacin de viabilidad para la planificacin de bsqueda de la
intencin es reducir el espacio de bsqueda, como en (Van Den Briel et al., 2007).

bbi

Otra forma de reducir el espacio de bsqueda de planificacin es descomponiendo el

problema, ya que tenemos en el presente documento. Cuando la estructura requerida est
presente en un problema, esta es la opcin obvia y no pretendemos que somos los

Figura 1: Un ejemplo de los conjuntos de precedencia disyuntivas. Supongamos que

primeros en implementarlo. Helecho

Andez y Borrajo utilizan un programa lineal para resolver parte de un

queremos extraer el bloque segundo, y que esto es posible si dos bloques adyacentes ya
estn minadas. dejar que los bloques yo, j, k ser los bloques en el conjunto de precedencia,

problema de la mochila en clster, y dejan las restricciones restantes causales para

mientras b es inaccesible desde cualquier otra ruta. A continuacin, establece la precedencia

el planificador de resolver. En otro ejemplo, Fl'

( b) =

{{ i, j}, {j, k}}, donde B 1 ( b) = {i, j} y B 2 ( b) = {j, k}.

orez et al. utilizar una MIP para hacer una cesin parcial en una aplicacin de
transporte intermodal. Esto tiene el efecto de reducir el espacio de bsqueda para el
planificador, de tal manera que el problema se vuelve ms fcil de resolver en un plazo
de tiempo razonable. En nuestro trabajo, fortalecemos esta nocin no slo para reducir el

Una restriccin se refiere adems a controlar el grado de cada uno de arsenales.

espacio de estados para el planificador, pero elegir una parte del espacio de estado que

Este control es ms fcil de conseguir si las reservas no se crean de forma

produce consistentemente buenas soluciones.

simultnea.

Supuesto 4 Las existencias se crean de forma secuencial y un nuevo arsenal no se

Mtodo

puede iniciar hasta que el arsenal anterior se ha completado.

Con el fin de descomponer el problema en los respectivos puntos fuertes de las dos

La salida al problema es un conjunto de secuencias viables para las

excavadoras, que dictan sus acciones de movimiento y de la minera.

tecnologas de resolucin, se utiliza un mtodo de proyeccin como en Benders

descomposicin (por ejemplo, vase (Hooker

2005).) Para comenzar, nos aproximamos la proyeccin del problema en las variables
relativas a la asignacin de recursos, es decir, eliminamos las variables relacionadas

Mezclado-Programacin Entera
Mezclado-Programacin Entera (MIP) es a la vez un modelado y la metodologa de
resolucin de problemas que se pueden describir por completo con restricciones
lineales y funcin objetivo, y con las dos variables continuas y discretas. Se basa en
la suposicin de que, cuando la naturaleza discreta de algunas variables es relajado,
el problema restante es convexa y la solucin ptima al problema relajado se
produce en un punto de su casco convexo interseccin. Vossen et al. mostraron que
los modelos de planificacin pueden expresarse de manera equivalente como
modelos MIP. Sin embargo, esto requiere un ndice de cada variable para
representar a todos los estados de la planificacin de la secuencia de la
MIP-resultante es, por tanto, poco probable que sea tratable mediante mtodos de
solucin MIP tradicionales en el contexto de los problemas de planificacin
interesantes.

Trabajo relacionado

En el contexto de la programacin en la minera, la tecnologa MIP ha sido

ampliamente estudiado. Sin embargo, la planificacin de nivel operativo, no ha sido
bien dirigida. Smith discute la planificacin nivel operativo, pero no tiene en cuenta
la extensin para incluir el movimiento del equipo. Otras obras notables en la
literatura incluyen MIP Martnez y Newman, que se consideran a productividades
operacionales fi no de grano en la presencia de los planes a corto plazo de grano
grueso, modelados como MIP; y, Demeulemeester y Herroelen, que traman una
rama y el procedimiento con destino a la programacin de proyectos con recursos
limitados. El primero intenta aprovechar la fuerza de los algoritmos de bsqueda
MIP para ayudar a los planificadores transformaciones implicadas de un problema
de planificacin a un problema MIP-es decir, la creacin de la programacin lineal
o programacin entera mixta basada

con el tiempo engorrosos. Este problema se puede resolver de manera efectiva por la
tecnologa MIP, produciendo una asignacin de bloques de las reservas, de tal
manera que las limitaciones de mezcla son satisfechas. Dado que puede haber
muchas soluciones reunin este criterio, se pretende orientar el MIP hacia las
soluciones "mejores" usando una funcin objetivo y las restricciones especialmente
formulado. A continuacin, pasamos este bloque de asignacin al planificador, que
busca buenas secuencias de excavacin para el equipo disponible. Observamos que
incluso si el MIP y la planificacin descomponen los problemas se resuelven de
optimalidad, la solucin final no puede garantizarse que sea ptima. Esto es porque el
modelo MIP es una relajacin del problema general, y puede producir soluciones que
no son factibles con respecto a un horizonte de tiempo. Por lo tanto, levantar el
horizonte temporal de restriccin que los planes deben ser promulgadas dentro de una
semana, como nuestras soluciones son aproximados por diseo.

Una aproximacin de la proyeccin (como MIP)

Aunque proyectamos fuera del "movimiento" o las variables relacionadas con el
tiempo, los propios arsenales se crean de forma secuencial: este ordenamiento da
lugar a un ordenamiento temporal implcita en la proyeccin. Es decir, en la
proyeccin podemos considerar las reservas para dividir el tiempo en perodos,
donde es el nmero de las reservas inferidas a partir de la suma de toneladas de
bloques y el tamao mnimo permitido de las existencias. cada bloque b est contenido
en el conjunto de bloques SEGUNDO. Adoptamos las siguientes variables en este
modelo:

x b, d [ continua] da la proporcin de bloque b B minado

en perodo re , y b, d [ binario] indica si el bloque b B ha sido
completamente
minado en periodo re ,

 b, d, k [ binario] indica si un subconjunto de bloques adyacentes

anothers precedencias, pero en conjunto no son accesibles. En el caso en que se

B k ( segundo) ( b), k { 1, . . . , | K (b) |}, bloquear b se cancelan periodo d.

producen las camarillas de precedencia, se introduce una restriccin adicional, que

considera las precedencias para cada conjunto UN b, k = b B k ( segundo), que es la unin de b
con un subconjunto de sus precedencias. ( UN b, k) Ahora de fi ne las precedencias para

Otros notacin importante incluye:

ese conjunto de unin, lo que necesariamente excluye todos los bloques de UN b, k. A

do es un ndice que se refiere a un contaminante en particular,

continuacin, la restriccin necesaria para garantizar estos conjuntos de bloques son

accesibles a s mismos es:

do b es la capacidad (toneladas) del bloque b, G antes de Cristo es el grado de

contaminante do en el bloque b, G yo
do es

yo A b, k

la ms baja (superior) con destino a contaminantes do para todos los perodos, cuando i

| A b, k |

= L ( i = U),

re yo es la ms baja (superior) con destino a el tamao de las reservas,

x carn de identidad

y b ', re '

Un b, k, d.

b ' ( UN b, k), re ' re

Si bien este tipo de restriccin debe ser implementado en un algoritmo de

cuando i = L ( i = U),

separacin (ver, por ejemplo, Geoffrion y Marsten), el nmero de tales camarillas

K (b) es el conjunto de ndices para las precedencias disyuntivas,

de precedencia procedentes de un programa de una semana es muy pequea. En

de tal manera que k { 1, . . . , | K (b) |}.

estos casos, el nmero de restricciones puede ser fcilmente determinada a priori y

El siguiente modelo, factibilidad MIP F, describe una formulacin de programacin

se pueden aadir al modelo desde el principio.

entera mixta donde la funcin objetivo, (1), es cero para todas las variables. Por lo

La aportacin clave del MIP F son los valores de la variable

tanto, como se dice aqu que es un problema de viabilidad. Ms tarde, vamos a

alterar la coeficientes a ser distinto de cero para algunas variables, obteniendo de

x b, d, los cuales indican la cantidad de bloque b que debe ser extrado de las existencias d.

esta manera una forma de impulsar las soluciones en un espacio mejor solucin.

Este modelo nos deja con una forma e fi ciente computacionalmente para encontrar un
bloque viable para almacenar la asignacin. Sin embargo, nos gustara para generar
asignaciones que son deseables para el planificador. Considere la Figura 2.

F:

min 0> ( x b, d, y b, d, b, d, k)

st

(1)

x b, d = 1

segundo,

(2)

y b, d = 1

segundo,

(3)

re

do b x b, d re L

re,

do b x b, d re T

re,

discos compactos,
(6)

x b, d

discos compactos,
(7)

re ' d, i B k ( segundo)

y carn de identidad '

| B k ( b) |

b, d, k

Figura 2: Un ejemplo de una solucin de planificacin basado en un MIP viable F salida.

b, d, k,

(8)

Las asignaciones-excavadora a bloque se dan, en donde los rectngulos representan el

tiempo necesario para extraer cada bloque. Una vez que una excavadora haya terminado

(9)

y carn de identidad ' - (| B k ( b) | - 1) b, d, k,

de extraccin de un bloque, se mover al siguiente bloque de tales existencias. Si no existe

tal bloque, se va a esperar. Por lo general, las asignaciones de acopio provocan tamaos

re ' d, i B k ( segundo)

x b, d '

excavadora 3

2 de existencias

b, d, k

x b, d

GRAMO antes de Cristo do b x b, d doGRAMO Tdo b

b

(5)

excavadora 2

re

GRAMO antes de Cristo do b x b, d doGRAMO Ldo b

do

(4)

un

excavadora 1

Makespan de las existencias 1

re

b, d, k

b, d,

(10)

x b, d '

b, d,

(11)

de bloque no equilibradas, dando lugar a largos tiempos de espera para las excavadoras.

re ' re

y b, d

A continuacin, se expone una solucin de planificacin tpico obtenido a partir

re ' re

x b, d [ 0, 1], b, d, k, y b, d { 0, 1}.

(12)

La restriccin (2) asegura que todos los bloques en el conjunto dado son extrados. La

de la asignacin propuesta por el MIP viable F. Dado que las reservas deben ser
generados en secuencia, el desequilibrio en la carga de trabajo entre las
excavadoras conduce a tiempos que tienen un impacto negativo en el makespan

restriccin (3) asegura que la finalizacin de secuencia se produce slo una vez. El tamao

de espera. Idealmente, la solucin de MIP producira una distribucin ms

correcto de las reservas es asegurada por restricciones de demanda (4) - (5), mientras que

equilibrada, que se ilustra en la Figura 3. Esto se discute en el resto de esta

las limitaciones de mezcla son impuestas por las limitaciones (6) - (7). Las restricciones de

seccin.

precedencia disyuntivas (8) - (10) impiden x b, d desde que se extrae a menos que cualquier
precedencias en un conjunto B k ( segundo) ( segundo) para k se han extrado. La restriccin
(11) vincula las variables x b, d y y b, d juntos.

Las propiedades deseables de la asignacin de las existencias

Nos gustara hallar el mejor reparto de los bloques de la MIP de tal manera
que el planificador puede Fi secuencias fi cientes nd ef para las excavadoras

Las restricciones de precedencia (8) - (10) en esta forma no son su fi cientes para
evitar camarillas de bloques que satisfacen cada uno

con el fin de reducir el makespan. Es decir, deseamos manipular la salida de tal

manera que el MIP

Con el fin de crear un equilibrio, no es su fi ciente para reducir al mnimo la suma de las

Makespan de las existencias 1

desviaciones. Esto se debe a una suma amor- tises en todas las desviaciones y todava
do

un

puede dar lugar a algunas de las grandes diferencias entre las cargas de trabajo. Debemos,
en cambio, reducir al mnimo la desviacin cuello de botella. Puesto que deseamos obtener

excavadora 1

la carga de trabajo "uniforme" en cada una de las existencias, slo tenemos que minimizar la
desviacin mxima dentro de cada una de las existencias. Para ello, se introducen nuevas
variables continuas, re R +, para representar a este cuello de botella, y vincularlo a las

excavadora 2

desviaciones de la siguiente manera:

excavadora 3

re yo

2 de existencias

l, l ', d, i {+, -}.

l, l ', re

(15)

De este modo, se obtiene la siguiente funcin objetiva para reducir al mnimo el cuello
Figura 3: Un ejemplo de una solucin de planificacin basado en la heurstica de MIP MARIDO

de botella en cada reserva:

salida. Las asignaciones de existencias ahora estn equilibrados con respecto a la carga de

min

trabajo, lo que acorta los tiempos de espera para las excavadoras.

d.
re

Estas extensiones a la posible MIP F cuidar de propiedades (1) y (2).

asignacin est tan cerca como sea posible a la asignacin ptima obtenida para la
solucin makespan mnima. Recordemos que el MIP F no tiene ninguna de las
variables asociadas con el tiempo, excavadoras o topologa ma, y por lo tanto no se
puede codificar de forma explcita las asignaciones de bloques para excavadoras. Sin

Vamos a diferenciar esta MIP de la versin viabilidad refirindose a ella

como la heurstica MIP MARIDO.
Para el establecimiento (3), se introduce una restriccin que asegura que a lo sumo dos
variables adyacentes pueden ser distinto de cero:

embargo, podemos motivar a las asignaciones utilizando una funcin objetivo. Lo

llamada de socorro 2 ( x b, d re), b.

deseable propiedades de la solucin de F son:

(diecisis)

Esta es una limitacin complejo expresado como una regla de ramificacin

SpecialOrdered Set (tipo 2) (Ryan y Foster 1981). Se provoca una estructura

1. Cada excavadora hace una contribucin a cada una de las existencias.

Esperar conduce a una infrautilizacin de los equipos, y puede contribuir a

makespans ms largos.

adecuada para la ramificacin en el propio restriccin en el esquema

rama-y-destino a la solucin de MIP. La inclusin de esta restriccin asegura
que, si los bloques se dividen en varios arsenales, este se limita a un mximo de
dos arsenales y las existencias debe estar adyacente.

2. La carga de trabajo para cada una de las existencias se equilibra entre los ex

cavators. Es evidente que el makespan se minimiza si la carga de trabajo es

compartida.

Para demostrar el efecto de cmputo de esta restriccin, realizamos

experimentos separados en un problema MARIDO con el

3. Las particiones se producen preferentemente en los inventarios de vecinos.

llamada de socorro 2 codificada, la cual indicamos por MIP MARIDO s.

Esta propiedad permite excavadoras para permanecer dentro del bloque de la

particin y la minera comienzan inmediatamente en el perodo.

Modelo de Planificacin

Una forma de lograr las propiedades (1) y (2) es reducir al mnimo la desviacin entre la
carga de trabajo de la excavadora. Dado que el MIP no tiene variables relacionadas con
excavadoras, que estimar las posibles atribuciones excavadora mediante la introduccin de
las variables continuas,

El problema de planificacin se formula en PDDL2.1 (Fox y Long 2003) de tal manera

que su solucin es un plan temporal simultnea la realizacin de una particin a partir de
bloques a las existencias, calculada previamente por el solucionador de MIP. El
propsito de la particin es reducir el espacio de bsqueda de planificacin, simplificar el
modelo resultante, y por lo tanto mejorar la escalabilidad de los solucionadores de

yo

l, l ', re

R +, para inferir la desviacin mnima positiva (negativa) entre el

material movido en cualquier perodo cuando i = +

planificacin.

( i = -) para cualquier par de excavadora ( l, l '). Estas desviaciones son slidos si conocemos las
asignaciones de excavadora. Por lo tanto, tenemos primero que hacer un mejor conjetura en
cuanto a las cuales las secuencias de bloques el planificador le dar a las excavadoras. Para
ello, dividimos los bloques en grupos preferenciales, PAG( l), para cada una excavadora
utilizando un esquema de divisin justa de la siguiente manera: cada una excavadora tiene la
misma oportunidad de nombrar a su bloque preferido A continuacin, introducir nuevas
restricciones (que seleccionar en funcin del camino ms corto desde cada una excavadora
para cada bloque.):

Si no se da ninguna particin, el modelo de planificacin tiene que dar cuenta de

las limitaciones de mezcla sobre cada uno de arsenales. Tenga en cuenta que estas
limitaciones no se aplican a la trayectoria de estado completa, sino ms bien estados
intermedios como se complete cada uno de arsenales. La tecnologa actual de la
planificacin temporal no est equipada con las herramientas adecuadas para razonar
sobre estos tipos de restricciones. Por el contrario, los planificadores modernos
actan con avidez para lograr las restricciones de mezcla para las primeras
existencias, sin un mecanismo para detectar malas decisiones que conducen a la
inviabilidad. Si una particin de bloques de las existencias se toma como una
secuencia ordenada de conjuntos de objetivos, es su fi ciente para reducir el espacio

do b x b, d -

l,+l ', re
b P ( l)

l,- l ', re

do b ' x b ', re l, l ', re,

b ' P ( l ')

do b ' x b ', re -
b ' P ( l ')

(13)

do b x b, d
b P ( l)

l, l ', d.

(14)

de bsqueda con slo el hallazgo caminos concurrentes que respetan este orden. De
hecho, todos los caminos que no violen el orden establecido por la particin lograr las
limitaciones de mezcla,

La particin no slo permite al planificador en un espacio viable, sino que tambin

evita la necesidad de ventanas de tiempo, que, si es demasiado gruesa, pueden hacer
que algunos requisitos de mezcla no factibles; y, si es demasiado finas, puede incurrir
en una explosin de factor de ramificacin. Dado el supuesto prctico 2, y la solucin
MIP, un solo cavar por la accin excavadora para cada bloque se reparte por las

bloque programado, y movimiento (l, v, v ') de fi ne la accin en movimiento para cada

excavadora a lo largo de cada borde;

G = {minada (b)} es la situacin de peligro, definido para todos los bloques b en

existencias re, cuyo valor x b, d> 0 en la solucin de MIP.

existencias es su fi ciente. As, el nmero total de posibles

Una solucin para re es un plan, re, que contiene como mximo | G | cavar
acciones, como slo una excavadora a la vez puede extraer un bloque, y un conjunto de movimiento

excavacin acciones es

|| L

1 x b, d> 0

operadores. Teniendo en cuenta las excavadoras cavan tasa, R l,

||,

en toneladas / hora y la velocidad V l en metros / minuto, la duracin de una cavar la

accin se define como Dur (DIG (l, b)) = C b x b, d

b, d

/ R l, es decir, desde el bloque asignado toneladas b para almacenar re dividido por la tasa de

donde L es el nmero de excavadoras y la funcin de indicador es 1 si algunos de

excavacin de la excavadora l; y, la duracin de una movimiento las medidas que se Dur

mineral se elimina de bloque b B en perodo

(movimiento (l, v, v ')) = dist (v, v ') / V l,

re . Una ventana de tiempo fijada se asigna a cada accin en funcin de la tasa de

es decir, la distancia de la conexin de vrtices ( v, v ') E T dividido a la velocidad de la excavadora l. Tenga

extraccin de una excavadora y las toneladas que se minadas por bloque.

en cuenta que las acciones de excavacin duran considerablemente ms largo que las acciones de
movimiento, ya que el bloque tiene en promedio 1000 minutos para cavar, mientras que las

Por otra parte, dado Supuesto 4, podemos aprovechar an ms la solucin de

acciones de media mvil slo toman 80 minutos.

MIP para descomponer el mismo problema de planificacin. Si los bloques se

dividen en las existencias, se crea la planificacin de problemas, cuya solucin

Con el fin de aplicar una cavar (l, b) accin, excavador l tiene que estar en una ubicacin v

proporciona los movimientos y las asignaciones de las excavadoras que logran la

donde en (b, v) = true. Entonces, minada (b) se convierte en realidad en la finalizacin de la

extraccin de cada bloque slo para las existencias actuales re 1 .. .

accin, mientras en (b, v)

se convierte en falso si y b, d = 1, es decir, el bloque b es acabada en subproblema actual d.

Una vez que la primera de las existencias, d = 1, se resuelve, las posiciones iniciales de las

Un uente fl especial, extraccin (l), es cierto a lo largo de la duracin de cavar (l, b) acciones,

excavadoras para la prxima arsenales, d + 1, se definen como las posiciones fi nales en

y es necesariamente falsa al inicio de cualquier accin en movimiento. El operador movimiento

subproblema anterior d. La solucin para cada arsenales, re, concatenados juntos forman una

(l, v, v ') tambin requiere excavadora l ser inicialmente a v, ubicacin v ' ser libre por tener

solucin completa para la minera de la secuencia de las existencias. Las precedencias

al (l, v ') = falso para todos l L, y establece ubicacin v ' verdad al final. Adems, como

aseguran que el MIP toma buenas decisiones con respecto a ordenar las existencias, y el

una excavadora tiene que estar situado en el mismo lugar de un bloque disponible con

planificador toma esto como entrada. Tenga en cuenta que ninguna accin de excavacin de

el fin de extraerlo, pero no puede moverse a travs de l, movimiento (l, v, v ') requiere

las existencias d + 1 puede comenzar antes de la ltima accin de excavacin de las

que en (b, v) Es falso. Como resultado, si una excavadora elige para pasar a una

existencias re termina, pero los movimientos todava se les permite posicionar las

ubicacin que contiene un bloque a la ma, se ve obligado a extraerlo, evitando

excavadoras en la mejor posicin para los bloques en el siguiente subproblema.

ramificacin innecesaria en la bsqueda. Un operador de movimiento especial se

introduce para mover grandes mquinas excavadoras de bloques parcialmente
minadas, para evitar que se atasque.

Definimos la topologa de la mina como un grafo no dirigido

GRAMO T = < V T, E T >. vrtices, v V T, son la ubicacin inicial de las excavadoras y los
bloques programados, y los bordes ( v, v ') E T
son las carreteras que conectan los bloques. Una funcin de coste dist (v, v '),

El plan, re, para cada una de las existencias d = 0, . . . , se concatena garantizar que todos cavar

para todos ( v, v ') de fi ne la distancia a recorrer un borde. Tenga en cuenta que la funcin

(A, C + 1) las acciones de las existencias d + 1

de costos asociados con los caminos indirectos es statedependent, como el tiempo de

comenzar despus de la ltima cavar (A, C) la accin de las existencias re tiene acabada.

recorrido puede actualizar como bloques son extrados y nuevas vas se crean.

La calidad de la solucin global est dada por la capacidad de los planificadores de

Tenemos el modelo de planificacin de los subproblemas temporales sin la necesidad de
cualquier variable numrica de la siguiente manera.

De fi nicin 2 (problema de planificacin re) Dado que

minimizar el makespan de las soluciones d. El nico planificador temporal ptima

disponible es CPT (Vidal y Geffner 2006), mientras que ms alternativas estn

toneladas

x b, d do b extrados de cada bloque b de existencias re, el grfico de topologa GRAMO T y

las distancias por carretera dist (v, v '), el problema de planificacin re de existencias re se
caracteriza por una tupla < F, I, O, G >, donde

F = {A (b, v), a (l, v), extrado (b)} son el conjunto de variables booleanas (uents fl), a( *,

disponibles como satisface cing planificadores temporales. Sorprendentemente, ni

siquiera la satisface los planificadores cing ampliacin si todas las existencias se
resuelven a la vez, slo el hallazgo de soluciones rpidas para los subproblemas re inducida
por la particin MIP. Comparamos el impacto de la CPT planificador ptima, y el
planificador de POPF subptima (Coles et al.
2010) resultados comparativos para el inters de los lectores 1.

v) la descripcin de todas las ubicaciones posibles de excavadora l L, fija la

ubicacin de los bloques b B,

y minada (b) que indica si un bloque programado se extrae de una reserva

especial;

I = {A (b, v), a (l, v)} describe las ubicaciones iniciales de bloques y

excavadoras;
O = {Cavar (l, b), movimiento (l, v, v ')} son el conjunto de operadorascavar (l, b) de fi ne la accin de excavacin para cada una excavadora y

experimentos
Primero se prueba la capacidad de ampliacin de nuestro enfoque en los casos de
prueba de referencia antes de demostrar su eficacia en un estudio de caso real. Todos
los experimentos se realizaron en un solo subproceso del procesador Intel 2,40 GHz, con
los procesos de tiempo1

Ver CPT. 4, y ver POPF. 2, desde el 2011 IPC.

o la memoria de salida despus de 2 horas o 2 GB. Los PMI se resolvieron mediante

excavadoras, lo que resulta en ms acciones de excavacin. Tenga en cuenta que los planes de

CPLEX ( v. 12.5) con la configuracin de pre-procesamiento y branchand de corte

derivados de MARIDO s son ms cortos que los de MARIDO. Esto es debido a las particiones que

sintonizados para diferentes clases de di fi cultad. Para el lector interesado, stos

se producen en las reservas adyacentes, lo que resulta en acciones menos mviles. Esto

incluyeron la desconexin de los cortes de Gomory para los problemas de viabilidad con

tambin tiene un impacto importante en el tiempo de clculo para el planificador.

muchos precedencias, apagar el corte plano generacin y una rama de costes seudo
reducida sin precedencias. Para el modelo con una funcin objetivo, cortes de redondeo

La minimizacin de makespan es de suma importancia para nuestro socio

entera mixta se generaron moderadamente para muchos y no hay precedencias,

industrial, ya que cada excavadora, en promedio, se puede extraer 3.000 toneladas en

mientras que para los casos con muchos moderadamente precedencias, cortes de

60 minutos a ms corto makespans traducir directamente al aumento de la produccin

Gomory se generaron de manera agresiva. Ya que F es un problema de viabilidad, para

global. En nuestros experimentos, los PMI heursticas mejoran makespan ms F ya sea

este problema hemos creado CPLEX para enfatizar viabilidad, y el algoritmo se detiene

con planificador. Mientras MARIDO s marginalmente mejora la makespan slo para

una vez que se obtiene una solucin factible. Sin embargo, para MARIDO

POPF, no hay impacto de CPT. La clave para entender esto es que una mayor libertad
est permitido en MARIDO, de MARIDO s,

y MARIDO s, corremos CPLEX de optimalidad. CPT se ejecuta con el conflicto

para dividir los bloques entre las existencias distantes si conduce a un mejor equilibrio

contando opcin de heurstica, y POPF ejecuta slo el ayuno, pero incompleta de

de carga de trabajo. Desde CPT es ptimo, esta restriccin es evidente en el aumento

bsqueda EHC, que, a pesar de ser incompleta, siempre fi nds una solucin.

de makespan. Sin embargo, para POPF, la libertad adicional de MARIDO conduce a

POPF-BFS bsqueda est desactivado, ya que no mejora soluciones POPF-EHC

movimientos mucho ms largos subptima. En general, la CPT produce un makespan

sobre 30 min.

significativamente ms corto que POPF, evidenciando as el impacto de la

computacin planes ptimos para cada subproblema.

Anlisis de Problemas de Benchmark

Hemos variado los siguientes parmetros clave en nuestro anlisis:

nmero de bloques (20-30, incrementos de 5);

solucionadores

yo

#PAG

METRO

F / POPF

450

(113) 450

(0,01) 199

57.66

7491.08

H / POPF

450

(113) 450

(0,02) 2,56

68.60

7429.84

capacidades de bloques (muestreo [distribucin normal, con] =

50000 y = 30000);

MARIDO s / POPF

450

(113) 450

(0,04) 2,14

60.49

7373.48

F / CPT

450

(113) 375

(0,01) 294,00

54.30

6285.57

H / CPT

450

(113) 328

(0,02) 711,97

68.68

5992.51

MARIDO s / CPT

450

(113) 363

(0,04) 582,68

61.48

6173.74

nmero de excavadoras ( 3 | L | 5, incrementos de 1);

estanqueidad de las limitaciones de mezcla (muestreo [] distribucin uniforme fuera de

los lmites en un 200%). Estos criterios dan lugar a 450 casos de prueba con 50 casos
aleatorios generados para las variantes de bloques y de las palas. La topologa de las
instancias de prueba, estn diseados para ser similar a los ejemplos de la vida real: unos

Tabla 1: Resultados de referencia. yo es el nmero total de casos, S es el nmero de

casos resueltos "" (incluyendo aquellos sin solucin demostrado por MIP entre

bloques se agrupan. Para crear las topologas, nos dispersamos bloques y excavadoras

parntesis), T es (MIP) planificador de tiempo de clculo en cuestin de segundos, # P

utilizando una distribucin uniforme a lo largo del x y y eje en una cuadrcula. a

es la longitud plan, y

continuacin, hemos mapeado los bloques de la cuadrcula para un grfico, GRAMO T = ( V T, E

T),

de tal manera que cada borde de fi ne la ruta directa entre dos nodos, y cada nodo

define un bloque de posicin inicial y la excavadora.

METRO se makespan en cuestin de minutos. T, # P, y METRO se promedian entre casos que

resuelve todos los solucionadores. F, MARIDO, y MARIDO s es sinnimo de viabilidad, MIP
heurstica, y MIP con heurstica llamada de socorro 2
respectivamente.

En la Tabla 1, se presentan los resultados de los experimentos con las tres versiones
del MIP: F, MARIDO, y MARIDO s, cada uno con CPT y POPF. De los 450 casos generados,
113 eran inviables debido a la variacin de alto grado. Estos fueron detectados por el
solucionador de MIP en menos de 0,05 s. POPF fue capaz de resolver todos los casos de
referencia dado cualquiera de las particiones, mientras que la CPT Tiempo de espera
agotado en la mayora de los casos con 30 bloques. Como era de esperar, el tiempo de
ejecucin de CPLEX MIP F es ms rpido que para MARIDO, el cual utiliza una funcin
objetivo; mientras MARIDO s es el ms lento, ya que requiere que los bloques que se
repartieron entre las existencias que-adyacentes es decir, tiene una restriccin adicional. Sin
embargo, su rendimiento es extremadamente rpido, tomando solamente 0.01, 0.02, y 0.04

Anlisis de los Estudios de caso real

A partir de los datos proporcionados por nuestro socio de la industria, se seleccionaron las
cuatro semanas ms interesantes (es decir, desafiantes), con al menos 25 bloques en todos los
pozos. Estos horarios no contenan ningn precedencias complejas, por lo que las limitaciones
(8) - (10) se reducen a

re ' re

x b, d '

y carn de identidad ' b, d,

re ' d, i ( segundo)

segundos, respectivamente. POPF es en promedio de 2 rdenes de magnitud ms rpido

simplificando de este modo la di fi cultad de resolver el MIP significativamente.

que la CPT. Curiosamente, los planificadores eran capaces de realizar las particiones

Hemos generado una instancia concatenada de los tres primeros casos, con el

calculadas por F ms rpido que las calculadas por tanto heurstica MIPS, con MARIDO s la

fin de crear una instancia de fi culta ms dif respecto de precedencias. Hemos

produccin de soluciones de planificacin ms rpido que MARIDO. Estos resultados

generado mezclar objetivos para cuatro contaminantes: hierro, xido de

pueden ser entendidas por mirando a la longitud en planta de la solucin completa: F planes

aluminio, dixido de silicio y fsforo. Las brechas de estos lmites permisibles de

son ms cortos que los planes de MARIDO y

calidad varan entre los contaminantes de 0,006% a 0,4% de la mezcla final. Por
lo tanto tenemos 5 casos que van del 22 al 75 bloques con kT 1173-3704, con
un tamao medio de bloques de 50 kt que vara de 5-150kT y contaminantes
grado que van desde dentro de los lmites de hasta 30 veces fuera de la minera

MARIDO s, que resulta de los PMI heursticos tratando de crear particiones ms bloques que F con
el fin de compartir la carga de trabajo entre todos

(MIP) Clculo Tiempo [segundos]

(Duracin del Plan) makespan [minutos]

datos

Inst.

| B | PAG F / POPF

H / POPF

MARIDO s / POPF

F / CPT

H / CPT

F / POPF

H / POPF

MARIDO s / POPF F / CPT

H / CPT

(1)

37 26 1614

(117) 12 218 (140) 9704

(133) 8678.81 -

(0,02) 10

(0,06) 12,69 (0,12) 9.67 ( 0,02) -

(2)

23

8 1173

(75) 8131

(109) 7130

(95) 7209,87

(74) 7805 -

(0,01) 2,3

(0,04) 2,76

(2,20) 2.18

(0,02) 249,65

(3)

25

0 1449

(75) 14 906

(110) 9475

(90) 8928,81

(75) 14 659 (111) 7835

(0,01) 2,65

(0,02) 3,44

(1,56) 2.48

(0.01) 4715.69 (0,02) 6.107,06

(4)

21 18 1375

(68) 12 171

(94) 7645

(81) 7591,50

(78) 10 438 (97) 6021

(0,01) 1,16

(0,02) 33,78 (0,69) 1.05

(5)

66 68 3704

(255) 37 405 (385) 26761 -

(0.20) 74.49 ( 0,37) 92.69 -

(0,06) (0,05) -

(0,01) 894,23

(0,02) 1.694,99

(0,20) -

(0,38) -

Tabla 2: El caso de estudio y los resultados completos del mtodo. En la columna (1) se indican las instancias. | B | se refiere al nmero de bloques. PAG se refiere al nmero de
precedencias. es el total de mineral en kilotoneladas. F, MARIDO, y MARIDO s es sinnimo de viabilidad, heurstico y heurstica con SOS2 MIP respectivamente. tiempo de clculo se
inform de planificador (MIP) en cuestin de segundos. A- indica un tiempo de espera

imo y objetivos mximos de la mezcla. En todos los casos permitimos que el

parte de las diferencias en los resultados makespan son debido al movimiento. La

equipo disponible media de 5 excavadoras.

mayora de la diferencia se debe a un reparto de la carga de trabajo entre las

Los resultados de la Tabla 2 en los casos reales son consistentes con

excavadoras de tal manera que el tiempo de espera se reduce al mnimo.

los resultados ms de los problemas de referencia. F / POPF y H / POPF resolver

todos los casos, y

En este trabajo se hace especial hincapi tanto en la importancia prctica de la

MARIDO s / POPF resuelve todos menos ejemplo 5, que representa a las 3 semanas de

planificacin, y la importancia de la heurstica para conducir el planificador hacia mejores

operaciones. Aqu el llamada de socorro 2 limitacin hace que el MIP demasiado difcil y

soluciones. Por una parte, hemos demostrado que la planificacin puede desempear un

CPLEX se queda sin memoria. F / CPT

papel clave en la solucin de un problema que se ha dejado sin resolver en la literatura a

y H / CPT resolver 3 y 2 de los casos, respectivamente. CPT veces a cabo en todos los

pesar de su prctica significacin. Por otro lado, nuestros experimentos han puesto de

casos tratando de realizar las particiones calculadas por MARIDO s y por lo tanto no se

manifiesto que las buenas heursticas pueden ser a base de MIP, y pueden dar lugar a

reporta en la tabla. MARIDO y

mejores resultados cuando se combina con un planificador subptimo que el simple uso

MARIDO s particiones hacen ms largos que los planes F con los planificadores, mientras MARIDO s produce de un enfoque de descomposicin MIP / planificacin desinformados.
ms cortos que los planes MARIDO con POPF, ya que tanto MARIDO

y MARIDO s tratar de crear particiones ms bloques para minimizar el makespan resultante.

Como resultado, la makespan de MARIDO y MARIDO s particiones son significativamente

Idealmente, nos gustara comparar los resultados de nuestro enfoque con el de un

mejores que F con los planificadores. Sorprendentemente, las soluciones heurstica MIP

planificador de la mina humana. Por desgracia, esto no es posible, ya que tomamos el

calculan con el planificador de rendimiento subptimo POPF una mucho makespan ms

conjunto de bloques, SEGUNDO, Del plan a corto plazo, mientras que el planificador de la mina

pequeas que las soluciones calculadas por el CPT planificador ptima con slo la posible

est influida por el estado actual de la mina. Esto significa que hay una falta de coincidencia

MIP F. En el clculo de los planes ptimos mejora la calidad de la makespan, este resultado

entre los juegos de bloques considerados en cada semana. En futuras encarnaciones de este

pone de relieve la importancia del hallazgo "buenas" las particiones de bloques para las

solucionador, tomaremos el estado actual de la mina como una entrada. Estos son

reservas con los solucionadores de MIP, que MARIDO y MARIDO s son capaces de inferir.

necesarios, de todas formas, si el planificador desea utilizar nuestra herramienta en-el-mosca

con la informacin ms arriba-hasta la fecha es posible, sino que tambin es posible hacer
comparaciones.

Discusin y Evaluacin

Conclusiones y Perspectivas

Las Tablas 1 y 2 presentan los resultados de clculo de nuestros experimentos con

MIP F, MARIDO, y MARIDO s con dos planificadores, POPF subptima y CPT ptima.

En el presente trabajo, hemos presentado una ilustracin completa de howMIP y la

CPT obtiene mejores soluciones con respecto a makespan, que POPF. Tambin

planificacin de la tecnologa podemos trabajar juntos para e fi cientemente resolver un

vemos una fuerte mejora en makespan cuando se utiliza el MIP heurstica en

problema de la minera en el mundo real. En particular, hemos demostrado un mtodo

comparacin con la viabilidad MIP, incluso cuando se utiliza la CPT planificador

eficaz para resolver los problemas con los costos dependientes del estado de borde

ptima para la viabilidad y MIP POPF subptima para MARIDO. La instancia

(en una red), y las limitaciones de recursos. El enfoque bsico en s es simple y

concatenados (5) presenta significativamente ms precedencias que los otros

re-despliegue para otras aplicaciones con requisitos similares. Nuestra contribucin

casos, y por lo tanto se vuelve ms difcil de resolver con rapidez. POPF es ms

fundamental en este trabajo es el desarrollo de una funcin objetivo 'guiar', lo que

rpida que la CPT, por lo que la eleccin del planificador se convierte en una

ayuda a que el MIP para seleccionar las soluciones que tienen propiedades deseables

eleccin entre velocidad y calidad. Es de destacar, tambin, que la adicin de las

para el planificador.

limitaciones SOS2 (16) mejor la asignacin de tal manera que no slo era ms fcil
para el planificador para encontrar una solucin, sino que tambin dio soluciones de
mejor calidad.

Nuestro socio de la industria tambin ha mostrado inters en una extensin del

problema ha consistido en incluir, como opcin, los bloques que estn programados para
ser extrados en el futuro. Tal herramienta permitira a los planificadores de operaciones
para validar su intuicin con respecto a la Lista de equis fi 'o' re-optimizacin

Sabemos, a partir de la experimentacin, que no es fcil de superar el problema

"en-el-mosca. Como es, el enfoque presentado tambin es til para las operaciones de

de viabilidad F en trminos de calidad de la solucin. Por ejemplo, una heurstica

planificadores para comprobar los horarios semanales de viabilidad y para derivar

que probamos era para asignar los bloques segn la distancia desde las

rpidamente buenas secuencias de minera para las excavadoras. Por lo tanto, es una

excavadoras. Esto por s solo produce asignaciones parciales que eran peores que

herramienta valiosa para ayudar en la toma de decisiones complejas y caras que se

las previstas por el MIP factible. Contrariamente a la intuicin, slo una pequea

produce en los sitios mineros.

Agradecimientos

Ryan, DM, y Foster, BA 1981. Un enfoque de programacin entera a la programacin. la

Los autores desean agradecer a Jon Lapwood y John Usher de Rio Tinto por sus
extensas discusiones durante nuestra investigacin. Esta investigacin fue

programacin de la computadora del vehculo de transporte pblico urbano de pasajeros

y la programacin de la tripulacin

269-280.

co-financiado por la subvencin del Consejo de Investigacin Australiano

vinculacin LP11010015 "Hacer la mezcla de Pilbara: gil mina programacin

Sandeman, T .; Fricke, C .; Bodon, P .; y Stanford, C. 2010. La integracin de

mediante la planificacin contingente" y socio de la industria de Rio Tinto.

optimizacin y simulacin en una comparacin de dos estudios de caso en la

planificacin minera. en Actas de la CSM,

1898-1910.

referencias

Smith, ML 1998. La optimizacin de los programas de produccin a corto plazo en

Benton, J .; Coles, AJ; y Coles, A. 2012. planificacin temporal con las

preferencias y los costos continuos dependientes del tiempo. en Actas del

ICAP, 2-10. Blazewicz, J .; Lenstra, J .; y Rinnooykan, A.

1983.
Programacin sujeta a las limitaciones de recursos: clasi fi cacin y la
complejidad. Matemticas Aplicadas discretos 5: 11-24. Bylander, T. 1997. Una
heurstica de programacin lineal para la planificacin ptima. en Actas de AAAI

/ IAAI, 694-699. Coles, AJ; Coles, A .; Fox, M .; y Long, D. 2010.

encadenamiento progresivo de planificacin de orden parcial. en Actas del ICAP, 42-49.

la minera de superficie: La integracin de software de modelado de la ma con

ampl / CPLEX. Revista Internacional de Minera, Recuperacin y el medio ambiente
12: 149-155. Van Den Briel, M .; Benton, J .; Kambhampati, S .; y Vossen, T. 2007.
Una heurstica para la planificacin ptima lp-based. en Principios y Prctica de

Programacin con Restricciones-CP

2007. Saltador. 651-665.

Vidal, V., y Geffner, H. 2006. La ramificacin y poda: Un planificador POCl temporal
ptima basada en la programacin con restricciones. Arti fi cial de Inteligencia 170
(3): 298-335. Vossen, T .; Bola, M .; Lotem, A .; y Nau, D. 2000. La aplicacin de
programacin entera a la planificacin de AI. La Revisin de Ingeniera del

Conocimiento 15 (1): 85-100.

Demeulemeester, E., y Herroelen, W.

1992. Un

procedimiento rama-y-atado por el problema de programacin de proyectos

resourceconstrained mltiple. gestin de la Ciencia 38 (12): 1803-1818.
Incluso, S .; Itai, A .; y Shamir, A. 1975. Sobre la complejidad de la tabla de tiempo y de
mltiples productos bsicos problemas de fluencia. en

Actas de FCS, 184-193. Helecho

Andez, S., y Borrajo, D. 2009. Solucin de problemas de
sobresuscripcin en clster de e-cursos de planificacin. en Actas del taller

SPARK, 9. volumen Fl'

orez, JE; de Reyna, ATA; Garc'a, J .; L'

opez, CL;

Olaya, AG; y Borrajo, D. 2011. Planificacin problemas de transporte

multimodales. en Actas del ICAP, 66-73. Fox, M., y Long, D. 2003. Pddl2. 1:
Una extensin de PDDL para expresar dominios de planificacin temporal. Revista

de Investigacin Arti fi cial de Inteligencia 20: 61-124.

Geoffrion, AM, y los Marsten, los algoritmos de programacin R. 1972. entero:
Un marco y una encuesta del estado de la tcnica.

gestin de la Ciencia 18 (9): 465-491.

Hooker, JN 2005. Un mtodo hbrido para la planificacin y programacin. restricciones
10 (4): 385-401.
Kautz, H., y Walser, JP planificacin de 1999. Espacio de estado mediante la
optimizacin de enteros. en Actas de AAAI / IAAI, 526-

533.
Lenstra, J., y Rinnooykan, A. 1978. La complejidad de las listas en virtud de las
restricciones de precedencia. La investigacin de operaciones 26: 22-35.

Martnez, MA, y Newman, AM 2011. Un enfoque de solucin para optimizar la

programacin de la produccin a largo y corto plazo en la mina de Kiruna de
LKAB. European Journal of Operational Research 211 (1): 184-197. Nakhost,
H .; Hoffmann, J .; METRO

Mller, M .; et al.

2012.

La planificacin de recursos limitados: Amonte carlo camino aleatorio

enfoque. en Actas del ICAP, 181-189.