La visualización en la astrofísica como aproximación a la innovación teórica

En este trabajo se desarrolla la investigación para la implementación de una interfaz-interactiva; teniendo como base teórica el razonamiento cualitativo. Para lograrlo, se utilizan técnicas de diseño y visualización de la información, así como ingeniería de software. Lo anterior se realiza con el propósito de demostrar la diferencia entre brillo aparente vs real (caso de estudio). El razonamiento cualitativo fue propuesto por el Dr. Kenneth D. Forbus en 1996, éste hace énfasis en el razonamiento causal puesto que representa una característica del humano para analizar los fenómenos físicos; lo cual permite comprender sus implicaciones al relacionarlas con las variables asociadas al: espacio, tiempo y cantidad. A su vez, el razonamiento causal puede ser utilizado como herramienta para visualizar fenómenos científicos. Con el fin de otorgar el crédito a la hipótesis del comportamiento observado o postulado. Por lo que es una herramienta idónea para generar: explicaciones, mediciones, interpretaciones, planificación de experimentos y por extensión, la comprensión y el aprendizaje. El caso de estudio implica la simulación de un proceso físico basado en su ecuación matemática (de tercer grado de libertad). Aquí es donde se encuentra la aportación al campo de la visualización con la apertura de un punto de intersección, entre el diseño de interfaces interactivas y la simulación por computadora de procesos físicos. La ecuación del fenómeno relaciona el orden de magnitud de brillantez con la distancia de las estrellas. Uno de los objetivos de este trabajo es: generar conocimiento que permita explorar nuestras capacidades de percepción visual. Lo anterior implica que se requiera de representación y presentación de datos o conceptos comúnmente abstractos o complejos en información.Coordinación de Posgrado de Ciencias y Artes para el Diseño

Visualización de conceptos abstractos en programación estructurada

En este trabajo se tocan una serie de características que permiten comprender los problemas a los que se enfrentan los estudiantes de programación estructurada. Y se propone una novedosa metodología que permite la visualización de los conceptos abstractos que la constituyen. En este caso se utiliza la teoría de Forbus y su razonamiento cualitativo, a través del cual se pretende llevar el concepto abstracto a un plano físico. Con la llegada de la tecnología y las computadoras a principios de los años noventa, se inició la investigación del aprendizaje interactivo a través de la visualización. Lo que se presenta en este artículo es la investigación que tiene como objetivo general, desarrollar mini – teorías articuladas sobre el dominio de los conceptos abstractos de programación mediante el análisis de los modelos mentales del experto en programación y el razonamiento cualitativo, utilizando eventos de la vida cotidiana. Implementado con la ayuda de recursos didácticos como: el robot Sphero, un juguete tecnológico que puede ser programado (es decir, controlado) por medio de una computadora o dispositivo móvil utilizando la aplicación de programación visual Sphero Edu.Coordinación de Posgrado de Ciencias y Artes para el Diseño

Analysis and Design of the Knowledge Representation for the Implementation of a Distributed Reasoning

The representation of knowledge and the reasoning comprise fundamental parts of the design of an expert system. In the case under study the real world is represented by the different events that can arise in the operation of a nuclear plant. These events are characterized by a set of elements interrelated through expert reasoning. We have chosen fuzzy cognitive maps (FCM) for the representation of the expert reasoning front to a fault event, because it handles the uncertainty in the decision making, through the interrelation among its elements. In addition, the FCM emphasizes a representation that allows parallel distributed reasoning (PDR). In our work we detail the analysis and design that was developed to build the causality matrices that give origin to the distributed reasoning, and ultimately have a representation in the FCMs.La representación del conocimiento y el razonamiento forma parte fundamental del diseño del sistema experto. En el caso de estudio, el mundo real está representado porlos distintos eventos que se pueden manifestar en la operación de la planta nuclear. Dichos eventos se caracterizan por un conjunto de elementos interrelacionados a través del razonamiento experto. Hemos elegido los mapas cognoscitivos difusos (MCD) para la representación del razonamiento experto frente a un evento de falla, debido a que  éstos, logran manejar la incertidumbre en la toma de decisiones, a través de la interrelación de sus elementos, además de potenciar el razonamiento distribuido paralelo (RPD). En este trabajo se detalla el análisis y diseño de las matrices causales que dan origen al razonamiento distribuido, y que finalmente tienen una representación en los MCD

Algoritmo de búsqueda tabú para una variante del problema de coloración

El problema de coloración robusta generalizado (PCRG) resuelve problemas de horarios que consideran restricciones especiales. Al ser una generalización del problema de coloración robusta, que es a su vez una generalización del problema de coloración, el PCRG es entonces un problema NP-Completo, por lo que es necesario utilizar métodos aproximados para encontrar buenas soluciones en un tiempo de cómputo razonable. En este trabajo se presenta un algoritmo de búsqueda tabú para programar casos de 30 a 180 horas por semana, para algunos de ellos encuentra la solución óptima, en otros casos, la solución obtenida supera a la mejor solución conocida. También se presentan ejemplos de mayor tamaño a los conocidos, obteniendo resultados muy competitivos, lo que se puede verificar por la ausencia de conflicto entre clases