Fluctuaciones de orden local en sistemas moleculares

Existe actualmente un interés muy difundido por los fluidos anisotrópicos (cristales líquidos, polímeros) debido a la gran cantidad de aplicaciones que se pueden realizar con ellos (por ejemplo en la fabricación de displays, en medicina, biología, etc.). Su estudio también planea interesantes problemas desde un punto de vista de la física fundamental. Sin embargo, a pesar de esto es muy poco lo que se conoce acerca de la dinámica molecular, y el problema está abierto. Las técnicas más apropiadas en este campo son el estudio de las propiedades dieléctricas y la RMN (relajación spin-red). En esta última, hay una gran actividad en el campo experimental con el desarrollo de numerosas técnicas nuevas. Sin embargo, desde el punto de vista de la teoría de la relajación se continúa utilizando aproximaciones semiclásicas. Entonces, es necesario revisar las hipótesis fundamentales de la teoría de la RMN con el fin de extender su campo de aplicación a problemas complejos como los que plantean los fluidos anistrópicos. El propósito general de esta línea de trabajo es el de extender la teoría semiclásica de relajación nuclear en RMN para incluir la naturaleza cuántica del fenómeno. Al cabo de esta investigación se espera poder describir la relajación del orden dipolar en mesofaces ordenadas como los cristales líquidos, ferrofluídos, etc. (...) Al cabo de este período se espera avanzar en las siguientes tareas: 1. Contar con una ecuación maestra para la matriz densidad de spin lo suficientemente general para incluir los efectos mencionados, pero que a la vez permita la comparación con los resultados experimentales. Dejando de lado las suposiciones clásicas de alta temperatura y orden débil, y en el marco de la suposición de temperatura de spin, se estudiará una expansión de la ecuación maestra en inversas de las temperaturas de la red y de spin. Conservando términos de orden mayor que lineal (aproximación clásica) e introduciendo las interacciones spin-spin durante el tiempo de correlación de la red (memoria microscópica) se analizará la dependencia con la frecuencia de Larmor de T1D y T1Z. Las interacciones spin-spin se introducirán mediante un método perturbativo de operadores. 2. Comprender la razón física de la diferencia de comportamiento con la frecuencia de Larmor de los parámetros T1D y T1Z. 3. Generalizar el análisis para aplicarlo al tiempo de relajación spin-red en el sistema rotante T1r.

Métodos para el análisis de programas probabilistas y no-deterministas utilizando probadores de teoremas. Methods for the analysis of probabilistic and nondeterministic programs using theorem provers.

La verificación y el análisis de programas con características probabilistas es una tarea necesaria del quehacer científico y tecnológico actual. El éxito y su posterior masificación de las implementaciones de protocolos de comunicación a nivel hardware y soluciones probabilistas a problemas distribuidos hacen más que interesante el uso de agentes estocásticos como elementos de programación. En muchos de estos casos el uso de agentes aleatorios produce soluciones mejores y más eficientes; en otros proveen soluciones donde es imposible encontrarlas por métodos tradicionales. Estos algoritmos se encuentran generalmente embebidos en múltiples mecanismos de hardware, por lo que un error en los mismos puede llegar a producir una multiplicación no deseada de sus efectos nocivos.Actualmente el mayor esfuerzo en el análisis de programas probabilísticos se lleva a cabo en el estudio y desarrollo de herramientas denominadas chequeadores de modelos probabilísticos. Las mismas, dado un modelo finito del sistema estocástico, obtienen de forma automática varias medidas de performance del mismo. Aunque esto puede ser bastante útil a la hora de verificar programas, para sistemas de uso general se hace necesario poder chequear especificaciones más completas que hacen a la corrección del algoritmo. Incluso sería interesante poder obtener automáticamente las propiedades del sistema, en forma de invariantes y contraejemplos.En este proyecto se pretende abordar el problema de análisis estático de programas probabilísticos mediante el uso de herramientas deductivas como probadores de teoremas y SMT solvers. Las mismas han mostrado su madurez y eficacia en atacar problemas de la programación tradicional. Con el fin de no perder automaticidad en los métodos, trabajaremos dentro del marco de "Interpretación Abstracta" el cual nos brinda un delineamiento para nuestro desarrollo teórico. Al mismo tiempo pondremos en práctica estos fundamentos mediante implementaciones concretas que utilicen aquellas herramientas.

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.

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.

Análisis molecular del virus sincitial respiratorio bovino cepa RC-98 aislado en Argentina. Molecular analisis of bovine respiratory syncytial virus RC-98 strain isolated in Argentina.

En la provincia de Córdoba, estudios serológicos demostraron una alta tasa de infección para el Virus Sincitial Respiratorio Bovino (VSRB). Paralelamente nuestro grupo de investigación aisló por primera vez en Argentina el VSRB (cepa RC-98) dando un paso importante en el reconocimiento de esta enfermedad. En los últimos años se ha incrementado la importancia de este agente debido a la intensificación de los sistemas ganaderos, impulsados y desplazados por la agriculturización. La detección viral en muestras clínicas aún es pobre por inadecuadas técnicas de laboratorio. Por estas razones es necesario optimizar otro método diagnóstico utilizado mundialmente, no desarrollado en nuestro país hasta el presente. Con el advenimiento de la biología molecular se introducen nuevas técnicas como la RT-PCR para el diagnóstico rápido del VSRB, siendo más sensible y específica que el ensayo de ELISA, Inmunofluorescencia, Inmunoperoxidasa y aislamiento viral, además permite detectar la eliminación viral por un período más prolongado en muestras clínicas. La glicoproteína G (Gp G) del VSRB es la proteína menos conservada entre los aislamientos de VSRB y es la que presenta la mayor variabilidad, tanto antigénica como genética. Por secuenciamiento de la Gp G se propusieron seis subgrupos genéticos. La importancia de esta glicoproteína esta representada en el rol que desempeña en la respuesta inmune. La generación de anticuerpos frente a esta es capaz de neutralizar la infección viral. La hipótesis de trabajo se basa en que pueden existir diferencias genómicas importantes de la cepa autóctona, respecto a cepas bovinas de referencia internacional. Se plantean como objetivos conocer las características moleculares (genómicas) de la Gp G de la cepa RC-98 para el futuro desarrollo de inmunógenos y estandarizar una técnica diagnóstica que complemente y enriquezca el diagnóstico de este virus. Se utilizará la cepa RC-98 la cuál se propagará en células MDBK. Para desarrollar la técnica de RT-PCR se extraerá el ARN viral con un kit comercial, a partir del mismo se obtendrá el ADNc y para la PCR se utilizarán 2 juegos de primers que amplifiquen un fragmento del gen de la Gp G. Una vez estandarizada la técnica se trabajará con muestras clínicas, hisopados nasales, lavados broncoalveolares y muestras pulmonares de animales necroipsiados. Al finalizar la investigación se espera conocer las características genómicas de la cepa RC-98. Se contará con una nueva herramienta diagnóstica para la detección rápida y sensible del VSRB. La misma será transferida a laboratorios de diagnostico. Adicionalmente se contará con el secuenciamiento de la Gp G, lo cuál permitirá clasificar la cepa en estudio dentro de los subgrupos genéticos. Este proyecto pretende sentar bases para investigaciones futuras ya que la técnica de PCR posibilita una nueva aproximación al estudio de la patogénesis de la infección viral y permite estudiar la epidemiología molecular de los aislamientos de campo.

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.

Análisis y optimización de redes inalámbricas de sensores remotos.

El proyecto inicialmente se denominó “Análisis y optimización del radio enlace en un sistema RFID”. A medida que el mismo fue avanzando, principalmente en el desarrollo de 2 planes de doctorado (Proyectos de Tesis Doctoral de Juan Castagnola y Agustín Laprovitta), los objetivos particulares fueron ajustándose a cada uno de estos trabajos. Así pues, los nuevos objetivos planteados para el proyecto son: a) Estudiar, generar modelos, simular e implementar nuevas configuraciones en la etapas de recepción de los transceptores, para lograr mayor alcance con menos potencia; b) Desarrollar metodologías de test para sistemas de redes inalámbricas de sensores, con énfasis en nodos activos y pasivos diseñados con circuitos analógicos y digitales configurables y componentes comerciales; c) Proponer estrategias de test de bajo consumo y alto desempeño focalizadas en las secciones analógicas, de conversión y digitales configurables del nodo. Además de la realización de los trabajos de tesis doctoral mencionados, en el grupo de investigación se encuentran alumnos de la carrera de Ingeniería Electrónica realizando sus trabajos finales de grado, los mismos se orientaron a trabajos de investigación e implementación en el área de las redes inalámbricas de sensores remotos. Los trabajos realizados en el invernadero y en el secadero de embutidos, están orientados también a esta misma temática. Por estos motivos se decidió el cambio en la denominación del proyecto, por: “Análisis y optimización de redes inalámbricas de sensores remotos”.

Desarrollo de un método científico aplicable al análisis y prevención de fallas en ingeniería.

El proyecto busca profundizar lo incorporado como método de análisis, a partir de lo realizado en el proyecto anterior, relativo a la Fragilidad por Hidrógeno en Metales Ferrosos. Sobre la base de lo actuado, se pretende aplicar el método científico de análisis a las fallas en casos que ocurren en la práctica y que tienen como origen errores en el diseño, construcción o mantenimiento de componentes o sistemas. Procesos industriales que aplican técnicas de fabricación o construcción de componentes, frecuentemente fallan por un uso erróneo de los mismos, ya sea por mala práctica o bien por desconocimiento de las variables que los gobiernan. Mediante la aplicación del método científico se busca llegar a las primeras causas de las fallas y a partir del entendimiento de las mismas generar prevención para futuros casos.

Investigación de defectos genéticos en el sistema de la fosforilasa hepática en pacientes argentinos. Definición nosológica mediante una estrategia de análisis molecular. Investigation of genetic defects in the hepatic phosphorylase system in Argentinean patients. Nosological definition by molecular analysis strategy.

Las Enfermedades de Atesoramiento de Glucógeno (EAGs) también llamadas Glucogenosis comprenden un grupo de entidades causadas por una deficiencia enzimática específica relacionada con la vía de síntesis o degradación de esta macromolécula. La heterogeneidad fenotípica de los pacientes afectados dificulta la identificación de las diferentes variantes de EAG y por ende la correcta definición nosológica. En el Centro de Estudio de las Metabolopatías Congénitas, CEMECO, se fueron definiendo los diferentes tipos de Glucogenosis a través de una estrategia multidisciplinaria que integra distintos niveles de investigación clínica y complementaria, laboratorio metabólico especializado, enzimático, histomorfológico y de análisis molecular. Sin embargo, en algunos enfermos, entre los que se encuentran aquellos con defectos en el sistema de la fosforilasa hepática (EAG-VI y EAG-IX), la exacta definición nosológica aún no está resulta. La EAG-VI se refiere a un defecto en la fosforilasa hepática, enzima codificada por el gen PYGL, mientras que la EAG-IX es causada por un defecto genético en una de las subunidades de la fosforilasa b quinasa hepática codicadas por los genes PHKA2, PHKB y PHKG2, respectivamente. El objetivo del presente trabajo es propender a la definición nosológica de pacientes con defectos en el sistema de la fosforilasa mediante una estrategia de análisis molecular investigando los genes PYGL, PHKA2, PHKB y PHKG2. Los pacientes incluidos en este estudio deberán ser compatibles de padecer una EAG-VI o EAG-IX sobre la base de síntomas clínicos y hallazgos bioquímicos. La metodología incluirá la determinación de la enzima fosforilasa b quinasa en glóbulos rojos y dentro del análisis molecular la extracción de DNA genómico a partir de sangre entera para la amplificación por PCR de los exones más las uniones exon/intron de los genes PHKG2 y PYGL y la extracción de RNA total y obtención de cDNA para posterior amplificación de los cDNA PHKA2 y PHKB. Todos los fragmentos amplificados serán sometidos a análisis de secuencia de nucleótidos. Resultados esperados. Este trabajo, primero en Argentina, permitirá establecer las bases moleculares de los defectos del sistema de la fosforilasa hepática (EAG-VI y EAG-IX). El poder lograr este nivel de investigación traerá aparejado, una oferta integrativa en el vasto capítulo de las glucogenosis hepáticas, con extraordinaria significación en la práctica asistencial para el manejo, pronóstico y correspondiente asesoramiento genético. Hepatic glycogen storage diseases (GSDs) are a group of disorders produced by a deficiency in a specific protein involved in the metabolism of glycogen causing different types of GSDs. Phenotypic heterogeneity of affected patients difficult to identify the different GSD variants and therefore the correct definition of the disease. In the “Centro de Estudio de las Metabolopatías Congénitas”, CEMECO, were defined the different GSD types by a protocol which included complex gradual levels of clinical, biochemical, enzymatic and morphological investigation. However, in some patients, like those one with defects in the hepatic phosphorylase system (GSD-VI and GSD-IX) the exact definition of the disease has not yet been resolved. The GSD-VI is produced by a defect in the PYGL gen that encode the liver phosphorylase, while the GSD-IX is caused by a genetic defect in one of the Phosphorylase b kinase subunits, encoded by the PHKA2, PHKB and PHKG2 genes, respectively. The aim of the present study is to define the phosphorylase system defects in argentinian patients through a molecular strategy that involve the investigation of PYGL, PHKA2, PHKB and PHKG2 genes. Patients included in the present study must be compatible with a GSD-VI or GSD-IX on the bases of clinical symptoms and biochemical findings. The phosphorylase b kinase activity will be assay on in blood red cells. The molecular study will include genomic DNA extraction for the amplification of PHKG2 and PYGL genes and the total RNA extraction for amplification of the PHKA2 and PHKB cDNA by PCR. All PCR-amplified fragments will be subjected to direct nucleotide sequencing. This work, first in Argentina, will make possible to establish the molecular basis of the defects on the hepatic phosphorylase system (GSD-VI and GSD IX). To achieve this level of research will entail advance in the study of the hepatic glycogen storage disease, with extraordinary significance in the treatment, prognosis and the genetic counselling.

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.

Sistemas, herramientas y procesos de gestión económica, social y ambientalmente responsables en ámbitos locales y regionales.

La identificación, cuantificación y valoración de los factores críticos exógenos y endógenos del desarrollo local y regional sostenible, realizada en los años anteriores, ha permitido elaborar las bases conceptuales del problema, medir sus efectos, las causalidades y recomendaciones para la acción Básicamente, todas ellas se orientan a la necesidad de establecer organizaciones, modelos de gestión, sistemas de información, herramientas y procedimientos que promuevan la integración social, la adopción de valores y prácticas institucionales en todos los ámbitos, adecuadas a la minimización de la fuga de recursos –económicos, financieros y humanos- locales y la maximización del valor agregado y riqueza local generada, capitalizando localmente los recursos financieros, humanos, ambientales, sociales y de conocimiento. Esta investigación aplicada, prevé la elaboración de 1. Normas de reportes de sostenibilidad –para el sector público, privado y social-. 2. El análisis del sistema financiero –bancario y no bancario- y mercado de capitales desde una perspectiva local y regional. 3. Sistemas locales y regionales de información, planeación, ejecución y controles de gestiones económicas, social y ambientalmente responsables y sostenibles. 4. Modelos y prácticas en la gestión de vivienda y hábitat. A partir de ellas se avanzará en el diseño e implementación de Programas de Posgrado y Capacitación que permitan transferir las tecnologías desarrolladas a administradores públicos, empresas privadas y entidades sociales que son los protagonistas del proceso. Para ello, el proyecto pretende trabajar desde la Facultad de Ciencias Económicas y con otras unidades académicas de la UCC, para lo cual cuenta con un equipo multidisciplinario inserto en los procesos de responsabilidad socio-económica de diversas instituciones y relaciones con entidades sociales, empresarias y estatales. Además prevé el trabajo conjunto con entidades capaces de apoyar –logística y financieramente- los objetivos de la investigación –CEVE, Consejo Profesional de Ciencias Económicas de la Provincia de Córdoba, IARSE, Ministerios provinciales, Gobiernos locales y regionales, Red Ciudadana Nuestra Córdoba, ADEC, FEMUCOR, IPES, etc.-, con los que se ha avanzado y procurará firmar acuerdos de colaboración.

Aplicación del análisis y prevención de falla al desarrollo regional de componentes mecánicos.

En el anterior período de dos años, se ha estudiado la aplicación del método científico al análisis de falla de componentes, como una etapa de formación y capacitación en el método utilizado para la investigación de roturas o fallas de piezas o sistemas mecánicos. Ante la tendencia al desarrollo local de componentes, reemplazo de importaciones, se evidencia que no siempre ésta acción se realiza verificando todos los aspectos del elemento a desarrollar. Tanto el diseño, la materia prima, el método de producción, deben ser analizados detalladamente por su influencia en el comportamiento de cada elemento. Particularmente, en la pequeña y mediana empresa, que no dispone de respaldo técnico suficiente para cubrir todos los aspectos de un desarrollo, existe la necesidad de recurrir a proveedores externos por asesoramiento. La experiencia acumulada en el Análisis de Falla, ofrece un enfoque crítico ante los diferentes factores intervinientes en un componente que permiten predecir, con buena aproximación, los puntos débiles que posee tanto un diseño como un método de producción y de esta forma, aportar al desarrollo exitoso del producto.

Procesos de cambio y aprendizaje organizacional desde sistemas complejos: aspectos procesuales de la cognición organizacional.

En continuidad con proyectos anteriores, la investigación persigue aportaciones a la mirada sistémica e interdisciplinar de los procesos de fortalecimiento de las capacidades de aprendizaje organizacional en organizaciones locales. Al momento, se ha avanzado en el diseño de estrategias de reconstrucción de procesos cognitivos organizacionales críticos, y en la postulación de un modelo de observación de la cognición organizacional con énfasis en la caracterización de los aspectos estructurales. Este proyecto en particular pone en foco los aspectos procesuales de la cognición organizacional, que se presentan como significativos en torno a los fenómenos de aprendizaje observados en los procesos de cambio organizacional en estudio. En ese sentido, el proyecto tiene por objetivo analizar los aspectos procesuales de los fenómenos de cambio y aprendizaje organizacional, planteando la operacionalización de dichos cambios en torno a una categoría de análisis de micro nivel que hemos denominado proceso de quiebre-tratamiento. Abrevamos en antecedentes de la investigación – acción y en fundamentos epistemológicos del enfoque filosófico político de los sistemas complejos, del pragmatismo epistemológico, y de la perspectiva axiológica de la ciencia. El planteo metodológico de tipo cualitativo, apela a recursos de la ciencia - acción, en los que mediante entrevistas individuales, grupales y mixtas, se exploran y confrontan aspectos significativos de los fenómenos de cambio, incluyendo en ello a referentes de investigación, de asistencia técnica y a protagonistas internos de los procesos de transformación institucional de las organizaciones en estudio.