Proyectos de investigación – Maestría

Diseño de contratos inteligentes independientes de una plataforma para sistemas orientados a blockchains

 Descargar versión PDF

Profesores:

Dra. Elizabeth Pérez Cortés

Dr. Humberto Cervantes Maceda

Resumen:

Una cadena de bloques o blockchain es una tecnología que nace como soporte para garantizar transacciones seguras, anónimas, directas, rápidas y baratas de bienes tangibles e intangibles. Muchas plataformas de cadenas de bloques soportan contratos inteligentes (smart contracts). Un contrato inteligente reside en la cadena de bloques y sirve para ejecutar de manera automática una serie de transacciones si un conjunto de condiciones predeterminadas se cumplen.

En nuestro grupo de trabajo estamos explorando los retos involucrados en el desarrollo de software sobre blockchain y, en particular, en este proyecto estamos interesados en construir una herramienta que simplifique la construcción de los contratos inteligentes.

Objetivo general

• Desarrollar una herramienta que apoye en el diseño y la implementación de contratos inteligentes en distintas plataformas de cadenas de bloques

Objetivos específicos

• Comprender los modelos de contratos inteligentes disponibles en las plataformas de cadenas de bloques.
• Definir un meta-modelo de contrato inteligente que permita describir a los modelos existentes en las plataformas de cadenas de bloques.
• Construir una herramienta que apoye el diseño y la implementación de contratos inteligentes en distintas plataformas.

Detección de objetos perdidos en sistemas RFID aumentados

 Descargar versión PDF

Profesores:

Dr. Ví­ctor Manuel Ramos Ramos

Dr. Leonardo Daniel Sánchez Martínez

Resumen:

En  este trabajo se  investigarán  las  características  relevantes  de  los  sistemas  RFID aumentados para el diseño de protocolos de comunicación para la detección de objetos.

Objetivo general

• Diseñar al menos un protocolo de detección de objetos para los sistemas RFID aumentados

Objetivos específicos

• Identificar las diferencias entre los sistemas RFID tradicionales y aumentados
• Estudiar los protocolos de detección de objetos para sistemas RFID
• Diseñar un protocolo de detección de objetos para un sistema RFID aumentado
• Evaluar el protocolo de detección de objetos y compararlo con los existentes

Asignación de salones por medio de técnicas de IA

 Descargar versión PDF

Profesores:

Alma Edith Martí­nez Licona

Resumen:

El problema de la asignación de salones, no es un problema nuevo, pero si es un problema importante ya que varias  instituciones lo tienen  y necesitan una solución por medio de un algoritmo adecuado y personalizado.

Dada la complejidad del problema, grupos de investigadores alrededor del mundo se han dado a la tarea generar metodologías capaces de resolver este problema, tratando de mejorar los resultados expuestos por otros equipos en cuanto a calidad y tiempo requerido para encontrar la respuesta.

Objetivo general

• Proponer un algoritmo de inteligencia artificial personalizado para la asignación de salones para los cursos de la Lic. en Computación de la UAM Iztapalapa

Objetivos específicos

• Analizar los algoritmos encontrados en la literatura
• Proponer un algoritmo de inteligencia artificial capaz de asignar de forma óptima salones a un conjunto de cursos bajo ciertas restricciones
• Evaluar los resultados del algoritmo propuesto comparando con los resultados del Coordinador de la Licenciatura en cuestión

Aprendizaje por Refuerzo para UAMITO

 Descargar versión PDF

Profesores:

Dr. René MacKinney Romero

Omar Lucio Cabrera Jiménez

Resumen:

La intención de este trabajo es de, a través de técnicas del aprendizaje por refuerzo,ser capaz de dotar a UAMITO de la capacidad de diversos movimientos como el de caminar y ser capaz de tomar objetos.

Objetivo general

• Estudiar técnicas de aprendizaje por refuerzo para el aprendizaje de movimientos por parte de UAMITO.

Objetivos específicos

• Estudiar el aprendizaje por refuerzo.
• Estudiar elementos para el aprendizaje de movimientos de un robot.
• Realizar un sistema que permita UAMITO aprender distintos movimientos.

Aprendizaje por refuerzo con estrategias de búsqueda en el juego CrazyHouse

 Descargar versión PDF

Profesores:

Dr. Pedro Lara Velázquez

Dr. Sergio Gerardo de los Cobos Silva

Resumen:

Este proyecto de investigación se enfoca en el estudio, diseño, construcción y evaluación de un agente de CrazyHouse por medio de aprendizaje por refuerzo y la utilización de diferentes estrategias de búsqueda, tales como árbol de búsqueda Monte Carlo, Minimax y Poda alfa-beta.

Objetivo general

• Desarrollar un agente de CrazyHouse por medio de aprendizaje por refuerzo mediante el uso de estrategias de búsqueda.

Objetivos específicos

• Investigar el estado del arte.
• Comparar las diferentes estrategias de búsqueda.
• Evaluar el agente con motores existentes y jugadores de ajedrez de 1 ra , 2 da y 3 ra fuerza.
• Generar un artículo para congreso nacional.
• Reportar los resultados de la investigación en la idónea comunicación de resultados.

Aprendizaje Maquinal con Big Data

 Descargar versión PDF

Profesores:

Dr. René MacKinney Romero

Resumen:

Si bien existes diversas librerías de datos masivos para el aprendizaje su uso resulta poco claro y en muchas ocasiones sumamente complicado. Este proyecto trata de eliminar la brecha entre las diferentes arquitecturas y marcos de herramientas existentes y el uso cotidiano para la solución de problemas usando aprendizaje maquinal sobre cantidades masivas de datos. Se espera poder generar una ruta crítica para la solución de un problema particular desde datos crudos hasta implementación de solución en algún marco de datos masivos.

Objetivo general

• Estudiar técnicas como clasificación, agrupamiento y sumarización en sistemas de aprendizaje maquinal; así como herramientas y marcos de trabajo para conjuntos masivos de datos. Proponer una ruta crítica para un problema y evaluar su utilidad en otro problema.

Objetivos específicos

• Estudiar como realizar clasificación, agrupamiento y sumarización en el campo de la inteligencia artificial.
• Conocer los marcos de trabajo de Spark, Hadoop y otros que existan para el manejo de datos masivos.
• Aprender programación en Scala y otros lenguajes idóneos para para realizar operaciones sobre conjuntos masivos de datos.
• Conocer, analizar y seleccionar las herramientas mas adecuadas para solucionar un problema particular como el de predicción de terremotos generando una ruta crítica.
• Evaluar la utilidad de dicha ruta crítica en otro problema en términos de la precisión obtenida.

Aplicación de la ingeniería de software basada en búsqueda y guiada por datos en la resolución de un problema de arquitectura de software.

 Descargar versión PDF

Profesores:

Dr. Humberto Cervantes Maceda

Dr. Abel García Nájera

Resumen:

A pesar de los grandes avances que se han realizado en ingeniería de software en las últimas décadas, la complejidad de los sistemas de software continúa en aumento y la búsqueda de nuevas técnicas para resolver problemas relacionados con el desarrollo de software es constante.
Una de esas técnicas es la ingeniería de software basada en búsqueda [3], que busca reformular los problemas que surgen en la ingeniería de software bajo la forma de problemas de optimización y usar algoritmos de búsqueda para resolver dichos problemas.
Otro técnica es la minería de repositorios de software [1], que busca formular los problemas de ingeniería de software como problemas de minería de datos.
Ambas técnicas tienen el objetivo común de proveer propuestas para mejorar la ingeniería de software.
De forma muy reciente (2018) se ha propuesto una combinación de estas dos disciplinas, la cual se denomina “ingeniería de software basada en búsqueda y guiada por datos (DSE)” [2]. Se puede definir la DSE como un sistema de software que resuelve un problema de ingeniería de software de alguna de las maneras siguientes:
Insertar un minero de datos en un optimizador.
Usar un optimizador para mejorar un minero de datos.
Actualmente es posible tener acceso a una gran cantidad de información de proyectos de fuente libre en sitios tales como GitHub. Esto permite hacer estudios sobre proyectos reales que, de otra forma, sería muy complicado realizar, a menos que uno pudiera tener acceso a la información de proyectos de una empresa grande, por ejemplo.
Los autores de esta propuesta han estado trabajando desde hace tiempo en la aplicación de la ingeniería de software basada en búsqueda y como resultado se ha terminado una tesis de maestría y actualmente se tiene otra en curso. También se han publicado un artículo de revista internacional y un artículo en una conferencia nacional alrededor de este tema.
Con este proyecto buscamos extender nuestro panorama de investigación más allá de la ingeniería de software basada en búsqueda y para ello buscamos aplicar la DSE en un problema relacionado con la arquitectura de software. La definición del problema concreto es parte del proyecto de investigación.

Objetivo general

• Explorar la aplicación de la ingeniería de software basada en búsqueda y guiada por datos a un problema relacionado con la arquitectura de software.

Objetivos específicos

• Conocer el estado del arte sobre la ingeniería de software basada en búsqueda y guiada por datos.
• Evaluar la potencial aplicación de la DSE a un problema relacionado con la arquitectura de software.
• Desarrollar y evaluar una técnica de optimización adecuada para resolver el problema planteado.
• Implementar un prototipo que realice la minería de datos y la identificación de soluciones mediante técnicas de optimización.

Análisis de desempeño del esquema NOMA en el dominio de código para sistemas móviles 5G

 Descargar versión PDF

Profesores:

Dr. Alfonso Prieto Guerrero

Dr. Luis Alberto Vásquez Toledo

Resumen:

En este trabajo, nos centramos en NOMA, que se espera que aumente el rendimiento del sistema y se adapte a la conectividad masiva. NOMA permite a múltiples usuarios compartir recursos de tiempo y frecuencia a través del dominio de potencia o multiplexación de dominio de código.

Objetivo general

• Desarrollar una metodología para evaluar el desempeño delos sistemas celulares 5G basados en NOMA en el dominio de código, mediante modelos matemáticos y herramientas de simulación.

Objetivos específicos

• Realizar un estudio detallado de la evolución de los sistemas celulares, resaltando las propuestas y tendencias para 5G.
• Estudiar las características de la propuesta NOMA para 5G, y mostrar las ventajas y desventajas de NOMA en el dominio de código.
• Realizar un análisis de interferencias del esquema de operación NOMA mediante modelosmatemáticos.
• Desarrollar una propuesta de operación que permita aumentar el desempeño de las redes móviles 5G en comparación con las redes convencionales.
• Desarrollar una metodología que permita evaluar la propuesta desarrollada mediante herramientas de simulación.

Algoritmos clasificadores aplicados a una base de trabajos realizados en un laboratorio de cómputo en paralelo

 Descargar versión PDF

Profesores:

Dr. Pedro Lara Velázquez

Dr. Miguel Ángel Gutiérrez Andrade

Resumen:

Hacer un estudio sobre el uso de diferentes algoritmos clasificadores manejando bases de datos obtenidas principalmente de un laboratorio de cómputo en paralelo

Objetivo general

• Proponer e implementar algoritmos clasificadores que permitan obtener información para mejorar el desempeño de un laboratorio de cómputo en paralelo.

Objetivos específicos

• Obtener la base de datos y acoplarla a nuestros intereses.
• Utilizar varios tipos de algoritmos clasificadores.
• Generar un artículo para congreso nacional.
• Reportar los resultados de la investigación en la idónea comunicación de resultados.

Simulaciones masivamente paralelas en dinámica molecular

Descargar versión completa (PDF)

Profesores: Dr. Jesús Enrique Díaz Herrera (UAM Iztapalapa) y Dr. Manuel Aguilar Cornejo

Resumen: La mecánica estadística y el poder de cómputo actual provee una descripción formal conocida como: experimento computacional o simulación molecular, que hoy juega un papel muy importante y es aquí donde surge la necesidad de recurrir a la construcción de modelos moleculares, que es una representación matemática que nos permite la descripción a nivel microscópico de un sistema macroscópico.

Objetivo general:

• Diseñar e implementar, usando clústers de GPUs y CPUs, un simulador masivamente paralelo en dinámica molecular que resuelva las ecuaciones de movimiento de traslación y orientación de partículas con interacciones no esféricas.

Objetivos específicos:

• Realizar un estudio de los modelos en dinámica molecular a simular
• Realizar un estudio del modelo de programación paralela usando clústers de GPUs
• Realizar un estudio del manejo de los diferentes niveles de memoria cache de los GPUs para acelerar la ejecución de nuestras simulaciones
• Diseñar y desarrollar el simulador masivamente paralelo