Ciclo de capacitación sobre el monitoreo hormonal no invasivo como herramienta para evaluar procesos reproductivos y respuestas de estrés en fauna silvestre.

Los objetivos del Jardín Zoológico de Córdoba son, (en correlación a lo planteado en la Estrategia Global para la Conservación en los Zoológicos modernos, 1993): la educación de sus visitantes, la investigación de aspectos relacionados con la fauna y flora autóctona y la conservación de la naturaleza y sus recursos y finalmente la recreación de quienes vienen a este lugar. En la actualidad, existen programas y campañas enfocadas a educar a los visitantes sobre el respeto y protección del ambiente, como así también equipos multidisciplinarios encargados de cuidar la salud, nutrición y reproducción de las especies dentro del Zoológico. Esto último se logra gracias a programas de investigación que se realizan en conjunto con otras instituciones, contribuyendo directamente a incrementar el conocimiento. Dentro de estos programas de investigación se destaca el monitoreo hormonal no invasivo en fauna silvestre, considerado como una herramienta precisa para evaluar la respuesta de estrés en fauna en condiciones tanto in situ como ex situ. El análisis hormonal de metabolitos esteroideos para evaluar la función reproductiva y las respuestas de estrés en aves y en mamíferos está convirtiéndose en una estrategia común en el campo de la zoología. Los avances científicos en la temática aportan información relevante para las ciencias del comportamiento, de la fisiología reproductiva y del estrés, cuyos datos analizados son útiles para la toma de decisiones de manejo de animales en condiciones in situ como ex situ. En Córdoba, Argentina, a través de un proyecto de monitoreo hormonal no invasivo en fauna silvestre, se formalizó durante el 2011 por primera vez un convenio marco (expediente aprobado 1739/11-CONICET central) entre el Jardín Zoológico de Córdoba y el CONICET, que tiene por objeto establecer vínculos de cooperación científica y tecnológica durante 5 años. Hasta el momento se realizaron diferentes investigaciones científicas conjuntamente a la formación de recursos humanos a nivel de grado y posgrado, cuyos productos puedan constituir una base de datos para mejorar el diagnostico y el manejo de fauna silvestre. En 2011, se determinaron los efectos del enriquecimiento ambiental con énfasis en la modificación de la dieta sobre la actividad adrenocortical y el comportamiento de osos meleros (Tamandua tetradactyla); en el 2012, se comenzó con la validación del monitoreo hormonal no invasivo de respuestas de estrés de la mara (Dolichotis patagonum); y en el 2013 se está trabajando en la evaluación de la respuesta de estrés al transporte en el manejo de osos hormigueros (Myrmecophaga tridactyla) durante la reintroducción a su ambiente natural. Estas tareas se realizan en colaboración con especialistas de la UNC-CONICET, de la Universidad de Medicina Veterinaria (Viena, Austria) y del Instituto de Biología de la Conservación del Smithsonian (Front Royal, Estados Unidos). Dada la larga trayectoria de trabajo en conjunto mencionada, es que surge la inquietud de concretar de manera formal, práctica y colaborativa la difusión de los resultados obtenidos. De esta forma, se elabora el presente proyecto de transferencia establecido en conjunto con el IIByT /CONICET-UNC (personal del Instituto de Ciencia y Tecnología de los alimentos); que pretende no sólo llegar a otros científicos, zoólogos e interesados en el monitoreo hormonal no invasivo, sino tambien al personal del Zoológico. Esto incluye a cuidadores, veterinarios y biólogos, con el fin de informar y fomentar el bienestar animal y estandarizar protocolos de trabajos para la aplicación del monitoreo hormonal no invasivo.

Desarrollo Riguroso de Sistemas Tolerantes a Fallas

Los sistemas críticos son aquellos utilizados en áreas en las cuales las fallas, o los eventos inesperados, pueden ocasionar grandes perdidas de dinero; o quizás peor aún, daños a vidas humanas. Esta clase de sistemas juegan un rol importante en actividades esenciales de la sociedad tales como la medicina y las comunicaciones. Los sistemas críticos, cada vez son más usuales en la vida real, algunos ejemplos de estos son los sistemas de aviones, sistemas para automóviles y sistemas utilizados en telefonia móvil. Para minimizar las fallas, y las perdidas materiales o humanas ocasionadas por el funcionamiento incorrecto de dichos sistemas, se utilizan técnicas de tolerancia a fallas. Estas técnicas permiten que los sistemas continúen funcionando aún bajo la ocurrencia de fallas, o eventos inesperados. Existen diversas técnicas para lograr tolerancia a fallas utilizando, por ejemplo, redundancia a diferentes niveles de abstracción, como, por ejemplo, al nivel de hardware. Sin embargo, estas técnicas dependen fuertemente del sistema, y del contexto en las que se utilizan. Más aún, la mayoría de la técnicas de tolerancia a fallas son usadas a bajo nivel (código fuente o hardware), estimamos que el uso de formalismos rigurosos (con fundamentos matemáticos) pueden llevar al diseño de sistemas tolerantes a fallas y robustos a un nivel de abstracción más alto, a la vez que la utilización de técnicas de verificación que han sido exitosas en la práctica tales como model checking, o la síntesis de controladores, pueden llevar a una verificación y producción automática de sistemas robustos. El objetivo del presente proyecto es estudiar tanto marcos teóricos, que permitan la construcción de sistemas más robustos, como también herramientas automáticas que hagan posible la utilización de estos formalismos en escenarios complejos. Para lograr estos objetivos, será necesario considerar casos de estudios de diferente complejidad, y además que sean relevantes en la práctica. Por ejemplo: bombas de insulina, protocolos de comunicación, sistemas de vuelo y sistemas utilizados con fines médicos. Planeamos obtener prototipos de algunos de estos casos de estudio para evaluar los marcos teóricos propuestos. En los últimos años diferentes formalismos han sido utilizados para razonar sobre sistemas tolerantes a fallas de una forma rigurosa, sin embargo, la mayoría de estos son ad hoc, por lo cual sólo son aplicables a contextos específicos. Planeamos utilizar ciertas lógicas modales, en conjunto con nociones probabilísticas, para obtener un conjunto de herramientas suficientemente generales para que puedan ser utilizadas en diferentes contextos y aplicaciones. Los materiales a utilizar son equipos informáticos, en particular computadoras portátiles para el equipo de trabajo y computadoras más potentes para el testeo y desarrollo del software necesario para lograr los objetivos del proyecto. Para construir los prototipos mencionados se utilizarán equipos de computación estándar (el equipo investigación cuenta con computadoras intel y mac) en conjunto con lenguajes de programación modernos como JAVA o C#. En el caso de que los sistemas de software sean sistemas embebidos; se piensa desarrollar un motor de simulación que permita evaluar el desempeño del software cuando es ejecutado en el dispositivo mencionado. Se espera desarrollar, e investigar, las propiedades de formalismos matemáticos que permitan el desarrollo de sistemas tolerantes a fallas. Además, se desarrollarán herramientas de software para que estos sistemas tolerantes a fallas puedan verificarse, o obtenerse automáticamente. Los resultados obtenidos serán difundidos por medio de publicaciones en revistas del área. El desarrollo de sistemas tolerantes a fallas por medio de técnicas rigurosas, a diferentes niveles de abstracción (captura de requisitos, diseño, implementación y validación), permitirá minimizar los riesgos inherentes en actividades críticas.