MARC details
000 -LIDER |
fixed length control field |
03001nam a22002417a 4500 |
003 - CONTROL NUMBER IDENTIFIER |
control field |
MX-MeUAM |
005 - DATE AND TIME OF LATEST TRANSACTION |
control field |
20170418085005.0 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
fixed length control field |
170217s2016 mx fo|||| 00| 0 spa d |
040 ## - CATALOGING SOURCE |
Transcribing agency |
MX-MeUAM |
050 ## - LIBRARY OF CONGRESS CALL NUMBER |
Classification number |
HD9696.S42 |
Item number |
P47 2016 |
100 1# - MAIN ENTRY--PERSONAL NAME |
Personal name |
García Mata, Carmen Leticia |
245 10 - TITLE STATEMENT |
Title |
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 |
Medium |
[recurso electrónico] / |
Statement of responsibility, etc. |
García Mata Carmen Leticia ; director Larysa Burtseva ; codirector Víctor Hugo Yaurima Basaldúa |
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
Place of publication, distribution, etc. |
Mexicali, Baja California, |
Date of publication, distribution, etc. |
2016. |
300 ## - PHYSICAL DESCRIPTION |
Extent |
1 recurso en línea (vi, 123 p. : |
Other physical details |
il.) |
500 ## - GENERAL NOTE |
General note |
Maestría y Doctorado en Ciencias e Ingeniería |
502 ## - DISSERTATION NOTE |
Dissertation note |
Tesis (Doctor) - Universidad Autónoma de Baja California, Instituto de Ingeniería, Mexicali, 2016. |
520 ## - SUMMARY, ETC. |
Summary, etc. |
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. |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Burtseva, Larysa |
Relator term |
director |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Yaurima Basaldúa, Victor Hugo |
Relator term |
codirector |
710 2# - ADDED ENTRY--CORPORATE NAME |
Corporate name or jurisdiction name as entry element |
Universidad Autónoma de Baja California. |
Subordinate unit |
Instituto de Ingeniería |
856 4# - ELECTRONIC LOCATION AND ACCESS |
Public note |
Tesis Digital |
Uniform Resource Identifier |
https://drive.google.com/open?id=0B7AGEh5aIwoTNFpWdlkwUUNFTlE |
942 ## - ADDED ENTRY ELEMENTS (KOHA) |
Koha item type |
Tesis |