Desarrollo Riguroso de Sistemas Tolerantes a Fallas

Los sistemas críticos son aquellos utilizados en áreas en las cuales las fallas, o los eventos inesperados, pueden ocasionar grandes perdidas de dinero; o quizás peor aún, daños a vidas humanas. Esta clase de sistemas juegan un rol importante en actividades esenciales de la sociedad tales como la medicina y las comunicaciones. Los sistemas críticos, cada vez son más usuales en la vida real, algunos ejemplos de estos son los sistemas de aviones, sistemas para automóviles y sistemas utilizados en telefonia móvil. Para minimizar las fallas, y las perdidas materiales o humanas ocasionadas por el funcionamiento incorrecto de dichos sistemas, se utilizan técnicas de tolerancia a fallas. Estas técnicas permiten que los sistemas continúen funcionando aún bajo la ocurrencia de fallas, o eventos inesperados. Existen diversas técnicas para lograr tolerancia a fallas utilizando, por ejemplo, redundancia a diferentes niveles de abstracción, como, por ejemplo, al nivel de hardware. Sin embargo, estas técnicas dependen fuertemente del sistema, y del contexto en las que se utilizan. Más aún, la mayoría de la técnicas de tolerancia a fallas son usadas a bajo nivel (código fuente o hardware), estimamos que el uso de formalismos rigurosos (con fundamentos matemáticos) pueden llevar al diseño de sistemas tolerantes a fallas y robustos a un nivel de abstracción más alto, a la vez que la utilización de técnicas de verificación que han sido exitosas en la práctica tales como model checking, o la síntesis de controladores, pueden llevar a una verificación y producción automática de sistemas robustos. El objetivo del presente proyecto es estudiar tanto marcos teóricos, que permitan la construcción de sistemas más robustos, como también herramientas automáticas que hagan posible la utilización de estos formalismos en escenarios complejos. Para lograr estos objetivos, será necesario considerar casos de estudios de diferente complejidad, y además que sean relevantes en la práctica. Por ejemplo: bombas de insulina, protocolos de comunicación, sistemas de vuelo y sistemas utilizados con fines médicos. Planeamos obtener prototipos de algunos de estos casos de estudio para evaluar los marcos teóricos propuestos. En los últimos años diferentes formalismos han sido utilizados para razonar sobre sistemas tolerantes a fallas de una forma rigurosa, sin embargo, la mayoría de estos son ad hoc, por lo cual sólo son aplicables a contextos específicos. Planeamos utilizar ciertas lógicas modales, en conjunto con nociones probabilísticas, para obtener un conjunto de herramientas suficientemente generales para que puedan ser utilizadas en diferentes contextos y aplicaciones. Los materiales a utilizar son equipos informáticos, en particular computadoras portátiles para el equipo de trabajo y computadoras más potentes para el testeo y desarrollo del software necesario para lograr los objetivos del proyecto. Para construir los prototipos mencionados se utilizarán equipos de computación estándar (el equipo investigación cuenta con computadoras intel y mac) en conjunto con lenguajes de programación modernos como JAVA o C#. En el caso de que los sistemas de software sean sistemas embebidos; se piensa desarrollar un motor de simulación que permita evaluar el desempeño del software cuando es ejecutado en el dispositivo mencionado. Se espera desarrollar, e investigar, las propiedades de formalismos matemáticos que permitan el desarrollo de sistemas tolerantes a fallas. Además, se desarrollarán herramientas de software para que estos sistemas tolerantes a fallas puedan verificarse, o obtenerse automáticamente. Los resultados obtenidos serán difundidos por medio de publicaciones en revistas del área. El desarrollo de sistemas tolerantes a fallas por medio de técnicas rigurosas, a diferentes niveles de abstracción (captura de requisitos, diseño, implementación y validación), permitirá minimizar los riesgos inherentes en actividades críticas.

Sistemas supramoleculares autoensamblados con proyección a la Química Sustentable y sus aplicaciones en síntesis y reacciones de transferencia de electrones.

Este proyecto combina una serie de líneas de trabajo que, en esencia, estudian interacciones moleculares débiles y propiedades fisicoquímicas de diversos solutos en distintos medios. En todos los casos se procura comprender los factores que determinan la interacción de un soluto con su medio ya sea homogéneo o heterogéneo y aplicar estos conocimientos a diversos procesos, fundamentalmente en medios supramoleculares auto-organizados. Los medios supramoleculares que se estudian son: micelas inversas con agua u otros solventes polares sustitutos confinados en su corazón polar y vesículas. En este proyecto se desarrollan métodos que optimizan la detección de diferentes tipos de interacciones no-covalentes con distintas moléculas pruebas en los diferentes medios y, a partir de esto obtener aplicaciones diversas. Se trata de comprender los factores que determinan la solubilización, ubicación y/o reactividad de las moléculas pruebas en diferentes sitios del medio supramolecular y de esta manera obtener información acerca de las diferentes interacciones específicas en cada sitio del sistema supramolecular, lo cual es fundamental para el reconocimiento molecular ("inteligencia"). En definitiva estos estudios están orientados a: i) entender la adaptabilidad de nuevos sistemas supramoleculares para utilizar los resultados en el diseño de métodos de síntesis, electrosíntesis y catálisis dentro de los principios de la química sostenible o química verde y en la prevención a problemas de impacto ambiental tal como la remediación de aguas contaminadas por hidrocarburos y la degradación de pesticidas utilizando estrategias no convencionales; ii) la comprensión de fenómenos de transferencia de carga en sistemas auto-organizados y membranas biológicas; iii) el desarrollo de nuevos métodos de detección electroquímicos para compuestos de interés biológico, en medicina, alimentos y farmacología. También, dentro de los objetivos hay una componente muy fuerte de formación de recursos humanos como se aprecia en el número de becarios ya incorporados y a incorporar. La integración de estos conocimientos multidisciplinarios crea un ámbito sumamente beneficioso para la formación de doctorandos tan necesarios para el país ya que tendrán la oportunidad de participar en temas de investigación variados, relacionados con disciplinas diferentes, lo que sin duda será un valor añadido en su formación.

Performance comparativa entre R437A e R134A paradrop-in em um condicionador de ar automotivo

The reduction in energy consumption is the main requirement to be satisfied in refrigeration and air conditioning by mechanical vapor compression system. In automotive system isn´t different. Thermal analyses in these systems are crucial for a better performance in automotive air conditioner. This work aims to evaluate the conditions of use of R134A refrigerant (used in vehicles) and compare with R437A (alternative refrigerant), varying the speed of the electric fan in the evaporator. All tests were performed in automotive air conditioning unit ATR600, simulating the thermal conditions of the system. The equipment is instrumented for data acquisition temperature, condensation and evaporation pressures and electrical power consumed to determine the coefficient of performance of the cycle. The system was tested under rotations of 800, 1600 and 2400 rpm with constant load of R- 134a. It occurred with the same conditions with R437A. Both recommended by the manufacturer. The results show that the best system performance occurs in the rotation of 800 RPM for both refrigerants.

Perfil sorológico contra Rickettsia spp e Leptospira spp e infestação de carrapatos em suínos mantidos sob diferentes sistemas de criação

The various types of pig farming, intensive and extensive, expose them to pig parasites but also to those from the environment of the breeding site. In this work was evaluated the exposure of bigs bred in technified farms, SISCAL (intensive breeding system in pens) and not technified (backyard) to leptospira, ticks and rickettsiae. Blood sera were analyzed to determine titers of antibodies anti-Leptospira by SAM technique and antibodies anti-rickettsial by IFA, pigs were inspected for ticks and in their breeding environment and surrounding areas (pastures and riparian vegetation), ticks were collected by the flannel dragging technique. In the farms of pigs 10.4% had anti-Leptospira antibodies, followed by SISCAL (8%) and backyard animals (2.5%). The serovars found were Bratislava, Pomona, serovar, Canicola and Icterohaemorrhagiae. Higher percentage of properties with pigs raised outdoors (SISCAL) had tick infested animals (20%) than those raised in backyard (6.7%), while commercial farms had no infested pigs nor infested breeding place. In both SISCAL and backyard pig breeding properties ticks were observed at the breeding site environment. Tick infestations were detected in areas surrounding pig breeding site in all three husbandry suystems. Ticks found were all Amblyomma scultpum nymphs or adults with the exception of one of Amblyomma parvum adult. In relation to anti-rickettsia serology to five Rickettsia species, 55.2% of pigs from commercial farms reacted to al least one species, backyard pigs reacted to 89.7% and all pigs of SISCAL showed anti-rickettsia titers. Consecutive tick sampling (June 2014 to February 2016) in SISCAL FAZU in Uberaba, showed the establishment A. sculptum ticks maintained by domestic pigs. These observations demonstrate the ability the pigs to maintain populations of A. sculptum at a favorable environment and may indicate a new trend in environmental infestations by this species of tick. Exposure to Leptospira and Rickettsia demonstrated the potential pigs exposure and transmission of important diseases in public health.

Fuentes, redes y sistemas de información en ciencias sociales y humanidades

Este trabajo se propone analizar los recursos de información en ciencias sociales y humanidades que puedan dar apoyo a la investigación en el área. Se describen las principales fuentes, redes y sistemas existentes con posibilidades de acceso a través de Bibliotecas y Centros de Documentación del país. Se incluyen tanto aquellos contenidos que están liberados en Internet como los que son arancelados. Se realiza un balance del estado de situación de estos recursos y su perspectiva de crecimiento en la cooperación, ya que resulta imperativo impulsar actividades tendientes a compartir recursos informativos y buscar medios idóneos para acceder a los documentos en que debe basarse toda investigación

Fuentes, redes y sistemas de información en ciencias sociales y humanidades

Este trabajo se propone analizar los recursos de información en ciencias sociales y humanidades que puedan dar apoyo a la investigación en el área. Se describen las principales fuentes, redes y sistemas existentes con posibilidades de acceso a través de Bibliotecas y Centros de Documentación del país. Se incluyen tanto aquellos contenidos que están liberados en Internet como los que son arancelados. Se realiza un balance del estado de situación de estos recursos y su perspectiva de crecimiento en la cooperación, ya que resulta imperativo impulsar actividades tendientes a compartir recursos informativos y buscar medios idóneos para acceder a los documentos en que debe basarse toda investigación

Fuentes, redes y sistemas de información en ciencias sociales y humanidades

Este trabajo se propone analizar los recursos de información en ciencias sociales y humanidades que puedan dar apoyo a la investigación en el área. Se describen las principales fuentes, redes y sistemas existentes con posibilidades de acceso a través de Bibliotecas y Centros de Documentación del país. Se incluyen tanto aquellos contenidos que están liberados en Internet como los que son arancelados. Se realiza un balance del estado de situación de estos recursos y su perspectiva de crecimiento en la cooperación, ya que resulta imperativo impulsar actividades tendientes a compartir recursos informativos y buscar medios idóneos para acceder a los documentos en que debe basarse toda investigación

Trasporte eléctrico y magnetismo en sistemas electrodo - aislante - electrodo: hacia el desarrollo de dispositivos del tipo juntura tunel.

La presente tesis es un estudio dedicado a la optimización y desarrollo de sistemas del tipo juntura túnel. La metodología utilizada para la realización de la tesis consistió, en primer lugar, en la optimización de las componentes independientes de la juntura túnel: electrodo y barrera aislante. Posteriormente se optimizaron los procesos de fabricación para el desarrollo y caracterización de dispositivos del tipo juntura túnel en su forma final. En la primera parte de la tesis se analizan detalladamente los resultados obtenidos de la caracterización eléctrica y topografica de barreras aislantes en sistemas electrodo - barrera. Los sistemas bicapas estudiados, GdBa_2Cu_3_7/SrTiO_3, Nb/Ba_0,05Sr_0,95TiO_3 y YBa_2Cu_3O_7/SrTiO_3, fueron caracterizados utilizando un microscopio de fuerza atómica en modo conductor. Se propuso un modelo fenomenológico basado en los resultados experimentales, que permitió la obtención de parámetros críticos para el desarrollo de dispositivos del tipo juntura túnel con nuevas funcionalidades. La información obtenida de la caracterización de los sistemas bicapas (homogeneidad de crecimiento, baja densidad de defectos y de pinholes) indican un muy buen control de los parámetros de crecimiento de las barreras. Por otro lado, se obtuvo un buen comportamiento aislante para espesores mayores a 2 nm sin la presencia de pinholes en la barrera. La similitud en la estequiometría de las barreras (SrTiO_3) permitió comparar los distintos sistemas estudiados en términos de conductividad eléctrica. Se verificó que el modelo fenomenológico permite comparar la conductividad eléctrica de los sistemas mediante uno de los parámetros definidos en el modelo fenomenológico (obtenido de los ajustes lineales de las curvas I(V)). De los 3 sistemas estudiados, las bicapas GdBa_2Cu_3O_7/SrTiO_3 presentaron un mayor valor de longitud de atenuación de los portadores de carga a través de la barrera y una muy baja densidad de defectos superficiales. Las bicapas YBa_2Cu_3O_7/SrTiO_3 y Nb/Ba_0,05Sr_0,95TiO_3 permitieron validar el modelo fenomenológico propuesto para el análisis de la respuesta corriente - voltaje obtenida con el microscopio de fuerza atómica en modo conductor. La segunda parte de la tesis abarca conceptos de magnetismo y microfabricación para el desarrollo de junturas túnel magnéticas. Durante la caracterización de las películas ferromagnéticas individuales de Co_90Fe_10 (CoFe) se logró aumentar valor del campo coercitivo de films de 10 nm de espesor al incrementar la temperatura de depósito. Esto se debe a un aumento del tamaño de grano de los films. El aumento de la temperatura del sustrato durante el crecimiento influye en la morfología y las propiedades magnéticas de los films de CoFe favoreciendo la formación de granos y la pérdida del eje preferencial de magnetización. Estos resultados permitieron la fabricación de sistemas Co_90Fe_10/M_gO/Co_90Fe_10 con distintas orientaciones relativas accesibles con campo magnético para el estudio del acople magnético entre los films de CoFe. La caracterización eléctrica de estos sistemas, particularmente la respuesta corriente - voltaje obtenida con el microscopio de fuerza atómica en modo conductor, indicó que las propiedades de transporte eléctrico de las junturas presentan un alto grado de reproducibilidad. Se analizó además la inuencia del sustrato utilizado en la corriente túnel que atraviesa la barrera aislante. Por otro lado, se discuten los fenómenos relacionados a la optimización de las propiedades magnéticas de electrodos ferromagnéticos para la fabricación de junturas túnel Co_90Fe_10/MgO/Co_90Fe_10 y Co_90Fe_10/MgO /Fe_20Ni_80. En particular, se estudió el acople magnético entre capas ferromagnéticas y la inuencia del sustrato utilizado para el crecimiento de las tricapas. La optimización de los electrodos magnéticos involucró el análisis de la inuencia de la presencia de un aislante entre dos capas magnéticas en el acople de los electrodos. Se logró el desacople de films de 10 nm de Co_90Fe_10 y Fe_20Ni_80 separados por un espaciador de MgO de 2 nm. Finalmente se detallan los pasos para la fabricación de una red de junturas túnel magnéticas y su caracterización eléctrica a bajas temperaturas. El sistema estudiado fue la tricapa Co_90Fe_10 (10 nm)/M_gO (8 nm)/ Fe_20Ni_80 (10 nm) crecido sobre un sustrato de M_gO. La caracterización eléctrica confirmó la buena calidad de la junturas fabricadas. Las junturas obtenidas presentaron un comportamiento altamente resistivo (~ MΩ). Las mediciones de la corriente túnel en función de la temperatura permitieron descartar la presencia de pinholes en la barrera. El transporte de los portadores de carga es por efecto túnel a través de la barrera aislante. Las curvas de conductancia diferencial permitieron calcular el valor medio de la altura de la barrera de potencial (φ = 3.1 eV) a partir del modelo de Brinkman. Los resultados obtenidos en cada uno de los capítulos se complementan y son relevantes para la optimización de junturas túnel, debido a que brindan información crítica para su correcto funcionamiento. En la presente tesis se lograron obtener los primeros avances para la fabricación de arreglos de junturas túnel que permitan el desarrollo de dispositivos.