Este trabajo presenta resoluciones de queries a una base de datos que mantiene información acerca de redes de computadoras, utilizando Lógica de Primer Orden extendida con los cuantificadores Clausura Transitiva, Clausura Transitiva Determinística, Puntos fijos en sus variantes Inflaccionario y…

Considerando los lenguajes formales Cálculo Relacional y Álgebra Relacional para expresar consultas a bases de datos relacionales, y tomando en cuenta la equivalencia entre ambos, la motivación de este trabajo consistió en la generación de una herramienta que contuviera una…

Se presenta el diseño de un código de simulación de la operación de la Central Nuclear Embalse Río Tercero. El software fue desarrollado siguiendo el paradigma de objetos, lo cual permite una gran flexibilidad para el mantenimiento y generalización de…

Los modelos basados en lógica difusa, o modelos difusos, se construyen a partir de reglas que vinculan las entradas y las salidas de una caja negra, que describen el comportamiento del sistema a modelar. La lógica difusa permite definir reglas…

Muchas aplicaciones como video-conferencia o sistemas colaborativos, requieren soporte multicast desde la capa de red. Multicast involucra el envío de mensajes sobre un árbol, con raíz en el nodo fuente, y cuyos caminos llegan hasta varios receptores. Uno de los…

La visualización en tiempo real de modelos de terreno triangulados sigue considerándose un problema en los sistemas de realidad virtual. Los modelos poligonales de grandes volúmenes de datos de terreno requieren un gran número de polígonos. Problemas fundamentales son la…

Uno de los algoritmos de rendering de volúmenes más difundido y utilizado es el denominado marching cubes, propuesto por Lorensen y Cline en 1987. En el mismo se busca extraer una superficie umbral a partir de una matriz volumétrica de…