SOFHIA: a CAD environment to design digital control systems

"Series Title: IFIP - The International Federation for Information Processing, ISSN 1868-4238"

An object-oriented model for rapid prototyping of data path/control systems - a case study

Publicado em "Information control in manufacturing 1998 : (INCOM'98) : advances in industrial engineering : a proceedings volume from the 9th IFAC Symposium, Nancy-Metz, France, 24-26 June 1998. Vol. 2"

Development of active bio-based multilayer systems: encapsulation of cinnamaldehyde and their physicochemical characterization

[Excerpt] In this work, different multilayer structures, using a polyhydroxybutyrate-co-valerate film with a valerate content of 8% (PHBV8) as support, were developed aiming the development of active bio-based multilayer systems. An interlayer based on zein nanofibers with and without cinnamaldehyde were electrospun in the PHBV8 film and three multilayer systems were developed: 1) without an outer layer; 2) using a PHBV8 film as outer layer; and 3) using an alginate-based film as outer layer. Their physico-chemical properties were evaluated through: water vapour and oxygen permeabilities and colour measurements, Fourier Transform Infrared Spectroscopy (FTIR) and thermal analyses. Results showed that the presence of different outer layers affected the water vapour permeability and transparency of the multilayer films. (...)

In-line rheo-optical microstructural characterization of complex polymer systems

Tese de Doutoramento em Ciência e Engenharia de Polímeros e Compósitos.

Vapor - liquid equilibrium of systems containing perfluoromethyl-cyclohexane and hydrocarbons

Vapor - liquid equilibrium data for the binary systems: Perfluoromethylcyclohexane + n-Hexane and Perfluoromethylcyclohexane + 1-Hexene were determined at 93.3 KPa and 328.15 K. The vapor pressure for the pure components were also measured to calculate the Antoine constants. The data were correlated by using the Van-Laar, Margules, Wilson, NRTL and UNIQUAC equations. UNIFAC group-contribution parameters between CH, and CF,, and CH,=CH and CF, were also calculated.

Estudio de la formación y evolución de galaxias en diferentes tipos de sistemas. Study of the fomation and evolution of galaxies in different types of systems.

Se propone el estudio de galaxias en diferentes tipos de sistemas para lograr un mejor entendimiento de los procesos físicos que actúan en la formación y evolución de estas galaxias. En particular, se analizarán las propiedades de galaxias en cúmulos, grupos difusos, grupos compactos y grupos fósiles. Para el desarrollo de este trabajo, se utilizarán catálogos observacionales públicos y propios, simulaciones cosmológicas combinadas con modelos semianalíticos y catálogos sintéticos basados en dichas simulaciones. Entender el comportamiento de las galaxias pertenecientes a cada clase de sistema permitirá la comparación entre los distintos entornos y posteriormente, la distinción de los diferentes procesos astrofísicos que actúan.

Estudios de sistemas organizados con aplicaciones en nanoquímica, síntesis orgánica y en reactividad. Studies of organized systems with applications in nanochemistry, organic synthesis and reactivity.

El objetivo general de este proyecto es el estudio de distintos tipos de sistemas organizados, conocer los factores que determinan la forma de organización y las consecuencias que ésta tiene sobre la reactividad de moléculas que se encuentran en ese entorno organizado. Se pretende realizar, desde la fisicoquímica y la síntesis orgánica, aportes a áreas multidisciplinarias como la nanociencia y la nanotecnología. Se sintetizarán ciclodextrinas anfifílicas y se estudiará su comportamiento en solución y en interfases, sus propiedades de agregación y morfología. Se estudiará también la termodinámica de los procesos y la capacidad catalítica de estas ciclodextrinas anfifílicas en superficies bidimensionales en reacciones de hidrólisis de ésteres. Las ciclodextrinas anfifílicas sintetizadas en el laboratorio se utilizarán también en mezclas con otros surfactantes, con el objetivo de generar medios eficientes respecto a la solubilización y extracción de contaminantes orgánicos desde suelos. Se espera encontrar sistemas que presenten efectos sinérgicos. Se determinará el efecto de la formación de complejos con ciclodextrina sobre las propiedades fisicoquímicas y la reactividad de pesticidas de amplio uso en agricultura, en particular de compuestos organofosforados. Se investigarán ciclodextrinas que permitan controlar la liberación del agroquímico y se realizarán estudios de la reactividad de los pesticidas en solución y en medios que simulen el suelo determinando si la inclusión en las ciclodextrinas modifica la velocidad de descomposición. En la búsqueda de nuevos sistemas microheterogéneos se sintetizarán surfactantes gémini con una cadena hidrocarbonada y una perfluorada y se determinarán sus propiedades. Luego de su caracterización, estos surfactantes se aplicarán en estudios de reactividad de compuestos insolubles en agua.Se estudiará la formación de complejos de ciclodextrina con metales de transición y los mismos se utilizarán como catalizadores en reacciones de oxidación de sulfuros y de alquenos en medios acuosos y no acuosos buscando condiciones donde se logre inducción quiral. Se sintetizarán compuestos azufrados polifuncionales con los cuales se modificarán superficies de nanopartículas por quimioadsorción de los mismos. Dado que se pretende obtener compuestos con propiedades específicas que dependen de su estructura, se llevará a cabo el modelado computacional de las distintas moléculas en estudio, ya que esto podría aportar datos relevantes acerca de qué modificaciones estructurales podrían intensificar la propiedad o propiedades buscadas. En una etapa posterior se correlacionarán las propiedades predichas a través de cálculos teóricos con las observadas experimentalmente, lo que intrínsecamente conlleva a un mayor conocimiento del sistema.Los estudios propuestos en este proyecto permitirán avanzar en la comprensión de los factores supramoleculares que controlan y modulan la interacción de ligandos con sus receptores en interfases y la ocurrencia de reacciones hidrolíticas en interfases autoorganizadas.

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.

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.

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

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

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

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

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

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

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.