Hábitat Urbano: accesibilidad para todos. El sistema de movimiento para una mejor calidad de vida en el espacio público. Estudio de casos internacionales aplicables a nuestra realidad

La finalidad de esta investigación es aportar premisas para el diseño y reestructuración de los sistemas de movilidad que lleve a la cualificación del hábitat urbano. Busca identificar factores problemas que son comunes en distintas ciudades de Latinoamérica. La investigación se estructura en 3 etapas: - La primera consiste en el estudio y análisis de casos paradigmáticos en el ámbito nacional e internacional para la conformación de la plataforma teórica de trabajo. - La segunda, tomando como caso de estudio un sector en particular, será vista desde dos miradas: La actual sumada a una futura de carácter propositivo. - La tercera, de síntesis, permitirá establecer pautas para la elaboración de lineamientos para ser aplicables a un sistema de movilidad urbana desde parámetros ambientales.

Estudio de procesos de transferencia electrónica en sistemas orgánicos

Las reacciones de transferencia de electrones (TE), son importantes en numerosas áreas de la química orgánica. El objetivo de este proyecto es el estudio de los procesos de TE inter e intramolecular a través de la química de los radicales aniones. Estos intermedios pueden formarse por reacción de un nucleófilo con una radical (ec.1) o por TE intermolecular desde un donor a una molécula neutra (ec.2). La TE intramolecular será factible en aquellos casos en los que exista en el radical anión más de un centro aceptor, pudiendo estar ambos centros separados por un espaciador o puente (P) de carácter electrónico rho y pi y de longitud variable. Nuestro interés es estudiar la naturaleza electrónica de los radicales aniones; su presencia como mínimos de la superficie potencial (intermediarios); su isomería orbital; los factores de los que depende su formación de acuerdo a las ecuaciones 1 y 2; los factores de los que depende la TE intramolecular tales como distancia entre ambos centros aceptores, solapamiento entre los mismos, naturaleza electrónica del espaciador o puente y diferencia entre afinidad electrónica y potencial de ionización de ambos aceptores; los mecanismos de la TE intra (a través de los enlaces o del espacio) y los factores de los que depende la reacción de fragmentación de estos intermediarios. Estos temas se estudiarán teóricamente completándose su estudio con los diseños experimentales correspondientes.

Congelación de semen en porcinos: 4. Estudio trianual de la calidad del semen congelado en sistemas monodosis mediante la evaluación por pruebas de laboratorio y de fertilidad

La congelación del semen porcino se ha caracterizado por ser una técnica que no ha logrado alcanzar altos índices de fertilidad, hecho que ha dificultado su aplicación práctica a terreno y parte de su progreso genético. El problema particular radica en que la calidad espermática, por factores poco conocidos, disminuye considerablemente al momento de la descongelación. Como consecuencia, las tasas de fecundidad, fertilidad y prolificidad son inferiores a las obtenidas mediante monta natural o inseminación artificial con semen fresco refrigerado. Pese a esta dificultad, la fertilidad es adecuada para casos de importación, exportación, introducción de nuevas líneas de sangre y uso de semen de machos con alto mérito genético. (...) Entre los factores más importantes que afectan la fertilidad del semen congelado se citan el efecto individual de los machos, de mala congelabilidad, el efecto raza, el momento óptimo para inseminar a la hembra en celo, la estación del año y el tiempo de almacenaje del semen, entre otros. (...) Objetivos Generales: El objetivo de este trabajo es desarrollar un programa anual destinado, en una primera etapa, a mejorar la técnica de laboratorio con equipamiento de mayor desarrollo tecnológico y utilizando nuevos envases; en una segunda etapa a estudiar el efecto raza y el efecto individual, con un pool de semen de diferentes machos; y en una tercera etapa, consistente en aplicar el mejor semen criopreservado, en el momento biológico óptimo de la hembra en celo, con el fin de aumentar la fertilidad y prolificidad. Objetivos Específicos: 1. Primer Año Mejorar las técnicas de congelación utilizando nuevos equipos y estudiar la calidad del semen porcino congelado en micropajuelas (Mp) y bolsas plásticas (Bp) evaluando la capacidad fecundante por pruebas de laboratorio y pruebas de fertilidad en animales vivos. 2. Segundo Año Estudiar la calidad del semen porcino congelado en Mp y/o Bp utilizando un pool de semen de tres machos de razas diferentes y evaluar su capacidad fecundante por pruebas de fertilidad a campo. 3. Tercer Año Estudiar la calidad del semen porcino congelado en Mp y/o Bp, utilizando un pool de semen de tres machos diferentes e inseminándolo en el momento biológico óptimo del celo.

Sistemas de comunicaciones digitales inalámbricos para servicios de voz, video y datos integrados

El proyecto está basado en la investigación y desarrollo de sistemas de comunicaciones digitales inalámbricos, dentro del campo de las telecomunicaciones, encarando como aspecto distintivo la prestación de servicios integrados es decir, la posibilidad de acceder a voz, video y datos a través de un solo medio. Este tipo de comunicaciones se denomina multimedio y es posible debido a adelantos tecnológicos en el área de integración de circuitos, la difusión en el uso de computadoras y el creciente avance de los servicios de las empresas prestadoras. Los sistemas inalámbricos de comunicaciones multimedio requieren frecuentemente la transmisión de señales codificadas, las cuales pueden representar audio, video, imágenes estáticas, datos, etc. (...) El desvanecimiento de Rayleigh y las multitrayectorias de la señal en un sistema inalámbrico de comunicaciones, causa la pérdida de componentes de esa señal. Técnicas tales como el uso de códigos de corrección de errores, requisición automática de repeticiones entrelazado y las múltiples formas de diversidad, pueden proveer protección contra los desvanecimientos de Rayleigh. Sin embargo, en muchos casos, en particular en la transmisión de imágenes o video, estas técnicas pueden no ser suficientemente eficaces, o bien pueden introducir un retardo excesivo que resulta altamente objetable. Durante el desarrollo del proyecto se investigarán y aplicarán estas técnicas de avanzada para llegar a una transmisión confiable de multimedios, en forma inalámbrica, perfeccionando métodos existentes o implementando nuevos. Objetivos Generales El objetivo a lograr en el presente proyecto será la evaluación exhaustiva de esquemas propuestos, utilizando como herramientas la simulación por computadora y el análisis teórico. Se buscará generalizar resultados previamente establecidos para el caso de canales Gaussianos en Teoría de la Información, al caso de canales con desvanecimiento de Rayleigh con las siguientes condiciones de contorno: 1) Retardo de transmisión limitado; 2) Uso de criterios perceptivos para juzgar la calidad de transmisión. (...)

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.

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.

Hábitat urbano: accesibilidad para todos. El sistema de movimiento para una mejor calidad de vida en el espacio público. Estudio de casos internacionales aplicables a nuestra realidad.

La finalidad de esta investigación es aportar premisas para el diseño y reestructuración de los sistemas de movilidad que lleve a la cualificación del hábitat urbano. Buscaremos identificar factores problemas que son comunes en distintas ciudades de Latinoamérica. La investigación se estructurará en 3 etapas: 1) La primera consiste en el estudio y análisis de casos paradigmáticos en el ámbito nacional e internacional para la conformación de la plataforma teórica de trabajo. 2)La segunda, tomando como caso de estudio un sector en particular, será vista desde dos miradas: La actual sumada a una futura de carácter propositivo. 3)La tercera, de síntesis, permitirá establecer pautas para la elaboración de lineamientos para ser aplicables a un sistema de movilidad urbana desde parámetros ambientales.

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.