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.

EVALUACIÓN DE LOS PARÁMETROS CINÉTICOS DE LAGUNAS ANAEROBIAS PARA EL TRATAMIENTO DE EFLUENTES DE LA INDUSTRIA CHACINERA

La elaboración de chacinados tiene un importante desarrollo en la República Argentina, con 330 fábricas de las cuales el 5% se encuentra en la Provincia de Córdoba. Estas empresas genera un volumen importante de efluente, aunque variable dependiente de la tecnología aplicada. Se estima un volumen de 2,5 m3 a 7,9 m3 de efluente generado por tonelada de producto elaborado. El líquido contiene una alta carga de materia orgánica, con valores de DBO5 que oscilan entre 500 y 11.500 mg/l, requiriendo un tratamiento previo al vuelco en un cuerpo receptor. Una posibilidad es realizar el tratamiento a través de sistemas de lagunas, las cuales están encabezados por una laguna anaerobia. El diseño de este tipo de lagunas se realiza aplicando diferentes conceptos, no existiendo para la provincia de Córdoba estudios que caractericen la cinética de degradación de la DBO5 para este tipo de efluente. Se plantea estudiar la degradación de la DBO5 en una laguna anaerobia de una industria charcutera de la provincia de Córdoba a los efectos de conocer los parámetros cinéticos que la gobiernan y verificar si se ajustan a los diferentes modelos cinéticos para este tipo de lagunas. Se analizará la DBO5 al ingreso y a la salida de la laguna, además de los diferentes parámetros que permitirán caracterizar este efluente (pH, cloruros, alcalinidad, dureza, nitrogeno, fósforo) utilizando la metodología indicada en la bibliografía internacional. Se espera conocer los parámetros cinéticos que permitan ajustar el diseño de estas lagunas a las características particulares de este tipo de efluente y a las condiciones meteorológicas del noreste de la provincia de Córdoba.

Estudios de los mecanismos genéticos de producción de fibra en camélidos sudamericanos y ovinos Merino

estructura del vellón y de su pigmentación, en todas las especies identificadas como importantes en las áreas desfavorecidas. Esta idea del estudio Inter. e intra específico se ve favorecida por el principio de la homología interespecífica, que es aplicable a toda la biología de las faneras de los mamíferos. Una buena parte de las hipótesis genéticas planteadas ya han sido probadas, sólo restan testear la hipótesis del blanco uniforme dominante con penetrancia incompleta en Camélidos y caprinos, el eumelánico marrón recesivo con respecto al negro, la herencia del vellón doble capa como aditiva no-mendeliana, la heredibilidad y las correlaciones genéticas significativas en características del folículo y de la fibra en Camélidos y la existencia de interacción genotipo por ambiente en el diámetro medio en Merino. En todos nuestros casos se estudiarán muestras de piel y de fibra extraídas simultáneamente de animales que tienen relación de parentesco conocido y se procesarán en el laboratorio de fibras. Los parámetros genéticos se estimarán con la metodología de máxima verosimilitud restringida (DFREML). Se analiza la factibilidad de testear la presencia de genes mayores aditivos en la determinación de la estructura del vellón en Camélidos (doble capa y lustre) utilizando los esquemas de apareamiento y análisis de segregación clásicos. La salida final de este proyecto es el diseño de programas de mejoramiento genético ajustados a las realidades ambientales y productivas de cada situación particular en donde el SUPPRAD interviene con proyectos de desarrollo.

Estación Astronómica Polar J. L. Sersic

- El grupo IATE del Observatorio Astronómico Córdoba está desarrollando un proyecto observacional en el antártico, desde 1989, denominado ASTROLABEL. Las observaciones se realizan en Base Antártica Belgrano, a 78º S y 34º W, siendo el sitio más adecuado según la prospección hecha en las bases argentinas de actividad permanente. - Se pretende determinar cualitativamente la aptitud de la atmósfera polar para realizar observaciones astronómicas en el rango visible del espectro. Las especiales cirscunstancias de la región, como lo son su prolongado período de oscuridad invernal, la inexistencia de contaminación atmosférica y lumínica y los bajos niveles de humedad relativa, han despertado el interés de los investigadores. - Las tareas se desarrollan en convenio con el Instituto Antártico Argentino (IAA). Objetivos Se pretende determinar cualitativa y cuantitativamente las condiciones del cielo del lugar, para la ejecución de trabajos astronómicos de interés. (...) La disponibilidad de muchas horas de observación continuada hace posible el monitoreo de estrellas con una frecuencia de varias veces al día, lo que permitirá obtener su curva de luminosidad completa, sin interrumpir las observaciones por la salida del sol. Esta situación es la que permitirá la observación de Eta Carina, estrella que presenta bruscos y sorprendentes cambios en su luminosidad. Similar es el caso de las estrellas variables R Corona Borealis con cambios esporádicos, aunque de bajo valor en su brillo. Estas observaciones demandan de un monitoreo constante y con una frecuencia de al menos dos o tres veces diarias. Se pretende obtener una conclusión sobre la transparencia en el UV, cuando se produce la apertura de la depresión de ozono, para lo cual se obtendrá una correlación entre las mediciones de los índices de esa banda y las mediciones de ozono hechas en el lugar con medidores Brewer y EVA. También se tomarán datos con radiómetro de sol durante el verano.

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.

Caracterización del sistema de defensa antioxidante en líneas de maní tolerantes y susceptibles a la sequía

El cultivo de maní generó en 1996 un ingreso de divisas de 250 millones de dólares americanos, hecho que posiciona a este cultivo como el principal rubro generador de divisas de origen agropecuario en la provincia de Córdoba. El rendimiento promedio de los últimos 15 años muestra una tendencia creciente debido a la introducción del cultivar Florman INTA. Este cultivar, que ocupa actualmente más del 90 % del área sembrada, introdujo asociado al carácter rendimiento, susceptibilidad a la sequía por lo cual se producen importantes fluctuaciones en la producción y calidad del grano cosechado, en función de las precipitaciones del año. Esta situación plantea la necesidad de obtener un cultivar con mayor tolerancia a la sequía, manteniendo una calidad comercial adecuada a las necesidades del mercado. La tolerancia a la sequía está conformada por un conjunto de atributos fisiológicos entre los cuales se destaca la capacidad para mantener la funcionalidad del sistema fotosintético. En este sentido, el estudio del sistema antioxidante ha cobrado reciente interés ya que provoca el cierre de los estomas. Como consecuencia se producen especies activas del oxígeno que alteran los procesos metabólicos del cloroplasto y membranas celulares. Estos daños pueden ser minimizados si se consiguen variedades que posean un eficiente sistema de defensa antioxidante bajo condiciones de estrés. El sistema está compuesto por un conjunto de sustancias reducidas y enzimas capaces de metabolizar radicales libres. En maní, al presente, no se ha realizado una caracterización ontogenética del sistema ni se ha determinado su relación con la tolerancia a la sequía. Es Objetivo de este proyecto establecer la posible relación entre el funcionamiento del sistema antioxidante, el daño oxidativo provocado por la sequía y la tolerancia al estrés hídrico, en líneas de maní tolerantes y susceptibles a la sequía. Los cultivares utilizados son Florman INTA Manfredi 393 INTA, como susceptible y tolerante respectivamente. El conocimiento generado permitirá seleccionar componentes del sistema antioxidante de utilidad para el mejoramiento de las actuales variedades de maní, mediante procedimientos clásicos o a través de la manipulación de genes.

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.