Catálogo de publicaciones

La presente tesis es un proyecto de desarrollo tecnológico que asume como tema principal las metodologías o estrategias de enseñanza que construyen los docentes de las escuelas media de Neuquén. Las metodologías o estrategias de enseñanza que se toman en cuenta para este proyecto deben incluir herramientas informáticas. En consecuencia se propone una secuencia, una guía, para diseñar una base de casos que memorice las narraciones de las metodologías o estrategias que desarrollan los docentes cuando deben enseñar contenidos utilizando herramientas informáticas, para luego, ser recuperados y re significados por otros docentes para una nueva propuesta de enseñanza, esta propuesta luego de ser puesta en juego en el aula, se vuelve a memorizar para una recuperación posterior. La secuencia comienza con la recuperación de casos de enseñanza (métodos o estrategias de enseñanza) provistos por los docentes; el paso siguiente es la construcción de una ontología a partir de los casos de enseñanza y de otras fuentes bibliográficas; luego se utiliza algunos principios de la teoría CBR (Cases Based Reasonig) para modelar la interacción de la base de casos con los usuarios, los docentes; por último, para ejemplificar el uso de la secuencia propuesta, se recurre a un software denominado sistema IRS (Information Retrieval System) que soportará el diseño de la base de casos. De la base de casos se recuperan aquellos casos de mayor similitud aun caso dado utilizando como expresión de búsqueda un problema de enseñanza. La secuencia propuesta potencialmente es útil cuando se necesitan algunas directrices que ayuden a diseñar una base de casos; mejorar la calidad de las búsquedas para casos similares a uno dado en la base de casos; establecer criterios razonables de interacción entre los docentes y la base de casos utilizando los principios del razonamiento basado en casos; ayudar a fijar consenso en el uso de la terminología informática; y, finalmente, como recurso para diseñar estrategias que ayuden a la formación de los docentes que quieren utilizar las tecnologías informáticas en la enseñanza.

El incesante desarrollo tecnológico en la industria del silicio y la necesidad de cumplir con tiempos de mercado competitivos han llevado al desarrollo de nuevas técnicas de diseño y verificación funcional. En este trabajo de tesis se presentan diferentes aportes a la verificación funcional moderna partiendo de casos de estudio reales y en donde se plantean diversos problemas a resolver. El trabajo se divide implícitamente en dos partes: La primera, se enfoca en realizar aportes a la verificación funcional proponiendo métodos para generación de entradas, chequeo de salidas y evaluación de cobertura funcional en diseños. En particular, se considera como caso de estudio la verificación funcional de unidades aritméticas sustentándose en la utilización y desarrollo de los frameworks para verificación funcional OVM y Teal and Truss. Del análisis y desarrollo se obtiene un conjunto de reglas para la generación aleatoria de casos de prueba para la verificación de unidades de punto flotante. Además, se realiza la evaluación de, no solo el comportamiento de los frameworks propuestos, sino también se analizan parámetros de calidad como su usabilidad, extensibilidad y nivel de abstracción. Como aporte se describen los pasos para diseñar e implementar monitores de verificación aplicables a diversos dominios. El monitor presentado, no sólo realiza el chequeo de resultados comparados con modelos de referencia, sino que además realiza el análisis de cobertura considerando los casos ejercitados. En la evaluación de los frameworks se verifican dos diseños diferentes de unidades aritméticas donde al menos se detectan dos errores en casos no considerados por parte del diseñador. La segunda parte del trabajo propone un nuevo enfoque para la verificación funcional. El enfoque propuesto parte del hecho que las pruebas orientadas a la verificación deben realizarse indefectiblemente en todo proyecto y propone preparar a los entornos de verificación de manera tal que sus resultados sean de utilidad para el diseñador. Como caso de estudio se presenta la verificación de un modelo digital de un convertidor de potencia para emulación HIL (Hardware in the Loop). En particular, se hace énfasis en la aceleración obtenida al utilizar las técnicas de HIL en la verificación de diseños analógicos-digitales. Continuando con la línea de aritmética presentada en la primera sección, primero se compara el comportamiento de un modelo que utiliza punto fijo para la representación de variables de estado con otro que utiliza representación en punto flotante. La evaluación se realiza considerando diversos escenarios representativos y reales donde se aplicaría el convertidor. Luego de comprobar la funcionalidad del convertidor utilizando técnicas descritas en la primer parte de la tesis, se utilizan los resultados recopilados para el análisis de resolución de dos variables de estados en el modelo de convertidor de punto fijo. La motivación principal de este análisis es que partiendo de resoluciones ´optimas es posible obtener modelos que minimizan el ´área ocupada en el diseño final y la máxima velocidad de reloj del circuito. A partir de los resultados obtenidos, el diseñador puede apreciar que el aumento de resolución a partir de cierto umbral solo incrementa el área utilizada y reduce la frecuencia de reloj sin obtener mejoras significativas en la precisión. Para el caso de estudio evaluado, es posible apreciar que existe un pequeño intervalo de resolución crítico de las variables de estado donde los errores se reducen drásticamente a cero, sin reducción de la performance o aumentar el consumo de área. Si bien en este trabajo, los resultados completos de las pruebas se presentan en un apéndice, el enfoque propuesto resume un gran volumen de información en gráficas de rápida interpretación por parte del diseñador.

Se ha considerado a este trabajo como un aporte al establecimiento de una red global de sensores donde los humanos (agentes inteligentes), y computadoras potentes interactúan con redes piloto de sensores inalámbricos, distinguiendo en la red global 3 subdominios: • Una red superior existente, donde los distintos nodos ejecutan las aplicaciones en potentes computadoras que pueden interconectarse vía Internet u otras redes globales. • Los dispositivos sensores que forman una red piloto y se comunican entre sí por medio inalámbrico. • Un portal de servidores, formado por nodos que controlan las redes piloto, y permiten la interacción entre los nodos de la red superior y los dispositivos de la WSN. Los temas a desarrollar en esta tesis son: •Modelado y simulación: La simulación es utilizada para evaluar sistemas desarrollados y a implementar en redes reales. La utilidad de los datos obtenidos depende puramente del realismo y la precisión de los modelos a implementar. Fundamentalmente se avanzan con simulaciones que simplifican la instalación de las WSNs. •Entorno de desarrollo de aplicaciones: Necesario para la corrida de las simulaciones como también desarrollo de las aplicaciones a ser instaladas en los nodos físicos existentes. •Alternativa de soporte de las WSN: la preexistencia de situaciones donde la prestación de servicios de transmisión de datos es sumamente ineficiente y provisto por una empresa de manera monopólica. Ciertas veces el servicio es inexistente en la locación del proyecto. Por ello se avanzó en la búsqueda de un soporte a la red de WSN no basada en la Red Digital Soporte de la prestadora en la región de desarrollo del trabajo.