Revista de Ingeniera Industrial - ITC

MODELO MATEMTICO PARA EL ORDENAMIENTO DE TAREAS EN UN FLOWSHOP HBRIDO A DOS ETAPAS CON UNA RESTRICCIN DE BLOQUEO PARTICULAR Dr. Sergio Martnez de la Piedra Departamento de Ingeniera Industrial, Instituto Tecnolgico de Celaya. Av. Tecnolgico y A. Garca Cubas S/N. A.P.57, C.P. 38010, Celaya, Gto, Mxico. Tel: (+52 461) 611 75 75 Ext. 205 Fax: (+52 461) 611 79 79 sergiom@itc.mx Resumen Este artculo presenta un modelo de programacin lineal en nmeros enteros mixtos, el cual, puede ser utilizado para resolver el problema de minimizacin del tiempo total de paso de un grupo de tareas por un sistema de produccin tipo Flow-Shop hbrido a dos etapas sin capacidad de almacenamiento entre ellas y con una nueva restriccin de bloqueo, la cual, ha sido encontrada en diversos problemas industriales. El problema aqu considerado, est compuesto por un conjunto de mquinas paralelas idnticas en la primera etapa y una sola mquina crtica en la segunda. Palabras clave: Ordenamiento, Flow-Shop Hbrido, bloqueo, PLNE 1. INTRODUCCIN Muchas de las empresas en su bsqueda por incrementar la productividad y disminuir costos, han optado por implantar diversos mecanismos que les permitan reducir sus capacidades de almacenamiento al mnimo posible. Sin embargo, esta reduccin de capacidad de almacenamiento, ha generado la ocurrencia de situaciones en las cuales una mquina al terminar de realizar una tarea, se vea obligada a retener dentro de ella esta tarea hasta que se libere un espacio de almacenamiento entre ella y la maquina subsiguiente en el proceso, o bien, que esta ltima se encuentre disponible para la realizacin de una nueva tarea. Como consecuencia, durante todo el tiempo en que la mquina retiene sta tarea, sta queda imposibilitada para poder iniciar la realizacin de alguna otra tarea. Esta situacin, indeseable en toda empresa, es conocida en la literatura con el nombre de situaciones de bloqueo. En este artculo, se estudia un tipo especial de restriccin de bloqueo, en donde una mquina permanece bloqueada por un trabajo hasta que ste abandona la mquina subsiguiente tras haberse culminado su operacin correspondiente en la misma. Esta situacin especial de bloqueo, ha sido encontrada en diversas aplicaciones industriales tales como empresas tratadoras de desechos industriales, as como en manufactureras de piezas metlicas. Un modelo de programacin lineal en nmeros enteros mixtos para la minimizacin del tiempo total de paso de un grupo de tareas (makespan) por un sistema de tipo Flow-Shop hibrido (HFS) a dos etapas con esta nueva situacin de bloqueo, es presentado en este artculo con la finalidad de proveer de una herramienta exacta para la solucin de este tipo de problemas. Este artculo est estructurado de la manera siguiente: Primeramente, una descripcin detallada del problema as como algunas de las aplicaciones industriales en donde se ha
RII/Ago 2006-Ene 2007

19

Ao 1 No. 1

Revista de Ingeniera Industrial - ITC

encontrado esta nueva situacin de bloqueo, as como un estudio de su complejidad, se presentan en la seccin 2. La seccin 3, est dedicada a mostrar un breve estado del arte de algunos de los trabajos de investigacin ms relevantes, existentes en la literatura que abordan las restricciones con bloqueo. Un modelo de programacin lineal en nmeros enteros mixtos es presentado en la seccin 4. Finalmente, el se concluye sobre la relevancia del modelo y expectativas para prximos trabajos de investigacin. 2. DESCRIPCIN DEL PROBLEMA El sistema bajo estudio est compuesto de M 1 mquinas idnticas { M 1 , M 2 , ......, M m } en la primera etapa (etapa 1) y una sola mquina critica ( M k ) en la segunda etapa (etapa 2). No existe capacidad de almacenamiento entre ambas etapas. Un conjunto de n tareas { J 1 , J 2 , ...., J n } debe ser procesado a travs de stas dos etapas. El tiempo de procesamiento del trabajo i en la etapa j se denotar por Pi , j . Un trabajo i puede ser procesado en cualquiera de las M mquinas paralelas de la etapa 1. Toda mquina puede procesar nicamente un trabajo a la vez. En una lnea de flujo, la falta de espacio de almacenamiento entre mquinas implica que una mquina que ha terminado la realizacin de alguna tarea, no pueda liberar inmediatamente liberar sta tarea. En la literatura, ste tipo de situaciones son conocidas como situaciones de bloqueo. Contrario a las situaciones clsicas de bloqueo, en donde una mquina permanece bloqueada por una tarea hasta que dicha tarea no inici sus operaciones en la mquina subsiguiente, en un sistema con la restriccin particular de bloqueo que aqu se estudia, una mquina permanece bloqueada por una tarea hasta que su operacin en la mquina subsiguiente termina y la tarea abandone la mquina (ver Figura 1). Esta nueva restriccin de bloqueo ha sido introducida para el ordenamiento de tareas en problemas de tipo FlowShop por Martnez et al. (2003). En lo subsiguiente, se denotar a sta nueva restriccin de bloqueo con sus siglas RCb, por su denominacin en ingls Released when Completing Blocking.

Figura 1: Diferentes Tipos de Bloqueo (Clsico y RCb) 2.1 Aplicaciones Este tipo particular de restriccin de bloqueo ha sido encontrado en diversas aplicaciones industriales, dos de las cuales se describen a continuacin:
RII/Ago 2006-Ene 2007

20

Ao 1 No. 1

Revista de Ingeniera Industrial - ITC

Planta tratadora de desechos Agrcolas e Industriales: La planta en cuestin, tiene la funcin de tratar y almacenar los desechos agrcolas e industriales de la regin que la rodea. Para llevar acabo esta funcin, diariamente, un conjunto de camiones recolectan y trasportan los desechos de las industrias hasta la planta tratadora. Una vez en planta, los desechos son descargados en diferentes tanques de acuerdo al tipo de desecho. Con fines de modelar este proceso, los tanques pueden ser considerados como mquinas paralelas en una primera etapa del proceso. Una vez depositados los desechos en un tanque, stos esperan a que una nica mquina especializada tratadora de desechos (en una segunda etapa del proceso) se encuentre disponible. Una vez que esto sucede, el desecho es vertido lentamente en la mquina especializada donde se realiza su tratamiento. Dado que el flujo del desecho del tanque hacia la mquina se realiza muy lentamente, el tanque en donde se deposit el desecho no logra liberarse sino hasta el instante en que todo el desecho ah contenido termine de ser tratado por la mquina tratadora. Por esta razn, se dice que dicho tanque experimenta una situacin de bloqueo tipo RCb. Compaa manufactura de partes metlicas: Esta compaa procesa diferentes tipos de piezas metlicas para la industria aeroespacial. Las partes son primeramente calentadas por un conjunto de hornos inductivos, que pueden ser vistos como mquinas paralelas en una primera etapa del proceso, hasta que alcanzan una temperatura adecuada para posteriormente poder ser moldeadas por una prensa nica (mquina crtica) ubicada en una segunda etapa del proceso. Aqu, un horno que est procesando un determinado lote de piezas metlicas se ver bloqueado hasta que la ltima pieza de dicho lote termine de ser moldeada por la prensa. Nuevamente, se puede observar que existe una situacin de bloqueo de tipo RCb en el horno. 2.2 Complejidad El ordenamiento de tareas en un Flow-Shop hibrido a dos etapas sin capacidad de almacenamiento entre las mquinas, donde todos los tiempos de procesamiento en la segunda etapa son cero, es equivalente al problema de ordenamiento en un ambiente productivo a una sola etapa con mquinas paralelas idnticas. Como este ltimo problema es NP-completo (non-polynomial), el problema aqu tratado tambin es NP-Completo. 3. ESTADO DEL ARTE Para el ordenamiento de un sistema de tipo Flow-Shop hbrido clsico (sin restricciones de bloqueo) se han elaborado diversos trabajos que tratan de encontrar una solucin ya sea ptima o aproximada. Entre los mtodos exactos que ms se han utilizado para este fin se tienen aquellos basados en la tcnica de ramificacin ("branch and bound"), as como en la programacin lineal en nmeros enteros (Mixed Integer Linear Programming o MILP). Entre los autores que proponen este tipo de mtodos exactos para este problema se tienen por ejemplo los trabajos realizados por Brah y Hunsucker (1991), Hunsucker y Brah (1987), y Salvador (1973). Desafortunadamente, los resultados experimentales muestran que los tiempos de clculo para este tipo de mtodos son extremadamente largos para problemas con ms de 10 tareas. Por este motivo, muchos son los investigadores que han buscado mtodos alternativos que permitan encontrar una solucin aproximada en tiempos razonables. De aqu que se utilicen los algoritmos heursticos para este tipo de problemas. Entre los autores que han desarrollado heursticos para este problema se
RII/Ago 2006-Ene 2007

21

Ao 1 No. 1

Revista de Ingeniera Industrial - ITC

tienen a Gupta (1988), Hoogeveen et al. (1997), Nowicki y Smutnicki (1998), Tsubone et al. (1996), y Woodruff y Zemel (1993). De entre todos ellos, son muy pocos aquellos que consideran la misma problemtica pero con restricciones de bloqueo. Sawik (1993) y Sawik (1995), propone un heurstico para el problema HFS multi-etapas, con y sin capacidad de almacenamiento entre las mquinas respectivamente. Un heurstico para el HFS con capacidad limitada de almacenamiento es presentado en Wittrock (1988). En Thornton y Hunsucker (2O04), los autores tambin presentan heursticos para el problema del HFS multi-etapas sin capacidad de almacenamiento. Hasta nuestro conocimiento, el problema de ordenamiento de tareas en un Flow-Shop hbrido considerando la restriccin de bloqueo aqu presentada, ha sido nicamente considerado en la literatura por Martnez et al. (2003), Dauzre-Prs et al. (2003), Martnez et al. (2003) y Martnez et al. (2003a). 4. EL MODELO En esta seccin, se propone un modelo basado en programacin lineal con nmeros enteros que con la cual se pretende resolver el problema del ordenamiento de tareas en un HFS a dos etapas con restricciones de bloqueo RCb. En est modelo, basado en la discretizacin del horizonte de tiempo en T periodos, las variables binarias representan el hecho de que una tarea asignada a la primera etapa inicie o no en un periodo dado. 4.1 Parmetros Los siguientes parmetros son utilizados en el modelo: n : Nmero de tareas. m : Nmero de mquinas en la primera etapa. T : Nmero de periodos en el horizonte de planeacin. Pi ,1 : Tiempo de procesamiento de la tarea i en la etapa 1.
Pi , 2 : Tiempo de procesamiento de la tarea i en la etapa 2.

Con fin de determinar el nmero de periodos T en el horizonte de planeacin, se ha utilizado el mejor lmite inferior que es posible encontrar a travs del heurstico propuesto en Martnez et al. (2004). 4.2 Las variables de decisin Las siguientes variables de decisin son necesarias en el modelo: S i ,t , s = 1 si la tarea i empieza en la mquina s en el periodo t .
C i ,t ,s = 1 si la tarea i es asignada a la mquina s y termina en el periodo t en la etapa 2.
Busy t , s = 1 si la mquina s esta ocupada en el periodo t .

4.3 Modelo Objetivo: Min C max Bajo las restricciones siguientes:

T m

C max
t =1

t *C
s =1

i ,t , s

i { 1, ... , n}

(1)

RII/Ago 2006-Ene 2007

22

Ao 1 No. 1

Revista de Ingeniera Industrial - ITC

T Pi ,1 Pi , 2 +1 m

S
t =1 s =1 n

i ,t , s

=1

i { 1, ... , n}

(2)

min (T , t + Pi , 2 1)

i =1

l =t n

C
s =1

i ,l , s

t { 1, ... , T}

(3)

Busy i , s S i ,1,s = 0
i =1 n n

s { 1, ... , m}

(4)

Busy Si,t,s Ci,t 1,s s{1,...,m},t{2,...,T} t,s =Busy t 1, s +

i =1 i =1

(5)

Busy t , s 1,
TP i ,1 P i , 2 +1 T

t { 1, ... , T}, s { 1, ... , m}

(6)

C i{ 1,..., n},t{ 1,...,(T - P

l =t i,l ,s l =t +P i ,1 + P i , 2 1

Si,l,s

(7)
P ) }, s {1,...,m} i,2 +1

i,1

t = Pi ,1 + Pi , 2 1

C
s =1

i ,t , s

=1

i { 1, ... , n}

(8)

Si,t,s =0, i{ 1,..., n}, t{(T - Pi,1 P }, s {1,...,m} i,2 + 2),...,T Ci,t,s =0, i{ 1,..., n}, t{ 1,..., (Pi,1 P , s {1,...,m} i,2 2) }

(9) (10) (11) (12)

S i ,t ,s {0,1} i { 1, ... , n}, t { 1, ..., T}, s { 1,..., m}

C i ,t ,s {0,1} i { 1, ... , n}, t { 1, ... , T}, s { 1,..., m}

4.4 Interpretacin de las ecuaciones Ecuacin 1: El makespan debe ser mayor o igual al tiempo de finalizacin de todas las tareas en la segunda etapa. Ecuacin 2: Una tarea es asignada a una y solo una mquina de la primera etapa. Ecuacin 3: Ms de una tarea no puede ser procesada al mismo tiempo en la mquina crtica de la segunda etapa. Ms an, si una tarea i termina en un periodo {t, ..., t + Pi,2 1} si:

RII/Ago 2006-Ene 2007

23

Ao 1 No. 1

Revista de Ingeniera Industrial - ITC

min (T , t + Pi , 2 1) m

l =t

C
s =1

i ,l , s

=1

(13)

entonces esta tarea est siendo procesada en el instante t en la mquina crtica y, por lo tanto, ninguna otra tarea podr terminar en el periodo {t , ...,t + Pi , 2 1} . Ecuacin 4: En el primer periodo, cada mquina s de la primera etapa est ocupada solo si una tarea empieza en esta mquina en este periodo. Ecuacin 5: Este restriccin representa los estados factibles de cada mquina s de la primera etapa en un determinado instante t {2, ... , T}. En un determinado periodo t , o una tarea empieza en esta mquina (entonces

i =1

S i ,t , s =1 y Busy t , s = 1 ), o bien una tarea es

procesada en esta mquina (y entonces Busy t-1,s =1 dado a que este trabajo ha iniciado antes del periodo t 1 y Busy t,s = 1 ), o una tarea, que ha sido procesada en esta mquina, termina de ser tratada por la mquina crtica en la segunda etapa (por lo tanto

i =1

C i , t 1, s ,

Busy t-1, s =1 , y Busy t, s = 0 ).

Ecuacin 6: Esta restriccin asegura que las variables Busy t, s = 0 son binarias dado a que una mquina no puede procesar ms de una tarea simultneamente. Ecuacin 7: El tiempo de finalizacin de la tarea i en la segunda etapa debe ser mayor o igual a la suma del tiempo de inicio de esta tarea en la mquina s de la primera etapa y de los tiempos de procesamiento de este trabajo en las dos etapas. Ecuacin 8: Esta restriccin asegura que las tareas son procesadas una sola vez en la segunda etapa. Ecuacin 9: Esta restriccin garantiza que ningn trabajo puede iniciar despus del periodo T - Pi ,1 Pi , 2 + 2 . Ecuacin 10: Esta ecuacin garantiza que ningn trabajo pueda ser completado antes del periodo Pi ,1 + Pi , 2 2 . Ecuaciones 11 y 12: Estas ecuaciones especifican las variables binarias.

5.- CONCLUSIONES Y PERSPECTIVAS En este artculo se ha presentado una propuesta de solucin para el problema de ordenamiento en sistemas de tipo flowshop a dos etapas con una restriccin de bloqueo particular. A su vez, esta solucin est basada en un modelo matemtico de programacin lineal en nmeros enteros. Con miras a poder establecer el tamao mximo de problemas que este modelo es capaz resolver en un tiempo de clculo razonable, ser necesario
RII/Ago 2006-Ene 2007

24

Ao 1 No. 1

Revista de Ingeniera Industrial - ITC

probar el rendimiento del modelo ante diferentes configuraciones de problemas aleatorias, en los cuales, se varen tanto los tiempos de ejecucin de las tareas, as como el nmero de mquinas disponibles en la primera etapa. En base al resultado que se obtengan de estas pruebas, se podr llevar a cabo un estudio ms detallado del modelo para poder detectar si existen aun reas de oportunidad que permitan incrementar el rendimiento del modelo en cuanto al incremento del tamao de los problemas que puedan ser tratados por el mismo. REFERENCIAS 1. Brah, S.A. and Hunsucker, J.L. 1991. Branch and bound for flow shop with multiple processors scheduling. European Journal of Operational Research. 51: 88--99. 2. Dauzre-Prs, S., Pavageau, C. and Sauer, N. 2000. Modlisation et rsolution par PLNE d'un problme rel d'ordonnancement avec contraintes de blocage. Paper presented at the 3me congrs de la socit Francaise de 3. Recherche Oprationnelle et d'Aide la Dcision (ROADEF'2000)}, 216217. Nantes. 4. Dauzre-Prs, S. Guret, C., Martnez, S., Mat, Y. and Sauer, N. 2003. Complexit de problmes d'ordonnancement de type flow-shop avec de nouvelles contraintes de blocage. Paper presented at the 5me congrs de la socit Francaise de Recherche Oprationnelle et d'Aide la Dcision (ROADEF'2003)}, 43--44, Avignon. 5. Gupta, J.N.D.1988. Two-stage, hybrid flowshop scheduling problem. Journal of Operational Research. 39 : 359--364. 6. Haouari, M. and M'Hallah, R. 1997. Heuristic algorithms for the two-stage hybrid flowshop problem. Operations Research Letters. 21: 43-53. 7. Hoogeveen, J.A., Lenstra, J.K. and Veltman, B. 1996. Preemptive scheduling in a two-stage multiprocessor flow shop is Np-hard. European Journal of Operational Research. 89:172--175. 8. Hunsucker, J.L. and Brah, S.A. 1987. Optimal scheduling in a flow shop with mutliple processors. Paper presented at the TIMS/ORSA Joint National Meeting in New Orleans. 4-6. 9. Martinez, S., Dauzre-Prs, S., Guret, C., Mati, Y. and Sauer, N. 2006. Complexity of flowshop scheduling problems with a new blocking constraint. European Journal of Operational Research. 10. Martnez, S., Dauzre-Prs, S., Guret, C., Mati, Y. and Sauer, N. 2003. Complexity of Flowshop Scheduling Problems with a New Blocking Constraint. Paper presented at CESA'03 (Computational Engineering in Systems Applications), Lille, France.

RII/Ago 2006-Ene 2007

25

Ao 1 No. 1

Revista de Ingeniera Industrial - ITC

11. Martinez, S., Guret, C. and Sauer, N. 2004. Heuristic algorithms for a two-stage hybrid flowshop with a new blocking constraint. Paper presented at PMS'04 (Ninth international workshop on Project Management and Scheduling), Nancy, France. 12. Nowicki, E. and Smutnicki, C. 1998. The flow shop with parallel machines: A tabu search approach. European Journal of Operational Research. 106: 226-253. 13. Salvador, M.S. 1973. A solution to a special case of flow-shop scheduling problems. Technical report, Springer-Verlag, New York. 14. Sawik, T.J. 1993. A schedule algorithm for flexible flow lines with limited intermediate buffers. Applied Stochastic Models and Data Analysis. 9: 127-138. 15. Sawik, T.J. 1995. Scheduling flexible flow lines with no in-process buffers. Int. J. Prod. Res. 33: 1357-1367. 16. Thornton, H.W. and Hunsucker, J.~L. 2004. A new heuristic for minimal makespan in flow shops with multiple processors and no intermediate storage. European Journal of Operational Research. 152: 96-114. 17. Tsubone, H., Ohba, M. and Uerake, T. 1996. The impact of lot sizing and sequencing on manufacturing performance in a two hybrid flow shop. Internatinal Journal of Production Research. 34: 3037-3053. 18. Wittrock, R.J. 1988. An adaptable scheduling algorithm for flexible flow lines. Operations Research. 36: 445-453. 19. Woodruff D.L. and Zemel, E. 1993. Hashing vectors for tabu search. Annals of Operations Research. 41:123-137.

RII/Ago 2006-Ene 2007

26

Ao 1 No. 1