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.

Desarrollo sustentable de geoestructuras compuestas por suelo loéssico compactado mejorado con agregado de materiales estabilizantes

Los suelos estabilizados mediante compactación, permiten obtener materiales con ventajas ténicas y economicas en diferentes tipos de obras de ingeniería. Ejemplos de su uso se tiene en bases viales de autopistas, rutas o calles urbanas, pistas de aterrizaje, barreras de contención para enterramientos sanitarios o lagunas de estabilización, apoyos de plateas para fundación de edificios, losas industriales, entre otras aplicaciones. Las fallas en este tipo de construcciones pueden resultar en catástrofes ambientales, sociales y elevadas pérdidas económicas, por lo que resulta de gran importancia optimizar el diseño e incrementar la seguridad de este tipo de construcciones. Las obras con estas características involucran grandes volúmenes y/o superficies que requieren controles sistemáticos durante su desarrollo, a los fines de garantizar el cumplimiento de las propiedades de los materiales establecidos en la etapa de diseño. De esta forma, es necesario contar con ensayos de campo sencillos, confiables y eficientes que permitan identificar propiedades físicas, mecánicas e hidráulicas. Las geoestructuras generadas mediante la compactación del suelo próximo al sector de construcción pueden funcionar adecuadamente, con reducidos costos de material y transporte. Su estabilización puede ejecutarse en forma natural, o con la incorporación de agregados minerales como bentonita, cal o cemento. Estas incorporaciones mejoran las propiedades hidráulicas y mecánicas del material, optimizando el comportamiento requerido para la obra. Para establecer la forma en la que estos minerales modifican el comportamiento del suelo local compactado deben realizarse investigaciones especiales con los materiales involucrados. En el ámbito internacional existen numerosas investigaciones sobre comportamiento de suelos compactados, no obstante, si bien aportan antecedentes para la planificación de estudios locales, sus resultados no pueden trasladarse de manera directa. Las características propias del suelo local constituye la principal variable debido a la diversidad en las propiedades geotécnicas de cada Región. Esta investigación, se focaliza en el empleo de suelos limosos de la formación loéssica de la zona central de Argentina. Los suelos de la llanura cordobesa poseen comportamientos particulares, los cuales son contemplados en los diseños presentados como resutado de las investigaciones internacionales. Esta particularidad se relaciona con su inestabilidad, lo que los clasifica como suelos colapsables. Los resultados obtenidos en este trabajo podrán ser extendidos a una gran superficie de la Provincia de Córdoba y a la Región Pampeana en general, a los fines de establecer recomendaciones de diseño y construcción para la confección de Pliegos de Especificaciones Técnicas de diferentes tipos de obras públicas y privadas. El estudio contempla la ejecución de un plan experimental a escala de laboratorio y campo. Los materiales corresponden a suelo limosos puros, y diferentes agregados tales como bentonita, cal y cemento. Se planifican ensayos para evaluar el desempeño del material, a partir de la confección de muestras preparadas con diferentes condiciones de compactación (energía, humedad y método), y en forma de mezcla con los distintos tipos de agregados. Se realizarán ensayos de permeabilidad en celdas de pared rígida y flexible, junto a ensayos mecánicos de compresión confinada, simple y triaxial. Para el trabajo experimental de campo se prevé la ejecución de terraplenes de prueba instrumentados con tensiómetros e infiltrómetros para evaluar el comportamiento hidraúlico en el tiempo, junto con ensayos de penetración y plato de carga para la caracterización mecánica. En forma conjunta se propone el desarrollo de modelos numéricos de caracterización hidromecánica.

Ecoepidemiología de Chlamydophila psittaci, pecorum, pneumoniae, abortus en Córdoba

Las Clamidias son bacterias patógenas de los animales de producción, de vida silvestre y de compañía. Además de las pérdidas económicas que producen las infecciones en los planteles de producción bovina, ovina, caprina, porcina y aves de corral, la mayoría de las especies tienen importancia zoonótica, pudiendo dar origen a infecciones graves, potencialmente letales en el ser humano. El orden Chlamydiales está integrado por bacterias que actúan como parásitos intracelulares obligados que desarrollan su ciclo de vida únicamente dentro de inclusiones citoplasmáticas. En este orden se encuentra la familia Chlamydiaceae que comprende dos géneros, Chlamydia y Chlamydophila; y las especies, Chlamydia trachomatis, C. suis, C. muridarum, Chlamydophila psittaci, C. abortus, C. felis, C. caviae, C. pecorum, y C. pneumoniae. C. psittaci causa psitacosis o clamidiosis aviar. En Argentina, los primeros casos clínicos de psitacosis fueron reportados en 1929. Los criadores de aves y quienes las poseen como mascotas, representan el grupo de mayor riesgo; pero también las personas que trabajan en pajarerías y aquellas que por su empleo se ven expuestas a contraer la enfermedad (empleados en peladeros donde se carnean y procesan pollos y otras aves para consumo, veterinarios, empleados de zoológicos, etc.). La infección en humanos se presenta como una neumonía severa; con fiebre alta, escalofríos, dolor de cabeza, mialgia y dificultad respiratoria. Ocasionalmente puede presentarse vómitos, dolor abdominal, diarrea y complicaciones como miocarditis, endocarditis, encefalitis, ictericia y fallas multiorgánicas, que pueden ser fatales sino se le administra el tratamiento adecuado. La infección en las mujeres embarazadas puede producir neumonía, hepatitis, insuficiencia renal, sepsis, parto prematuro y muerte fetal. Existen más de 465 especies de aves en las que se registró C. psittaci, incluyendo ornamentales, de corral, silvestres, acuáticas y palomas. Las patologías que pueden producir en estos animales son neumonitis, conjuntivitis, encefalomielitis, placentopatías, fetopatías, anorexia, diarrea e infecciones persistentes asintomáticas u oligosintomáticas. En bovinos, C. pecorum, C. abortus y C. psittaci producen infecciones respiratorias y genitales; que se presentan como cuadros de enteritis, artritis, encefalomielitis, endometritis e hipofertilidad. En Argentina, la infección clamidial en el ganado caprino fue asociada a daños en el tejido uterino, abortos, partos prematuros y crías débiles. En equinos, C. psittaci y C. pneumoniae producen abortos y desórdenes respiratorios, con un gran impacto en ganadería que redunda en pérdidas económicas. Considerando que existen escasos estudios eco-epidemiológicos y clínicos que reporten el estado de situación de estas infecciones en nuestro medio, es que el presente trabajo propone actualizar y profundizar el conocimiento de las especies de Clamidias de importancia médico-veterinaria presentes en la provincia de Córdoba, Argentina. El desarrollo de este proyecto aportará la implementación de técnicas que mejorarán el diagnóstico microbiológico, confirmarán los cuadros clínicos; y por lo tanto contribuirá al conocimiento de estos agentes infecciosos en nuestra región. Esta información es indispensable para los organismos responsables de la Salud Pública (Ministerios de Salud y Educación, Municipios, etc.) para que puedan obrar en consecuencia y generar sistemas de alerta temprana, tomar medidas de prevención y medidas de control frente a la presencia de un brote epidémico por alguna cepa clamidial.

MODELADO MULTI-DOMINIO DE MÁQUINAS ELÉCTRICAS.

El objetivo general de este proyecto es desarrollar nuevos modelos multi-dominio de máquinas eléctricas para aplicaciones al control y al diagnóstico de fallas. Se propone comenzar con el modelo electromagnético del motor de inducción en base a circuitos magnéticos equivalentes (MEC) validándolo por medio de simulación y de resultados experimentales. Como segundo paso se pretende desarrollas modelos térmicos y mecánicos con el objetivo que puedan ser acoplados al modelo electromagnético y de esta estudiar la interacción de los dominios y se validará mediante resultados de simulación y experimentales el modelo completo. Finalmente se pretende utilizar el modelo multi-dominio como una herramienta para la prueba de nuevas estrategias de control y diagnóstico de fallas.

Verificación de Sistemas Basada en Teoría de Tipos

Este proyecto se enmarca en la utlización de métodos formales (más precisamente, en la utilización de teoría de tipos) para garantizar la ausencia de errores en programas. Por un lado se plantea el diseño de nuevos algoritmos de chequeo de tipos. Para ello, se proponen nuevos algoritmos basados en la idea de normalización por evaluación que sean extensibles a otros sistemas de tipos. En el futuro próximo extenderemos resultados que hemos conseguido recientemente [16,17] para obtener: una simplificación de los trabajos realizados para sistemas sin regla eta (acá se estudiarán dos sistemas: a la Martin Löf y a la PTS), la formulación de estos chequeadores para sistemas con variables, generalizar la noción de categoría con familia utilizada para dar semántica a teoría de tipos, obtener una formulación categórica de la noción de normalización por evaluación y finalmente, aplicar estos algoritmos a sistemas con reescrituras. Para los primeros resultados esperados mencionados, nos proponemos como método adaptar las pruebas de [16,17] a los nuevos sistemas. La importancia radica en que permitirán tornar más automatizables (y por ello, más fácilmente utilizables) los asistentes de demostración basados en teoría de tipos. Por otro lado, se utilizará la teoría de tipos para certificar compiladores, intentando llevar adelante la propuesta nunca explorada de [22] de utilizar un enfoque abstracto basado en categorías funtoriales. El método consistirá en certificar el lenguaje "Peal" [29] y luego agregar sucesivamente funcionalidad hasta obtener Forsythe [23]. En este período esperamos poder agregar varias extensiones. La importancia de este proyecto radica en que sólo un compilador certificado garantiza que un programa fuente correcto se compile a un programa objeto correcto. Es por ello, crucial para todo proceso de verificación que se base en verificar código fuente. Finalmente, se abordará la formalización de sistemas con session types. Los mismos han demostrado tener fallas en sus formulaciones [30], por lo que parece conveniente su formalización. Durante la marcha de este proyecto, esperamos tener alguna formalización que dé lugar a un algoritmo de chequeo de tipos y a demostrar las propiedades usuales de los sistemas. La contribución es arrojar un poco de luz sobre estas formulaciones cuyos errores revelan que el tema no ha adquirido aún suficiente madurez o comprensión por parte de la comunidad.

Evaluación de los mecanismos farmacológicos relacionados a la actividad antitumoral y antibacteriana de compuestos aislados a partir de plantas del centro de Argentina

El uso de plantas para tratar diferentes patologías es tan ancestral como la humanidad misma, constituyendo estas una destacada fuente de drogas terapéuticas. Actualmente, se estima que un 25 % del total de las drogas utilizadas en la clínica corresponden a principios activos aislados de plantas superiores y a drogas semi-sintéticas obtenidas a partir de estos precursores naturales. Sin embargo, a pesar de contar con este importante número de estas entidades farmacológicas, al cual se le suma una abundante cantidad de moléculas sintéticas, aún no se dispone de suficientes fármacos que satisfagan simultáneamente las actuales demandas de la terapéutica relacionadas a efectividad, selectividad y mínimo impacto en el desarrollo de resistencia. Esta ausencia se torna crítica en patologías tales como el cáncer o las infecciones bacterianas en donde el fenómeno de resistencia a la acción del medicamento es frecuente, constituyendo la principal causa de fallas en los tratamientos. Esto ha llevado a los investigadores a recurrir nuevamente al estudio de la extensa cantidad de metabolitos presentes en las plantas que aún restan evaluar, muchos de los cuales exhibirían estructuras desconocidas o novedosos mecanismos de acción. En este contexto, el objetivo general del proyecto es estudiar los mecanismos farmacológicos relacionados a la actividad antitumoral o antibacteriana de metabolitos obtenidos en nuestro laboratorio a partir de plantas pertenecientes a la flora nativa, adventicia y naturalizada de la región central de Argentina con el fin de contar con la información necesaria para su posicionamiento como fármacos. En particular, los trabajos apuntarán a determinar el efecto regulador sobre moléculas constitutivas de las células tumorales a través del cual, dos compuestos previamente identificados en nuestro laboratorio como citotóxico o como inhibidor de la expulsión de quimioterápicos mediado por la bomba de resistencia a multidrogas (MDR) P-glicoproteína (P-gp), ejercen su acción. Por otro lado se propone la obtención de nuevas sustancias con propiedades antibacterianas con especial atención a las moléculas y procesos involucrados en dicha acción. Es importante subrayar, que las sustancias encontradas podrán surgir en el futuro como drogas alternativas per se o como líderes para la síntesis o semi-síntesis de análogos a los fines de ser utilizadas en los tratamientos clínicos o veterinarios. Estos tópicos son de alta prioridad en el campo de la investigación, dada la urgente necesidad de nuevos fármacos selectivos dirigidos contra la célula cancerosa o bacteria patógena.

Dispersión y genes relacionados con la resistencia a insecticidas en Triatoma infestans: su vinculación con el control del vector de la enfermedad de Chagas

Entre las especies transmisoras de la enfermedad de Chagas de mayor importancia a nivel sanitario se destaca Triatoma infestans, considerada el principal vector en América del Sur (entre las latitudes 10° y 46° S). Los programas de control de la transmisión de la enfermedad promueven la eliminación de las poblaciones del vector T. infestans mediante la fumigación con insecticidas en las regiones endémicas. Sin embargo, esta estrategia, presenta dificultades debido en parte a la extensión y variabilidad de las áreas endémicas y por otro lado, al tiempo requerido para prevenir la recuperación de las poblaciones tratadas con insecticidas. La efectividad a largo plazo de las campañas de control es en gran medida dependiente del conocimiento de la estructura de las poblaciones del vector. El análisis de la estructura genética con un enfoque filogeográfico de poblaciones del vector en regiones endémicas de Argentina, mediante secuencias de genes mitocondriales y nucleares descriptas por primera vez para ese fin, permitirá aportar nuevas bases para la comprensión de la dinámica y evolución de las poblaciones del insecto vector y resolver interrogantes sobre procesos como por ejemplo los de dispersión y recolonización de la especie transmisora que afectan en forma directa a la eficiencia de los intentos de control. Los patrones de dispersión de esta especie estarían estrechamente vinculados con la transmisión de la enfermedad de Chagas. Por lo tanto, esta información podría ser de utilidad para la optimización del diseño de las intervenciones de control a implementar en el área endémica que conducirían a una disminución del impacto que esta enfermedad provoca en la población. Por otra parte, se han observado fallas en el control del vector debido a la existencia de resistencia a los insecticidas piretroides. Entre los mecanismos que confieren resistencia a insecticidas se han descripto los que implican cambios en canales de sodio, conocido como resistencia “knockdown” (Kdr), y aquellos que provocan un aumento de la actividad de enzimas responsables de su metabolismo. Con respecto al último mecanismo, las evidencias sugieren que las enzimas mono-oxigenasas citocromo P450 tienen comunmente un rol primario en la resistencia a insecticidas piretroides. Incrementos en la expresión a nivel de la transcripción de genes de citocromos P450 (CYP450) son frecuentemente considerados responsables de aumentar el metabolismo de insecticidas y parece ser un fenómeno común en la evolución del desarrollo de resistencia en insectos. El estudio de la posible relación de genes CYP450, que proponemos caracterizar en T. infestans, con la resistencia a insecticidas podría aportar nuevas bases para el desarrollo del manejo de esa resistencia. Sin embargo, mientras que existen múltiples genes CYP450 en el genoma de insectos, sólo un gen NADPH citocromo P450 reductasa (CPR) existe en el genoma de cada insecto. Por este motivo, se propone también caracterizar en el vector este gen que codifica para una enzima que actúa en la transferencia de electrones desde la forma reducida de NADPH a los citocromos P450, así como investigar el efecto de su silenciamiento en poblaciones de T. infestans resistentes a insecticidas piretroides. Además, con el propósito de analizar si la existencia de resistencia a insecticidas piretroides puede ser el resultado de la acción de los citocromo P450 y/o de otros factores, se investigará en las poblaciones resistentes la posible existencia de una mutación de un gen de canal de sodio relacionada con resistencia a insecticidas (Kdr) que ha sido descripta para T. infestans. Este estudio proveería información de utilidad para el desarrollo de estrategias alternativas de control que serían de suma importancia en regiones en las que las poblaciones de este vector presentan resistencia a los insecticidas y, por lo tanto, tendría claramente implicancias importantes para el manejo de la resistencia en este vector.