Pasar al contenido principal
Maestria y Doctorado en Ciencias en Ingenieria y Tecnologias Computacionales

Maestria y Doctorado en Ciencias en Ingenieria y Tecnologias Computacionales

...     ...

Formulario de búsqueda

  • INICIO
  • UNIDAD TAMAULIPAS
    • Misión
    • Visión
    • Objetivos
    • Noticias
    • Ubicación
    • Directorio
    • Instalaciones
  • INVESTIGACIÓN
    • Planta de Investigadores
    • Inteligencia Computacional y Optimización Avanzada
    • Tecnologías para la Gestión de Datos y Redes
    • Ingeniería Computacional
    • Publicaciones y recopilaciones
  • POSGRADO
    • Maestría
    • Registro en línea
    • Doctorado
    • Proceso de Admisión
    • Lista de Cursos
    • Cuadro de Graduados
    • Becas
    • Programa Nacional de Posgrados de Calidad
  • SERVICIOS
    • Comunidad Estudiantil y Académica
    • Comunidad Científica
    • Comunidad Empresarial
    • Residencias y Estancias
    • Verano Científico
  • EVENTOS
    • Seminarios
    • TamMath
    • Top Tamaulipas
    • Tamcoder
    • 10 Aniversario
    • Graduado 100
  • COMUNIDAD
    • Correo Institucional
    • Horarios
    • Portal de Educación Online
    • Calendario de Videoconferencias
    • Cómputo de Alto Rendimiento
    • Recursos para Estudiantes
    • Reglamento

posgrado en computacion, maestria en computacion, doctorado en computacion, investigacion en computacion. Posgrado compuesto de Maestria en Ciencias de la Computacion y Doctorado en Ciencias de la Computacion

Tesis "Construcción de Sequence Covering Arrays"

Alumno: Daniel Ramírez Acuña
Asesor: Dr. José Torres Jiménez
Sinodales: Dr. Ricardo Landa Becerra, Dr. Hector Hugo Avilés Arriaga

Resumen:

Los Covering Arrays (CAs) son diseños combinatorios que han sido usados con éxito para la realización de pruebas de componentes de hardware y de software. Los CAs permiten reducir la cardinalidad de una prueba y maximizar la cobertura de la misma, i.e. minimizar el número de pruebas y cubrir todas las combinaciones de valores entre t columnas. Un aspecto que no es cubierto por un CA es el manejo de la temporalidad en la ocurrencia de eventos. Por esta razón fueron propuestos los Sequence Covering Arrays (SCAs) que permiten minimizar la cardinalidad de una prueba al tiempo que cubren todas las subsecuencias de eventos de un cierto tamaño t. En esta tesis se propone una metodología que permite la construcción de SCAs competitivos (competitivo se usa en el sentido de reducir o igualar el menor tamaño que ha sido reportado en la literatura para un SCA en particular). La metodología usa un algoritmo avaro para construir una solución inicial, un algoritmo metaheuristico para mejorar dicha solución y un algoritmo de postoptimización para reducir aún más la cardinalidad de cada SCA construido. Respecto al estado del arte se construyeron 507 nuevas cotas.

Descargar tesis.


CICLOS

2008



2009


2010


2011


2012


2013


2014


2015


2016


2017


2018

2019

2020

2021

2022


CONCENTRADO


El Cinvestav Tamaulipas, felicita calurosamente a todos sus graduados.


CINVESTAV UNIDAD TAMAULIPAS
Parque Científico y Tecnológico TECNOTAM -- Km. 5.5 carretera Cd. Victoria-Soto La Marina
C.P. 87130 Cd. Victoria, Tamps.
Teléfono: (834) 107 02 20 -- Fax: (834) 107 02 24 y (834) 314 73 92