Escolar Documentos
Profissional Documentos
Cultura Documentos
Unidades de procesado
– 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.
• ... • ...
– 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
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
óptima Variables:
Modelo RdP, Modelo Solver de
M0 y Mf PR
PSR Simulador
Metodología: Vista general Metodología: Vista general
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
p tout
Transiciones
Transition
ti
Generación de restricciones Generación de restricciones
t
tin p
tin in
tout t 1 t 2 t k tout t 1 t 2 t k
t out
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
tout tout t 1 t 2 t
k
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:
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