Diseño de sistemas de comunicaciones de alta velocidad. Design of high-speed communication systems.

El crecimiento exponencial del tráfico de datos es uno de los mayores desafíos que enfrentan actualmente los sistemas de comunicaciones, debiendo los mismos ser capaces de soportar velocidades de procesamiento de datos cada vez mas altas. En particular, el consumo de potencia se ha transformado en uno de los parámetros de diseño más críticos, generando la necesidad de investigar el uso de nuevas arquitecturas y algoritmos para el procesamiento digital de la información. Por otro lado, el análisis y evaluación de nuevas técnicas de procesamiento presenta dificultades dadas las altas velocidades a las que deben operar, resultando frecuentemente ineficiente el uso de la simulación basada en software como método. En este contexto, el uso de electrónica programable ofrece una oportunidad a bajo costo donde no solo se evaluan nuevas técnicas de diseño de alta velocidad sino también se valida su implementación en desarrollos tecnológicos. El presente proyecto tiene como objetivo principal el estudio y desarrollo de nuevas arquitecturas y algoritmos en electrónica programable para el procesamiento de datos a alta velocidad. El método a utilizar será la programación en dispositivos FPGA (Field-Programmable Gate Array) que ofrecen una buena relación costo-beneficio y gran flexibilidad para integrarse con otros dispositivos de comunicaciones. Para la etapas de diseño, simulación y programación se utilizaran herramientas CAD (Computer-Aided Design) orientadas a sistemas electrónicos digitales. El proyecto beneficiara a estudiantes de grado y postgrado de carreras afines a la informática y las telecomunicaciones, contribuyendo al desarrollo de proyectos finales y tesis doctorales. Los resultados del proyecto serán publicados en conferencias y/o revistas nacionales e internacionales y divulgados a través de charlas de difusión y/o encuentros. El proyecto se enmarca dentro de un área de gran importancia para la Provincia de Córdoba, como lo es la informática y las telecomunicaciones, y promete generar conocimiento de gran valor agregado que pueda ser transferido a empresas tecnológicas de la Provincia de Córdoba a través de consultorias o desarrollos de productos.

Efecto de la incorporación de proteínas de origen vegetal sobre sistemas alimenticios basados en almidón. Effect of vegetal protein addition to gelled-starch food.

La soja y el maní son cultivos de gran importancia en la provincia de Córdoba y en la Argentina. La utilización de proteínas vegetales se ha incrementado notablemente debido a su alto valor nutricional y a sus atributos funcionales deseables. Las harinas de soja y de maní, subproductos de la extracción de aceite, presentan un alto contenido de proteínas vegetales de excelente calidad nutricional, de bajo precio y con escaso nivel de aprovechamiento en la industria alimenticia. Los concentrados de proteínas de soja son poco utilizados en la elaboración de alimentos, además el desarrollo de concentrados de proteínas de maní puede proveer a la industria de un nuevo ingrediente con alto contenido de proteínas para la formulación y fortificación de alimentos tradicionales. Los postres listos para consumir disponibles en el mercado, están formados por mezclas de almidón gelificado y derivados lácteos, sobre los que se agregan diversos aditivos alimentarios (como sacarosa, aromatizantes, espesantes, etc.). La incorporación de proteínas vegetales puede ser una eficaz forma de incrementar el nivel de proteínas y, en consecuencia, el valor nutricional de estos productos. Además de ser una alternativa a los alimentos elaborados con proteínas animales. Pese a que Córdoba es un gran productor de soja y maní, sus derivados no son empleados actualmente como ingredientes en este tipo de alimentos.El objetivo general de este proyecto es estudiar el efecto de la incorporación de proteínas de origen vegetal sobre las propiedades físico-químicas y funcionales de sistemas alimenticios basados en almidón gelatinizado, prestando fundamental atención a las interacciones que se establecen entre las diferentes moléculas. Se planifica obtener concentrados de proteínas a partir de harina desgrasada de soja y de maní y estudiar su composición y sus propiedades funcionales. Se elaborarán mezclas de los concentrados con almidones de maíz, mandioca y trigo. Se estudiará el comportamiento termo-mecánico de las mezclas y la calidad de los geles mediante la cantidad de agua liberada, el perfil reológico y el color. También se realizarán análisis sensoriales para la selección de los parámetros de calidad de los geles y se estudiarán la digestibilidad de las proteínas y del almidón. Al mismo tiempo se estudiarán las interacciones químicas y físicas entre los distintos componentes. Los resultados servirán para generar y difundir conocimientos sobre la relación entre las interacciones y la calidad de los productos, lo que facilitará la optimización de formulaciones y procesos.

Errores en sistemas de procesamiento de datos debido a eventos transitorios en interfaces analógicas: aportes a la mitigación de los mismos. Errors in data processing systems due to single transient events affecting analog interfaces: contributions to their mitigation.

Los eventos transitorios únicos analógicos (ASET, Analog Single Event Transient) se producen debido a la interacción de un ión pesado o un protón de alta energía con un dispositivo sensible de un circuito analógico. La interacción del ión con un transistor bipolar o de efecto de campo MOS induce pares electrón-hueco que provocan picos que pueden propagarse a la salida del componente analógico provocando transitorios que pueden inducir fallas en el nivel sistema. Los problemas más graves debido a este tipo de fenómeno se dan en el medioambiente espacial, muy rico en iones pesados. Casos típicos los constituyen las computadoras de a bordo de satélites y otros artefactos espaciales. Sin embargo, y debido a la continua contracción de dimensiones de los transistores (que trae aparejado un aumento de sensibilidad), este fenómeno ha comenzado a observarse a nivel del mar, provocado fundamentalmente por el impacto de neutrones atmosféricos. Estos efectos pueden provocar severos problemas a los sistemas informáticos con interfaces analógicas desde las que obtienen datos para el procesamiento y se han convertido en uno de los problemas más graves a los que tienen que hacer frente los diseñadores de sistemas de alta escala de integración. Casos típicos son los Sistemas en Chip que incluyen módulos de procesamiento de altas prestaciones como las interfaces analógicas.El proyecto persigue como objetivo general estudiar la susceptibilidad de sistemas informáticos a ASETs en sus secciones analógicas, proponiendo estrategias para la mitigación de los errores.Como objetivos específicos se pretende: -Proponer nuevos modelos de ASETs basados en simulaciones en el nivel dispositivo y resueltas por el método de elementos finitos.-Utilizar los modelos para identificar las secciones más propensas a producir errores y consecuentemente para ser candidatos a la aplicación de técnicas de endurecimiento a radiaciones.-Utilizar estos modelos para estudiar la naturaleza de los errores producidos en sistemas de procesamiento de datos.-Proponer soluciones novedosas para la mitigación de estos efectos en los mismos circuitos analógicos evitando su propagación a las secciones digitales.-Proponer soluciones para la mitigación de los efectos en el nivel sistema.Para llevar a cabo el proyecto se plantea un procedimiento ascendente para las investigaciones a realizar, comenzando por descripciones en el nivel físico para posteriormente aumentar el nivel de abstracción en el que se encuentra modelado el circuito. Se propone el modelado físico de los dispositivos MOS y su resolución mediante el Método de Elementos Finitos. La inyección de cargas en las zonas sensibles de los modelos permitirá determinar los perfiles de los pulsos de corriente que deben inyectarse en el nivel circuito para emular estos efectos. Estos procedimientos se realizarán para los distintos bloques constructivos de las interfaces analógicas, proponiendo estrategias de mitigación de errores en diferentes niveles.Los resultados esperados del presente proyecto incluyen hardware para detección de errores y tolerancia a este tipo de eventos que permitan aumentar la confiabilidad de sistemas de tratamiento de la información, así como también nuevos datos referentes a efectos de la radiación en semiconductores, nuevos modelos de fallas transitorias que permitan una simulación de estos eventos en el nivel circuito y la determinación de zonas sensibles de interfaces analógicas típicas que deben ser endurecidas para radiación.

Estudios in vitro e in vivo de agentes fotosensibilizadores y su aplicación en terapia fotodinámica. In vitro and in vivo studies of photosensitizer agents and its application in photodynamic therapy.

Muchos esfuerzos se están realizando en el diseño de nuevos métodos para la eliminación de las células tumorales y así inhibir el crecimiento neoplásico. Entre los métodos no convencionales se encuentran la Terapia Fotodinámica.La Terapia Fotodinámica (TFD) es un tratamiento experimental de algunos tipos de cáncer, basado en el efecto citotóxico inducido en el tejido tumoral, por la acción combinada de una droga (fotosensibilizador) y la luz visible. El fotosensibilizador posee la propiedad de absorber la luz y reaccionar con el oxígeno molecular, produciendo una forma activa del oxígeno: el oxígeno singlete (1O2) que oxida diversas moléculas biológicas, induciendo un efecto citotóxico que se traduce en la regresión tumoral. Los nuevos avances en la dosimetría de la luz, así como la búsqueda de una segunda generación de nuevos fotosensibilizadores más eficaces que los actualmente utilizados, han permitido incluir protocolos de Terapia Fotodinámica en numerosos centros hospitalarios principalmente para el tratamiento de cánceres de pulmón, vejiga, esófago y piel. Plantas fototóxicas, sus metabolitos fotosensibilizantes y sus posibles usos; En general, dentro de las especies vegetales tóxicas existen aquellas denominadas plantas alergénicas, que son las que pueden producir sus efectos indeseables por vía dérmica. También existen aquellas que pueden producir efectos tóxicos por vía sistémica. Sin embargo, coexiste en la naturaleza otro grupo de plantas tóxicas que desencadenan sus efectos nocivos bajo la acción de la luz, por lo que son llamadas plantas fototóxicas, cuyos principios activos son comúnmente denominados agentes fotosensibilizantes La apoptosis como blanco terapéutico contra el cáncer: Los conocimientos moleculares sobre la apoptosis adquiridos en los últimos años están siendo aplicados al desarrollo de nuevos fármacos que puedan modular selectivamente las señales involucradas en la muerte de las células. Una de las razones que justifica el interés en el estudio de este tipo de moléculas, es que una de las características más tempranas en la transformación de la células neoplásicas esta relacionada con la incapacidad de responder a los estímulos de muerte. Esto lleva a una desregulación del proceso de apoptosis desencadenando una proliferación descontrolada. Los otros eventos que desencadenan el cáncer son, la invasión vascular y la metástasis a distanciaLa adquisición de resistencia a los efectos citotóxicos de los tratamientos anticancerígenos ha emergido como un significante impedimento para el efectivo tratamiento de la enfermedad. Por ello, en el presente proyecto se investigará si la adquisición de resistencia a TFD inducida en la línea celular estudiada es conferida por el aumento de la proteína MDRP1 a través de la vía de señalización PI3K/Akt. Además, se estudiará la correlación entre la posible resistencia a drogas y la inducción de apoptosis, analizando los mecanismos involucrados. Los resultados obtenidos contribuirán a dilucidar y entender los mecanismos moleculares implicados en la resistencia y sensibilidad tumoral a la TFD, y de esta manera mejorar la eficacia de dicha terapia antitumoral para sensibilizar a las células a la apoptosis. OBJETIVOS Estudiar el efecto de agentes fotosensibilizadores de origen sintético (ftalocianinas), comercialmente ya aprobadas por la FDA (Me-ALA), de origen natural (antraquinonas), y obtenidas en procesos nanotecnologicos (nanofibras) respecto a su capacidad de inducir la muerte celular en sistemas experimentales in vivo, para el desarrollo de nuevas drogas de aplicación en Terapia Fotodinámica (PDT). Estudiar las señales de apoptosis que se desencadenan, combinando la PDT con iRNA (antisurvivina) con la finalidad de aumentar la eficiencia de la muerte tumoral. Estudiar los mecanismos de resistencia a la Terapia Fotodinámica en carcinoma de células escamosas con fotosensibilizadores permitidos (Me-ALA).

Dinámica Cuántica de Sistemas Complejos: Fundamentos y Aplicaciones. Quantum Dynamics in Complex Systems: Fundamentals and Aplications.

El procedimiento de revertir la dinámica colectiva (diablillo de Loschmidt apresurado) mediante un pulso de radio frecuencia, permite generar un Eco de Loschmidt, es decir la refocalización de una excitación localizada. Alternativamente, en acústica es posible implementar un Espejo de Reversión Temporal, que consiste en la progresiva inyección de una débil excitación ultrasónica en la periferia de un sistema, para construir una excitación que se propaga "hacia atrás". Así, podemos afirmar que es posible revertir y controlar la dinámica. Sin embargo, aún no se posee una comprensión detallada de los mecanismos que gobiernan estos procedimientos. Este proyecto busca responder las preguntas que posibilitan esta comprensión.

Sensores basados en nanocavidades de sistemas supramoleculares. Sensors based on nanocavities of supramolecular systems.

Uno de los grandes desafíos analíticos es resolver la complejidad del análisis de cantidades trazas de compuestos orgánicos debido a la baja sensibilidad analítica de las técnicas usuales que permiten una determinación específica como IR o RMN. El uso de espectrofotometría UV-Visible y espectroluminiscencia, técnicas que presentan mayor sensibilidad, se ve dificultada en muchos casos por el efecto matriz producido en el tratamiento de muestras reales y complejas o pérdida de la selectividad debido a la superposición de bandas.La interacción por formación de complejos entre determinados sustratos y receptores macrocíclicos que presentan poros o cavidades nanométricas, puede afectar las propiedades espectroscópicas de los sustratos. La respuesta de técnicas sensibles puede traducirse así en un análisis selectivo debido al reconocimiento molecular que se establece entre un dado receptor y el sustrato de interés. Por otra parte puede mejorar la sensibilidad debido a efectos de micropolaridad del medio, a efectos de restricciones de grados de libertad, por compartamentalización o protección de los estados excitados de los sustratos incluidos. El uso analítico de receptores selectivos es un área actualmente en desarrollo, que permite una rápida determinación de especies químicas, disminuyendo el efecto de interferentes, mejorando la sensibilidad y disminuyendo el tratamiento de la muestra.Se estudiarán los mecanismos involucrados en las interacciones y los factores que los modifican por técnicas espectroscópicas como UV-visible, RMN y luminiscencia. Se determinarán los parámetros analíticos por luminiscencia en los medios y condiciones en que la sensibilidad analítica muestre el mayor incremento. Se realizarán las pruebas de validación en las mejores condiciones para cada uno y mezclas de analitos relacionados en muestras reales.

Efecto de la forestación con pináceas sobre la biodiversidad y el funcionamiento de sistemas fluviales serranos en pastizales de altura. Pine afforestation effects on ecosystem functioning and biodiversity in mountain pastureland fluvial systems.

Las acciones antrópicas han alterado los ecosistemas a escala global mediante cambios en la estructura y función de los sistemas terrestres y acuáticos. En este sentido, la deforestación de bosques ripariales impacta fuertemente sobre los sistemas lóticos como así también el proceso inverso, la conversión de pasturas naturales a bosques debido a forestaciones extensivas. Las nacientes de los arroyos de la provincia de Córdoba se ubican en pastizales dominados por gramíneas, muchos de los cuales han sido reemplazados por plantaciones de coníferas, con potenciales efectos sobre la estructura y el funcionamiento de los cursos de agua. En consecuencia, la evaluación de los efectos de esta actividad forestal sobre los arroyos es esencial para la implementación de adecuadas estrategias de manejo y conservación del recurso acuático. El objetivo de este proyecto es evaluar los efectos de la forestación con pináceas sobre la estructura y el funcionamiento de sistemas fluviales en pastizales de altura de las sierras de Córdoba. Se pretende analizar la dinámica de la biota acuática en arroyos de pastizales y en arroyos forestados. Se cuantificarán productores primarios y materia orgánica particulada y se medirán procesos ecológicos como la producción primaria y descomposición de materia orgánica gruesa. Se espera que la forestación con pináceas altere el ciclo de los nutrientes, disminuya el caudal y cambie el balance de temperatura al incrementar la sombra y el ingreso de materia orgánica particulada gruesa. En consecuencia, y debido a los cambios abióticos contrastantes generados por la implantación de pinos, podrían detectarse alteraciones drásticas en el ecosistema. Se seleccionarán seis arroyos de la subcuenca del arroyo Santa Rosa (Subcuenca Ctalamochita). Tres arroyos discurren en pastizales naturales y tres en áreas forestadas con pináceas. Se tomarán muestras de invertebrados y materia orgánica en el bentos en aguas altas y aguas bajas y se registrarán parámetros físico-químicos. Se colectarán muestras de perifiton para análisis de especies, biomasa y clorofila. Se realizarán experimentos de campo para medir la tasa de degradación de la materia orgánica y la producción primaria. La detección del grado de alteración de los sistemas naturales es el punto de partida para la implementación de apropiadas estragias de manejo del recurso. Entre los indicadores que permitirán verificar el efecto de las forestaciones estan los cambios en la biodiversidad, en la tasa de degradación de materia orgánica y en la producción primaria, como así también en la dinámica de los nutrientes y en los ciclos de caudales. Esta propuesta pretende generar lazos de interrelación entre distintos sectores para la implementación efectiva de planes de conservación y restauración y propiciar las relaciones necesarias para el logro de objetivos que beneficien a la sociedad como un todo.

Vías de transducción de señales implicadas en la diferenciación y variación antigénica de giardia lamblia.

Giardia lamblia (también conocido como Giardia intestinalis o Giardia duodenalis) es un protozoario parásito que habita en el intestino delgado de seres humanos y otros vertebrados, y es una de las principales causas en el mundo de enfermedad intestinal en humanos, la causa más frecuente de diarrea transmitida por agua en los países desarrollados y así como una causa común de diarrea en los centros de atención ambulatoria. Aunque el ciclo de vida de G. lamblia y las condiciones fisiológicas que provocan los procesos de enquistamiento, desenquistamiento y variación antigénica se han estudiado durante años, las vías de transducción de señales involucradas en estos procesos siguen siendo poco conocidos y serán el foco de la presente investigación. ¿Cómo un estímulo desencadena una expresión diferencial de genes durante la adaptación de G. lamblia mediante un sistema minimalista? es atractivo a la luz de la biología sintética. Por lo tanto, la realización de este proyecto responderá alguna de estas cuestiones biológicas, centrándose en los mecanismos moleculares esenciales que intervienen en los procesos de transducción de señales implicadas en la diferenciación y la variación antigénica. Los estímulos que disparan los procesos de enquistamiento, desenquistamiento ya han sido descritos en el pasado y a su vez hemos desarrollado un nuevo sistema para acelerar la tasa de variación antigénica. Por lo tanto, después de haber creado la mayor parte de las condiciones para el estudio de estos procesos, vamos a intentar contestar las siguientes preguntas generales y específicos: (A) ¿Cuáles son las vías de transducción implicadas en la diferenciación de G. lamblia y la variación antigénica? (B) Dado que G. lamblia aparentemente carece de proteínas G heterotrimericas y de receptores de membrana acoplados a estas proteínas (GPCR), ¿cómo G. lamblia transduce algunos estímulos particularmente conocidos por estar asociados a estas moléculas?. (C) ¿Cuál es la participación de la proteínas G monomericas tipo Ras en las vías de transducción de señales de G. lamblia? (D) ¿De qué manera este organismo regula sus niveles citoplasmáticos de AMP cíclico (AMPc) y cuáles son los procesos que se valen de este importante segundo mensajero?. La respuesta de estas preguntas permitirá una mejor comprensión de la fisiología de este importante agente patógeno y facilitará el control de su crecimiento y difusión. Por otra parte, la información obtenida en este proyecto pueden ser de relevancia para el control de otros patógenos y proporcionará nuevos conocimientos sobre la evolución de estos sistemas en eucariotas superiores.

Factores críticos endógenos del desarrollo local sustentable. Sistemas y procesos de participación y control democrático en pequeñas comunidades, empresas, y organizaciones de la sociedad civil.

La democracia –y en especial la participación y su control- se han consolidado en el campo teórico -económico y social-, como la única forma de avanzar en el desarrollo sustentable y sostenible de las comunidades. Su ejercicio efectivo y cotidiano, depende de la existencia y operación de sistemas de información –para la toma de decisiones y difusión- en las entidades públicas, privadas y de la sociedad civil, que sostengan los principios democráticos de libertad, igualdad, derechos políticos, económicos y sociales, que a lo largo de la historia se han incorporado a su definición. La identificación realizada en los últimos 4 años, de los factores críticos externos del desarrollo local como la concentración y las externalidades, permiten construir sistemas de información estratégica para avanzar en la elaboración de planes y proyectos de desarrollo. Por su parte, los factores endógenos de las comunidades y organizaciones plantean el desafío de desarrollar formas de organización y gestión, que permitan superar el voluntarismo, los conflictos personales o sectoriales y avanzar sobre bases objetivas en los procesos de negociación, obtención de consensos y conducción en busca del bien común, sobre bases democráticas. El proyecto mediante un método comparativo, identifica los comportamientos, las prácticas institucionales y los mecanismos utilizados en comunidades, empresas y OSC en relación con ese “bien común”, de modo de diseñar instrumentos de planeación, toma de decisiones, ejecución y control –sistemas de autodiagnóstico, Balance social, Paneles de Comando, Balanced Scorecad, etc.- cuya adopción en las organizaciones mencionadas haría realidad su gestión responsable, desarrollo sostenible y democrático.

ESTRATEGIA QUÍMICA Y FARMACOLÓGICA PARA LA BÚSQUEDA DE PRODUCTOS BIOACTIVOS DE PLANTAS AUTÓCTONAS Y MEDICINALES

A partir de especies autóctonas bioactivas, se pretende obtener metabolitos químicos con potenciales actividades biológicas. Esta metodología de trabajo es válida para el descubrimiento de nuevas drogas de origen natural y que podrían ser de aplicación en diversas áreas de la farmacología experimental. Dentro de los diferentes metabolitos químicos que produce el reino vegetal, tanto la familia de flavonoides como la de alcaloides, presentan importantes características farmacológicas, haciéndolos interesantes para su estudio. El presente proyecto contempla la búsqueda de principios activos de origen natural orientados a su evaluación con potenciales aplicaciones terapéuticas: A) Drogas con actividad inhibidora de Acetilcolinesterasa (AcHE) Se evaluará el contenido químico en alcaloides de Lycopodium de especies sudamericanas de Huperzia:Huperzia quadrifariata, Huperzia reflexa y Huperzia acerosa, estudiando sus propiedades como agentes con actividad anticolinesterasa y su relación sobre la memoria y el aprendizaje. B) Drogas con actividad inhibidora sobre sistemas enzimáticos relacionados a eventos inflamatorios: La óxido nítrico sintasa inducilbe (iNOS) es la enzima responsable de la sobreproducción patológica del óxido nítirico (NO), un mediador citotóxico en procesos inflamatorios. Así, evaluaremos si flavonoides obtenidos de Dalea elegans, Dalea boliviana y Prosopis strombulifera, podrían tener algún efecto inhibitorio tanto sobre la producción de NO, como en la expresión de la iNOS, utilizando línea celular derivada de macrófago: J774. C) Drogas con actividad inhibidora de la enzima tirosinasa Tirosinasa es la enzima encargada de la formación de melanina y su inhibición, permitiría la obtención de nuevos agentes terapéuticos y cosméticos que serían útiles para tratar trastornos de hiperpigmentación. De este modo, se estudiará la actividad de flavonoides prenilados obtenidos de especies de Dalea (Dalea elegans y Dalea boliivana) sobre la inhibición de tirosinasa de hongos "in vitro". De este modo, el presente plan de trabajo tiene como propósito el estudio de flavonoides y alcaloides, obtenidos de especies sudamericanas, no solo en su aspecto químico sino también su aplicación en estudios biológicos que permitan asignar actividades, evaluando potenciales efectos farmacológicos y sus posibles mecanismos de acción.

PRODUCCIÓN DE BIOMASA FORESTAL, FORRAJERA Y CAPACIDAD SUSTENDORA ANIMAL EN SISTEMAS SILVOPASTORILES DE LA LLANURA ONDULADA Y SIERRA DE COMECHINGONES EN EL CENTRO DE ARGENTINA.

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.

Evaluación de características biológicas, productivas y ambientales que condicionan el establecimiento y el rendimiento de marcela y poleo en condiciones silvestres y de cultivo

La vegetación silvestre de la provincia de Córdoba incluye plantas medicinales y aromáticas con valor ecológico, económico, social y cultural de donde surge la importancia de su uso sustentable. La demanda de las empresas es cubierta exclusivamente por la recolección silvestre, en su mayor parte proveniente de zonas marginales para la producción agrícola-ganadera. “marcela” [Achyrocline satureioides (Lam.) DC.] y “poleo” (Lippia turbinata Griseb.) son especies nativas y crecen en sierras y llanura de Córdoba con valor medicinal y aromatizante. Hoy en día la droga cruda de marcela y poleo que se comercializa es heterogénea, condicionando la calidad y cantidad del material con uso farmacológico e industrial. Ello depende en parte del genoma de la especie, de su interacción con el ambiente, y también de las prácticas de recolección. Es por ello que la industria demanda material cultivado, genéticamente homogéneo y de establecimientos donde se apliquen buenas practicas de manejo. Nuestra hipótesis es que el resultado de la interacción del genoma de marcela y de poleo con el ambiente, el disturbio y las practicas de manejo condiciona su establecimiento y rendimiento. Ello nos permite predecir que: las variables dependientes del genoma se expresarán al crecer distintas poblaciones en un mismo ambiente, y practicas de manejo que semegen condiciones ambientales de las poblaciones silvestres de mejor rendimiento permitirán obtener mayor rendimiento en cultivo. Nuestro objetivo general es evaluar en marcela y poleo las características biológicas, productivas y ambientales que condicionan su establecimiento y rendimiento en condiciones silvestres y de cultivo. Y los específicos para marcela y poleo son: Identificar las principales variables ambientales y de disturbio asociadas a su establecimiento y rendimiento en condiciones silvestres. Establecer buenas prácticas de recolección y rendimientos de referencia en condiciones silvestres. Identificar y evaluar de poblaciones silvestres con mayor establecimiento y sobrevivencia, y menor variabilidad de rendimento en condiciones de cultivo. Caracterizar el desarrollo y la arquitectura de las poblaciones en condiciones de cultivo. Se realizarán de censos de vegetación y la caracterización del ambiente abiótico, régimen de disturbio en sierras de Comechingones y Las Peñas (Córdoba). Caracterización de poblaciones de marcela y poleo: recuento de individuos, y registro del estado fenológico, altura y cobertura, y evaluación de biomasa y fitoquímica. Mantenimiento e instalación de experimentos factoriales (origen y densidad), y caracterización del desarrollo y arquitectura de marcela y poleo. Elaboración de protocolo de recolección y propagación. Los datos serán analizados mediante técnicas uni y multivariadas. En áreas de vegetación silvestre de la serranía se espera obtener: la distribución y abundancia de estas poblaciones; rendimientos de referencia para al menos 7 poblaciones de marcela y poleo; condiciones ambientales y de disturbio relacionados con la distribución, crecimiento y rendimiento; un protocolo de buenas prácticas de recolección; y un listado, distribución y abundancia de otras especies con uso medicinal y aromático. En cultivo se espera obtener: condiciones ambientales y de manejo asociadas al establecimiento y rendimiento de referencia de al menos 5 poblaciones de marcela y 3 poblaciones de poleo; y características del desarrollo y arquitectura de las poblaciones. Los organismos públicos y privados contaran con información sobre la distribución de marcela y poleo, y de las principales variables ambientales, de disturbio, recolección y manejo que condicionan su establecimiento y rendimiento en condiciones silvestres y en cultivo. Tanto recolectores como profesionales relacionados con la domesticación, comercialización o industrialización, dispondrán de criterios biológicos y productivos de referencia para evaluar la calidad y cantidad del material y así mejorar su valor comercial.

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.

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

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

Mejoramiento del comportamiento térmico de sistemas de calentamiento de agua solares termosifónicos hechos con materiales no convencionales y con tanques de almacenamiento verticales y horizontales Performance improvement of solar thermosyphonic systems for water heating made of non conventional materials and using horizontal and vertical storage tanks

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.