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
    • Ingeniería Computacional
    • Inteligencia Computacional y Optimización Avanzada
    • Tecnologías para la Gestión de Datos y Redes
    • 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
    • Top Tamaulipas
    • Tamcoder
    • TamMath
    • 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 "Generalización de la Construcción de Vectores Inicializadores"

Sustentante: Gildardo Maldonado Martínez
Director: Dr. José Torres Jiménez 
Sinodales: Dr. Ricardo Landa Becerra, Dr. Said Polanco Martagón

Resumen:

Hoy en día existe una fuerte dependencia de los sistemas computacionales para la toma de decisiones en distintos sectores (economía, salud, etc), dependiendo del sector en el que se incorpore, el costo de un error en la salida del sistema puede ser muy alto, y validar de manera exhaustiva todos los posibles escenarios no siempre es conveniente debido a la gran cantidad de recursos, como el tiempo y costo, que demandan. Los Covering Arrays (CAs) son objetos combinatorios que permiten construir  un conjunto de N casos de prueba para componentes de software, con los que se asegura que todas las interacciones de tamaño t entre k parámetros se encuentran cubiertos, para cada parámetro que admite un valor dentro de un conjunto de v posibles valores. En la literatura se ha propuesto el construir un CA a partir de un Vector Inicializador (VI) aplicando operaciones de rotación y traslación, aunque la metodología para la obtención del VI no se encuentra muy desarrollada, salvo algunas construcciones con valores específicos de t, k y v. En este trabajo se presentan dos generalizaciones; una generalización de operadores que engloba las construcciones reportadas en el estado del arte con respecto a VIs y que además admite la introducción de nuevos operadores que permiten diversificar las construcciones actuales; y una generalización para la búsqueda de VIs en la que se propone una metodología original mediante la cual es posible obtener VIs trasladando el problema al dominio de grafos.

Los resultados muestran que la generalización propuesta construye 14 casos para fuerza t = 2 los cuales son óptimos. Además 29 cotas fueron igualadas mediante construcciones obtenidas de forma directa y 34 cotas se igualaron mediante un proceso de postoptimización aplicado a un CA construido a partir de un VI.


CICLOS

2008



2009


2010


2011


2012


2013


2014


2015


2016


2017


2018

2019

2020

2021

2022

2023


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