Planificación de tareas para la etapa de grabado en sistemas de manufactura de semiconductores mediante un enfoque hibrido basado en answer set programming y programación con restricciones [recurso electrónico] / García Mata Carmen Leticia ; director Larysa Burtseva ; codirector Víctor Hugo Yaurima Basaldúa
Tipo de material:
TextoDetalles de publicación: Mexicali, Baja California, 2016Descripción: 1 recurso en línea (vi, 123 p. : il.)Clasificación LoC:HD9696.S42 | P47 2016Recursos en línea: Tesis Digital
Nota de disertación: Tesis (Doctor) - Universidad Autónoma de Baja California, Instituto de Ingeniería, Mexicali, 2016. Resumen: La planificación de tareas y la optimización de planes ha sido un tema central de investigación en el área de computación. En particular, el cada vez más demandante y sofisticado mercado de los sistemas de manufactura de semiconductores, requiere cada vez más y mejores planes. La simplicidad del planteamiento teórico de un problema de planificación de tareas, no permite entrever a primera vista, como la solución de este problema se torna rápidamente intratable conforme la entrada crece. Desde hace más de medio siglo, se han propuesto numerosas teorías y técnicas provenientes desde áreas tan dispares como Investigación de Operaciones, Razonamiento Automatizado y Cómputo Inteligente para la solución de este tipo de problemas. Algunas de las técnicas más eficientes son las máquinas de inferencia genéricas basadas tanto en lógica proposicional como en otras lógicas, incluidas la lógica monotónica. Las máquina más exitosos, están basadas en DPPL y su extensión CDCL y pueden resolver problemas con miles de variables y millones de reglas. En esta tesis se explora el uso de metodologías y motores de inferencia basados en lógica no monotónica para la solución de problemas de planificación de tareas en sistemas de manufactura. Para demostrar su aplicabilidad en problemas de planificación, se presenta el modelado y solución de un problema de planificacion de tareas y optimización del plan para un Sistema Automatizado de Grabado (AWS) de una empresa de semiconductores. El modelado del problema y su solución se realizan con un enfoque híbrido basado en Answer Set Programming y Programación con Restricciones, ASP modulo CSP. Los resultados obtenidos, en su mayoría, son comparativamente mejores que con los paradigmas MILP y CSP sin ASP.
| Tipo de ítem | Biblioteca actual | Colección | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras |
|---|---|---|---|---|---|---|---|
| Tesis | Biblioteca Central Mexicali | Colección de Tesis | HD9696 .S42 P47 2016 (Browse shelf(Abre debajo)) | 1 | Disponible | MXL120059 |
Maestría y Doctorado en Ciencias e Ingeniería
Tesis (Doctor) - Universidad Autónoma de Baja California, Instituto de Ingeniería, Mexicali, 2016.
La planificación de tareas y la optimización de planes ha sido un tema central de investigación en el área de computación. En particular, el cada vez más demandante y sofisticado mercado de los sistemas de manufactura de semiconductores, requiere cada vez más y mejores planes. La simplicidad del planteamiento teórico de un problema de planificación de tareas, no permite entrever a primera vista, como la solución de este problema se torna rápidamente intratable conforme la entrada crece. Desde hace más de medio siglo, se han propuesto numerosas teorías y técnicas provenientes desde áreas tan dispares como Investigación de Operaciones, Razonamiento Automatizado y Cómputo Inteligente para la solución de este tipo de problemas. Algunas de las técnicas más eficientes son las máquinas de inferencia genéricas basadas tanto en lógica proposicional como en otras lógicas, incluidas la lógica monotónica. Las máquina más exitosos, están basadas en DPPL y su extensión CDCL y pueden resolver problemas con miles de variables y millones de reglas. En esta tesis se explora el uso de metodologías y motores de inferencia basados en lógica no monotónica para la solución de problemas de planificación de tareas en sistemas de manufactura. Para demostrar su aplicabilidad en problemas de planificación, se presenta el modelado y solución de un problema de planificacion de tareas y optimización del plan para un Sistema Automatizado de Grabado (AWS) de una empresa de semiconductores. El modelado del problema y su solución se realizan con un enfoque híbrido basado en Answer Set Programming y Programación con Restricciones, ASP modulo CSP. Los resultados obtenidos, en su mayoría, son comparativamente mejores que con los paradigmas MILP y CSP sin ASP.
