Você está na página 1de 13

Metodología RdP a PSR

Metodología RdP a PSR


1. Optimización y Simulación como
herramientas en la mejora de la producción
Daniel Riera i Terrén 2. Programación con Restricciones y PSR’s
Abril 2006
3. Formalismo de modelado: Redes de Petri

Universitat Oberta de Catalunya 4. Metodología RdP-PSR


Universitat Autònoma de Barcelona 5. Ejemplo
6. Conclusiones y trabajo actual/futuro

Metodología RdP a PSR


Principales factores que fuerzan el diseño de nuevas
1. Optimización y Simulación como arquitecturas de producción:
herramientas en la mejora de la producción • Competencia globalizada
• Demandas aleatorias en vez de estacionarias
2. Programación con Restricciones y PSR’s
• Tiempo de vida corto de los productos
3. Formalismo de modelado: Redes de Petri
4. Metodología RdP-PSR Nuevas reglas de producción:
5. Ejemplo Make to stock Make to order
Grandes volúmenes Gran diversidad
6. Conclusiones y trabajo actual/futuro de producción de producción
b a
CNC1 CNC2 CNC3
• Modelo
FMS • Optimización simplificado
Producto final
• Óptimo (real?) Política de
Materia prima
scheduling
CNCn • Modelo detallado
• Simulación • Resultados para
ciertos escenarios

Unidades de procesado

Programación con Restricciones

Metodología RdP a PSR ¿Qué es la PR?

1. Optimización y Simulación como • Potente herramienta de optimización


herramientas en la mejora de la producción • Aspectos importantes:
• Resultados (BA, Cisco Systems, etc.)
2. Programación con Restricciones y PSR’s • Metodología simple
3. Formalismo de modelado: Redes de Petri
• '63 Sketchpad
4. Metodología RdP-PSR
• Evolución:
5. Ejemplo • Modelado declarativo
• Propagación de restricciones
6. Conclusiones y trabajo actual/futuro
• Control de la búsqueda explícito
Programación con Restricciones Programación con Restricciones

– PR : – PR :
• Lenguage host. • Lenguage host. Lenguage host

• Restricciones. • Restricciones.
Modelado
– Incorpora técnicas – Incorpora técnicas
de: de: Espacio de soluciones

• Matemáticas. • Matemáticas.
• Algoritmos de • Algoritmos de
búsqueda. búsqueda.
• I.A. • I.A.
• ... • ...
– Se aplica a: – Se aplica a:
• Scheduling. • Scheduling.
• Planning. • Planning.
• Routing. • Routing.
• ... • ...

Programación con Restricciones Programación con Restricciones

– PR : – PR :
• Lenguage host. Lenguage host Sist. de restricciones • Lenguage host. Lenguage host Sist. de restricciones

• Restricciones. • Restricciones.
Modelado Modelado
– Incorpora técnicas – Incorpora técnicas
de: Espacio de soluciones de: Espacio de soluciones

• Matemáticas. • Matemáticas.
• Algoritmos de • Algoritmos de
búsqueda. búsqueda.
• I.A. • I.A.
• ... • ...
– Se aplica a: – Se aplica a:
• Scheduling. • Scheduling. Alg.’s de búsqueda Heurísticas
• Planning. • Planning.
Muy importantes ya que nos
• Routing. permiten eliminar soluciones
• Routing.
• ... no factibles • ...
Programación con Restricciones Programación con Restricciones

Tipos de restricciones (depende del solver):


• PSR (Problema de Satisfacción de • Lineales
Restricciones)

¾ Conjunto de variables que permitan • No lineales


representar el sistema a optimizar
¾ Dominio de valores factibles que puede
tomar cada variable
¾ Restricciones que limitan los valores
compatibles para las variables del sistema
• Suspensiones

Programación con Restricciones Programación con Restricciones

• PSR (Problema de Satisfacción de Restricciones)


• Paradigma basado en la generación de árbol de Heurísticas para la búsqueda:
soluciones 21
• Orden de selección de las
• Utiliza técnicas de Forward Checking para variables.
eliminar soluciones no factibles. Esto lo hace • Orden de selección
mediante propagación de restricciones valores de los dominios.
• Control de la búsqueda explícito: Heurísticas comunes:
• Aplicación de heurísticas propias de la PR 27
• Combinación con algoritmos de búsqueda local • deletemin
y otros • deleteff
• deleteffc
Programación con Restricciones

Metodología RdP a PSR


Combinación con otras tecnologías:
1. Optimización y Simulación como
• Algoritmos de búsqueda: herramientas en la mejora de la producción
• Simulated annealing
2. Programación con Restricciones y PSR’s
• Tabu search
• Algoritmos genéticos 3. Formalismo de modelado: Redes de Petri
• Investigación operativa: 4. Metodología RdP-PSR
• Programación lineal
• Programación cuadrática 5. Ejemplo
6. Conclusiones y trabajo actual/futuro

Redes de Petri Redes de Petri

¿Qué herramienta de modelado usar?


Red de Petri:
Sistemas de producción
b a
CNC1 CNC2 CNC3

Producto final
Materia prima Sistema Orientado a
CNCn
Eventos Discretos (SOED)
Unidades de procesado

Hoy en día, no hay una metodología aceptada por la comunidad dedicada a la 9 Modela estructura estática y dinámica
simulación para formalizar el conocimiento acerca de sistemas de producción y
9 Concurrencia, sincronización, recursos
logísticos.
compartidos
Los SOEDs son sistemas complejos. Esta complejidad no es una propiedad
inherente al sistema sino debida a la falta de una metodología y herramientas
9 Optimización:
que permitan especificar y formalizar el conocimiento que tenemos del sistema.
Redes de Petri

Metodología RdP a PSR


Características de las RdP con las que trabaja la 1. Optimización y Simulación como
metodología presentada: herramientas en la mejora de la producción
2. Programación con Restricciones y PSR’s
• Generalizada (pesos en los arcos)
• Marcada 3. Formalismo de modelado: Redes de Petri
• Con capacidad finita
4. Metodología RdP-PSR
• Temporizada
• Sin arcos inhibidores 5. Ejemplo
6. Conclusiones y trabajo actual/futuro

Introducción Metodología: Vista general

Introducción Metodología: Vista general


Metodología para la optimización de Sistemas de • Idea:
Producción modelados mediante Redes de Petri. • Dada una RdP, identificar los
componentes del PSR (i.e. variables,
Solución dominios y restricciones)

óptima Variables:
Modelo RdP, Modelo Solver de
M0 y Mf PR
PSR Simulador
Metodología: Vista general Metodología: Vista general

Metodología: Vista general Metodología: Vista general


• Idea: • Idea:
• Dada una RdP, identificar los 9 Dada una RdP, identificar los
componentes del PSR (i.e. variables, componentes del PSR (i.e. variables,
dominios y restricciones) dominios y restricciones)
• Generar restricciones de las
Dominios: estructuras encontradas en la RdP:
- Lugares
- Transiciones
- Recursos compartidos

Generación de restricciones Generación de restricciones

Estructuras consideradas: Generación de restricciones


Plazas [Balance de marcas]
Sequence Branch Meet Meet-Branch IS y C Sequence Branch Meet Meet-Branch IS y C
p
t
t t t
in

t
in1 tin2 t
ink in1 in2 ink

tin
p
t t t
tin
p
o u t1 o u t2 o u tq

p
t
in 1
t
in 2
t
in k

t t t t
t t t
out

tout out1 out2 outq


1 2 k

p tout
Transiciones
Transition

ti
Generación de restricciones Generación de restricciones

Generación de restricciones Generación de restricciones


[Balance de marcas] [Balance de marcas]

Sequence Branch Meet Meet-Branch IS y C Sequence Branch Meet Meet-Branch IS y C


t in

t
tin p
tin in

t in1 t in2 t ink

tout t 1 t 2 t k tout t 1 t 2 t k
t out

Generación de restricciones Generación de restricciones

Generación de restricciones Generación de restricciones


[Balance de marcas] [Balance de marcas]
Sequence Branch Meet Meet-Branch IS y C Sequence Branch Meet Meet-Branch IS y C

t t p
tin in

tin1 tin2 t
ink t
in1 t
in2 t
ink
tin in

tin1 tin2 t
ink t
in1 t
in2 t
ink

p p
p p
p p t
o u t1
t o u t2
t
o u tq

tout t 1 t 2 t
k
tout
t
out1 t out2 t
outq
tout t 1 t 2 t
k
tout
t
out1 t out2 t
outq

t
in 1
t
in 2
t
in k

p
Generación de restricciones Generación de restricciones

Generación de restricciones Generación de restricciones


[Restr. temporales] [Restr. temporales]
Sequence Branch Meet Meet-Branch Transition Sequence Branch Meet Meet-Branch Transition
t
tin tin
in

tout tout t 1 t 2 t
k

Generación de restricciones Generación de restricciones

Generación de restricciones Generación de restricciones


[Restr. temporales] [Restr. temporales]
Sequence Branch Meet Meet-Branch Transition Sequence Branch Meet Meet-Branch Transition
t t
tin tin t t t
in in

t
in1 t
in2 t
ink tin1 tin2 t
ink in1 in2 ink

p p
p
p p

tout t 1 t 2 t
k
t
out tout t 1 t 2 t
k
tout
t
out1 t out2 t
outq
Generación de restricciones Metodología: Vista general

Generación de restricciones
[Simetrías] Methodología: Vista general
Sequence Branch Meet Meet-Branch Transition • Idea:
9 Dada una RdP, identificar los
tin
t in

t
in1 tin2 t
ink t
in1 t
in2 t
ink
componentes del PSR (i.e. variables,
p dominios y restricciones)
p
p ti 9 Generar restricciones de las
tout t t t t
estructuras encontradas en la RdP
t t t
out
out1 out2 outq
1 2 k

9 Algoritmos de pre-procesado
9 Buena estrategia de búsqueda (orden en
las variables, búsqueda dicotómica, etc.)

Búsqueda Búsqueda

Búsqueda Búsqueda
Orden de instanciación:

Cost Búsqueda dicotómica


Búsqueda dicotómica:
Número de disparos Checked value
Booleanas/Orden DCost
Tiempos de disparos Middle-deleteffc
LB0 x UB0

Solution found?

Yes No

Heurísticas
LB0 x x UB0

LB1 LB1
Búsqueda

Búsqueda
Metodología RdP a PSR
Heurísticas:
• middle 1. Optimización y Simulación como
Variables de disparo herramientas en la mejora de la producción
• deleteffc
• Recursos compartidos 2. Programación con Restricciones y PSR’s
• Límites temporales superior e inferior
• Límites temporales dinámicos 3. Formalismo de modelado: Redes de Petri
• Caminos seguidos por las marcas 4. Metodología RdP-PSR
• En estructuras M, B y MB, asignación
de pesos a caminos (búsqueda 5. Ejemplo
incompleta) 6. Conclusiones y trabajo actual/futuro

Ejemplo Ejemplo

Ejemplo Ejemplo
Red de Stock A Stock B

Petri: M1 Free

Sistema: t1 t2 Estructuras:
Proc A Proc B
A in M1 in M1

F
APBP t3 t4

M2 Free

M1 Assemble
Stock AP Stock BP

B t5

Mounting

t6

Stock F
Ejemplo

Ejemplo Metodología RdP a PSR


1. Optimización y Simulación como
herramientas en la mejora de la producción
2. Programación con Restricciones y PSR’s
t1 t5 3. Formalismo de modelado: Redes de Petri
t3, t4
t6 4. Metodología RdP-PSR
5. Ejemplo
t2
6. Conclusiones y trabajo actual/futuro

Conclusiones Trabajo futuro

Conclusiones Trabajo Futuro


• Adición de nuevas restricciones basadas en estructuras de las RdP o estructuras más
complejas como simetrías, etc.
• Se abre una nueva aproximación a la resolución del problema de
• Trabajando en nuevos algoritmos de pre-procesado (límites, etc.).
scheduling de sistemas flexibles basada en RdP como formalismo
de modelado y PR como metodología de optimización. • Mejora de la estrategia de búsqueda mediante:
• Diseño de heurísticas para acelerarla.
• La metodología presentada ha demostrado funcionar para • Consideración de búsqueda incompleta.
ejemplos académicos y, con el uso de búsqueda inteligente, • Trabajo con tipos de RdP más potentes, capaces de incluir más información acerca del
sistema.
pequeños casos industriales.
•Utilización de parte de las restricciones para cooperación con árbol de cobertura podando
ramas para evitar su generación.
• La validación del scheduling encontrado mediante un simulador
es inmediata dado que el modelo en RdP ya está construido.
Metodología RdP a PSR

Daniel Riera i Terrén


Abril 2006

Universitat Oberta de Catalunya


Universitat Autònoma de Barcelona

Você também pode gostar