Bienestar Animal: Desarrollo de un Manual de Buenas Prácticas Pecuarias (BPP) para los sistemas de producción bovina de carne de base pastoril

El objetivo del presente proyecto es evaluar las distintas causales de estrés en el bovino de abasto y, por ende, desarrollar un Manual ilustrado de Buenas Prácticas Pecuarias (BPP), referente al bienestar animal, para los establecimientos de producción bovina de carne de base pastoril que resulte de fácil transferencia y aplicación en nuestro sector productivo ganadero con la finalidad de minimizar, a través de la implementación del mismo, el impacto negativo que el inadecuado manejo de los animales en el campo, durante el transporte y en los corrales del frigorífico, tiene sobre los parámetros productivos y la calidad de la res y de la carne. Para ello se proponen realizar las siguientes actividades: 1. Determinar las principales causas de estrés en bovinos para faena que causan pérdidas cuantitativas y cualitativas en la res y la carne (carnes de corte oscuro o DFD, golpes o manchas verdes). 2. Visitar establecimientos productores de carne vacuna para la recopilación de información y de fotografías necesarias para la confección del Manual ilustrado de Buenas Prácticas Pecuarias (BPP) referido al bienestar del animal. 3. Diagramación y edición del Manual.

Manual de procedimientos para el cálculo de lluvias de diseño. Escala provincial y nacional

El diseño hidrológico se define como la evaluación del impacto de los procesos hidrológicos y la estimación de los valores correspondientes a las variables representativas con fines de diseño. Las pautas para establecer un valor de diseño para obras hidráulicas son el costo y la seguridad. Sobredimensionar las obras es antieconómico, en tanto que, si las estructuras se subdimensionan pueden fallar con resultados catastróficos. Los estudios dirigidos a determinar las crecidas de proyecto de diversas estructuras hidráulicas requieren series de datos históricos de caudal, pero esta información en nuestro país es poco frecuente. En esos casos, el análisis se hace sobre las precipitaciones causantes del fenómeno denominadas lluvia de diseño. El equipo responsable de este proyecto tiene una experiencia de investigación y desarrollo de más de 15 años en el tema. Por lo que el objeto de la presente propuesta es plasmar los avances alcanzados sobre las lluvias de diseño en un manual que permita brindar una herramienta técnica (a escala provincial y nacional) a los profesionales dedicados a la planificación, proyecto y construcción de obras hidráulicas

Técnicas Experimentales para Caracterizar Flujos Complejos. Experimental techniques for complex flows characterization.

En ambientes fluviales, la interacción del flujo con la geometría del cauce y con los sedimentos del lecho define una dinámica turbulenta compleja en permanente evolución. El nivel de complejidad del flujo aumenta ante la presencia de estructuras hidráulicas (pilas de puentes, protecciones contra erosión, etc.). La mayoría de los ríos, o canales naturales, presentan confluencias y bifurcaciones, en donde se genera una convergencia (o divergencia) del flujo con el resultado de un ambiente hidrodinámico complejo en la cercanía de las uniones (Kenworthy y Rhoads 1995). Bajo estas condiciones no es posible extrapolar las soluciones tradicionales básicas de las ecuaciones de gobierno desarrolladas para canales rectos y uniformes. Algunas investigaciones experimentales realizadas en estos sistemas son las de Best (1988), Rhoads y Sukhodolov (2001), Richardson et al. (1996); Richardson y Thorne (1998, 2001); Parsons et al. (2004); Szupiany et al. (2005).Por otro lado, la zona costera en ambientes marítimos se caracteriza por la existencia de diversos procesos dinámicos, entre los que se destacan la acción de olas, corrientes, interacción olas-corrientes, transporte de sedimentos y cambios batimétricos. Estos se manifiestan en una alteración morfodinámica de la playa generando superficies potenciales de erosión. Así, el diseño de las protecciones costeras (ya sean continuas, como escolleras o muros verticales; o discontinuas como espigones o diques externos) sometidas al clima marítimo bajo distintas condiciones de olas y mareas, alteran los patrones de circulación y de transporte afectando la morfodinámica en su zona de influencia y plantean, por ejemplo, la necesidad de ajustes de los coeficientes de estabilidad y pesos de los bloques de roca de las escolleras. Los problemas generados, son especialmente complejos ya que deben considerarse para su estudio, los niveles de turbulencia, la transmisión del oleaje sobre o a través de la estructura, difracción alrededor de la misma, refracción y shoaling sobre un fondo dinámico, reflexión en la estructura, etc. (Alsina et al., 2007) Revisiones bibliográficas previas muestran que, en ambos ambientes (fluvial y marítimo), es necesario optimizar las técnicas experimentales existentes para que ellas permitan caracterizar con precisión los flujos turbulentos complejos presentes. El objetivo general propuesto en esta investigación es contribuir a mejorar el conocimiento de los procesos hidrodinámicos de flujos turbulentos naturales con y sin la presencia de estructuras hidráulicas que den lugar a formaciones complejas (3D). Para alcanzar este objetivo se propone realizar una recopilación de antecedentes y un análisis crítico detallado de los equipos de ultima generación para mediciones de flujo con alta frecuencia y resolución disponibles en el Laboratorio de Hidráulica (LH) de la Universidad Nacional de Córdoba (UNC): ADV 3D (Acoustic Doppler Velocimeter de Sontek) y laser PIV 2D (Particle Image Velocimeter de Dantec). A estos equipamientos se le agrega un moderno equipo de generación bidimensional de oleaje con absorción dinámica (adquiridos a HR Ltd. en 2007 por el CAI 085 del FONTAR). Finalmente se prevé utilizar este equipamiento durante el desarrollo de experimentos y mediciones los cuales se realizarán sobre modelos físicos fluviales y costeros diseñados y construidos con y sin estructuras que interactúen con flujo turbulentos complejos. Los resultados obtenidos en este proyecto permitirá alcanzar una mejor comprensión de los procesos hidrodinámicos de los flujos turbulentos complejos, lo cual es necesario y de gran utilidad para realizar un manejo apropiado de los ambientes fluviales y marítimos, teniendo como campo directo de aplicación el correcto diseño de estructuras hidráulicas, asistiendo a la toma de medidas correctivas en sistemas naturales sometidos a procesos erosivos o de sedimentación, y contribuyendo de esta forma al manejo ambientalmente sustentable de los recursos.

Manual de procedimientos para el cálculo de lluvias de diseño – (escala provincial y nacional).

El diseño hidrológico se define como la evaluación del impacto de los procesos hidrológicos y la estimación de los valores correspondientes a las variables representativas con fines de diseño. Las pautas para establecer un valor de diseño para obras hidráulicas son el costo y la seguridad. Sobredimensionar las obras es antieconómico, en tanto que, si las estructuras se subdimensionan pueden fallar con resultados catastróficos. Los estudios dirigidos a determinar las crecidas de proyecto de diversas estructuras hidráulicas requieren series de datos históricos de caudal, pero esta información en nuestro país es poco frecuente. En esos casos, el análisis se hace sobre las precipitaciones causantes del fenómeno denominadas lluvia de diseño. El equipo responsable de este proyecto tiene una experiencia de investigación y desarrollo de más de 15 años en el tema. Por lo que el objeto de la presente propuesta es plasmar los avances alcanzados sobre las lluvias de diseño en un manual que permita brindar una herramienta técnica (a escala provincial y nacional) a los profesionales dedicados a la planificación, proyecto y construcción de obras hidráulicas.

Sistemas de Tipos para Verificación de Programas Concurrentes. Type Systems for Concurrent Programs Verification.

La programación concurrente es una tarea difícil aún para los más experimentados programadores. Las investigaciones en concurrencia han dado como resultado una gran cantidad de mecanismos y herramientas para resolver problemas de condiciones de carrera de datos y deadlocks, problemas que surgen por el mal uso de los mecanismos de sincronización. La verificación de propiedades interesantes de programas concurrentes presenta dificultades extras a los programas secuenciales debido al no-determinismo de su ejecución, lo cual resulta en una explosión en el número de posibles estados de programa, haciendo casi imposible un tratamiento manual o aún con la ayuda de computadoras. Algunos enfoques se basan en la creación de lenguajes de programación con construcciones con un alto nivel de abstración para expresar concurrencia y sincronización. Otros enfoques tratan de desarrollar técnicas y métodos de razonamiento para demostrar propiedades, algunos usan demostradores de teoremas generales, model-checking o algortimos específicos sobre un determinado sistema de tipos. Los enfoques basados en análisis estático liviano utilizan técnicas como interpretación abstracta para detectar ciertos tipos de errores, de una manera conservativa. Estas técnicas generalmente escalan lo suficiente para aplicarse en grandes proyectos de software pero los tipos de errores que pueden detectar es limitada. Algunas propiedades interesantes están relacionadas a condiciones de carrera y deadlocks, mientras que otros están interesados en problemas relacionados con la seguridad de los sistemas, como confidencialidad e integridad de datos. Los principales objetivos de esta propuesta es identificar algunas propiedades de interés a verificar en sistemas concurrentes y desarrollar técnicas y herramientas para realizar la verificación en forma automática. Para lograr estos objetivos, se pondrá énfasis en el estudio y desarrollo de sistemas de tipos como tipos dependientes, sistema de tipos y efectos, y tipos de efectos sensibles al flujo de datos y control. Estos sistemas de tipos se aplicarán a algunos modelos de programación concurrente como por ejemplo, en Simple Concurrent Object-Oriented Programming (SCOOP) y Java. Además se abordarán propiedades de seguridad usando sistemas de tipos específicos. Concurrent programming has remained a dificult task even for very experienced programmers. Concurrency research has provided a rich set of tools and mechanisms for dealing with data races and deadlocks that arise of incorrect use of synchronization. Verification of most interesting properties of concurrent programs is a very dificult task due to intrinsic non-deterministic nature of concurrency, resulting in a state explosion which make it almost imposible to be manually treat and it is a serious challenge to do that even with help of computers. Some approaches attempts create programming languages with higher levels of abstraction for expressing concurrency and synchronization. Other approaches try to develop reasoning methods to prove properties, either using general theorem provers, model-checking or specific algorithms on some type systems. The light-weight static analysis approach apply techniques like abstract interpretation to find certain kind of bugs in a conservative way. This techniques scale well to be applied in large software projects but the kind of bugs they may find are limited. Some interesting properties are related to data races and deadlocks, while others are interested in some security problems like confidentiality and integrity of data. The main goals of this proposal is to identify some interesting properties to verify in concurrent systems and develop techniques and tools to do full automatic verification. The main approach will be the application of type systems, as dependent types, type and effect systems, and flow-efect types. Those type systems will be applied to some models for concurrent programming as Simple Concurrent Object-Oriented Programming (SCOOP) and Java. Other goals include the analysis of security properties also using specific type systems.