TY  - BOOK
AU  - García Mata,Carmen Leticia
AU  - Burtseva,Larysa
AU  - Yaurima Basaldúa,Victor Hugo
ED  - Universidad Autónoma de Baja California.
TI  - 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
AV  - HD9696.S42 P47 2016
PY  - 2016///
CY  - Mexicali, Baja California
N1  - Maestría y Doctorado en Ciencias e Ingeniería; Tesis (Doctor) - Universidad Autónoma de Baja California, Instituto de Ingeniería, Mexicali, 2016
N2  - 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
UR  - https://drive.google.com/open?id=0B7AGEh5aIwoTNFpWdlkwUUNFTlE
ER  -