Content area
La investigación se enfoca en las operaciones de programación en el corto plazo, debido a que se ha convertido enun aspecto crítico en el entorno actual por mantener los inventarios bajos y los tiempos de entrega cortos, y por lotanto el obtener una secuencia de trabajos amerita que sea planteada una manera para poder visualizarla en eltiempo, fundamentado en que lo sistemas tradicionales de MRP y MRPII no hacen hincapié en la programaciónreal de la capacidad finita.
Se parte de un razonamiento básico de los problemas de secuenciación de trabajos en programación deoperaciones, en los diversos entornos de maquinas se dividen en varias clases: en una sola máquinase debenprocesar todos los trabajos. Las maquinas pueden procesar a lo más de un trabajo a la vez. Una vez que un trabajose ha procesado en la maquina, se termina. Muchos de ellos se resuelven con facilidad, pero no es probable queexistan algoritmos eficientes para los modelos que incluyen tiempos de preparación o tardanza en diferentesmétricas. Asimismo los métodos de búsqueda que se pueden modificar para resolver la mayor parte de losmodelos de programación.
Después se incluyen los modelos de programación paralela, para máquinas múltiples que procesan por completocualquier trabajo. Varias maquinas que puede realizar el mismo tipo de procesamiento se llaman maquinasparalelas. Un trabajo se puede procesar en cualquiera de las maquinas, y una vez procesado por cualquiera deellas, queda terminado. A menos que se diga lo contrario, se supone que todas la maquinas paralelas son idénticas.El tiempo para procesar un trabajo en una de varias maquinas idéntica es independiente de que maquina lo haga.Para máquinas idénticas, los problemas de tiempo de flujo tienen una solución sencilla. Para otras medidas, laslistas heurísticas son un buen enfoque. Se aprecia la cota del peor caso para el modelo del lapso de producción.Para las plantas de producción continua que tienen múltiples operaciones para cada trabajo, las cuales se realizanen el mismo orden, solo se puede resolver con facilidad los problemas de dos máquinas y algunos de tresmáquinas; otros modelos requieren soluciones heurísticas. Cada trabajo debe procesarse en cada máquinaexactamente una vez. Más aun, todos los trabajos siguen la misma ruta; esto es, deben visitar las maquinas en elmismo orden. Sin pérdida de generalidad, se puede numerar las maquinas de manera que la 1 sea la primera, la 2la segunda, y así sucesivamente. Un trabajo no puede comenzar su procesado en la segunda maquina hasta noterminar el de la primera. Las líneas de ensamble y las células son ejemplos típicos de producción continua. Seenuncian varios heurísticos, junto con las colas que se pueden usar en el algoritmo de ramificación y acotamiento.Los métodos de búsqueda también son útiles para encontrar buenos programas de permutaciónpara produccióncontinua.
Los talleres de producción intermitente, que son los modelos de programación más difíciles, es más general que elde producción continua; cada trabajo tiene una ruta única. Se analiza la heurística de despacho y varias reglas deprioridad. (Daniel Sipper, 1998)
Todos estos modelos en sus diferentes entornos de maquinas, hacen pensar que la secuenciación de trabajos es unproblema de enumeración de carácter combinatorio y al ser representado en diversos escenarios de produccióncon centros de trabajos en su distribución; la elección de una secuencia entre todas las opciones se vuelve cadavez más compleja de obtener en la medida que aumente en número de trabajos y el numero de maquinas y seremite a trabajar con métodos de optimización y algoritmos heurísticos para hallar una posible solución.
Al plantear una propuesta metodología para determinar heurísticas basado en sistemas lógicos proposicionales endiferentes niveles; donde se tengan en cuenta el razonamiento lógico y las métricas de desempeño para poderloevaluar como problema de secuenciación de trabajo en programación de operaciones, teniendo en cuenta que losproblemas de secuenciación son considerados de gran complejidad algorítmica tipo -completo, pueda serexpresado como un problema de satisfactibilidad booleana . Es decir un problema de optimización pueda serexpresado en un problema de decisión y poderlo tratar.
El desarrollo de la investigación de fundamenta en plantear una metodología para obtener expresiones o formulasató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 primerorden LPO), para efectuar operaciones con las variables lógicas, cumpliendo con las propiedades del algebraboolena.