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
- 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.
- Simulación de un Conmutador ATM(Instituto Tecnológico y de Estudios Superiores de Monterrey, 01/05/1998) Mena Angelito, Pedro; Dr. Rogerio Enríquez Caldera; M.C. Carlos Felipe García Hernández; M.C. Francisco González Huerta; Dr. Roberto Valdivia Beutelspacher; ITESMSe presenta al Modo de Transferencia Asincrono (ATM, Asynchronous Transfer Mode) como un estándar de comunicación en desarrollo importante a finales de siglo, con el objetivo de proveer el transporte de datos digitales (audio, video y texto) multimedios a altas velocidades. Se analizan algunos de los problemas más importantes aÚn no resueltos para el estándar, especialmente aquellos relativos al control de la congestión y multicasting. Se examina la técnica SONET/SDH como medio de transporte que utilizará ATM en el modelo de referencia de la red digital de servicios integrados de banda amplia (B-ISDN, Broadband Integrated Services Digital Network). Se describe el modelo de referencia B-ISDN y la integración de ATM dentro del modelo como la tecnología de conmutación y transmisión elegida para los servicios ofrecidos por B-ISDN. Debido a la libertad que aÚn concede el estándar incompleto de ATM en cuanto a la especificación de la implementación de redes de este tipo, cuestiones tales como detalles de estrategias de almacenamiento temporal (buffering) utilizadas para tratar la contención de celdas que experimenta un conmutador y políticas de admisión de llamadas, que caracterizan a un conmutador ATM, no tienen una representación a través de valores simples o símbolos con un significado universal. En esta tesis se diseña un modelo de un conmutador ATM basado en el modelo de un conmutador con buffers asociados a los puertos de entrada, con una velocidad de conmutación mayor que la velocidad del enlace, detallando el proceso y describiendo sus consideraciones fundamentales. Se realiza una simulación de dicho modelo mediante un lenguaje de especificación de protocolos denominado SMURPH. Se presentan y analizan los resultados obtenidos de dicha simulación, los cuales, comparados con los obtenidos para el modelo de conmutador con buffers asociados a los puertos de salida, muestran que el modelo sujeto de esta tesis es una buena alternativa para su implementación en hardware.
- Diagrama de flujo de datos extendido : un editor y su inmersión en los métodos formales gráficos(Instituto Tecnológico y de Estudios Superiores de Monterrey, 1997) Alfredo Fernández Delgado; ALFREDO FERNÁNDEZ DELGADO
- Redes Neuronales. Una Aplicación para la Predicción de Ozono(Instituto Tecnológico y de Estudios Superiores de Monterrey, 1994-01-05) Smith Pérez, Raúl; Ruiz Suárez, Carlos; Ruiz Ascencio, José; Morales Manzanares, Eduardo; ITESMEste trabajo presenta una investigación y un análisis sobre las capacidades y limitaciones prácticas de dos modelos neuronales convencionales: el modelo de retropropagación y la memoria asociativa bidireccional (BAM). El fundamento teórico para cada modelo antecede a una aplicación general sobre contaminación ambiental para el pronóstico del nivel de ozono en la ciudad de México. Se realizaron pruebas sobre cada uno de estos modelos, especialmente sobre la BAM. La información necesaria provino de las cinco principales estaciones del sistema RAMA (red automática de monitoreo ambiental). Las comparaciones y los resultados de estas pruebas son presentados, además de las conclusiones sobre cada uno de los modelos