La oficina del siglo XX. Oficina, Organización, Corporativo, Implantación, Equipamiento

La organización del trabajo dispone de herramientas que han sido ensayadas durante el siglo pasado y que muestran el engranaje de su funcionamiento y su resultado.

Análise da logística nos portos de Moçambique e seu Hinterland

Dissertação apresentada ao Instituto Superior de Contabilidade e Administração do Porto para obtenção do Grau de Mestre em Logística Orientada por Maria Teresa Ribeiro Pereira

Influencia de variables de cultura, estructura y redes de conversaciones organizacionales sobre el logro de resultados en procesos de cambio de Pymes de Córdoba

Nos proponemos describir, desde las perspectivas de cultura, estructura y redes de conversaciones organizacionales, la influencia que tienen la competencia comunicativa, el equipo de comunicación, la coherencia interna de la configuración estructural, el tipo de liderazgo, los valores y las presunciones básicas, sobre los procesos de cambio desarrollados en Pymes de Córdoba y con ello sobre el logro de los resultados esperados. El tipo de investigación propuesto es descriptiva en una primera instancia, con la posibilidad (depende de la factibilidad determinada oportunamente) de análisis correlacionales. El objeto de estudio son PYMES de Córdoba que hayan desarrollado algún proceso de cambio (organizacional, tecnológico, de equipamiento, etc.) en los últimos tres años. El muestreo será de tipo no probabilístico. Para selección de empresas, la técnica a aplicar será por conveniencia y, luego, para seleccionar los directivos y operarios se aplicará el muestreo por cuotas. El diseño de investigación que se aplicará es no experimental, transversal. Siguiendo metodológicamente a T. Kinnear y J. Taylor, el método de recolección de datos será la comunicación (basado en la interrogación de los miembros de la muestra seleccionada para el estudio) y la técnica que se aplicará será la administración de cuestionarios semi-estructurados, complementados con entrevistas semi-directivas.

Aplicación de tecnología en granjas avícolas para la seguridad en la producción

El proyecto tiene por objetivo la aplicación de Tecnología en informáticas, electrónica y telecomunicaciones en Granjas Avícolas. En la actualidad las granjas cuentan con sistemas automáticos, que controlan la cantidad de alimento, la temperatura, y algunos otros parámetros que permiten el funcionamiento de las mismas. Pero no poseen un sistema integral que permita un control que optimice su funcionamiento, quedando el mismo a la pericia del encargado o del Granjero. Se ha constatado que en ciertas condiciones, debido a problemas no percibidos por los encargados, se produjeron muertes de pollos en cantidades importantes, por ejemplo la elevada temperatura en verano o la baja temperatura en invierno. Las granjas avícolas son muy sensibles a los cambios de temperatura y humedad. En general las condiciones ambientales incorrectas afectan a la producción. El desarrollo de sistemas informáticos y equipos que logren crear un clima controlado permitirá conseguir resultados óptimos en la producción. El proyecto plantea la aplicación de TIC, (Tecnologías en Informática y Comunicaciones) en particular las inalámbricas y el uso de Internet, para que las granjas puedan ser visualizadas y supervisadas simultáneamente por varias personas (propietarios, veterinarios, nutricionistas, etc.). La información estaría centralizada y se replicaría en distintos puntos, permitiendo responder ante eventos que puedan comprometer parcial o totalmente la producción. Además se pretende modelizar informativamente el sistema de crianza para poder simular eventos, estudiar las alternativas a ejecutar y garantizar la trazabilidad del ave desde que ingresa a la granja en su categoría pollito hasta que sale con destino al mercado. La flexibilidad de la tecnología a implementar permitirá ajustar el proceso de crianza de acuerdo con los requerimientos ambientales y nutricionales del pollo en las distintas etapas del crecimiento. La tecnología propuesta no pretende reemplazar al equipamiento instalado actualmente en las granjas, sino complementarlo, logrando de esta manera mejor eficiencia y mayor seguridad

El centro de interpretación del paisaje natural, histórico y cultural del norte cordobés, sede Ischilín, como un instrumento para el desarrollo regional: la planificación estratégica de la localidad de Ischilín como un modelo estructurante microregional

El proyecto cierra una investigación tendiente a sustentar una intervención de Diseño Territorial que rescatase en su proceso al patrimonio cultural y paisajístico natural, configurándolo como un instrumento para su desarrollo humano sustentable, ordenamiento y resignificación de área de planificación, acentuando la identidad local y promoviendo un turismo de valores culturales y sociales. La primer etapa de la investigación SIP1 (2002-2003), desarrolló estos contenidos como una Planificación Estratégica General de la Región Norte de Córdoba con una escala de aproximación de gran extensión. La segunda etapa SIP2 (2004-2006) se centró en la planificación de un área testigo de escala media de aproximación donde se validasen las hipótesis propuestas para la protección ambiental, conservación del patrimonio natural y cultural, uso sustentable turístico del territorio y configuración de oportunidades de desarrollo humano con alta calidad de vida. La tercer etapa, la actual, SIP3 (2007 – 2008) en una escala de aproximación muy cercana y particularizada, consiste en la fundamentación de una legislación necesaria y común para todos los asentamientos urbanos del área, presentando al Poblado de Ischilín como modelo de una pieza componente síntesis y generadora del Parque Regional Paisajístico Cultural y de servicios para el Desarrollo Social de la Región Norte de Córdoba, propuesto en la primer etapa de la investigación. Sus elementos componentes considerados son: •Teselas microterritoriales repropuestas. •Tejido conectivo de protección, desarrollado y de reconstrucción ambiental •Sistema de corredores de vinculación entre teselas y regiones •Áreas especiales de revalorización o innovación paisajística •Nodos de intercambio y de localización del equipamiento cultural y para el desarrollo personal y social: el Centro, Áreas y Sendas de Interpretación.

Parámetros magnéticos y estructura molecular

Los estudios realizados a través de este proyecto pretenden abarcar dos aspectos fundamentales en la Física Experimental y Teórica, los cuales son: a) Realizar estudios en investigación básica, orientados a acrecentar el conocimiento en ramas de la Física Molecular, utilizando la técnica de Resonancia Magnética Nuclear (RMN). Para ello se obtienen e interpretan los parámetros magnéticos moleculares característicos y se desarrollan e implementan métodos de cálculo de gran potencia y tiempo de cómputo a fin de correlacionar los estudios de tales parámetros con la estructura geométrica y electrónica molecular y/o con las diversas interacciones moleculares que se puedan presentar. b) Presentar y desarrollar tecnología adicional que permita aplicaciones de la RMN a otras líneas de estudio y también la consolidación de la infraestructura experimental existente en la Universidad Nacional de Río Cuarto. Objetivos generales y específicos: Se plantea como objetivo global, el acrecentar el conocimiento de un conjunto de propiedades moleculares, estudiando una familia de compuestos orgánicos mediante la técnica de la RMN de alta resolución y el empleo de métodos de cálculo tipo ab-initio. (...) Se mencionan a continuación los objetivos específicos más importantes a alcanzar: * Proponer modelos y leyes empíricas que describan el comportamiento de los parámetros magnéticos pertenecientes a familias de compuestos orgánicos heterocíclicos en relación a su estructura electrónica y conformacional. * Compatibilizar los estudios empíricos con resultados teóricos. * Desarrollar nuevos métodos de cálculo a fin de obtener una función de onda que mejor aproxime lo anterior. * Orientar parte del trabajo experimental a diversas aplicaciones de la RMN, adaptando el equipamiento existente a otras técnicas y/o adquiriendo equipamiento para tal fin.

Investigación básica y aplicada, y desarrollos empleando la Resonancia Magnética Nuclear

La Resonancia Magnética Nuclear (RMN) es una técnica experimental de gran utilidad y de amplia aplicación a un variado campo de investigación multidisciplinario. En particular la RMN en sólidos requiere de la disponibilidad de un complejo equipamiento que contempla sofisticados accesorios experimentales. Sin embargo, se compensa el gasto que involucra la compra de equipamiento con el amplio número de usuarios del mismo. Este PIT refleja la necesidad de un equipo permanente que tienen los distintos investigadores que forman parte de este proyecto. Las tareas de investigación se desarrollarán en el Laboratorio de Investigación y Servicios de Resonancia Magnética Nuclear (LANAIS de RMN) de la Facultad de Matemática, Astronomía y Física (FAMAF) de la UNC. La adquisición del equipamiento permanente solicitado es de fundamental importancia para la concreción de los planes de investigación como también a la formación de recursos humanos a nivel de doctorado en Física. El Objetivo General de este PIT es el de contribuir de una forma centralizada al mantenimiento del equipamiento con que cuenta este LANAIS de RMN, a incorporar mejoras que sean necesarias y a adquirir accesorios que incrementen sus posibilidades, que sean de uso y utilidad general a los proyectos antes mencionados y que permitan realizar nuevos experimentos, no factibles actualmente. El Objetivo Específico a lograr en estos tres años es el de incorporar y desarrollar la capacidad de realizar estudios de alta resolución de líquidos, debiéndose adquirir un cabezal de banda ancha que cubra el rango de frecuencias desde Ag-109 hasta P-31 (15-120 MHz), para portamuestras de 10 mm de diámetro y con capacidad para variar la temperatura alrededor de la temperatura ambiente. Este cabezal tiene uso inmediato en los siguientes proyectos: * Estudio de polimorfismos y estructuración del agua en polímeros. * Propiedades estructurales y dinámicas de organizaciones supramoleculares de interés biológico. * Estudios por Resonancia Magnética Nuclear. * Utilización de Resonancia Magnética Nuclear de sólidos en el campo farmacéutico.

Congelación de semen en porcinos: 4. Estudio trianual de la calidad del semen congelado en sistemas monodosis mediante la evaluación por pruebas de laboratorio y de fertilidad

La congelación del semen porcino se ha caracterizado por ser una técnica que no ha logrado alcanzar altos índices de fertilidad, hecho que ha dificultado su aplicación práctica a terreno y parte de su progreso genético. El problema particular radica en que la calidad espermática, por factores poco conocidos, disminuye considerablemente al momento de la descongelación. Como consecuencia, las tasas de fecundidad, fertilidad y prolificidad son inferiores a las obtenidas mediante monta natural o inseminación artificial con semen fresco refrigerado. Pese a esta dificultad, la fertilidad es adecuada para casos de importación, exportación, introducción de nuevas líneas de sangre y uso de semen de machos con alto mérito genético. (...) Entre los factores más importantes que afectan la fertilidad del semen congelado se citan el efecto individual de los machos, de mala congelabilidad, el efecto raza, el momento óptimo para inseminar a la hembra en celo, la estación del año y el tiempo de almacenaje del semen, entre otros. (...) Objetivos Generales: El objetivo de este trabajo es desarrollar un programa anual destinado, en una primera etapa, a mejorar la técnica de laboratorio con equipamiento de mayor desarrollo tecnológico y utilizando nuevos envases; en una segunda etapa a estudiar el efecto raza y el efecto individual, con un pool de semen de diferentes machos; y en una tercera etapa, consistente en aplicar el mejor semen criopreservado, en el momento biológico óptimo de la hembra en celo, con el fin de aumentar la fertilidad y prolificidad. Objetivos Específicos: 1. Primer Año Mejorar las técnicas de congelación utilizando nuevos equipos y estudiar la calidad del semen porcino congelado en micropajuelas (Mp) y bolsas plásticas (Bp) evaluando la capacidad fecundante por pruebas de laboratorio y pruebas de fertilidad en animales vivos. 2. Segundo Año Estudiar la calidad del semen porcino congelado en Mp y/o Bp utilizando un pool de semen de tres machos de razas diferentes y evaluar su capacidad fecundante por pruebas de fertilidad a campo. 3. Tercer Año Estudiar la calidad del semen porcino congelado en Mp y/o Bp, utilizando un pool de semen de tres machos diferentes e inseminándolo en el momento biológico óptimo del celo.

El rol del Color en la definición del ambiente urbano de la ciudad de Córdoba. Parte II

[El proyecto consta de dos líneas de trabajo: "El rol del color en la relación edificio-entorno inmediato" y "El rol del color en el equipamiento urbano"] Objetivos generales y específicos: "Rol del color en la relación edificio-entorno inmediato". Brindar una herramienta conceptual y operativa para arquitectos, ingenieros, usuarios y todos aquellos operadores de la ciudad brindando un ámbito de reflexión y puesta en valor del fenómeno cromático a fin de consolidar una actitud respetuosa frente a la relación arquitectura-ciudad. Promover una actitud en los diseñadores que haga consciente la variable del color desde el inicio del proceso de diseño fundamentando así, los criterios de selección de tecnología, materiales y aspectos constructivos, como así también las decisiones sobre la forma, expresión y significado de los hechos arquitectónicos. Se podrá hacer extensiva una acción de servicio como asesoramiento para toda intervención cromática ya sea en la ciudad o a usuarios diversos por medio de asociaciones intermedias o gubernamentales. Es fundamental proponer un llamado de atención sobre el uso indiscriminado del color que actualmente se realiza en fachadas de edificios y medianeras urbanas, con un espíritu decorativo y mercantilista, muy lejos de mantener criterios aceptables para el reciclaje y/o puesta en valor de edificios en caso de ser considerados como patrimonio urbano. Llamado de atención que se hace extensivo al caos imperante y la polución visual de la ciudad, sin control por la carencia de normativas que orienten a una mayor y mejor legibilidad, orientación y sentido de lugar urbano. Objetivos generales y específicos: "Rol del color en la relación en el equipamiento urbano". Promover una nueva metodología de pensamiento en el proceso de ideación en el hacer de la ciudad. Concientizar a los operadores de la ciudad, sean éstos usuarios, arquitectos, ingenieros, publicistas, diseñadores industriales, del problema actual del caos visual originado por la multiplicidad de mensajes y polución visual que genera el uso indiscriminado del color. Corroborar el uso de códigos internacionales utilizados en los distintos tipos de equipamientos urbanos. Proponer una categorización y sistematización de los elementos considerados como componentes del equipamiento urbano. Promover el buen uso del color y la tecnología en el diseño del equipamiento urbano, adoptando criterios que refuercen la identidad de cada ambiente.

Desarrollo y validación de métodos analíticos aplicables a estudios de Preformulación y Control de Calidad de Formas Farmacéuticas Multicomponentes

La etapa de optimización de una droga denominada "Preformulación" está dirigida a definir el perfil de una droga desde el punto de vista de su identidad, pureza y potencia. Mediante la determinación de las propiedades físico-químicas que son relevantes en la formulación de un agente terapéutico es posible realizar una evaluación preliminar sobre las características de absorción del principio activo, por parte del organismo. (...) En la actualidad se elaboran en la Oficina de Farmacia "Formas Farmacéuticas" de cierta complejidad, que no pueden ser analizadas por los clásicos métodos químicos, sino que requieren de técnicas de instrumental modernas altamente selectivas y sensibles. Este tipo de estudio no puede realizarse fuera de los laboratorios oficiales de Control o del ámbito universitario, en razón del costo del equipamiento y las condiciones necesarias para su correcto funcionamiento. El análisis de los principios activos y de los productos farmacéuticos con ellos elaborados es responsabilidad tanto de la autoridad reguladora como el propio farmacéuticas que serán administradas al paciente. Es por ello que esta propuesta involucra el desarrollo de metodologías analíticas específicas y sensibles que permitan, en forma rápida, determinar la composición de las formas farmacéuticas que se comercializan, para "garantizar", dentro de los límites admisibles, la "calidad", requisito previo para una terapéutica medicamentosa eficaz y racional. Estudios realizados en diferentes países, demuestran el desarrollo significativo que ha tenido la Cromatografía Líquida de Alta Presión (HPLC) y la Espectrofotometría de Derivadas en el campo farmacéutico, permitiendo el análisis de drogas en presencia de sus productos de degradación o bien en mezclas de multicomponentes, aplicando distintas técnicas Espectroscópicas, como IR, RMN y EM en la determinación de estructuras. Por tal motivo, este proyecto apunta a desarrollar metodologías analíticas aplicables al análisis y determinación simultánea de los principios activos contenidos en formulaciones farmacéuticas. En este caso particular se propone el estudio de preparaciones galénicas (comprimidos) utilizadas como complemento en regímenes alimenticios, debido a la acción farmacológica de los ingredientes activos, al uso intensivo de las mismas en la Provincia de Córdoba y a la falta de Control de Calidad.

Estudio, diseño e implementación de un circuito integrado de aplicación específica para registradores en cadenas de frío

Uno de los factores que afectan seriamente la calidad de los productos lácteos es la continuidad de la cadena de frío desde que los mismos salen de la planta hasta que es vendido a los consumidores. El aseguramiento de la antes citada cadena es particularmente importante en la etapa de transporte debido a los períodos muchas veces prolongados que deben transcurrir hasta la llegada de los productos a los centros de consumo, correspondiendo esta responsabilidad a las empresas de transporte. De la importancia de la etapa de transporte se deduce el interés de las industrias de auditar de alguna forma a las empresas encargadas del mismo, de al forma de garantizar la continuidad de la cadena del frío, ya que de llegar a consumirse un producto en mal estado, la productora de lácteos sufriría serios problemas de imagen ante los consumidores que se traducirían en dificultades a la hora de intentar posicionar sus productos en el mercado. De aquí la importancia de control de los transportistas, siendo absolutamente necesario disponer de equipamiento que permita efectuarlo. Dicho equipamiento deberá ser de bajo costo, debido fundamentalmente a la gran cantidad de unidades a controlar, de bajo consumo, totalmente independiente de las instalaciones del equipo de transporte, fácilmente programable y utilizable, de gran confiabilidad, y por sobre todo totalmente inviolable de tal forma de evitar la alteración de los datos contenidos en el sistema. (...) (...) El presente proyecto tiene por objetivo el desarrollo, simulación e implementación de un Circuito Integrado de Aplicación Específica (ASIC), que logre reunir en un solo circuito integrado toda la electrónica asociada a un registrador de temperaturas para control de continuidad de cadenas de frío. Dicho desarrollo se llevará a cabo mediante la utilización de técnicas microelectrónicas que permiten el diseño del ASIC mediante programas de Diseño Asistido por Computadora, su simulación lógica-temporal mediante simuladores eléctricos y finalmente la obtención de las máscaras de fabricación del circuito integrado para su posterior fabricación en el extranjero. (...) Específicamente, durante el período para el cual se solicita el apoyo, se deberán superar las etapas de diseño, simulación, extracción de componentes parásitos del layout, resimulación y obtención del circuito integrado mediante gestión de fabricación en el extranjero. Dicho prototipo deberá ser evaluado para determinar la perfomance del mismo y establecer sus especificaciones. Con posterioridad se construirán tres instrumentos prototipos para su evaluación mediante pruebas en funcionamiento real.

Evaluación de aspectos agronómicos, químicos-nutricionales y tecnológicos de lupinos y quínoas. Agronomic, chemical-nutritional and technological evaluation of lupin and quinoa grain crops.

Este proyecto desarrolla estudios multidisciplinarios para contribuir con información avalada por métodos científicos, a propuestas de desarrollos regionales agronómicos y de tecnología de alimentos en la provincia de Córdoba. Se propone realizar evaluaciones de factibilidad de cultivo de variedades de lupinos y quínoas en parcelas experimentales y huertas, verificar las características químico-nutricionales de los granos y establecer mecanismos tecnológicos, para poder presentar productos alimenticios viables de comercialización. Estos granos, poco conocidos en los hábitos nutricionales actuales, fueron considerados desde la antigüedad por distintas civilizaciones, como importantes fuentes de alimento vegetal. En la actualidad la necesidad de contar con nuevas fuentes de alimentos provenientes de sistemas auto-sustentables y manufacturación artesanal, ha llevado investigar alternativas de nuevos cultivos y a revalorizar aquellos que han sucumbido a las tecnologías modernas. Tanto los granos de quínoa como la de los lupinos han cobrado interés a nivel internacional por su alto valor nutricional, farmacológico y por sus cualidades de plantas rústicas a los manejos de cultivo. Es por esas razones, que se propone desarrollar un proyecto de investigación con transferencia de tecnología, para contar con experiencias que permitan establecer los lineamientos agronómicos y de tecnología de alimentos necesarios para promover los granos de lupinos y quínoas dentro de los planes nutricionales de nuestra sociedad. La importancia de este proyecto se fundamenta en la necesidad de buscar nuevas alternativas de cultivos que se adapten a los recursos de clima y suelo en áreas rurales de las sierras de Córdoba y promover nuevos emprendimientos relacionados con los sectores agrícolas y de la alimentación. Para su mejor desarrollo el proyecto está diagramado en tres módulos que cubren las siguientes áreas: Módulo 1, ensayos de cultivo en parcelas experimentales y huertas comunales; Módulo 2, análisis químicos-nutricionales; Módulo 3, diseño y adaptación de equipamiento para la manufacturación de alimentos. La metodología de investigación está ampliamente respaldada por la experiencia que cuenta el equipo de trabajo en los módulos propuestos y que puede ser verificada en la producción científica plasmada en trabajos publicados en revistas con referato nacionales e internacionales, presentaciones a congresos y direcciones de tesis.

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.

OBSERVATORIO AMBIENTAL Y EPIDEMIOLOGICO DE POBLACIONES DE LA PROVINCIA DE CORDOBA EXPUESTAS A AGROQUÍMICOS

El cambio climático constituye una nueva e importante amenaza para la salud, y modifica la manera en que debemos considerar la protección de las poblaciones vulnerables. Por otra parte, las actividades antrópicas son las responsables de dicho cambio, por lo cual es necesario incidir en esas causas. Muchas de ellas están relacionadas con el actual modelo agrícola, que deteriora la capacidad productiva del suelo en particular y de los ecosistemas en general, erosionando la biodiversidad, destruyendo los procesos ecológicos esenciales, contaminando el suelo, el aire y el agua, generando enfermedades de origen toxicológico y siendo además el principal causante de los gases de efecto invernadero, responsable del 25% de las emisiones de bióxido de carbono y del 80% de óxido nitroso en el planeta. En Argentina las nuevas tecnologías agrícolas, han modificado profundamente el escenario socio ambiental de la república. Las poblaciones próximas a zonas sembradas están expuestas a múltiples vías de contaminación. Sin embargo, no existe a nivel regional un estudio sistemático de los parámetros ambientales que puedan alertar sobre los problemas derivados del cambio de uso del suelo, y de sus efectos sobre la salud y el ambiente. Con éste proyecto se espera desarrollar herramientas metodológicas que permitan ponderar de manera objetiva y sistemática los factores de riesgo ambiental, obtener un perfil epidemiológico de la salud de las poblaciones estudiadas que sea representativo de la región, e interpretar los resultados obtenidos de manera interdisciplinaria. El conocimiento de la situación ambiental permitirá diseñar estrategias de acción que contribuyan a preservar la calidad del ambiente, mejorar los mecanismos de protección frente al uso de agroquímicos, proponer alternativas de producción agrícola ambientalmente sustentables, y colaborar al diseño de políticas públicas en materia de salud y ambiente. La intervención en el tejido social de las poblaciones a través de campañas de concientización, talleres de formación y el perfeccionamiento de la legislación vigente redundará en el cuidado del ambiente, y contribuirá a revertir algunos de los factores que inciden negativamente sobre el cambio climático. Se propone: 1. identificar factores de riesgo ambiental en agua, aire, sedimentos mediante la determinación de parámetros físicos, químicos, bioquímicos y biológicos apropiados. 2. fectuar un biomonitoreo genotóxico de personas expuestas laboralmente a plaguicidas, 3. efectuar un monitoreo de organismos bioindicadores potencialmente expuestos a plaguicidas en ambientes rurales, 4. establecer patrones de calidad ambiental 5. efectuar un estudio epidemiológico multivariado, georeferenciado, para obtener información estadística fehaciente sobre la situación socio ambiental de la región en relación a las nuevas prácticas productivas, 6. efectuar una devolución de los resultados obtenidos a través de informes periódicos a las autoridades 7. realizar talleres de formación en el seno de las comunidades orientados a fortalecer la prevención primaria de la salud y el cuidado del ambiente, 8. construir un cuerpo normativo a partir de la legislación vigente en materia de gestión ambiental 9. promover alternativas productivas que mitiguen el impacto ambiental del actual modelo y recuperar formas productivas con sustentabilidad ambiental y social. El proyecto se desarrollará en localidades rurales del interior provincial, y será llevado a cabo por un equipo interdisciplinario de las Universidades Nacionales de Córdoba, Rio IV y Villa María trabajando en red con médicos de hospitales regionales y centros primarios de salud con la colaboración de profesionales que trabajan en organizaciones sociales locales, redes sociales y grupos de participación ciudadana pre-existentes. Los laboratorios participantes cuentan con el equipamiento y los recursos humanos necesarios para la consecución de los objetivos del proyecto.

Verificación Formal de Sistemas basada Formal Software Verification based on Automated Analysisen Análisis Automático.

Identificación y caracterización del problema. Uno de los problemas más importantes asociados con la construcción de software es la corrección del mismo. En busca de proveer garantías del correcto funcionamiento del software, han surgido una variedad de técnicas de desarrollo con sólidas bases matemáticas y lógicas conocidas como métodos formales. Debido a su naturaleza, la aplicación de métodos formales requiere gran experiencia y conocimientos, sobre todo en lo concerniente a matemáticas y lógica, por lo cual su aplicación resulta costosa en la práctica. Esto ha provocado que su principal aplicación se limite a sistemas críticos, es decir, sistemas cuyo mal funcionamiento puede causar daños de magnitud, aunque los beneficios que sus técnicas proveen son relevantes a todo tipo de software. Poder trasladar los beneficios de los métodos formales a contextos de desarrollo de software más amplios que los sistemas críticos tendría un alto impacto en la productividad en tales contextos. Hipótesis. Contar con herramientas de análisis automático es un elemento de gran importancia. Ejemplos de esto son varias herramientas potentes de análisis basadas en métodos formales, cuya aplicación apunta directamente a código fuente. En la amplia mayoría de estas herramientas, la brecha entre las nociones a las cuales están acostumbrados los desarrolladores y aquellas necesarias para la aplicación de estas herramientas de análisis formal sigue siendo demasiado amplia. Muchas herramientas utilizan lenguajes de aserciones que escapan a los conocimientos y las costumbres usuales de los desarrolladores. Además, en muchos casos la salida brindada por la herramienta de análisis requiere cierto manejo del método formal subyacente. Este problema puede aliviarse mediante la producción de herramientas adecuadas. Otro problema intrínseco a las técnicas automáticas de análisis es cómo se comportan las mismas a medida que el tamaño y complejidad de los elementos a analizar crece (escalabilidad). Esta limitación es ampliamente conocida y es considerada crítica en la aplicabilidad de métodos formales de análisis en la práctica. Una forma de atacar este problema es el aprovechamiento de información y características de dominios específicos de aplicación. Planteo de objetivos. Este proyecto apunta a la construcción de herramientas de análisis formal para contribuir a la calidad, en cuanto a su corrección funcional, de especificaciones, modelos o código, en el contexto del desarrollo de software. Más precisamente, se busca, por un lado, identificar ambientes específicos en los cuales ciertas técnicas de análisis automático, como el análisis basado en SMT o SAT solving, o el model checking, puedan llevarse a niveles de escalabilidad superiores a los conocidos para estas técnicas en ámbitos generales. Se intentará implementar las adaptaciones a las técnicas elegidas en herramientas que permitan su uso a desarrolladores familiarizados con el contexto de aplicación, pero no necesariamente conocedores de los métodos o técnicas subyacentes. Materiales y métodos a utilizar. Los materiales a emplear serán bibliografía relevante al área y equipamiento informático. Métodos. Se emplearán los métodos propios de la matemática discreta, la lógica y la ingeniería de software. Resultados esperados. Uno de los resultados esperados del proyecto es la individualización de ámbitos específicos de aplicación de métodos formales de análisis. Se espera que como resultado del desarrollo del proyecto surjan herramientas de análisis cuyo nivel de usabilidad sea adecuado para su aplicación por parte de desarrolladores sin formación específica en los métodos formales utilizados. Importancia del proyecto. El principal impacto de este proyecto será la contribución a la aplicación práctica de técnicas formales de análisis en diferentes etapas del desarrollo de software, con la finalidad de incrementar su calidad y confiabilidad. A crucial factor for software quality is correcteness. Traditionally, formal approaches to software development concentrate on functional correctness, and tackle this problem basically by being based on well defined notations founded on solid mathematical grounds. This makes formal methods better suited for analysis, due to their precise semantics, but they are usually more complex, and require familiarity and experience with the manipulation of mathematical definitions. So, their acceptance by software engineers is rather restricted, and formal methods applications have been confined to critical systems. Nevertheless, it is obvious that the advantages that formal methods provide apply to any kind of software system. It is accepted that appropriate software tool support for formal analysis is essential, if one seeks providing support for software development based on formal methods. Indeed, some of the relatively recent sucesses of formal methods are accompanied by good quality tools that automate powerful analysis mechanisms, and are even integrated in widely used development environments. Still, most of these tools either concentrate on code analysis, and in many cases are still far from being simple enough to be employed by software engineers without experience in formal methods. Another important problem for the adoption of tool support for formal methods is scalability. Automated software analysis is intrinsically complex, and thus techniques do not scale well in the general case. In this project, we will attempt to identify particular modelling, design, specification or coding activities in software development processes where to apply automated formal analysis techniques. By focusing in very specific application domains, we expect to find characteristics that might be exploited to increase the scalability of the corresponding analyses, compared to the general case.