Optimización telémetro láser

Durante el año 1995 se encaró el proyecto "Telémetro Láser aplicable a robótica" en el ámbito de la Universidad Tecnológica Nacional-Facultad Regional Córdoba. Este proyecto pretendía demostrar la factibilidad de utilizar fuentes láser y dispositivos de acoplamiento de carga (CCD) lineales para realizar mediciones de distancia por triangulación óptica. De acuerdo a lo propuesto, este prototipo está constituido por un "iluminador" láser (láser de HeNe), un sistema óptico (cámara fotográfica); el sistema detector consiste en un CCD controlado por un microcontrolador. Las salidas son un display donde se lee la distancia y una salida adicional vía RS 232. Luego de haber concretado el desarrollo del prototipo donde se demuestra la factibilidad del proyecto y del funcionamiento del telémetro láser, la presente propuesta consiste en realizar una optimización del mismo donde se desarrollarán y aplicarán nuevas tecnologías, a los efectos de concretar un telémetro láser aplicable a robótica. Objetivos Específicos En el presente proyecto se propone un medidor de distancias láser compacto que permita medir distancias entre unos centímetros y algunos metros. En particular, se pretende incorporarlo al proyecto "Plataforma autoguiada" presentado por el Grupo GIII de la UTN, como un sensor adicional ya que la medición exacta y confiable de la distancia es esencial para el desplazamiento inteligente del mismo. El dispositivo permitirá además otras aplicaciones aparte de la robótica. Fundamentalmente, en aquellas donde se deseen medir distancias pequeñas, sin contacto y con precisión. Se prevé una posible aplicación para la industria como "calibres sin contacto".

Métodos para el análisis de programas probabilistas y no-deterministas utilizando probadores de teoremas. Methods for the analysis of probabilistic and nondeterministic programs using theorem provers.

La verificación y el análisis de programas con características probabilistas es una tarea necesaria del quehacer científico y tecnológico actual. El éxito y su posterior masificación de las implementaciones de protocolos de comunicación a nivel hardware y soluciones probabilistas a problemas distribuidos hacen más que interesante el uso de agentes estocásticos como elementos de programación. En muchos de estos casos el uso de agentes aleatorios produce soluciones mejores y más eficientes; en otros proveen soluciones donde es imposible encontrarlas por métodos tradicionales. Estos algoritmos se encuentran generalmente embebidos en múltiples mecanismos de hardware, por lo que un error en los mismos puede llegar a producir una multiplicación no deseada de sus efectos nocivos.Actualmente el mayor esfuerzo en el análisis de programas probabilísticos se lleva a cabo en el estudio y desarrollo de herramientas denominadas chequeadores de modelos probabilísticos. Las mismas, dado un modelo finito del sistema estocástico, obtienen de forma automática varias medidas de performance del mismo. Aunque esto puede ser bastante útil a la hora de verificar programas, para sistemas de uso general se hace necesario poder chequear especificaciones más completas que hacen a la corrección del algoritmo. Incluso sería interesante poder obtener automáticamente las propiedades del sistema, en forma de invariantes y contraejemplos.En este proyecto se pretende abordar el problema de análisis estático de programas probabilísticos mediante el uso de herramientas deductivas como probadores de teoremas y SMT solvers. Las mismas han mostrado su madurez y eficacia en atacar problemas de la programación tradicional. Con el fin de no perder automaticidad en los métodos, trabajaremos dentro del marco de "Interpretación Abstracta" el cual nos brinda un delineamiento para nuestro desarrollo teórico. Al mismo tiempo pondremos en práctica estos fundamentos mediante implementaciones concretas que utilicen aquellas herramientas.

Desarrollo de un test de detección temprana de trastornos de aprendizaje- test de velocidad de denominación.

La evaluación de la velocidad de denominación permite la identificación temprana de niños en riesgo de desarrollar dislexia. Por lo tanto es importante contar con un test de velocidad de denominación que sea adecuadamente diseñado para nuestro contexto cultural. Debido a que las pruebas de denominación creadas en otros contextos culturales no funcionan adecuadamente al aplicarse transculturalmente, es que se propone construir el Test de Velocidad de Denominación. Éste es un test neuropsicológico para evaluar la velocidad de denominación (implica cronometrar el tiempo necesario para la producción de los nombres correctos de figuras que se le presentan al individuo). Se diseñarán las láminas y se realizará un estudio piloto para determinar las figuras más adecuadas a incluir. Luego se realizará un estudio de validez del test. Para completar ambos estudios se propone administrar alrededor de cincuenta tests a niños en edad pre-escolar (cuatro y cinco años) para el estudio de diseño de las láminas; y a alrededor de cien niños de primer a tercer grado se les administrará el Test de Velocidad de Denominación y dos subtests de la batería de lectura LEE, para el estudio de validez.