Propuesta de una Metodología de Programación de Operaciones Detallada para Órdenes de Trabajo en Operaciones Secuenciales a Través de Algoritmos Heurísticos Basados en Lógica Proposicional Articulados Sobre una Serie de Autómatas Programables
CONTENIDO DE LIBRE ACCESO
Este contenido es de libre acceso. Solo haz clic en el siguiente botón.
Ir a este contenido- Autor
- Año de publicación 2017
- Descripción
- El enfoque de programación de operaciones en el corto plazo, se ha convertido en un aspecto crítico en el entorno actual por mantener los inventarios bajos y los tiempos de entrega cortos, y por lo tanto el obtener una secuencia de trabajos amerita que sea planteada una manera para poder visualizarla en el tiempo, fundamentado en que lo sistemas tradicionales de MRP y MRPII no hacen hincapié en la programación real de la capacidad finita. La secuenciación de trabajos es un problema de enumeración de carácter combinatorio y al ser representado en diversos escenarios de producción con centros de trabajos en su distribución; la elección de una secuencia entre todas las opciones se vuelve cada vez más compleja de obtener en la medida que aumente en número de trabajos y el numero de maquinas y se remite a trabajar con métodos de optimización y algoritmos heurísticos para hallar una posible solución. Al plantear una propuesta metodologíca para determinar heurísticas basado en sistemas lógicos proposicionales en diferentes niveles; donde se tengan en cuenta el razonamiento lógico y las métricas de desempeño para poderlo evaluar como problema de secuenciación de trabajo en programación de operaciones, teniendo en cuenta que los problemas de secuenciación son considerados de gran complejidad algorítmica tipo NP-completo, pueda ser expresado como un problema de satisfactibilidad booleana SAT. Es decir un problema de optimización pueda ser expresado en un problema de decisión y poderlo tratar. Para obtener expresiones o formulas atómicas (fbf formulas bien formadas), a través de conceptos de la matemática discreta y combinatoria (conjunto, relaciones y funciones) y principalmente del estudio de la lógica proposicional (denominada lógica de primer orden LPO), para efectuar operaciones con las variables lógicas, cumpliendo con las propiedades del algebra boolena. Una vez obtenidas estas formulas, se representan los diferentes flujos de procesos alineado al flujo de información con razonamientos en los sistemas y subsistemas lógicos de índole combinacional y secuencial. Con estos elementos se modela el funcionamiento de una máquina de estados finitos, que es considerada un autómata más poderoso para modelar las funciones lógicas obtenidas. Se cuenta son los elementos necesarios para la puesta en marcha de la máquina de estados finitos: la cinta (secuencia de registros binarios {0,1} del sistema lógico), el cabezal (función de transición de estados en diagramas de decisión binario BDD) y el programa (algoritmos efectuados con conceptos del algebra booleana y funciones de conmutación: seleccionadores, codificadores, sumadores, comparadores de magnitud, etc.) que interpreta una función de transición a través del tiempo para obtener una salida de tipo binario, que represente la secuencia de operaciones a programar en una planta de producción asociado a centros de trabajo y relacionado con los recursos inherentes para la transformación de productos