Ciencias Exactas y Ciencias de la Salud
Permanent URI for this collectionhttps://hdl.handle.net/11285/551039
Pertenecen a esta colección Tesis y Trabajos de grado de las Maestrías correspondientes a las Escuelas de Ingeniería y Ciencias así como a Medicina y Ciencias de la Salud.
Browse
Search Results
- Importancia de la Documentación de la Arquitectura de Software para el Desarrollo de Sistemas: Caso Practico Sistema de Conciliación de Indeval.(Instituto Tecnológico y de Estudios Superiores de Monterrey, 2011-07-01) Rivera Landa, Angel L.
- Análisis del Particionamiento por Serpientes para Problemas del Tipo Esténcil en Computadoras de Memoria Distribuida(Instituto Tecnológico y de Estudios Superiores de Monterrey, 01/11/1999) Cázares López, Edmundo; Garza Salazar, David; Nolazco Flores, Juan Arturo; Pérez Cázares, Raúl; ItesmLa búsqueda de soluciones más rápidas y eficaces, entre otras cosas, ha llevado a la existencia de computadoras paralelas. Para aprovechar las características que proporcionan estas máquinas se han desarrollado técnicas para dividir o particionar los datos entre los procesadores involucrados en el cálculo. De entre las técnicas de particionamiento existentes, la técnica de particionamiento de datos a través de serpientes ha demostrado tener la capacidad de mejorar considerablemente el desempeño de los ciclos en que se ha implementado. Esta tesis profundiza en la utilización de esta técnica en problemas del tipo esténcil, mismos que son muy comunes en los programas científicos e ingenieriles. El desarrollo de la tesis comienza con la presentación de los antecedentes necesarios dentro del cómputo paralelo y las bases de las técnicas de particionamiento de datos, planteamiento de consideraciones y limitaciones necesarias y continuando con el análisis del costo de comunicaciones de la técnica de serpientes al aplicarse en matrices bidimensionales. Este análisis proporciona expresiones que describen el comportamiento de la técnica de serpientes al aplicarse a distintos tamaños de instancias con distintas cantidades de procesadores. Los resultados obtenidos del análisis son comparados con los resultados analíticos obtenidos de las técnicas tradicionales de particionamiento bajo el mismo esquema en que se obtuvieron los resultados para la técnica de serpientes. Para establecer la comparación, se construyó un simulador del particionamiento por serpientes para los esténciles estudiados. La comparación sugiere que la técnica de particionamiento por serpientes tiene mejoras significativas sobre otras técnicas de particionamiento, señalando también que es sensible a la técnica de distribución de las particiones obtenidas entre los procesadores.
- Optimización Genética de Problemas SAT(Instituto Tecnológico y de Estudios Superiores de Monterrey, 1999-01-11) Rodríguez Tello, Eduardo Arturo; Torres Jiménez, José; Morales Manzanares, Eduardo; Frausto Solís, Juan; ITESMEl problema de satisfactibilidad (SAT) tiene relevancia desde un contexto teórico y práctico. En el contexto teórico el problema SAT es fundamental para el análisis de la complejidad computacional de diversos problemas. En el contexto práctico, la solución de problemas SAT es requisito fundamental de diversos métodos de razonamiento. De esta manera el encontrar un procedimiento eficiente para resolver el problema SAT es muy importante. En esta tesis se plantea un enfoque novedoso para resolver problemas SAT usando algoritmos genéticos (AG), el algoritmo está basado en el reordenamiento de las variables que intervienen en las cláusulas del problema SAT, y la aplicación posterior de un AG tradicional. Los resultados presentados en este trabajo evidencian que el enfoque propuesto es consistentemente mejor que un AG tradicional para resolver problemas SAT duros. Por otra parte, las principales aportaciones de esta tesis son: - La implementación de un algoritmo de Recocido Simulado que permite resolver el Problema de Minimización del Ancho de Banda de Grafos (PMABG) de manera competitiva. - El uso de una métrica especial para el PMABG (7) que es substancialmente mejor que la medida empleada comÚnmente (B), y además permite bandear grafos pesados. - Lograr identificar las características que debe cumplir un buen generador de casos de prueba para problemas SAT. Estas son: garantizar el control del grado de repetibilidad de las variables que intervienen en el problema; proveer un mecanismo que garantice el balance entre las apariciones positivas y negativas de cada variable del problema; evitar generar cláusulas triviales, así como cuidar que la razón entre cláusulas y variables sea aproximadamente entre 2 y 4. - Un enfoque novedoso para generar casos de prueba duros del problema SAT a partir de su analogía geométrica con grafos.