Se ha determinado, en una arquitectura multi-Core SMP, el lugar donde incorporar el PP o el HPP sin alterar el ISA del resto de los core. Se ha obtenido una familia de procesadores que ejecutan los algoritmos de Petri para dar solución a sistemas reactivos y concurrentes, con una sólida verificación formal que permite la programación directa de los procesadores. Para esto, se ha construido el hardware de un PP y un HPP, con un IP-Core en una FPGA, integrado a un sistema multi-Core SMP, que ejecuta distintos tipo de RdP. Esta familia de procesadores es configurable en distintos aspectos: - Tamaño del procesador (cantidad de plazas y transiciones). - Procesadores con tiempo y procesadores temporales. - Arquitectura heterogénea, que permite distribuir los recursos empleados para instanciar el procesador según se requiera, y obtener un ahorro sustancial. - La posibilidad de configurar el procesador en pos de obtener los requerimientos y minimizar los recursos. Muy valorado en la construcción de sistemas embebidos. En los sistemas con alta necesidad de concurrencia y sincronización, donde se ha evaluado este procesador, las prestaciones han mostrado una importante mejora en el desempeño. El procesador tiene la capacidad de resolver simultáneamente, por conjuntos múltiples disparos, lo que disminuye los tiempos de consulta y decisión, además los programas ejecutados cumplen con los formalismos de las RdP extendidas y sincronizadas, y los resultados de su ejecución son determinísticos. Los tiempos de respuesta para determinar una sincronización son de dos ciclos por consulta (entre la solicitud de un disparo y la respuesta).

Las carreras de nuestra Facultad cuentan con numerosas materias de índole netamente práctico y cuyo objetivo es que los alumnos adquieran experiencia en el desarrollo e implementación de proyectos de distintas características. Los proyectos abarcan una amplia gama de tecnologías aplicadas que se utilizan en casos prácticos de educación, salud y organizaciones civiles. Esto hace que los sistemas producidos puedan ser de interés más allá del ámbito de la materia. Debido a que el acceso a estos cursos se limita a los integrantes matriculados, el material generado por los alumnos no se encuentra disponible para ser consultado y reutilizado, salvo por parte del docente mismo. Además, la publicación de este material en un repositorio externo implica un trabajo adicional para el docente que incluye recuperar el material entregado por los alumnos y realizar todo el proceso de publicación en una herramienta distinta. Por lo descripto, se desarrolló un módulo que permite la publicación semiautomática desde el LMS Moodle hacia el repositorio Dspace.

El propósito de un método de segmentación es descomponer una imagen en sus partes constitutivas. Se han propuesto un gran número técnicas y algoritmos para realizar ésta tarea. Algoritmos de visión por computador, en particular de segmentación, que han sido utilizados con éxito en ambientes industriales, con colores e iluminación controlada, no obtienen resultados similares en contextos diferentes. Una alternativa para abordar problemas en que las condiciones de contorno no permiten una segmentación adecuada es incorporar información de profundidad. Las mejoras realizadas en el campo de las tecnologías de escaneo 3D han hecho posible que las cámaras basadas en el principio de tiempo de vuelo sean más accesibles. Las cámaras de tiempo de vuelo son dispositivos de captura que generan simultáneamente imágenes en tonos de grises e información 3D de la escena. La fusión de la información de profundidad junto con la informaci ́on de intensidad permite obtener descripciones de las escenas que tienen en cuenta tanto la geometr ́ıa de los objetos como la información de luminancia. En éste contexto, la segmentación de imágenes consiste en utilizar algoritmos que utilicen ambas fuentes de información y no sólo los niveles de intensidad. Con esta perspectiva el problema de segmentación puede ser formulado como la búsqueda de formas efectivas para particionar adecuadamente un conjunto de muestras con información de intensidad y distancia. Recientemente han sido propuestos diversos algoritmos de agrupamiento, tanto jerárquicos como particionales, para abordar el problema de segmentar objetos en imágenes de intensidad. En particular los métodos de agrupamiento espectral tienden a determinar la estructura subyacente en un conjunto de patrones, donde otros métodos convencionales por la disposición y características particulares de los agrupamientos, no obtienen los resultados esperados. La presente tesina se enfoca en la posibilidad de utilizar métodos de agrupamiento espectral en imágenes de rango y de intensidad para abordar problemas de segmentación complejos.

En este trabajo se presenta el estudio de un caso de integración de una MANET, desplegada en una zona remota, a una red de infraestructura. La finalidad principal es la de proporcionar, a los nodos de la red ad hoc, acceso “seguro” a un servidor de la red de infraestructura, sin comprometer recursos como ancho de banda y energía que son limitados en la zona de despliegue. Para ello, se implemento un escenario de pruebas que comprende el despliegue de una MANET en zona remota y la integración de la misma a una red de infraestructura a través de la red celular. Sobre el escenario propuesto se establecieron canales de comunicación extremo a extremo, entre un nodo de la MANET y un servidor de infraestructura. Inicialmente, se realizaron pruebas inyectando tráfico de datos sobre un canal “no seguro” para obtener valores de referencia para latencia, throughput y consumo de energía. Luego, se efectuaron las mismas pruebas utilizando canales de comunicación “seguros” configurados sobre protocolos IPSEC y SSL/TLS. Los resultados obtenidos utilizando canales “seguros” fueron comparados con los valores de referencia para determinar las diferencias de consumo de recursos. Las desviaciones que surgieron de estas comparaciones, permitieron: - Establecer el consumo adicional de recursos generado por el uso de protocolos seguros. - Realizar un estudio comparativo de rendimiento, entre diferentes configuraciones de protocolos de seguridad. - Determinar que protocolo seguro se adapta mejor a este tipo de entornos.

Objetivos generales: - Investigar los aspectos vinculados a la obtención de servicios de streaming, el modelado de redes de datos y la caracterización del tráfico allí cursado. - Determinar un mecanismo que permita establecer un orden entre los nodos que brindan un determinado servicio o recurso deseado en una red "best effort" como es Internet Objetivos específicos: - Armar una taxonomía de los servicios que se pueden brindar en redes IP. - Analizar diferentes formas de modelizar redes de datos, de manera tal que resulte lo más fiel posible a la realidad de una red como Internet, en cuanto a topología, velocidad de enlaces, agregación y caracterización del tráfico, congestión, etc. - Diagramar y ejecutar simulaciones, en un modelo de red, que permitan cuantificar parámetros de comunicación (bandwidth, delay, jitter, packet loss) en diferentes tipos de servicios que se pueden brindar en dicha red. - Establecer un criterio que permita ordenar los nodos que ofrecen el servicio deseado considerando los resultados de las simulaciones abordadas.

En esta tesis se presentan formalismos para modelar la dinámica de conocimiento en bases de creencias de agentes que son parte de un sistema multi-agente. En el contexto de sistemas multi-agente, un agente puede a menudo recibir información a través de informantes. Estos informantes son agentes independientes que tienen sus propios intereses y, por lo tanto, podrían no ser completamente fiables. Es natural para un agente creerle más a un informante que a otro. Es por esto que en nuestro trabajo se propondrá la organización de los informantes en un orden parcial que compara la credibilidad de los mismos. De esta manera, esta tesis se enfoca en revisión de creencias con múltiples fuentes (MSBR: Multi-Source Belief Revision), proponiendo un modelo completo de cambio basado en informantes. La dinámica del conocimiento es modelada por la teoría de cambio de creencias, la cual busca mostrar cómo quedan constituidas las creencias de un agente después de recibir cierta información externa. Existen diferentes modelos de cambio en la teoría de cambio de creencias. Uno de sus principales referentes, el modelo AGM [AGM85], distingue claramente tres operaciones de cambio: expansiones, contracciones y revisiones. La operación de expansión es la más simple de caracterizar desde el punto de vista lógico, pues consiste solamente en la adición de nuevas creencias. Sin embargo, las contracciones y revisiones no tienen esta propiedad. Las contracciones involucran la eliminación de creencias, mientras que las revisiones involucran tanto la adición como la eliminación de creencias. El orden parcial de credibilidad entre agentes no necesita permanecer estático, ya que el agente puede decidir actualizar su relación de orden parcial para reflejar una nueva percepción de la credibilidad de un informante. Es por esto que otro de los objetivos de esta tesis es el estudio y desarrollo de técnicas y formalismos para la actualización del grado de credibilidad que se le asigna a un agente por interactuar en el marco de un sistema multi-agente. Aquí también estudiamos operadores de cambio, no sobre creencias (como mencionamos antes), sino sobre orden parcial de credibilidad. Con estos operadores se puede modelar la dinámica de sistemas de confianza y reputación. Por lo tanto, la investigación también se enfocará en la caracterización y desarrollo de operadores de cambio que permitan modelar la dinámica de la confianza y reputación de agentes en un sistema. De esta manera, los agentes podrán actualizar la relación de orden con la cual se representa la reputación de sus pares. Así, estos operadores podrán ser usados para alterar dinámicamente la estructura de la credibilidad de los informantes a fin de reflejar una nueva percepción de la credibilidad de un informante o la llegada de un nuevo agente al sistema. En resumen, se pretende combinar formalismos de revisión de creencias y actualización de conocimiento con técnicas de mantenimiento de confianza y reputación de agentes en un ambiente distribuido para representar la dinámica de órdenes parciales de credibilidad. / Tesis doctoral del Departamento de Ciencias e Ingeniería de la Computación (Universidad Nacional del Sur). Grado alcanzado: Doctor en Ciencias de la Computación. Director de tesis: Alejandro J. García y Marcelo A. Falappa. La tesis, presentada en el año 2010, obtuvo el Premio "Dr. Raúl Gallard" en el 2012.

La presente tesis se orienta a realizar una contribución en el área de metodología para el diseño, desarrollo y evaluación de software. En particular, la metodología que se propone es aplicable al proceso de desarrollo de software educativo, contemplándose en las distintas etapas metodológicas aspectos de naturaleza pedagógica que no son tenidos en cuenta en las metodologías convencionales Debido a la diversidad y multiplicidad de las actividades que se requieren para elaborar el producto de software, la metodología da soporte a un desarrollo tecnológico interdisciplinario, que tiene como pilares a la ciencia informática y a las ciencias de la educación. / The present thesis is guided to carry out a contribution in the area of methodologies for design, development and software evaluation. In particular, the methodology proposed in this work is applicable to the process of educational software development. Pedagogical, aspects are contemplated in the different stages of the proposed methodology. This aspects are not kept in mind in the conventional methodologies. Due to the diversity and multiplicity of the activities that are required to elaborate the software product, the proposed methodology gives support to an interdisciplinary technological development that has basis on the computer science and the education sciences.

Entre los objetivos principales de este trabajo, se pueden mencionar: -Contribuir en la formación del estudiantado sobre Accesibilidad Web promoviendo su participación en el desarrollo de un curso a distancia donde se manifieste un proceso de aprender a través de la enseñanza del tema. -Innovar sobre la práctica docente con nuevos planteamientos didácticos que motiven a los alumnos a abordar una temática de gran impacto social. -Proveer a través del curso a distancia, un espacio para la difusión, sociabilización, comunicación de experiencias, posibilitando la conjugación de habilidades creativas, comunicativas y colaborativas en el proceso formativo.

Este trabajo presenta una propuesta de intervención para incorporar el uso de Tecnologías de la Información y Comunicación (TIC) en la cátedra de Programación 2 de la Carrera de Ingeniería en Computación de la UNLP. El objetivo general es diseñar una propuesta educativa que incorpore la utilización de TIC como estrategia de acompañamiento y permanencia de los estudiantes en la cátedra de Programación 2 para la Carrera de Ingeniería en Computación de la UNLP. Objetivos específicos: • Reflexionar sobre la modalidad de cursada tradicional y la posibilidad de incorporar modalidades innovadoras con utilización de Tecnologías de la Información y Comunicación (TIC). • Proponer una metodología de trabajo en el aula que atienda a la diversidad de los estudiantes brindando un espacio donde se respeten los diferentes ritmos de aprendizaje. Los objetivos de este proyecto tratan de atender el problema de la heterogeneidad de estudiantes que llegan a Programación 2 tendiendo a mejorar las acciones educativas para que los alumnos logren transitar acompañados la asignatura, Esta problematización presenta algunas cuestiones a resolver y poner a consideración. Pensando en los recorridos que deben ser realizados por cada estudiante y atendiendo a la diversidad de cada uno: ¿Se puede encontrar una estrategia que trate de resolver el problema de la permanencia y respetar las individualidades procurando la inclusión?. ¿Los alumnos pueden realmente optar por cada recorrido? ¿La estrategia actual promueve la permanencia de los estudiantes dentro del ámbito universitario? ¿Se están atendiendo todas las diferentes situaciones de los estudiantes? También existe otro contexto que dificulta la posibilidad de acceso al uso de la tecnología adecuada para un futuro graduado de Ingeniería en Computación. Teniendo en cuenta que trabajarán durante su carrera y en su desarrollo profesional con diferentes tecnologías, es importante que desde el inicio los estudiantes puedan tener acceso al trabajo con computadoras para poder contextualizar su aprendizaje.

En el presente trabajo se estudia el algoritmo de cómputo numérico CORDIC y se describen algunas de sus variantes arquitecturales. Para comenzar se realizará una descripción a nivel funcional algorítmica con un alto nivel de abstracción del algoritmo en VHDL, utilizando aritmética en punto flotante proporcionada por el lenguaje. El propósito es validar el funcionamiento de algoritmo mediante el cálculo del seno, del coseno y del arcotangente. Seguidamente se realizará la descripción de dos de las arquitecturas mas comunes (CORDIC bitparalelo desplegado y CORDIC bit-paralelo iterativo) utilizando aritmética de punto fijo como forma de representación numérica. La descripción de las arquitecturas particulares, se llevará a cabo a partir del funcionamiento correcto de la descripción funcional algorítmica. Otro aspecto interesante es la modificación de los parámetros principales que afectan a las arquitecturas, ancho de palabra y número de iteraciones. Para verificar el funcionamiento de las descripciones, se utilizarán como referencia a las funciones seno, coseno y arcotangente. La validación se llevará a cabo utilizando MATLAB<SUP>TM</SUP> como herramienta de comparación.