84 resultados para Sistemas de conservación
Resumo:
Los bosques nativos del Centro de Argentina disminuyen rápidamente debido a talas, incendios y expansión agrícola y urbana. Se pierden especies vegetales, entre ellas muchas con valor de uso tradicional o potencial. Se plantea como objetivo global, continuar y profundizar las actividades iniciadas en el Jardín Botánico Gaspar Xuárez sj, con respecto a conservar, recuperar y domesticar recursos fitogenéticos nativos para el uso sustentable; a través de la investigación y la educación. Se conservará ex situ en el Banco de Germoplasma del JBGXsj, nuevas semillas y plantas vivas de especies nativas del centro del país, priorizando las de valor etnobotánico tradicional o potencial. El material y la información servirán para investigación, propagación y educación. El material se evaluará y caracterizará por peso de 1000 semillas, poder germinativo y viabilidad de semillas almacenadas. Se estudiará la domesticación de especies ecológicamente vulnerables que presenten potencial de uso múltiple y que, además, permitan promover sinergia con otros proyectos de investigación en la UCC. Se estudiarán características agronómicas y biológicas para su cultivo intensivo. Se formarán recursos humanos en investigación y técnica, a través de pasantías y talleres. Se desarrollará un programa educativo enfocado a conservación, interpretación ambiental y cambios actitudinales para el desarrollo sustentable. Se motivará y dará conocimiento a docentes y alumnos de instituciones educativas y público en general. Se realizarán visitas guiadas por senderos interpretativos de contenido ecológico, etnobotánico y evolutivo.
Resumo:
Este proyecto estudiará las estrategias de vida implementadas por familias productoras fruti hortícolas que viven en Colonia Tirolesa y Chacra de la Merced, lugares que forman parte del cinturón verde de la Ciudad de Córdoba, y su relación con los procesos de diferenciación social, asociados a cambios productivos, económicos, culturales y sociales que están condicionados por el modelo de expansión capitalista. A partir del análisis del capital económico, social, cultural y simbólico se identificará en un contexto rural las motivaciones, lógicas productivas y conocimientos agrícolas que incidieron en las decisiones asumidas ante problemáticas emergentes, tales como limitaciones para adquirir nuevos paquetes tecnológicos, el impacto ambiental causados por la no conservación y sustentabilidad de los recursos y las consecuencias sociales vinculadas a los laxos de familia, el trabajo y la calidad de vida. Se plantean las siguientes hipótesis: 1) Algunas familias productoras implementaron estrategias de vida que se relacionan con criterios de autosustentabilidad, conocimientos agrícolas tradicionales y pautas culturales; 2) Los nuevos espacios productivos no son compatibles con agroecosistemas sustentables; 3) Las nuevas tecnologías causaron impactos en la actividad productiva e incidieron en la economía, calidad de vida y vínculos familiares; 4 )El modo de producción familiar fue reemplazado por el modo de producción capitalista lo que incidió en la producción agrícola y en la conservación de los recursos. El objetivo principal es descubrir las estrategias de vida implementadas por un grupo de familias, trabajadoras fruti hortícolas, en respuesta a las transformaciones productivas, tecnológicas y socio económicas impuestas por el modelo de acumulación vigente. Para ello se caracterizará los ámbitos productivos de trabajo a campo, identificando la disponibilidad de capital y los conocimientos técnicos y de manejo. También se analizarán las pautas y valores culturales, el impacto de las nuevas tecnologías y la incidencia social, vinculada a los cambios en los modos de producción. El abordaje será de tipo cualitativo, recavando información para elaborar una descripción detallada de las estrategias de vida adoptadas a partir de la década de los noventa. Se tomará como unidad de análisis a las familias que trabajaron o trabajan en la producción de hortalizas o frutales. Se realizarán combinaciones entre procedimientos Tipológicos a Priori; Históricos Comparativos y casos Unitarios. Se analizará las normativas vigentes en relación al uso y calidad del agua y del suelo; también imágenes satelitales para analizar los procesos de cambio en el uso del territorio y del recurso suelo. Se pretende realizar un aporte relacionado con el conocimiento de: la sustentabilidad de los sistemas productivos, la pobreza y los modos de vida de los productores fruti hortícolas que persistencia en ambientes degradados; en una franja intermedia entre el campo y la ciudad.
Resumo:
Existen numerosos fármacos con atributos terapéuticos relevantes que presentan propiedades físicoquímicas o biológicas desfavorables, las que comprometen su eficacia o seguridad y en consecuencia requieren nuevas estrategias de formulación para superar tales deficiencias. Debido a lo expuesto, el objetivo general de este proyecto es diseñar, desarrollar y evaluar nuevos sistemas de transporte y liberación de fármacos que presentan baja biodisponibilidad cuando son administrados por vía oral, 4 debido a su escasa solubilidad y/o permeación a través del epitelio gastrointestinal. Como objetivos específicos se proponen: - Obtención de nuevos sistemas portadores que incidan sobre la efectividad del proceso de absorción de fármacos modelos, facilitando su disolución y/o permeación en el tracto gastrointesinal. - Evaluación de la eficacia de los sistemas obtenidos, en el transporte y pasaje de los fármacos a través de las mucosas del tracto gastrointestinal, mediante metodologías in situ e in vitro, que contribuyan a la determinación de los parámetros biofarmacéuticos de relevancia. La metodología de trabajo propuesta contempla la formación de complejos ternarios utilizando ciclodextrinas (ß-ciclodextrina, hidroxipropil-ß-ciclodextrina y metil- ß-ciclodextrina) y etanolaminas, aminoácidos o meglumina; la incorporación en microemulsiones de los complejos con ciclodextrina obtenidos; así como la obtención de pellets por extrusión-esferonización. Para los estudios biofarmacéuticos, de los principios activos en los sistemas de transporte y liberación desarrollados, se diseñarán estudios de permeación, in situ, a través del método de perfusión de paso simple en ratas e in vitro, utilizando membranas artificiales y cultivos de células Caco-2. Se desarrollarán y validarán procedimientos analíticos adecuado para las determinaciones de los fármacos en todos los estudios implementados.
Resumo:
Los negocios vinculados al Agro han crecido en forma importante en la Argentina en los últimos diez años. Este comportamiento se ha dado a partir de dos variables estratégicas, una el precio de los productos y la segunda los niveles de eficiencia tecnológica y productiva, esta última puede ser mejorada para que el sistema tienda a ser más sustentable, pudiéndose generar un "plus de valor" para el consumidor y mayor rentabilidad para la empresa. Para que una empresa en el marco de los agronegocios pueda crear valor a lo largo de la cadena, debe lograr diferenciación, para ello se propone el desarrollo de un proyecto que permita al consumidor obtener productos en condiciones organolépticas óptimas evitando el corte anticipado de frutas y verduras con el consiguiente degradado de las condiciones de calidad desde una visión sistémica de la cadena de abastecimiento y distribución, a través de un proceso que agregue valor para el consumidor, desde un nuevo enfoque mas integrador. La madurez en la cosecha es el factor determinante de la vida comercial, del precio y de la calidad final de la fruta. Cuando los frutos se cosechan fisiológicamente inmaduros evolucionan perdiendo firmeza pero no manifestarán el aroma y sabor característicos, siendo más susceptibles a marchitamiento y a daños mecánicos. Si se cosechan sobre maduros, pronto se vuelven blandos e insípidos y son más difíciles de manipular y comercializar. Para poder ser comercializados se deben cosechar en madurez fisiológica pero no con la madurez óptima para el consumo, esto hace crítica esta primera etapa de la cadena de abastecimiento. Como consecuencia, la cosecha del sector coincide para cada uno de los rubros explotados, generando una oferta significativa de un producto específico (un ejemplo es que todos los productores cosechan al mismo tiempo la lechuga) lo que satura el mercado. El valor de la producción es fijado por la ley de la oferta y la demanda por lo que se obtiene un escaso rendimiento en el momento de la comercialización. El objetivo del presente proyecto es generar una alternativa tecnológica, que permita a los productores, poder extender el lapso de aptitud del producto y de esta manera originar nuevas posibilidades de estrategia comercial para consumo interno y para exportación. La aplicación del envasado al vacío o con atmósfera modificada (EAM) prolonga la conservación de la calidad de los productos alimenticios. En este proceso es indispensable poder detener o disminuir los mecanismos químicos y biológicos que determinan la descomposición de los alimentos. El EAM consiste en el envasado de productos alimenticios en una atmósfera distinta a aquella natural y constituida por mezclas de gases en distintas proporciones, principalmente oxígeno, nitrógeno, dióxido de carbono y óxido nitroso. La EAM ofrece ventajas con respecto a otros métodos de embalaje, ya que además de extender el período de conservación, mantiene la calidad organoléptica de las frutas y vegetales frescos, característica fundamental para atraer la atención de los consumidores. El impacto esperado de esta aplicación tecnológica permitirá: 1. La prolongación de la conservación, permitiendo explotar las economías de escala de producción, mejorar la gestión de las provisiones y costos de transporte, generar nuevas estrategias comerciales, extender la propia producción a otros mercados. 2. Los materiales de los embalajes son fabricados de acuerdo a las normas de inocuidad que mantienen la calidad del producto, resaltando la estética de la presentación. 3. El aspecto ambiental de este proceso, es menos contaminante, ya que se reducen o eliminan los aditivos y conservantes. 4. En el desarrollo de esta transición se generan relaciones sociales que permiten detectar carencias y recursos que pueden ser compartidos por los distintos actores, contribuyendo al desarrollo integral de los participantes.
Resumo:
Identificación y caracterización del problema: En Córdoba la llanura ondulada y la sierra de comechingones los problemas ambientales y productivos han comenzado manifestarse. En la llanura ondulada, 700.000 has de tierras se encuentran sujetas a severos procesos de erosión hídrica, generando perdida de suelos y disminución de la producción en los sistemas agrícolo-ganaderos. En la Sierra de Comechingones (300.000 ha), las plantaciones de pinos sobre pastizales naturales presentan escaso o nulo manejo silvicultural con lo que se obtiene madera de baja calidad y baja capacidad sustentadora animal cuando el pastoreo se practica en estas plantaciones. Objetivos generales: Validar funciones de crecimiento para la especie forestal Pinus elliottii y especies forrajeras en sistemas silvopastoriles con diferentes tratamientos siviculturales ((densidad de plantación, podas y raleos) destinados a obtener alta calidad de madera y capacidad sustentadora animal en la llanura ondulada y sierra de comechingones del centro de Argentina. Materiales y métodos: Para el desarrollo del trabajo se utilizaran dos módulos, uno situado en la llanura ondulada y otro en la sierra de Comechingones. El módulo silvopastoril de la llanura ondulada se encuentra en el campo de docencia y experimentación Pozo del Carril, ubicado a los 32° 58’ LS y 64° 40’ LO, a 550 m.s.n.m, Las situaciones que se evaluaran en este modulo serán: Pastoreo en callejones de 21 m, Pastoreo en callejones de 12m y un testigo sin árboles. Se aplicaran tratamientos de poda y raleo con la intensidad que corresponda a cada caso. El modulo silvopastoril en el ambiente sierra de comechingones se encuentra en el campo de experimentación y docencia “Las Guindas” ubicado a los 32° 35´ 9.64” S y 64° 43´ 66” O, a 1063 msnm. Las situaciones que se evaluaran en este modulo serán: Pastoreo en plantaciones (3x3 m), Pastoreo en plantaciones (3x4 m) y un testigo de pastizal serrano sin árboles. Se aplicaran tratamientos de poda y raleo con la intensidad que corresponda a cada caso. Para el cumplimiento de los objetivos propuestos un conjunto de determinaciones se realizaran en cada uno de los módulos propuestos: a)Determinación de volumen anual (m3/ha) de la especie leñosa Pinus elliottii . b) Parametrización y validación de una función de crecimiento de la biomasa forestal (m3/ha).. C) Estimación de la dinámica de crecimiento de copa de Pinus elliottii d) Determinación del grado de sombreamiento de Pinus elliottii para cada año del crecimiento e) Determinación de la producción de biomasa forrajera para diferentes posiciones del sistema silvopastoril g) Parametrización y validación de una función de producción de biomasa forrajera según grado de sombreamiento. h)Estimación de la capacidad sustentadora animal para los sistemas silvopastoriles bajo estudio. Resultados esperados: Sobre la base información secundaria y de los datos que se obtengan durante los dos años del estudio permitiran modelar la dinamica de la produccion de madera de calidad, cantidad y calidad de forraje y la capacidad sustentadora animal en silvopastoriles adaptados a la región de llanura ondulada y sierras de Córdoba, los que podrán ser utilizados para la definición de la tecnología de implantación y manejo silvícola de sistemas silvopastoriles para las condiciones ambientales semejantes a las del ensayo. Importancia del proyecto: Los resultados del proyecto permitirán enriquecer el conocimiento de los profesionales dedicados al asesoramiento tecnico y productores que buscan alternativas técnicas amigables con el ambiente como asi tambien el enriquecimiento de las bases teoricas que reciben alumnosde de grado y posgrado en asignaturas que abordan esta temática.
Resumo:
Uno de los mayores desafíos de la ecología será predecir las posibles consecuencias del cambio climático sobre los organismos biológicos y proponer medidas que las suavicen. Es de esperar que los cambios climáticos provoquen la extinción de especies sensibles, a través de la disminución de su éxito reproductivo, la reducción de la cantidad y accesibilidad a hábitats adecuados, y también indirectamente por la eliminación de los recursos esenciales para su supervivencia. En un contexto de cambio climático global, el objetivo general de este proyecto es comprender los efectos de las condiciones microambientales sobre sistemas planta-herbívoro-parasitoide, en ambientes naturales y urbanos. Para ello estudiaremos las relaciones entre plantas, minadores de hojas y sus parasitoides considerando las diversas condiciones microambientales en donde el sistema se desarrolla. En ambientes nativos se prevé el estudio de dichos sistemas en tres ubicaciones del bosque (interior, bordes con orientación norte y bordes con orientación sur), analizando la identidad y abundancia de las especies, y los niveles de herbivoría y parasitismo. También se realizarán experimentos de laboratorio para analizar los niveles de herbivoría que sufran hojas obtenidas en cada una de las ubicaciones, a fin de conocer si poseen diferencias que puedan ser detectadas por los insectos, y se analizarán también posibles diferencias en la dureza de las hojas y su contenido de nitrógeno y carbono. En ambientes urbanos se estudiará la ocurrencia y grado de herbivoría de un minador de hojas asociado al “jacarandá”, árbol común en veredas de la ciudad de Córdoba, asi como la incidencia de sus parasitoides. Se relacionarán las variables biológicas con variables ambientales a nivel de sitio, tales como temperatura, tráfico vehicular, distancia al centro geográfico e “índice verde”, tomado a partir de imágenes satelitales. Los datos obtenidos a partir de los muestreos de campo en ambientes nativos serán analizados mediante modelos lineales generalizados que contemplen la dependencia de los microhábitats por localidad. Las variables obtenidas en experimentos en laboratorio serán analizadas mediante ANOVA con medidas repetidas o Test de Kruskall-Wallis. Los datos provenientes de ambientes urbanos serán analizados mediante regresiones logísticas para determinar la probabilidad de ocurrencia del minador, asi como los niveles de herbivoría y parasitismo en los diversos árboles estudiados. Se incluirán en el modelo todas las variables de urbanización anteriormente mencionadas así como la densidad de árboles en el sitio.
Resumo:
Los documentos audiovisuales contienen en un mismo soporte información visual y sonido; asimismo, se caracterizan por su opacidad, es decir requieren de un dispositivo tecnológico para su grabación, transmisión y comprensión. En la actualidad, constituyen un importante acervo cultural que merece ser resguardado y puesto a disposición de la comunidad científica y del público en general como expresión de la memoria colectiva y de la cultura de nuestra sociedad. Somos conscientes de la existencia de un cúmulo significativo de material audiovisual, hoy conservado en soportes tecnológicos que han caído en desuso, lo cual implica dos grandes riesgos: por un lado, la posibilidad de pérdida o deterioro de la información contenida en ellos; por otro, la creciente dificultad para acceder a su contenido debido a la obsolescencia de los equipos necesarios para reproducirlos. En consecuencia, este proyecto se propone recuperar y resguardar en un soporte tecnológico actual y seguro: 1) el material audiovisual producido en el marco del programa televisivo Encuentros, conducido por el periodista Kuroki Murúa, emitido entre 1990 y 1998 por los Servicios de Radio y Televisión de la Universidad Nacional de Córdoba, el cual consistía en la realización de entrevistas a historiadores, sociólogos, escritores, psicoanalistas y la emisión de informes sobre manifestaciones culturales de diversa índole; 2) los discursos emitidos por los gobernadores e intendentes de Córdoba, asi como de los principales dirigentes de la oposición, difundidos por radio y televisión desde la recuperación de la democracia hasta 2001. El primer conjunto está registrado en cassettes VHS, lo cual implica un serio riesgo para la seguridad de ese material porque es sabido que el simple paso del tiempo produce un deterioro irreparable en las cintas; además requiere de un dispositivo tecnológico para su reproducción que actualmente no está disponible en el mercado. El segundo conjunto está disperso en los archivos de las distintas emisoras de radio y televisión de la ciudad de Córdoba. Estos propósitos se insertan dentro de las actividades que desde 1998 se desarrollan en el Archivo de la Palabra del Centro de Estudios Avanzados de la Universidad Nacional de Córdoba. El Archivo de la Palabra fue creado como un espacio para la creación de fuentes orales producto de investigaciones referidas a la historia política de Córdoba, como también un lugar de reunión y resguardo de las entrevistas realizadas en el marco de investigaciones que contemplaran el uso de este tipo de fuente. En esta instancia, nos proponemos ampliar los objetivos planteados inicialmente incorporando al acervo documental del Archivo, material audiovisual como el correspondiente al programa Encuentros y los discursos políticos a los que hemos hecho referencia. A los propósitos mencionados anteriormente se suman fortalecer la vinculación con redes, archivos orales, asociaciones y centros de investigación que contemplen el uso de fuentes orales e impulsar la formación de recursos humanos en el tratamiento y conservación de fuentes documentales orales y audiovisuales. La realización de este proyecto implica la prosecución de la siguiente metodología: búsqueda y localización del material audiovisual, conservación en un formato adecuado, clasificación, catalogación, puesta a disposición del público. Consideramos que este proyecto contribuirá a la recuperación, resguardo, difusión y utilización de un importante acervo documental que actualmente, debido a las condiciones de mantenimiento en las que se encuentra y a los formatos en los que está registrado corre el riesgo de perderse. Además, el material aludido constituirá un aporte fundamental para el estudio, análisis y comprensión de nuestro pasado reciente como así también para la revalorización de la memoria colectiva de nuestra sociedad. El estudio tiene como límites temporales dos años claves en la historia política argentina: 1983 y 2001.
Resumo:
Las regiones naturales de la provincia de Córdoba presentan diversos ecosistemas que están afectados por un constante deterioro ambiental siendo degradadas por la deforestación, el avance de la frontera agropecuaria, los incendios rurales, la introducción de plantas exóticas, el sobre-pastoreo, las sequías prolongadas, y el crecimiento urbano de las villas turísticas. La biodiversidad permite que los ecosistemas tengan mayor resiliencia ante cambios climáticos o antrópicos, siendo de suma importancia para mantener los servicios ecosistémicos. La experiencia adquirida por el equipo de trabajo del CREAN en el monitoreo de sitios pilotos a través del proyecto LADA/FAO mediante la metodología WOCAT, para la evaluación de la degradación de la tierra y los usos de la tierra sirve de antecedente tecnológico para encarar este proyecto multidisciplinario en red. El producto a obtener es una cartografía multicapa sobre los usos de la tierra (LUS), en la región de las Sierras Chicas de Córdoba en donde queden delimitadas las áreas naturales conservadas, las zonas explotadas con un uso sustentable, las áreas degradadas con procesos de desertificación, el estado de las cuencas proveedoras de agua a ríos y embalses, como así también las zonas urbanas y de explotaciones agropecuarias o mineras. Sobre la base de esta evaluación de bioindicadores y estratificación de la información ambiental se puede proveer de información a decisores sociales y políticos para que establezcan medidas que contribuyan a realizar acciones que protejan el ambiente, promuevan el manejo sustentable de las tierras y establezcan normativas para la conservación del suelo, el agua y la biodiversidad.
Resumo:
Los bosques nativos cumplen diversas funciones en el desarrollo de las poblaciones humanas, la protección de cuencas hídricas y suelos, reservorio de biodiversidad y recursos genéticos. Ante la destrucción del bosque nativo de Córdoba, resulta imperiosa la aplicación de programas integrados de conservación de los recursos genéticos a través de la creación de bancos de germoplasma y programas de restauración por medio de técnicas de reforestación de áreas degradadas. El objetivo del proyecto es Conservar in y ex situ especies leñosas nativas del Bosque Serrano de Córdoba: Polylepis Australis, Maytenus boaria, Schinopsis marginata, Zanthoxilus coco, Celtis erhembergiana, Kageneckia lanceolata, Ruprechtia apetala, Lithrea molleoides, Myrcianthes cisplatensis, Escallonia cordobensis. A campo, se identificarán y georreferenciarán los árboles semilleros de diez especies forestales nativas del Chaco Serrano de la provincia de Córdoba, como fuente de semillas. En el Laboratorio de Semillas de la FAV-UNRC se realizará el acondicionamiento de las semillas, se determinará el peso de 100 y el contenido de humedad para definirlas entre ortodoxa, intermedia, recalcitrante. Los tratamientos pre-germinativos para quebrar dormancia serán: Escarificación mecánica y/o húmeda; Estratificación fría; Lavado previo; Inmersión en agua. Se utilizarán papel como sustrato y 20 semillas por repetición. En la prueba de germinación se evaluarán distintas condiciones de luz (fotoperíodo con 12 horas y oscuridad) y temperaturas (fija de 20 y 25 °C y variable de 20-30 °C). Se obtendrá la siguiente información: Caracterización de las plántulas; Porcentaje de germinación; Tiempo medio y total de germinación. La producción de plantines se realizará en la Unidad de Vivero de la FAV-UNRC. A las semillas de aquellas especies que presentan dormancia se les aplicará el tratamiento pre-germinativo correspondiente según resultados de laboratorio. Se evaluará el número de plántulas emergidas y parámetros de calidad de los plantines (diámetro a la altura del cuello y la altura total) hasta que éstos alcancen 30 a 35 cm y 4 a 5 mm de diámetro. La etapa de reforestación se llevará a cabo en parcelas georreferenciadas y clausuradas. Se registrará la sobrevivencia y el desarrollo aéreo de las plantas al final de la estación de crecimiento. El proyecto permitirá definir las estrategias de germinación de las especies en estudio y las condiciones de almacenamiento de semillas para iniciar un banco de germoplasma de especies leñosas del Bosque Serrano de la provincia de Córdoba. Los datos obtenidos en la etapa de vivero permitirán conocer las características de los plantines adecuadas para la etapa de reforestación. En esta última se conocerá la capacidad de adaptación a campo y las estrategias de sobrevivencia de plantas de cada una de las especies que fueron cultivadas en vivero a partir de semillas de árboles seleccionados. A partir de los resultados del proyecto se obtendrá información del ciclo completo de la conservación in y ex situ de la biodiversidad del Chaco Serrano. Se generará información valiosa para la conservación en Banco de germoplasma de especies que aún no han sido estudiadas ni conservadas. La información obtenida contribuirá al conocimiento sobre la reforestación como técnica de restauración de áreas de distinto grado de degradación utilizando las especies leñosas nativas. El proyecto permitirá generar nuevas áreas de conservación in situ (rodales semilleros y parcelas reforestadas) determinando un primer ciclo de mejoramiento genético de especies nativas estudiadas. El proyecto ofrecerá un espacio de estudio y de trabajo en un área incipiente que favorecerá la generación de conocimientos y el crecimiento académico de los integrantes. Permitirá establecer vínculos concretos entre los grupos de trabajo de las instituciones participantes. La sociedad dispondrá de técnicas para la conservación y producción de las especies vegetales estudiadas.
Resumo:
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.
Resumo:
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.
Resumo:
El objeto de estudio de este proyecto son los sistemas de calentamiento de agua mediante energía solar que funcionan termosifónicamente. En particular se tratará con dos diseños particulares generados por fabricantes de la Provincia de Córdoba y que han solicitado el asesoramiento del Grupo de Energía Solar (GES) para el mejoramiento de la performance térmica de dichos equipos. Se trata de dos sistemas que tienen materiales no tradicionales y se diferencian además por tener una distinta disposición del tanque de almacenamiento: uno es en forma vertical y el otro en forma horizontal. Basados en los resultados de un ensayo bajo norma internacional, donde se detectaron algunas puntos factibles de mejora, se propone en este proyecto el análisis en detalle de los equipos, para lo cual se les debe desarmar completos, para realizar un estudio analítico y experimental de los mismos con el objeto de hacer un planteo teórico-analítico del comportamiento de los mismos, con la implementación de propuestas de mejora y chequeo de los resultados. Se propone entonces como objetivo lograr un mejoramiento de la performance térmica de los citados equipos a partir de un estudio experimental y analítico. Asumiendo esta posibilidad de mejora, se plantea la hipótesis de que es posible representar el funcionamiento de estos equipos mediante modelos físico-matemáticos desarrollados a partir de ecuaciones y correlaciones conocidas y procesos a interpretar mediante resoluciones numéricas y softwares específicos de simulación. De esta manera, se plantea el despieze completo de los equipos para estudiar en detalle su estructura y conexiones internas y a partir de la geometría, dimensiones y propiedades termofísicas de materiales constructivos y fluidos de trabajo, realizar modelos físico-matemáticos que permitan realizar variaciones de propiedades y geometría y así buscar las mejores combinaciones que produzcan equipos más eficientes térmicamente. Los modelos físico-matemáticos serán codificados en lenguajes de alto nivel para poder luego de una validación de los modelos, correr simulaciones en un software de reconocimiento internacional que permite sumar dichos modelos mediante un protocolo de comunicación, haciendo que las poderosas prestaciones del software se puedan aplicar a nuestros modelos. Se complementará el estudio con un análisis exergético para identificar los puntos críticos en que se producen las pérdidas de oportunidad de aprovechar la energía disponible, para así analizar cómo solucionar los problemas en dichos puntos. Los materiales a utilizar serán los propios equipos provistos por los fabricantes, que serán modificados convenientemente para operarlos como prototipos Se espera obtener un conocimiento acabado de los procesos y principios de funcionamiento de los equipos, que permita plantear las mejoras, las cuales se implementarán en los prototipos, realizándose una medición mediante norma igual a la inicial para ver en que magnitud se logran las mejoras esperadas. Se pretende además que las mejoras a implementar, en la etapa de transferencia a las empresas involucradas, redunden no sólo en un beneficio técnico, sino que también los sea desde el punto de vista económico. Para ello se trabajará también sobre los procesos y métodos de fabricación para que los equipos mejorados no sean mas caros que los originales y de ser posible sean aún más económicos, todo esto apuntando a la difusión de la energía solar térmica y poner al alcance de todos estos equipos tan convenientes para la propagación de las energías limpias. El proyecto redundará también en un importante beneficio para el conocimiento de la comunidad científica en general, con el aporte de nuevos resultados en diseños novedosos y con nuevos materiales. Además, la institución se beneficiará con la formación que obtendrán los integrantes del proyecto, muchos de ellos en etapa de realización de sus estudios de posgrado y en una etapa importante de su vida como investigadores. The main goal of this project is the improvement of two thermosyphonic solar water heating systems, made of non conventional materials and with different arrangement of their storage tanks: one is vertical and the other one horizontal. The thermosyphonic systems are provided by manufacturers of the Córdoba Province, who came to the Solar Energy Group (GES) of the National University of Río Cuarto looking for help for the design of their products. In an agreement with these manufacturers, it was proposed this project in order to work analytically and experimentally in order to obtain physical-mathematical models of these two systems, which allow for changes to look by means of simulations the best changes to implement on the equipments for the improvement of their thermal performance. Then, the materials to be used are the proper systems provided by the manufacturers, which will be disarmed to be studied in detail. After the analytical study the proposals of improvement will be implemented in a high level language of programming to perform simulations in the environment of a well-known software for energy simulations (TRNSYS). After the simulations, the best modifications will be physically implemented in the prototypes to perform finally the same normalized test of the beginning and check the magnitude of the implemented improvements. The importance of this project is based on the offer of better systems the companies would make, which would benefit the deployment of the thermal solar energy. Another relevant point is to make the new equipments at the same cost of the previous ones or cheaper, in order to achieve a good deployment of the solar water heating systems; then, the manufacture processes and methods must be studied to obtain not only good technical solutions, but also economical equipments. In addition, this project will contribute to the increasing of the knowledge in the area of thermosyphonic solar systems and the training of postgraduate students.
Resumo:
Los materiales lignocelulósicos residuales de las actividades agroindustriales pueden ser aprovechados como fuente de lignina, hemicelulosa y celulosa. El tratamiento químico del material lignocelulósico se debe enfrentar al hecho de que dicho material es bastante recalcitrante a tal ataque, fundamentalmente debido a la presencia del polímero lignina. Esto se puede lograr también utilizando hongos de la podredumbre blanca de la madera. Estos producen enzimas lignolíticas extracelulares fundamentalmente Lacasa, que oxida la lignina a CO2. Tambien oxida un amplio rango de sustratos ( fenoles, polifenoles, anilinas, aril-diaminas, fenoles metoxi-sustituídos, y otros), lo cual es una buena razón de su atracción para aplicaciones biotecnológicas. La enzima tiene potencial aplicación en procesos tales como en la delignificación de materiales lignocelulósicos y en el bioblanqueado de pulpas para papel, en el tratamiento de aguas residuales de plantas industriales, en la modificación de fibras y decoloración en industrias textiles y de colorantes, en el mejoramiento de alimentos para animales, en la detoxificación de polutantes y en bioremediación de suelos contaminados. También se la ha utilizado en Q.Orgánica para la oxidación de grupos funcionales, en la formación de enlaces carbono- nitrógeno y en la síntesis de productos naturales complejos. HIPOTESIS: Los hongos de podredumbre blanca, y en condiciones óptimas de cultivo producen distintos tipos de enzimas oxidasas, siendo las lacasas las más adecuadas para explorarlas como catalizadores en los siguientes procesos: Delignificación de residuos de la industria forestal con el fin de aprovechar tales desechos en la alimentación animal. Decontaminación/remediación de suelos y/o efluentes industriales. Se realizarán los estudios para el diseño de bio-reactores que permitan responder a las dos cuestiones planteadas en la hipótesis. Para el proceso de delignificación de material lignocelulósico se proponen dos estrategias: 1- tratar el material con el micelio del hongo adecuando la provisión de nutrientes para un desarrollo sostenido y favorecer la liberación de la enzima. 2- Utilizar la enzima lacasa parcialmente purificada acoplada a un sistema mediador para oxidar los compuestos polifenólicos. Para el proceso de decontaminación/remediación de suelos y/o efluentes industriales se trabajará también en dos frentes: 3) por un lado, se ha descripto que existe una correlación positiva entre la actividad de algunas enzimas presentes en el suelo y la fertilidad. En este sentido se conoce que un sistema enzimático, tentativamente identificado como una lacasa de origen microbiano es responsable de la transformación de compuestos orgánicos en el suelo. La enzima protege al suelo de la acumulación de compuestos orgánicos peligrosos catalizando reacciones que involucran degradación, polimerización e incorporación a complejos del ácido húmico. Se utilizarán suelos incorporados con distintos polutantes(por ej. policlorofenoles ó cloroanilinas.) 4) Se trabajará con efluentes industriales contaminantes (alpechínes y/o el efluente líquido del proceso de desamargado de las aceitunas). The lignocellulosic raw materials of the agroindustrial activities can be taken advantage as source of lignin, hemicellulose and cellulose. The chemical treatment of this material is not easy because the above mentioned material is recalcitrant enough to such an assault, due to the presence of the lignin. This can be achieved also using the white-rot fungi of the wood. It produces extracellular ligninolitic enzymes, fundamentally Laccase, which oxidizes the lignin to CO2. The enzyme has application in such processes as in the delignification of lignocellulosic materials and in the biobleaching of fibers for paper industry, in the treatment of waste water of industrial plants, in the discoloration in textile industries, in the improvement of food for ruminants, in the detoxification of polutants and in bioremediation of contaminated soils. HYPOTHESIS: The white-rot fungi produce different types of enzymes, being the laccases the most adapted to explore them as catalysts in the following processes: Delignification of residues of the forest industry in order to take advantage of such waste in the animal feed. Decontamination of soils and / or waste waters. The studies will be conducted for the design of bio reactors that allow to answer to both questions raised in the hypothesis. For the delignification process of lignocellulosic material they propose two strategies: 1- to treat the material with the fungi 2-to use the partially purified enzyme to oxidize the polyphenolic compounds. For the soil and/or waste water decontamination process, we have: 3- Is know that the enzyme protects to the soil of the accumulation of organic dangerous compounds catalyzing reactions that involve degradation, polymerization and incorporation to complexes of the humic acid. There will be use soils incorporated into different pollutants. 4- We will work with waste waters (alpechins or the green olive debittering effluents.
Resumo:
El presente proyecto plantea utilizar integralmente la técnica de Resonancia Magnética Nuclear en sólidos como un medio experimental que permite entender fenómenos de la física fundamental, como así también realizar aplicaciones de interés en el campo de la química, los desarrollos farmacéuticos y la biología. Novedosas técnicas experimentales serán empleadas, en conjunción con otras más tradicionales, en la caracterización de nuevas estructuras poliméricas acomplejadas a metales, membranas biológicas y compuestos de interés farmacéutico en vías de desarrollo, los cuales presentan el fenómeno de polimorfismo . Esto se llevará a cabo complementando los resultados de RMN en sólidos con técnicas tanto espectroscópicas como analíticas (Infrarrojo, Difracción de Rayos X, Calorimetría, RMN en solución) y trabajo interdisciplinario. Paralelamente al desarrollo de estos temas, profundizaremos mediante investigación básica, en la compresión de la dinámica cuántica y el surgimiento de la irreversibilidad en sistemas de espines nucleares. Observaremos en particular la generación, evolución y control de las coherencias cuánticas múltiples en sistemas cuánticos abiertos, lo cual nos da información sobre tamaño de clusters de espines. Esto permitirá la correcta implementación de secuencias de pulsos sofisticadas, como así también desarrollar nuevos métodos de medición aplicados a la caracterización estructural y a la dinámica molecular de sólidos complejos. Debemos resaltar que este proyecto está conectado con aspectos tanto básicos como aplicados de la RMN en sólidos como técnica experimental, la cual se desarrolla en el país únicamente en FaMAF-UNC. Se nutre además de trabajo multidisciplinario promoviendo la colaboración con investigadores y becarios de distintas áreas (física, química, farmacia, biología) provenientes de distintos puntos del país. Finalmente podemos afirmar que este plan impulsa la aplicación de la física básica proyectada a diferentes áreas del conocimiento, en el ámbito de la provincia de Córdoba. The aim of the present proyect is to use Nuclear Magnetic Resonance (NMR) as a complete techique that allows the understanding of fundamental physics phenomena and, at the same time, it leads to important applications in the fields of chemistry, pharmaceutical developments and biology. New experiments will be used together with traditional ones, in the characterization of new metal-polymer complexes, biological membranes and pharmaceutical compounds, some of them presenting polymorfism. NMR experiments will be complemented with diverse spectroscopic and analytical techniques: Infrared, X ray Diffraction, Thermal Analysis, solution NMR, as well as multidisciplinary investigation. Additionally, the present proyect plans to study in depth several aspects of quantum dynamics phenomena and decoherence in nuclear spin systems. The present proyect is connected with basic and applied aspects of the solid state NMR technique, developed in our country, only at FaMAF-UNC. It is is composed by multidisciplinary work and it promotes the collaboration with researchers and students coming from different fields (physics, chemistry, pharmaceutical developments, biology) and different points of our country.
Resumo:
IDENTIFICACIÓN DEL PROBLEMA DE ESTUDIO. Las sustancias orgánicas solubles en agua no biodegradables tales como ciertos herbicidas, colorantes industriales y metabolitos de fármacos de uso masivo son una de las principales fuentes de contaminación en aguas subterráneas de zonas agrícolas y en efluentes industriales y domésticos. Las reacciones fotocatalizadas por irradiación UV-visible y sensitizadores orgánicos e inorgánicos son uno de los métodos más económicos y convenientes para la descomposición de contaminantes en subproductos inocuos y/o biodegradables. En muchas aplicaciones es deseable un alto grado de especificidad, efectividad y velocidad de degradación de un dado agente contaminante que se encuentra presente en una mezcla compleja de sustancias orgánicas en solución. En particular son altamente deseables sistemas nano/micro -particulados que formen suspensiones acuosas estables debido a que estas permiten una fácil aplicación y una eficaz acción descontaminante en grandes volúmenes de fluidos. HIPÓTESIS Y PLANTEO DE LOS OBJETIVOS. El objetivo general de este proyecto es desarrollar sistemas nano/micro particulados formados por polímeros de impresión molecular (PIMs) y foto-sensibilizadores (FS). Un PIMs es un polímero especialmente sintetizado para que sea capaz de reconocer específicamente un analito (molécula plantilla) determinado. La actividad de unión específica de los PIMs en conjunto con la capacidad fotocatalizadora de los sensibilizadores pueden ser usadas para lograr la fotodescomposición específica de moléculas “plantilla” (en este caso un dado contaminante) en soluciones conteniendo mezclas complejas de sustancias orgánicas. MATERIALES Y MÉTODOS A UTILIZAR. Se utilizaran técnicas de polimerización en mini-emulsión para sintetizar los sistemas nano/micro PIM-FS para buscar la degradación de ciertos compuestos de interés. Para caracterizar eficiencias, mecanismos y especificidad de foto-degradación en dichos sistemas se utilizan diversas técnicas espectroscópicas (estacionarias y resueltas en el tiempo) y de cromatografía (HPLC y GC). Así mismo, para medir directamente distribuciones de afinidades de unión y eficiencia de foto-degradación se utilizaran técnicas de fluorescencia de molécula/partícula individual. Estas determinaciones permitirán obtener resultados importantes al momento de analizar los factores que afectan la eficiencia de foto-degradación (nano/micro escala), tales como cantidad y ubicación de foto- sensibilizadores en las matrices poliméricas y eficiencia de unión de la plantilla y los productos de degradación al PIM. RESULTADOS ESPERADOS. Los estudios propuestos apuntan a un mejor entendimiento de procesos foto-iniciados en entornos nano/micro-particulados para aplicar dichos conocimientos al diseño de sistemas optimizados para la foto-destrucción selectiva de contaminantes acuosos de relevancia social; tales como herbicidas, residuos industriales, metabolitos de fármacos de uso masivo, etc. IMPORTANCIA DEL PROYECTO. Los sistemas nano/micro-particulados PIM-FS que se propone desarrollar en este proyecto se presentan como candidatos ideales para tratamientos específicos de efluentes industriales y domésticos en los cuales se desea lograr la degradación selectiva de compuestos orgánicos. Los conocimientos adquiridos serán indispensables para construir una plataforma versátil de sistemas foto-catalíticos específicos para la degradación de diversos contaminantes orgánicos de interés social. En lo referente a la formación de recursos humanos, el proyecto propuesto contribuirá en forma directa a la formación de 3 estudiantes de postgrado y 2 estudiantes de grado. En las capacidades institucionales se contribuirá al acondicionamiento del Laboratorio para Microscopía Óptica Avanzada (LMOA) en el Dpto. de Química de la UNRC y al montaje de un sistema de microscopio de fluorescencia que permitirá la aplicación de técnicas avanzadas de espectroscopia de fluorescencia de molecula individual. Water-soluble organic molecules such as certain non-biodegradable herbicides, industrial dyes and metabolites of widespread use drugs are a major source of pollution in groundwater from agricultural areas and in industrial and domestic effluents. Photo-catalytic reactions by UV-visible irradiation and organic sensitizers are one of the most economical and convenient methods for the decomposition of pollutants into harmless byproducts. In many applications it is highly desirable a high degree of specificity, effectiveness and speed of degradation of specific pollutants present in a complex mixture. In particular nano/micro-particles systems that form stable aqueous suspensions are highly desirable because they allow for easy application and effective decontamination of large volumes of fluids. Herein we propose the development of nano/micro particles composed by molecularly imprinted polymers (MIP) and photo-sensitizers (PS). The specific binding of MIP and the photo-catalytic ability of the sensitizers are used to achieve the photo-decomposition of specific "template" molecules in complex mixtures. Mini-emulsion polymerization techniques will be used to synthesize nano/micro MIP-FS systems. Spectroscopy (steady-state and time resolved) and chromatography (GC and HPLC) will be used to characterize efficiency, mechanisms and specificity of photo-degradation in these systems. In addition single molecule/particle fluorescence spectroscopy techniques will be used to directly measure distributions of binding affinities and photo-degradation efficiency in individual particles. The proposed studies point to a more detailed understanding of the factors affecting the photo-degradation efficiency in nano/micro-particles and to apply that knowledge in the design of optimized systems for photo-selective destruction of socially relevant aqueous pollutants.