Desarrollo de interfases con transferencia controlada de especies moviles. Síntesis, caracterizacion y aplicaciones. Development of Interphases with Controlled Transference of Mobile Species. Synthesis, Characterization and Applications.

Se propone sintetizar nuevos materiales como bloques de construcción de estructuras en escala nanometrica o micrométrica: nanotubos de carbono funcionalizados; nanopartículas metálicas; hidrogeles inteligentes; carbones mesoporosos. Con ellos se construiran interfaces solido/liquido estructuradas: multicapas autoensambladas, patrones micrométricos con heterogeneidad tridimensional y estructuras jerárquicas. Se estudiara el intercambio de especies móviles en las interfaces usando técnicas electroquímicas, espectroelectroquimicas, ópticas y de microscopia. De esta manera se podran controlar el intercambio en esa interface. En base a este conocimientos se desarrollaran aplicaciones tecnológicas tales como sensores de oligonucletidos, microceldas de combustible, arreglos de microelectrodos y supercapacitores.

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.

Síntesis, caracterización y aplicaciones específicas de metalosilicatos cristalinos micro y mesoporosos con incorporación de nanoestructuras. Synthesis, characterization and specific aplications of crystalline micro and mesoporous metallosilicates with nanostructures.

La síntesis de materiales cristalinos micro y mesoporosos con incorporación de micro/nano partículas/clusters de especies formadas con entidades propias interaccionando con las redes, como óxidos de metales, cationes de neutralización, especies metálicas, etc., pueden potencialmente ser utilizados como "materiales hospedaje" en óptica, electrónica, sensores, como materiales magnéticos, en estrategias ambientales de control de la contaminación, catálisis en general y procesos de separación. Se sintetizaran y caracterizaran por diversas técnicas fisicoquímicas, zeolitas microporosas de poro medio (ZSM) y poro grande (Y), y materiales mesoporosos (MCM-41). La aplicación de los mismos se orientara, por una parte, a procesos catalíticos tecnológicamente innovadores relacionados con los siguientes campos: a)catálisis ambiental: transformación de desechos plásticos (polietileno, polipropileno, poliestireno o mezclas de los mismos) a hidrocarburos de mayor valor agregado (gasolinas, gasoil, gases licuados de petróleo, hidrocarburos aromáticos); b)química fina: oxidación parcial de hidrocarburos aromáticos hacia la obtención de commodities, fármacos, etc. Por otra parte, se evaluaran las propiedades magnéticas (ferromagnetismo, paramagnetismo, superparamagnetismo, diamagnetismo) que algunos de estos materiales presentan, en busca de su correlación con sus propiedades catalíticas, cuando sea factible. Se estudiaran las condiciones óptimas de síntesis de los materiales, aplicando técnicas hidrotermicas o sol gel, controlando variables como temperaturas y tiempos de síntesis, pH de geles iniciales-intermedios-finales, tipo de fuentes precursoras, etc. La modificación de las matrices con Co, Cr, Mn, H, o Zn, se realizara mediante diversos tratamientos químicos (intercambio, impregnación) a partir de las sales correspondientes, con el objeto de incorporar elementos activos al estado iónico, metálico, clusters, etc.; y la influencia de distintos tratamientos térmicos (oxidantes, inertes o reductores; atmósferas dinámicas o estáticas; temperaturas). La caracterización estructural de los materiales será por: AA (cuantificación elemental de bulk); XRD (determinacion de presencia de especies oxidos o metalicas de Zn, Co, Cr, o Mn; determinacion de cristalinidad y estructura); BET (determinacion de area superficial); DSC-TG-DTA (determinacion de estabilidad de las matrices sintetizadas); FTIR de piridina (determinacion de tipo-fuerza-cantidad de sitios activos); Raman y UV-reflectancia difusa (determinacion de especies ionicas interacturando o depositadas sobre las matrices); TPR (identificacion de especies reducibles); SEM-EDAX (determinacion de tamaño de particulas de especies activas y de las matrices y cuanfiticacion superficial); Magnetómetros SQUID y de muestra vibrante (medición de magnetización y susceptibilidad magnética a temperatura ambiente con variación de campo externo aplicado, y variación de temperaturas (4 a 300 K) con campo externo fijo). En síntesis, se plantean tres grandes áreas de trabajo: No1)Síntesis y caracterización de materiales micro y mesoporosos nanoestructurados; No2) Evaluación de las propiedades catalíticas; No3) Evaluación de las propiedades magnéticas. Estos lineamientos nos permitirán generar nuevos conocimientos científicos-tecnológicos, formando recursos humanos (dos becarios posdoctorales; un becario doctoral; tres becarios alumnos de investigación; aproximadamente 15 pasantes de grado al año) aptos para emprender tales desafíos. Los conocimientos originados son constantemente trabajados en las actividades docentes de grado y posgrado que los integrantes del proyecto poseen. Finalmente serán transmitidos y puestos a consideración de pares evaluadores en presentaciones a congresos nacionales e internacionales y revistas especializadas.

Síntesis y Caracterización de Materiales Nanoestructurados para el Almacenamiento de Hidrógeno. Hidrogen storage: Synthesis and characterization of nanostructured materials.

El hidrógeno tiene, actualmente, una atención considerable por su posible uso como combustible limpio y otros usos industriales y se ha demostrado que es posible hacer funcionar motores de combustión interna, por lo tanto es una alternativa viable respecto de fuentes de energía no renovables como el petróleo y tal vez sea en el futuro la tecnología más prometedora para reducir la contaminación, conservando el suministro de combustibles fósiles. Uno de los principales problemas para la utilización del hidrógeno como combustible es el del almacenamiento para que pueda ser seguro y transportable con todos los riesgos que esto supone. En este sentido el estudio de la adsorción de polímeros conductores (tal como polianilina, PANI o polipirrol PPy) y su posterior polimerización sobre hospedajes como aluminosilicatos meso y microporosos y carbones mesoporosos, es de suma importancia por sus propiedades para el almacenamiento de H2. El objetivo general de este proyecto es Investigar el almacenamiento de hidrógeno en nuevos composites nano/microestructurados. La síntesis de materiales micro/mesoporosos (MFI, MEL, BEA, L, MS41, SBA-15, SBA-1, SBA-3, SBA-16, CMK-3) para usos como hospedaje se realizan por sol-gel o síntesis hidrotérmica y se modificarán con TiO2, CeO2, ZrO2 y eventualmente con Ir, Ni, Zr. Muestras de estos hospedajes serán expuestos a vapores del monómero puro (anilina o pirrol). Luego se polimerizarán por polimerización oxidativa. Los nanocomposites sintetizados se caracterizarán por XRD, FTIR, DSC, TGA, SEM, TEM, EXFAS, XANES, UV-Vis. La adsorción de hidrógeno sobre los composites se llevará a cabo en un Reactor Parr, desde presiones atmosféricas y a altas presiones y varias temperaturas de adsorción . Los estudios de desorción de hidrogeno se llevarán a cabo en un equipo Chemisorb Micrometrics y se realizarán estudios termogravimétricos y de capacidad de retención de Hidrogeno por el nanocomposite. La importancia del estudio de este proceso tiene importantes implicancias económicas y sociales que serán preponderantes en el futuro debido a las cada vez más exigentes regulaciones ambientales. Además se contribuirá al avance del conocimiento científico, ya que es posible diseñar nuevos materiales, los que además permitirán generar reservorios de H2 con alta eficiencia. Por lo consiguiente: - Se desarrollarán nuevos materiales nanoestructurados, micro y mesoporosos y nanoclusters de especies activas en los hospedajes como así también la inclusión de polímeros (PANI, PPy) dentro de los canales de estos materiales. - Se caracterizarán estos materiales por métodos espectroscópicos (fisicoquímica de superficie). - Se estudiará la adsorción /absorcion de H2 en los nuevos materiales desarrollados. -Se aplicarán métodos de diseño de experimento (RDS), para optimizar el proceso de almacenamiento de H2, nivel de interacción de variables sinérgicas o colinérgicas.

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.