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.

Aplicación de materiales zeolíticos en el reciclado químico de residuos plásticos

La utilización de los plásticos ha crecido dramáticamente durante los últimos 30 años y en forma paralela también se ha incrementado el volumen de desperdicios provenientes de los mismos. La distribución individual de los mismos en los residuos domiciliarios varía de acuerdo al origen socioeconómico de los grupos sociales, oscilando entre 39-47% de polietileno PE, 27-41% de polietilentereftalato PET, 5-12% de poliestireno PS, 10-15% de polipropileno PP, entre otros; ocupando entre 9-12% de los desperdicios en rellenos sanitarios (expresado en porcentajes en peso). Para el aprovechamiento de los residuos plásticos existen diferentes opciones, de las cuales el reciclado químico aparece como la alternativa más prometedora tanto ambiental como económica. Dentro del reciclado químico de los desechos plásticos, se encuentra el craqueo catalítico, que es un proceso a partir del cual se pueden obtener hidrocarburos líquidos y gaseosos de gran valor agregado, a partir de la adición de catalizadores, lo cual mejora la tecnología puramente térmica, ya que el espectro en la distribución de productos es mucho más reducido, permitiendo alcanzar mayor selectividad hacia ciertos productos en función de las características del catalizador utilizado, reduciendo los tiempos de reacción y las temperaturas del proceso a 350-550°C. En la presente investigación se propone la síntesis de materiales catalíticos a medida con base en materiales microporosos (Zeolitas), para la transformación de residuos plásticos en hidrocarburos de interés para la industria petroquímica o combustibles. Los materiales catalíticos (del tipo ZSM-11, BETA) se prepararán por técnicas hidrotérmicas, a los cuales se les incorporarán funciones activas (H, Zn, Co, Cr, Ni, Mn) empleando tratamientos químicos y térmicos. Se caracterizarán mediante el empleo de diversas técnicas fisicoquímicas, tales como Difracción de rayos X, Absorción Atómica, Análisis Térmicos, Espectroscopía Infrarrojo con transformada de Fourier, BET, Microscopía de barrido electrónico con microsonda y Mediciones de propiedades magnéticas ( a temperatura ambiente con variación de campo y a campo constante con variación de temperatura). Finalmente estos materiales se emplearán en la transformación de residuos plásticos (PEBD, PEAD y mezclas de los mismos) a hidrocarburos aromáticos y cortes de combustibles. Se estudiará de las influencia de condiciones operativas (reactor de lecho fijo a presión atmosférica, temperaturas de reacción, tiempos de reacción, relación polímero/catalizador, etc.), a los fines de optimizar el sistema catalítico. Aquellos catalizadores que presenten mejor comportamiento para el proceso, serán evaluados a bajos tiempos de contacto en un reactor discontinuo de lecho fluidizado, denominado Simulador de Riser.

Aplicación de materiales zeolíticos en el reciclado químico de residuos plásticos

La utilización de los plásticos ha crecido dramáticamente durante los últimos 30 años y en forma paralela también se ha incrementado el volumen de desperdicios provenientes de los mismos. La distribución individual de los mismos en los residuos domiciliarios varía de acuerdo al origen socioeconómico de los grupos sociales, oscilando entre 39-47% de polietileno PE, 27-41% de polietilentereftalato PET, 5-12% de poliestireno PS, 10-15% de polipropileno PP, entre otros; ocupando entre 9-12% de los desperdicios en rellenos sanitarios (expresado en porcentajes en peso). Para el aprovechamiento de los residuos plásticos existen diferentes opciones, de las cuales el reciclado químico aparece como la alternativa más prometedora tanto ambiental como económica. Dentro del reciclado químico de los desechos plásticos, se encuentra el craqueo catalítico, que es un proceso a partir del cual se pueden obtener hidrocarburos líquidos y gaseosos de gran valor agregado, a partir de la adición de catalizadores, lo cual mejora la tecnología puramente térmica, ya que el espectro en la distribución de productos es mucho más reducido, permitiendo alcanzar mayor selectividad hacia ciertos productos en función de las características del catalizador utilizado, reduciendo los tiempos de reacción y las temperaturas del proceso a 350-550°C. En la presente investigación se propone la síntesis de materiales catalíticos a medida con base en materiales microporosos (Zeolitas), para la transformación de residuos plásticos en hidrocarburos de interés para la industria petroquímica o combustibles. Los materiales catalíticos (del tipo ZSM-11, BETA) se prepararán por técnicas hidrotérmicas, a los cuales se les incorporarán funciones activas (H, Zn, Co, Cr, Ni, Mn) empleando tratamientos químicos y térmicos. Se caracterizarán mediante el empleo de diversas técnicas fisicoquímicas, tales como Difracción de rayos X, Absorción Atómica, Análisis Térmicos, Espectroscopía Infrarrojo con transformada de Fourier, BET, Microscopía de barrido electrónico con microsonda y Mediciones de propiedades magnéticas ( a temperatura ambiente con variación de campo y a campo constante con variación de temperatura). Finalmente estos materiales se emplearán en la transformación de residuos plásticos (PEBD, PEAD y mezclas de los mismos) a hidrocarburos aromáticos y cortes de combustibles. Se estudiará de las influencia de condiciones operativas (reactor de lecho fijo a presión atmosférica, temperaturas de reacción, tiempos de reacción, relación polímero/catalizador, etc.), a los fines de optimizar el sistema catalítico. Aquellos catalizadores que presenten mejor comportamiento para el proceso, serán evaluados a bajos tiempos de contacto en un reactor discontinuo de lecho fluidizado, denominado Simulador de Riser.

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.

Aproximación al diseño de sistemas de bio-reactores para la delignificación de materiales lignocelulósicos y para la decontaminación de suelos y efluentes. Approximation to the design of bio-reactors systems for the delignificación of lignocellulosic materials and for the decontamination of soil and effluents

Los materiales lignocelulósicos residuales de las actividades agroindustriales pueden ser aprovechados como fuente de lignina, hemicelulosa y celulosa. El tratamiento químico del material lignocelulósico se debe enfrentar al hecho de que dicho material es bastante recalcitrante a tal ataque, fundamentalmente debido a la presencia del polímero lignina. Esto se puede lograr también utilizando hongos de la podredumbre blanca de la madera. Estos producen enzimas lignolíticas extracelulares fundamentalmente Lacasa, que oxida la lignina a CO2. Tambien oxida un amplio rango de sustratos ( fenoles, polifenoles, anilinas, aril-diaminas, fenoles metoxi-sustituídos, y otros), lo cual es una buena razón de su atracción para aplicaciones biotecnológicas. La enzima tiene potencial aplicación en procesos tales como en la delignificación de materiales lignocelulósicos y en el bioblanqueado de pulpas para papel, en el tratamiento de aguas residuales de plantas industriales, en la modificación de fibras y decoloración en industrias textiles y de colorantes, en el mejoramiento de alimentos para animales, en la detoxificación de polutantes y en bioremediación de suelos contaminados. También se la ha utilizado en Q.Orgánica para la oxidación de grupos funcionales, en la formación de enlaces carbono- nitrógeno y en la síntesis de productos naturales complejos. HIPOTESIS: Los hongos de podredumbre blanca, y en condiciones óptimas de cultivo producen distintos tipos de enzimas oxidasas, siendo las lacasas las más adecuadas para explorarlas como catalizadores en los siguientes procesos:  Delignificación de residuos de la industria forestal con el fin de aprovechar tales desechos en la alimentación animal.  Decontaminación/remediación de suelos y/o efluentes industriales. Se realizarán los estudios para el diseño de bio-reactores que permitan responder a las dos cuestiones planteadas en la hipótesis. Para el proceso de delignificación de material lignocelulósico se proponen dos estrategias: 1- tratar el material con el micelio del hongo adecuando la provisión de nutrientes para un desarrollo sostenido y favorecer la liberación de la enzima. 2- Utilizar la enzima lacasa parcialmente purificada acoplada a un sistema mediador para oxidar los compuestos polifenólicos. Para el proceso de decontaminación/remediación de suelos y/o efluentes industriales se trabajará también en dos frentes: 3) por un lado, se ha descripto que existe una correlación positiva entre la actividad de algunas enzimas presentes en el suelo y la fertilidad. En este sentido se conoce que un sistema enzimático, tentativamente identificado como una lacasa de origen microbiano es responsable de la transformación de compuestos orgánicos en el suelo. La enzima protege al suelo de la acumulación de compuestos orgánicos peligrosos catalizando reacciones que involucran degradación, polimerización e incorporación a complejos del ácido húmico. Se utilizarán suelos incorporados con distintos polutantes(por ej. policlorofenoles ó cloroanilinas.) 4) Se trabajará con efluentes industriales contaminantes (alpechínes y/o el efluente líquido del proceso de desamargado de las aceitunas). The lignocellulosic raw materials of the agroindustrial activities can be taken advantage as source of lignin, hemicellulose and cellulose. The chemical treatment of this material is not easy because the above mentioned material is recalcitrant enough to such an assault, due to the presence of the lignin. This can be achieved also using the white-rot fungi of the wood. It produces extracellular ligninolitic enzymes, fundamentally Laccase, which oxidizes the lignin to CO2. The enzyme has application in such processes as in the delignification of lignocellulosic materials and in the biobleaching of fibers for paper industry, in the treatment of waste water of industrial plants, in the discoloration in textile industries, in the improvement of food for ruminants, in the detoxification of polutants and in bioremediation of contaminated soils. HYPOTHESIS: The white-rot fungi produce different types of enzymes, being the laccases the most adapted to explore them as catalysts in the following processes:  Delignification of residues of the forest industry in order to take advantage of such waste in the animal feed.  Decontamination of soils and / or waste waters. The studies will be conducted for the design of bio reactors that allow to answer to both questions raised in the hypothesis. For the delignification process of lignocellulosic material they propose two strategies: 1- to treat the material with the fungi 2-to use the partially purified enzyme to oxidize the polyphenolic compounds. For the soil and/or waste water decontamination process, we have: 3- Is know that the enzyme protects to the soil of the accumulation of organic dangerous compounds catalyzing reactions that involve degradation, polymerization and incorporation to complexes of the humic acid. There will be use soils incorporated into different pollutants. 4- We will work with waste waters (alpechins or the green olive debittering effluents.

Caracterización de moléculas de rizobacterias y de leguminosas con alto impacto productivo y tecnológico en la provincia de Córdoba. Characterization of rhizobacteria and legumes molecules with high production and technological impact in the province of Córdoba.

La provincia de Córdoba cuenta con alto desarrollo agrícola a base de cereales y leguminosas, como por ejemplo el maní. Pero este cultivo con los años ha trasladado su zona de siembra original y se ha extendido hacia otras áreas de mayor riesgo ambiental a raíz de la implantación de la soja. Diversas son las consecuencias de estas dos acciones y que se extienden desde lo agroecológico hasta lo científico-técnico. Este previo estado del arte y las referencias bibliográficas que apuntan a la necesitad de aumentar el valor agregado de los cultivos, nos ha llevado a formular una hipótesis de trabajo y es que las plantas de maní y soja así como las rizobacterias que se asocian con ellas, son productoras de diversas moléculas con potencial uso biológico en la productividad del cultivo y en aplicaciones tecnológicas, biológicas e industriales. Sumado a lo anterior y a las ideas gubernamentales de la necesidad de obtener conocimiento y capitalizarlo como riqueza, y la imperiosa urgencia de responder a demandas regionales, se presenta este proyecto cuyo objetivo general apunta a estudiar la producción de diversas moléculas de rizobacterias y leguminosas con el fin de mejorar la productividad de los cultivos y desarrollar nuevas aplicaciones tecnológicas en la provincia de Córdoba. Para cumplir dentro de los dos años de trabajo solicitados con lo expuesto anteriormente, la investigación será dividida en objetivos específicos y que consisten en investigar la producción de moléculas de raíces de maní y soja, analizar la respuesta microbiana a las rizodeposiciones de ambas leguminosas y evaluar el posible papel biológico y aplicación tecnológica de moléculas de ambos tipos de organismos. Nuestro grupo es de caracter multidisciplinar y ahondará en la diversidad molecular producida por raíces de maní y soja en direfentes días y la respuesta de las rizobacterias que se asocian ellas utilizando técnicas químicas (HPLC, GC, GC-masa) y herramientas microbiológicas y bioquímicas clásicas. Con fines de aplicación tecnológica se determinará la posible acción antioxidante de los extractos vegetales sobre sistemas modelos de ensayo así como la búsqueda de enzimas y hormonas microbianas aplicables en otros campos de la ciencia. De esta forma se pretende atender algunas demandas de diferentes sectores del centro sur de Córdoba y del país pero fundamentalmente posibilitar nuevas aplicaciones de las leguminosas y de las rizobacterias además de permitir la formación académicas de alumnos de grado y posgrado de la UNRC. The province of Cordoba has high agricultural development based on cereals and legumes such as peanuts. But the crop over the years has transferred his original planting area and has spread to other areas of greatest environmental risk following the introduction of soybeans. The previous state and regional art references that point to the necessity of increasing the value-added crops, has led us to formulate a working hypothesis is that the peanut and soybean plants and rhizobacteria associated with they are products of various biological molecules with potential use in crop productivity and biological technology and industrial applications. The general objective is aimed at studying the production of various molecules and legumes rhizobacteria to improve crop productivity and develop new technological applications in the Cordoba province. This form is intended to meet some demands of different sectors of the center south of Cordoba and the country but enabling new applications of legumes and rhizobacteria in addition to allowing the academic training of undergraduates and graduate of the UNRC.

Degradación de efluentes de las industrias del cuero y textil mediante procesos fotocatalíticos heterogéneos empleando la luz solar. Degradation of effluents from the leather and textile industries through heterogeneous photocatalytic processes using sunlight.

El creciente desarrollo de la industria del cuero y textil en nuestro país, y específicamente en la provincia de Córdoba, ha hecho resurgir en los ultimos años una problemática aún no resuelta que es la elevada contaminación de los recursos hídricos. En ambas industrias, la operación de teñido involucra principalmente colorantes de tipo azoico los cuales son "no biodegradables" y se fragmentan liberando aminas aromáticas cancerígenas. Para abordar esta problemática, la fotocatálisis heterogénea aparece como una nueva tecnología que permitiría la completa mineralización de estos colorantes. A través de radiación y un fotocatalizador sólido adecuado se pueden generan radicales libres eficientes para la oxidación de materia orgánica (colorantes) en medio acuoso. En este sentido, se proponen tamices moleculares mesoporosos modificados con metales de transición (MT) como fotocatalizadores potencialmente aptos para la degradación de estos contaminantes. El propósito principal de este proyecto es el diseño, síntesis, caracterización y evaluación de materiales mesoporosos que presenten actividad fotocatalítica ya sea mediante la modificación de su estructura con diversos metales fotosensibles y/o empleándolos como soporte de óxido de titanio. Se pretende evaluar estos materiales en la degradación de colorantes intentando desplazar su fotosensibilidad hacia la radiación visible para desarrollar nuevas tecnologías con menor impacto ambiental y mayor aprovechamiento de la energía solar. Para ello se sintetizarán materiales del tipo MCM-41 modificados con distintos MT tales como Fe, Cr, Co, Ni y Zn mediante incorporación directa del ión metálico o impregnación. Al mismo tiempo, tanto estos últimos materiales como el MCM-41 silíceo serán empleados como soporte de TiO2. Sus propiedades fisicoquímicas se caracterizarán mediante distintas técnicas instrumentales y su actividad fotocatalítica se evaluará en la degradación de colorantes azoicos bajo radiación visible. Se seleccionará el catalizador más eficiente y se estudiarán los diversos factores que afectan el proceso de fotodegradación. Así mismo, el análisis de la concentración del colorante y los productos presentes en el medio en función del tiempo de reacción permitirá inferir sobre la cinética de la decoloración y postular posibles mecanismos de fotodegradación. Con esta propuesta se espera contribuír al desarrollo de un sector industrial importante en nuestra provincia como es el de las industrias del cuero y textil, mediante la generación de nuevas tecnologías que empleen la energía solar para la degradación de sus efluentes (colorantes). En este sentido, se espera desarrollar nuevos materiales optimizados para lograr la mayor eficiencia fotocatalítica. Esto conduciría entonces hacia la remediación de un problema ambiental de alto impacto tanto para nuestra provincia y nuestro país como para la población mundial, como es la contaminación de los recursos hídricos. Finalmente, con este proyecto se contribuirá a la formación de dos doctorandos y un maestrando, cuyos temas de tesis están vinculados con nuestro objeto de estudio. The increasing development of the textile and leather industries in our country, and specifically in Córdoba, has revived an unresolved problem that is the high contamination of water resources. In both industries, the dyeing involves mainly type azoic dyes which are not biodegradable and break releasing carcinogenic aromatic amines. Heterogeneous photocatalysis appears as a new technology that would allow the complete mineralization of these pollutants. Through radiation and a suitable solid it is possible to generate free radicals for efficient oxidation of organic matter (dyes) in aqueous medium. In this respect, mesoporous molecular sieves modified with transition metals are proposed as potential photocatalysts. The main purpose of this project is the synthesis of mesoporous materials having photocatalytic activity for the degradation of dyes. We will try to move their photosensitivity to visible radiation to develop new technologies with lower environmental impact and greater use of solar energy. Materials MCM-41 modified with metals (Fe, Cr, Co, Ni and Zn) will be synthesized by direct incorporation or impregnation. These materials and the siliceous MCM-41 will be then employed as support of TiO2. The materials will be evaluated in the photocatalytic degradation of azoic dyes under visible radiation. The influence of different factors on the photodegradation proccess will be studied. Kinetic studies will be carried out and a possible reaction way will be proposed. Thus, this work will contribute to the advancement of an important industrial sector and the remediation of an environmental problem with high impact for our province and our country. Moreover, this proyect will contribute to the development of two doctoral tesis and one magister tesis which are vinculated with our study subject.

El valor razonable como concepto vinculado a la pertinencia del valor. Fair value as a concept related to value relevance.

IDENTIFICACIÓN Y CARACTERIZACIÓN DEL PROBLEMA - HIPÓTESIS Según la NIC 39, el valor razonable es la cantidad por la que puede ser intercambiado un activo o cancelado un pasivo entre un comprador y un vendedor interesados y debidamente informados, en condiciones de independencia mutua. La definición del FASB (SFAC 7) es muy similar, y define el valor razonable como el monto mediante el que un activo podría ser enajenado en una transacción entre partes independientes, dispuestas a realizar la operación en situaciones diferentes a la de una liquidación o a la de una venta forzada. Puede apreciarse que esta definición de valor razonable es limitada porque, a excepción de escenarios que se correspondan con mercados perfectos y completos, el concepto puede abarcar valores de entrada, valores de salida y valores en uso, los cuales pueden ser muy diferentes (Beaver, 1987). El valor de entrada es el valor de adquisición o de reemplazo, el valor de salida es el precio al cual un activo puede ser vendido o liquidado, y el valor en uso es el valor incremental de una empresa atribuible a un activo (se correspondería con el valor presente mencionado anteriormente). Dado que el IASB y la FASB se ocupan de la valuación de activos que una empresa posee, y no de activos que serán adquiridos en un futuro, su definición de valor razonable debería ser interpretada desde la perspectiva del vendedor. Por lo tanto, el concepto de valor razonable que manejan el IASB y la FASB se asemeja a un valor de salida, tal como lo propusieron Chambers y Stirling hace bastantes años atrás.Planteado esto, lo que tratará de dilucidar este proyecto de investigación es si este concepto de valor razonable es realmente novedoso o es una simple regresión a los valores corrientes de salida defendidos por los autores de la década del setenta. OBJETIVOS GENERALES Y ESPECÍFICOS General Analizar si el concepto “valor razonable” tal como es definido por la normativa actual se corresponde con una definición novedosa o es una adaptación/modificación/regresión de conceptos ya existentes (valores corrientes de salida). Específicos Revisar la literatura específica desde el punto de vista de la teoría contable y las normas de las que dispone la profesión referidas a los siguientes aspectos: a) Valores corrientes b) Valor razonable MATERIALES Y MÉTODOS El análisis que se llevará a cabo comprenderá dos aspectos. El primero consiste en la revisión de la doctrina contable. Para ello se analizará bibliografía significativa y trabajos de eventos académicos relacionados con el valor razonable. En segundo término se revisará la normativa profesional a nivel nacional e internacional. Después de concluido con los pasos anteriores se analizará la novedad del concepto valor razonable y su semejanza con el valor corriente de salida planteado por los autores de la década del setenta. IMPORTANCIA DEL PROYECTO – IMPACTO Se pretende revisar si el concepto valor razonable planteado por la normativa actual resulta realmente novedoso o es una adaptación de viejos conceptos planteados en la década del setenta del siglo pasado. El proyecto resulta importante porque es un tema no desarrollado en la literatura, ni planteado en congresos. Se estima lograr material de publicación y presentación en eventos académicos. According to the NIC 39, fair value is the quantity for the one that can be exchanged an asset or cancelled a liability between a buyer and a seller interested and due informed, in conditions of mutual independence. The definition of the FASB (SFAC 7) is very similar, and defines fair value as the amount by means of which an assets might be alienated in a transaction between independent parts, ready to realize the operation in situations different from that of a liquidation or to that of a forced sale. This definition of reasonable value is limited because, with the exception of scenes that fit with perfect and complete markets, the concept can include values of entry, values of exit and values in use, which can be very different (Beaver, 1987). The value of entry is the value of acquisition or of replacement, the value of exit is the price to which an asset can be sold or liquidated, and the value in use is the incremental value of a company attributable to an asset. Provided that the IASB and the FASB deal with the appraisal of assets that a company possesses, and not of assets that will be acquired in a future, this definition of fair value should be interpreted from the perspective of the seller. Therefore, the concept of reasonable value that they handle the IASB and the FASB is alike a value of exit, as Chambers and Stirling proposed it enough years ago behind. We will review if the concept of "fair value" is really new or if it is an adaptation of old concepts.

Caracterización, procesamiento e industrialización del grano de quinoa, cultivado en la provincia de Córdoba - Argentina. Characterization, processing and industrialization of quinoa seed harvested in the province of Córdoba - Argentina

La quinoa (Chenopodium quinoa Willd), es un pseudocereal originario de la región Andina. Fue utilizada como alimento básico por los pueblos nativos. La quinoa, la papa y el maíz constituyeron el trinomio base de la alimentación indígena de este continente. La colonización española fue desplazando su cultivo a favor del trigo europeo y otros cereales, quedando reducida a las zonas altas de la región andina. La Quínoa ha adquirido una considerable atención en los últimos tiempos, principalmente por la calidad de sus proteínas y la ausencia de gluten en ella. Su empleo está ampliamente difundido en los países andinos, especialmente Bolivia y Perú, con un notable crecimiento de la superficie sembrada. En nuestro país la explotación de este cultivo se ubica principalmente en las provincias norteñas de Salta y Jujuy. En estos últimos años se ha reivindicado su cultivo y los granos privados de saponinas son considerados como un excelente alimento, reconocido por la OMS, la FAO y la NASA. Además de la calidad de sus lípidos y vitaminas, y al elevado contenido en almidón, la quinoa posee una proteína de excelente calidad nutricional y libre de gluten, lo que hace a este grano especialmente indicado para la alimentación de personas que sufren de la enfermedad celíaca o del síndrome de intestino irritado. El presente proyecto está orientado al aprovechamiento integral del grano de quinoa. Es nuestra intensión aquí, demostrar que dicho grano, cultivado en la provincia de Córdoba, permitirá elaborar productos alimenticios asi como también derivados de su industrialización. Para este objetivo se cuenta con las instalaciones de la Planta Piloto del Instituto de Ciencia y Tecnología de los Alimentos (ICTA), de la UNC, así como de intrumental moderno y acorde, como HPLC, GC, Espectrofotómetro UV-Vis, rotavapores de laboratorio e industrial, cámara fría, balanzas analíticas y de precisión, muflas, estufas, molinos y tamices, así como también, contamos con profesionales, algunos de ellos realizando su tesis doctoral en este tema. En cuanto a los objetivos que se persiguen, se espera obtener productos tales como sopas, papillas, productos para panadería y galletería y salsas. En el plano industrial, se pretende elaborar concentrados proteicos, almidón y saponinas. Como se dijo más arriba, a nivel internacional la quinoa ha comenzado a extender sus fronteras, y es así que hoy el principal productor mundial de este grano, Bolivia, destina un porcentaje importante de su producción a la exportación. La creciente demanda mundial de quinoa a hecho que se constituya en un cultivo estratégico y de alto valor, con precios internacionales que rondan los U$S 1200 la tonelada. Si a esto unimos que la planta presenta una gran resistencia a la sequía, que se adapta bien a terrenos salitrosos, arenosos y pobres, podemos comprender la importancia que adquiere para nuestra provincia, toda vez que en la misma existen zonas geográficas potencialmente aptas para su cultivo. Quinoa (Chenopodium quinoa Willd) is a pseudocereal originating in the Andean region. It was used as a staple food by native peoples. Quinoa, potatoes and corn were the tree most important indigenous staple food to this part of South America. Spanish colonization was marginalized cultivation in favor of European wheat and other grains, displacing it to the highlands of the Andean region. Quinoa has recently gained considerable attention, mainly by its protein quality and lack of gluten. Its use is widespread in the Andean countries, especially Bolivia and Peru, with a notable increase in plantings. In our country, the exploitation of this crop is located mainly in the northern provinces of Salta and Jujuy. In recent years its cultivation has been promoted, and the grains once free of saponins are considered an excellent food, recognized by WHO, FAO and NASA. In addition to its lipid and vitamins, and high starch contain, quinoa protein has an excellent nutritional value and it is free of gluten, making it particularly suitable for this grain to feed people with celiac disease or irritable bowel syndrome. This project aims at an integral development of quinoa grain. It is our intention here to demonstrate that this grain grown in the province of Córdoba, can produce food products resulting from local industrialization. This team has access to the facilities of the Pilot Plant of the Institute of Science and Food Technology (ICTA) of the UNC, and the modern equipments in it, as HPLC, GC, UV-Vis spectrophotometer, laboratory and industrial rotary evaporators, cold storage, analytical and precision balances, flasks, ovens, grinders and screens. Also, we have an important professional staff, some of them doing their thesis on this subject. With regard to the objectives pursued, we expect to obtain products such as soups, baby food, bakery products and biscuits and sauces. At the industrial level, it aims at producing protein concentrates, starch and saponins.

Calidad química y sensorial de alimentos: desarrollo de metodologías analíticas basadas en la utilización de HS-SPME/GC y aceptabilidad sensorial para la caracterización de plantas aromáticas y productos alimenticios.

El concepto de calidad ha evolucionado en los últimos años adquiriendo un extraordinario protagonismo. Un alimento puede ser descripto mediante una serie de parámetros o variables que se transforman en atributos de calidad por la percepción y preferencias de un usuario. Los valores que deben alcanzar los atributos para que la adecuación sea positiva, son las especificaciones de calidad. Entre los atributos de calidad de un alimento se encuentra la organoléptica o sensorial, que puede ser definida, medida y ponderada, estableciéndose niveles de confianza para el cumplimiento de las especificaciones de calidad acordadas. Los componentes químicos volátiles del alimento, estimulan las terminales sensitivas de boca y nariz, afectando a los atributos olor, aroma, fragancia, gusto y flavor. Por lo tanto, identificar dichos componentes y determinar su proporción en el producto es de vital importancia para establecer correlaciones con las respuestas sensoriales. En el presente proyecto se desarrollarán metodologías analíticas basadas en Microextracción en Fase Sólida del Espacio de Cabeza seguida de Cromatografía Gaseosa (HS-SPME/GC) y en aceptabilidad sensorial para su aplicación en la caracterización de plantas aromáticas y productos alimenticios, con la finalidad de identificar los compuestos volátiles responsables de la aceptación o rechazo de los productos investigados, de evaluar el efecto del almacenamiento sobre las características de los mismos, y establecer similitudes y diferencias entre los perfiles químicos de diferentes productos del mismo tipo. Además, se realizarán protocolos de control de calidad para las muestras estudiadas.

Caracterización de las interacciones allium cepa - microorganismos beneficiosos y generación de estrategias de bajo impacto ambiental para el manejo sustentable de enfermedades de cebolla causadas por hongos de suelo.

La cebolla es una de las hortalizas más importantes a nivel mundial y uno de los principales rubros dentro de las exportaciones de hortalizas frescas de Argentina. Las pérdidas causadas por enfermedades por hongos de suelo constituyen una limitación en la productividad de este cultivo. El rol de las bacterias promotoras de crecimiento vegetal (Plant Growth Promoting Rhizobacteria, PGPR) en protección biológica contra patógenos ha sido ampliamente descripto en diferentes sistemas vegetales. En la última década, un particular interés ha sido enfocado a la comprensión y el estudio de los mecanismos de defensa de las plantas. Sin embargo, los procesos de bioprotección durante la interacción entre estos microorganismos benéficos y diversos patógenos aún son escasamente abordados a niveles moleculares y fisiológicos. Las vías de señalización en las plantas han sido propuestas como actores importantes en los mecanismos de control biológico de enfermedades. Numerosos estudios han demostrado la complejidad de los cambios transcripcionales que ocurren en una planta durante la colonización de raíces por PGPR, remarcando que un mejor conocimiento de los eventos moleculares desencadenados resultaría en una profunda comprensión del potencial bioprotector de estos microorganismos beneficiosos presentes en el suelo. Por otro lado, la creciente necesidad de disminuir el impacto ambiental que implica el uso masivo de productos químicos para el control de plagas en general (patógenos, artrópodos y malezas) en cultivos ha direccionado los esfuerzos hacia el desarrollo de estrategias capaces de minimizar el efecto nocivo que los compuestos químicos pueden tener sobre el ecosistema, contribuyendo de esta manera a la sustentabilidad de la agricultura. Es por lo expuesto que este proyecto nos planteamos el objetivo de general conocimientos útiles para desarrollar herramientas que permitan ejecutar estrategias de manejo de hongos de suelo patógenos para cultivos de cebolla, utilizando el biocontrol como medio de bajo impacto ambiental.