download

Informe de Actividades 2017
predicción para poder enfrentar a la complejidad de sistemas). Este laboratorio continuó
con desarrollos teóricos (complejidad, teoría de la información) y aplicaciones en las áreas
de sistemas complejos (urbanismo, ciencias cognitivas, arqueología computacional, salud
y filosofía). Cabe resaltar la propuesta para agilizar el Sistema de Transporte Colectivo
(Metro); una investigación que mejoró el abordaje y descenso de pasajeros de los vagones
y los problemas de movilidad de los trenes.
El Laboratorio de Verificación de Modelos a cargo del Dr. David Rosenblueth estudia
métodos para poder comprobar si el modelo de algún sistema tiene o no cierta propiedad.
Cuando no la tiene, normalmente se modifica manualmente, se investigan métodos para
que dicha modificación (actualización) se realice mecánicamente. También se aplica
verificación al estudio y modelado de redes genéticas y a sistemas incrustados
(“embedded”) para la verificación de programas. Durante el año 2017, se continuaron los
desarrollos relacionando verificación de modelos con modelos de redes de regulación
genética, con teoría de juegos, con máquinas de estado finito y verificación probabilística
en robots.
Finalmente, el Laboratorio de Big Data a cargo del Dr. Gibran Fuentes estudia el
desarrollo de algoritmos y técnicas para poder analizar y procesar grandes cantidades de
datos en tiempos razonables (la disponibilidad de grandes cantidades de datos ofrece la
posibilidad de extraer información relevante); las aplicaciones de esta línea de
investigación se intersectan con otras relacionadas con inteligencia artificial y aprendizaje
automatizado. Durante el año reportado, se hicieron varios desarrollos relevantes a
técnicas de aprendizaje profundo tanto en el procesamiento de video como de señales
cerebrales.
Departamento de Ingeniería de Sistemas Computacionales
y Automatización
El Departamento de Ingeniería de Sistemas Computacionales y Automatización (DISCA),
tiene sus orígenes en el Departamento de Diseño de Sistemas Digitales en los años 1970, a
lo largo de su historia en el ahora DISCA se han llevado a cabo proyectos institucionales de
gran impacto como los proyectos RESMAC, RAMSES, DIMAS, LOS TUXTLAS, PUMABUS,
COGNOS, HAGMA, DOPPLER, que han permitido la formación de decenas de estudiantes
de licenciatura, maestría y doctorado que ahora trabajan en actividades profesionales de
la sociedad y el gobierno mexicano. Actualmente, el DISCA cuenta con 29 académicos, 11
investigadores y 18 técnicos académicos, y está integrado por dos secciones: Ingeniería de
Sistemas Computacionales, y Electrónica y Automatización; los investigadores y técnicos,
en cada una de ellas, trabajan en grupos académicos de acuerdo con sus líneas de
investigación y proyectos que realizan.
Sección de Ingeniería de Sistemas Computacionales. Tiene como misión realizar
investigación, tanto básica como aplicada, en ingeniería de sistemas computacionales de
alto desempeño y confiabilidad, formar especialistas de alto nivel en las diversas áreas
45