1000 resultados para Análisis molecular
Resumo:
A comienzos del siglo XIX se encuentra en sus inicios el proceso de incremento de las relaciones mercantiles con Europa por parte de todo el espacio económico colonial, lo que origina una interpretación historiográfica habitual que considera que, debido al consecuente aumento de las importaciones, se genera una frustración de los procesos de industrialización incipientes. Estos tendrían que haberse desarrollado en base a la supuesta transformación de la actividad artesanal o manufacturera textil que debería convertirse en producción industrial, siguiendo los pasos habituales del desarrollo del capitalismo en Inglaterra. Todos estos planteos, de posible veracidad general pero con escasas precisiones, se basan en fuentes con información general en tanto no se ha realizado aún una investigación que cuantifique el monto y la composición de las importaciones europeas y las contraste con los movimientos de las exportaciones del mismo tipo de efectos o de la materia prima relacionada con ellos. Nuestro proyecto pretende enfrentar este tipo de tarea para una región de reconocida especialización en la producción artesanal de textiles como es Córdoba, durante el período en que se enfrenta este problema y que las fuentes lo permitan. Objetivo general Registro y análisis de las importaciones de efectos europeos ingresados para el consumo de Córdoba desde 1808 a 1850, con el objeto de comparar sus resultados con el movimiento de las exportaciones y concluir sobre las relaciones entre ambos procesos. Objetivo específico Se ingresarán los datos y se realizará un primer proceso de la información sobre las importaciones de efectos europeos ingresados por el puerto de Buenos Aires para el consumo de la jurisdicción de Córdoba en el período de 1816 y 1825.
Recuperación y análisis de información de archivo fílmico documental (Noticias de Canal 10, 1973/76)
Resumo:
El propósito de este proyecto es continuar con el ordenamiento, recuperación y análisis de información de material fílmico (en 16 mismo) del archivo de noticias SRT-canal 10, para el período 1973/76. Se sistematizará principalmente el material originado en Córdoba procediéndose a la automatización y transferencia a video de 50 hs. de noticias. El material que se procese, sumando al ya disponible para el período 1966/72, posibilitará avanzar en el desarrollo de las investigaciones específicas encaradas por los participantes en este proyecto. El material a recuperar testimonia además diversos aspectos de la vida social y cultural de la época, constituyendo una materia prima de gran valor tanto para las investigaciones en las ciencias sociales y humanas como para la realización de otros productos audiovisuales. En este sentido, el trabajo a desarrollar adquiere particular relevancia dada la escasez de registros que se conservan sobre el período y la inexistencia de archivos fílmicos documentales organizados y accesibles por los medios planteados, que es una condición previa para su utilización sistemática. Al mismo tiempo, su recuperación y preservación tienen relevancia en un sentido amplio por formar parte del patrimonio cultural y la memoria histórica de Córdoba y el país. Objetivo generales: * Continuar con el programa de ordenamiento y conversación del archivo de noticias y el de generación de un centro de documentación audiovisual automatizado para su funcionamiento en el ámbito de la Facultad de Filosofía y Humanidades, que facilite el acceso a la información a la comunidad académica y otros posibles interesados. * Recuperar fuentes audiovisuales de alto valor documental sobre la realidad local y, en menor medida, nacional e internacional, del período 1973/76. * Disponer de información audiovisual sobre el período señalado, accesible a estudiantes, docentes e investigaciones del Departamento de Cine y TV. * Promover y desarrollar la realización de documentales y/o investigaciones históricas, y estudios en otros campos en base al tratamiento y explotación de imágenes en movimiento.
Resumo:
Desde hace mucho tiempo las enfermedades diarreicas y linfoproliferativas constituyen un importante problema de Salud Pública. Sin embargo hasta el momento no existen datos sobre la prevalencia de los virus emergentes entericos y los retrovirus humanos HTLV-I y HTLV-II en la ciudad de Córdoba, información imprescindible para conocer la magnitud del problema y para la implementación de programas preventivos y asistenciales que reduzcan la diseminación y morbi mortalidad por estas patologías. Los objetivos generales de este proyecto son: * Establecer la prevalencia y perfil local de las infecciones producidas por los retrovirus humanos HTLV-I y HTLV-II en la Provincia de Córdoba. * Identificar, caracterizar y determinar la frecuencia etiológica de agentes virales emergentes asociados a gastroenteritis en la provincia de Córdoba. * Desarrollar, estandarizar e implementar metodologías moleculares suplementarias para el diagnóstico confirmatorio de la infección por retrovirus humanos y virus asociados a gastroenteritis. * Realizar estudios de epidemiología molecular para caracterizar las cepas circulantes en Córdoba. La importancia de la estandarización e implementación de metodologías serológicas y moleculares para los virus en estudio se fundamenta en la necesidad de disponer de técnicas sensibles y específicas que permitan realizar estudios continuados de la circulación de estos virus en nuestra comunidad. (...) Siendo la sangre vía transfusión una de las principales formas de transmisión de estos agentes y cuyo control a tiempo evitaría la diseminación de los mismos, creemos que nuestros resultados serán de fundamental importancia para ilustrar a las autoridades de salud sobre cuál es la situación en nuestro medio y poder así evaluar la necesidad de iniciar el control de los virus HTLV-I y HTLV-II en los bancos de sangre de nuestra ciudad, como se está haciendo en otros países no endémicos del mundo. Los resultados del proyecto informarán sobre la magnitud del problema en nuestro medio, los grupos más expuestos al riesgo de infección, la época del año en la que prevalecen las diferentes infecciones y otros datos que servirán para la aplicación de eventuales medidas preventivas (control de Bancos de Sangre, control de pacientes inmunodeprimidos hospitalizados por diarreas, etc.).
Resumo:
Se conocen una serie de derivados naftoquinónicos los cuales poseen propiedades tripanosidas, bactericidas y antineoplásicas. Desafortunadamente estos compuestos presentan una muy baja solubilidad en agua, la cual es de 3-4 órdenes de magnitud inferior a la concentración mínima necesaria para la formulación de soluciones parentales utilizadas en estudios clínicos. Además este es también un factor limitante para la realización de estudios in vitro a algunos de estos derivados. Para revertir esta situación se intentará la la formación de complejos de inclusión con ciclodextrinas, ya que en la literatura se encuentra una gran cantidad de antecedentes respecto al aumento de la solubilidad en agua de diversas drogas mediante la utilización de ciclodextrinas. Los estudios comprenderán: 1. Formación de complejos de inclusión. a. En solución. Se intentará la formación de complejos entre la 2-hidroxi-N-(3,4-dimetil-5-isoxazolil) -1, 4-naftoquinona-4-imina con la 2-hidroxi-N-(5-metil-3-isoxazolil)-1,4- naftoquinona-4-imina con la 2-hidroxipropil-b-ciclodextrina. Se analizará el efecto que produce la encapsulación molecular sobre la solubilidad acuosa y la estabilidad. b. En estado sólido. Se prepararán complejos de inclusión sólidos, los cuales se caracterizarán por métodos de análisis térmicos y por IR. 2. HPLC utilizando soluciones acuosas de Ciclodextrinas como fase móvil. Se analizará el efecto que ejerce, sobre la separación de ácido acetilsalicílico y ácido salicílico, la adición de ciclodextrinas a la fase móvil de un sistema de HPLC, con el objeto de encontrar un método de análisis rápido y sencillo para muestras comerciales de AAs.
Resumo:
Mediante el abordaje experimental microbiológico, bioquímico y molecular, se pretende conocer la vía catabólica involucrada en la degradación de compuestos de amonio cuaternario sintéticos y lograr la selección de microorganismos eficientes en la mineralización de estos compuestos. A partir de muestras de agua (piletas de decontaminación, desagües industriales), se seleccionarán e identificarán los microorganismos capaces de utilizar estos compuestos como fuente de carbono y nitrógeno. A través del análisis de los metabolitos intermedios, se tendrá una aproximación de la vía metabólica implicada en el proceso. La misma se confirmará por experimentos respirométricos y ensayos enzimáticos. Se pretende establecer cuál es la relación entre el metabolismo de estas sales sintéticas y el de otros compuestos de amonio cuaternario naturales, tales como colina, betaína y carnitina. Se determinará si cepas de colección que metabolizan colina y carnitina son capaces de adaptarse y utilizar las sales sintéticas y cual es la relación entre los caminos metabólicos. Se obtendrán mutantes de las cepas eficientes en la mineralización con fenotipos característicos relacionados con los puntos anteriores. Ello permitirá la proyección para estudios posteriores de identificación, clonado y secuenciación de genes relacionados al proceso.
Resumo:
El electrodo de disco rotante es una de las técnicas más útiles y más ampliamente empleada en el estudio de la cinética de reacciones de electrodo. Sin embargo, la construcción de electrodos de disco rotante convencionales, que involucra la inclusión del material de electrodo de una vaina de material aislante, no siempre es posible o conveniente. Por ejemplo, cuando es necesario utilizar materiales monocristalinos, se presentan numerosas dificultades debidas principalmente a su extrema fragilidad. (...) Objetivos generales * Se intenta establecer la aplicabilidad de la técnica del electrodo de disco-menisco rotante en el estudio de la cinética de reacciones de transferencia de carga con reacciones químicas acopladas. En particular, se estudiarán los mecanismos de reacción que involucran procesos catalíticos y ECE (electroquímico-químico-electroquímico). Objetivos específicos * Determinar las desviaciones que produce la presencia del menisco de electrolito en las curvas experimentales de corriente límite vs. raíz cuadrada de la velocidad de rotación, para cada uno de los dos mecanismos mencionados a partir de la comparación de datos obtenidos para meniscos de diferentes alturas y sobre electrodos convencionales. * Simular la respuesta electroquímica introduciendo los términos de corrección adecuados para tener en cuenta las variaciones en las condiciones hidrodinámicas que introduce la modificación de la geometría del sistema. * Establecer la metodología apropiada para el tratamiento de los datos experimentales a fin de posibilitar la obtención de los parámetros cinéticos de las reacciones. El plan de trabajo que se propone permitirá profundizar la caracterización del comportamiento hidrodinámico del disco-menisco rotante, incrementando las posibilidades de la utilización de esta técnica que es sumamente adecuada para estudios sobre electrodos monocristalinos, siendo estos últimos la clave para dilucidar la influencia que la estructura superficial del electrodo tiene sobre la cinética y los mecanismos de reacciones de transferencia de carga de interés práctico, como el desprendimiento de hidrógeno y la reducción de oxígeno. Las ventajas asociadas a la omisión de la vaina de material aislante posibilitan, a su vez, que el uso del DMR pueda extenderse a otros tipos de sistemas en los cuales el uso de electrodos rotantes convencionales presenta dificultades.
Resumo:
Existen sólidos orgánicos en los cuales las interacciones intermoleculares tienen un efecto determinante sobre la conformación de equilibrio y la dinámica molecular. Tal es el caso de los compuestos de la familia de los bifenilos, que presentan en general valores bajos para la energía de torsión fenil-fenil, en algunos casos comparables a los de las interacciones intermoleculares. Esta competencia de interacciones inter. e intramoleculares, al variar con la temperatura, ocasiona transiciones de fase que pueden involucrar la pérdida de la periodicidad del cristal, como ocurre con el bifenilo y el bis(4-clorofenil)sulfone ((ClC6H4)2SO2), abreviado como BCPS). En estos compuestos se producen transiciones a fases inconmensuradas (IC), en las cuales los ángulos interfenilos están modulados espacialmente con una periodicidad irracional respecto de la red cristalina subyacente. Por otra parte, estos mismos factores estéricos y dinámicos internos juegan un rol crucial en el nivel de actividad biológica de una sustancia, a nivel molecular. En los bifenilos clorados se ha demostrado, que la conformación interna de la molécula y la libertad reorientacional de ciertos grupos moleculares (como por ejemplo anillos bencénicos, C-Cl3, etc.) son determinantes en la interacción con las membranas celulares durante el proceso de absorción. La toxicidad de los pesticidas derivados del DDT esta basada en este hecho. Así, el problema de cómo se modifica la conformación interna de la molécula y su dinámica debido a interacciones con su entorno (vecinos próximos en el sólido, membrana celular, etc.) guarda interés tanto desde el punto de vista de la física del sólido (estudio de fases aperiódicas, dinámica molecular) como de la física aplicada (grado de bioactividad). El objetivo general del proyecto es realizar la caracterización, el análisis y la descripción de los mecanismos que originan, en compuestos bifenilos colorados, transiciones a fases conformacionalmente inconmensuradas. Como objetivo específico, se plantea un estudio de compuestos estructuralmente semejantes al BCPS y soluciones sólidas de estos compuestos de BCPS. Se efectuarán de esta forma, perturbaciones del balance entre las interacciones intra e intermoleculares, observándose el efecto sobre los diagramas de fases, con referencia al correspondiente al BCPS.
Resumo:
Existe actualmente un interés muy difundido por los fluidos anisotrópicos (cristales líquidos, polímeros) debido a la gran cantidad de aplicaciones que se pueden realizar con ellos (por ejemplo en la fabricación de displays, en medicina, biología, etc.). Su estudio también planea interesantes problemas desde un punto de vista de la física fundamental. Sin embargo, a pesar de esto es muy poco lo que se conoce acerca de la dinámica molecular, y el problema está abierto. Las técnicas más apropiadas en este campo son el estudio de las propiedades dieléctricas y la RMN (relajación spin-red). En esta última, hay una gran actividad en el campo experimental con el desarrollo de numerosas técnicas nuevas. Sin embargo, desde el punto de vista de la teoría de la relajación se continúa utilizando aproximaciones semiclásicas. Entonces, es necesario revisar las hipótesis fundamentales de la teoría de la RMN con el fin de extender su campo de aplicación a problemas complejos como los que plantean los fluidos anistrópicos. El propósito general de esta línea de trabajo es el de extender la teoría semiclásica de relajación nuclear en RMN para incluir la naturaleza cuántica del fenómeno. Al cabo de esta investigación se espera poder describir la relajación del orden dipolar en mesofaces ordenadas como los cristales líquidos, ferrofluídos, etc. (...) Al cabo de este período se espera avanzar en las siguientes tareas: 1. Contar con una ecuación maestra para la matriz densidad de spin lo suficientemente general para incluir los efectos mencionados, pero que a la vez permita la comparación con los resultados experimentales. Dejando de lado las suposiciones clásicas de alta temperatura y orden débil, y en el marco de la suposición de temperatura de spin, se estudiará una expansión de la ecuación maestra en inversas de las temperaturas de la red y de spin. Conservando términos de orden mayor que lineal (aproximación clásica) e introduciendo las interacciones spin-spin durante el tiempo de correlación de la red (memoria microscópica) se analizará la dependencia con la frecuencia de Larmor de T1D y T1Z. Las interacciones spin-spin se introducirán mediante un método perturbativo de operadores. 2. Comprender la razón física de la diferencia de comportamiento con la frecuencia de Larmor de los parámetros T1D y T1Z. 3. Generalizar el análisis para aplicarlo al tiempo de relajación spin-red en el sistema rotante T1r.
Resumo:
En este trabajo se propuso el estudio de los desórdenes genéticos en el metabolismo de las purinas (Pu) y pirimidinas (Pi), debido a que dentro del amplio espectro de enfermedades metabólicas hereditarias (EMH) que fueron identificándose en nuestro medio no se incluían estas entidades, probablemente por el desconocimiento de su existencia y también por la carencia de la metodología necesaria para su pesquisa. Hasta el presente fueron identificados veintitrés defectos hereditarios que involucran las enzimas esenciales del metabolismo de las Pu y Pi, diecisiete de ellos asociados con serias consecuencias clínicas; los sistemas frecuentemente afectados son: inmunológico, hematológico, neurológico y renal. Defectos enzimáticos en este metabolismo, como por ejemplo el de la enzima Tiopurina S-metiltransferasa (TPMT), pueden provocar también intolerancia al tratamiento de diversas enfermedades con drogas análogas a las Pu y Pi. Los principios de identificación de los desórdenes de las Pu y Pi comprenden la investigación del producto del gen anormal, es decir esencialmente la aplicación de la genética bioquímica que estudia: a) el defecto genético evaluando la consecuencia del bloqueo de la vía metabólica normal por deficiencia de los productos o por acumulación de los precursores de estos metabolitos; b) la actividad enzimática específica, la cual puede presentar una deficiencia total, parcial o sobreactividad. Además se puede aplicar la genética molecular, es decir la investigación de las mutaciones responsables del defecto metabólico de utilidad para la confirmación diagnóstica y para establecer correlaciones genotipo-fenotipo. El estudio abarcó tres áreas estrictamente relacionadas con el tópico central, el metabolismo de las Pu y Pi, y concatenadas en sus objetivos específicos: I. Investigación de las enfermedades genéticas de las Pu y Pi. Objetivo: - Reconocer las EMH-PuPi a través de un protocolo selectivo que permita definir las alteraciones bioquímicas, enzimáticas y moleculares en pacientes presuntos de padecer estos defectos. II. Investigación del polimorfismo genético de la TPMT en la población argentina. Objetivo: - Investigar el polimorfismo genético de la TPMT, fenotipo bioquímico (actividad enzimática) - genotipo (mutaciones), en la población argentina debido a que esta enzima es un excelente ejemplo del potencial impacto de la farmacogenética en medicina. II. Investigación de posibles mecanismos de excitotoxicidad y deficiencia energética en pacientes con diferentes EMH mediante el análisis de bases y nucleósidos en el LCR. Objetivo: - Establecer posibles interacciones entre otras vías comprometidas con la del metabolismo de las Pu y Pi en EMH de exacta nosología.
Resumo:
La investigación realizada constituye un intento de reflexión acerca del problema de la corporeidad en el marco teórico y conceptual heredado por la filosofía de la subjetividad que se origina en la modernidad y que conforma una clara influencia en las definiciones del sujeto en la contemporaneidad. La perspectiva de análisis escogida para evitar caer en cualquier forma de reducción del problema, ya sea materialista o espiritualista, es la fenomenología, en la particular versión del filósofo francés M. Merleau-Ponty. La fenomenología proporciona además una metodología de investigación descriptiva y pre-tética que permite abordar el problema de la corporeidad partiendo de las vivencias (Erlebnisse). Objetivo General: Destacar la importancia del problema de la corporeidad en el contexto de la filosofía contemporánea y desarrollar a partir del aporte de la fenomenología las herramientas teóricas para su análisis y discusión. Objetivos Particulares: 1) Circunscribir y definir el problema de la corporeidad dentro del contexto teórico proporcionado por el dualismo sustancialista. 2) Analizar y discutir algunas alternativas contemporáneas de solución al problema del dualismo. 3) Explicitar y sistematizar los principales aportes del pensamiento de Merleau-Ponty al tema objeto de la investigación. 4) Analizar y discutir las conclusiones merleau-pontyanas. 5) Considerar y evaluar críticamente el intento merleau-pontyano de superación del dualismo por medio de las nociones de "cuerpo fenomenal" y "carne". 6) Esbozar una fenomenología de la corporeidad que parta de las vivencias y se constituya en una reflexión crítica acerca de la importancia del cuerpo en la definición de la subjetividad.
Resumo:
El análisis de las poblaciones humanas desde el punto de vista antropológico-evolutivo persigue como finalidad última el establecimiento de un diagnóstico sobre el estado de equilibrio/desequilibrio genético de la población estudiada, y sobre los factores -tanto biológicos cuanto culturales- que al momento presente constituyen los principales condicionantes de la situación encontrada. Establecer tal diagnóstico implica llegar a: 1) una estimación fiable de la variabilidad genética del grupo, y 2) una medición de la influencia de los procesos evolutivos (mutación, selección, migración y deriva génica) sobre tal variabilidad. Sabido es que un empobrecimiento genético puede ser causado por diferentes procesos que disminuyesen el tamaño de los grupos, cruzamientos de tipo endógamo y elevada consanguinidad, falta de nuevos genes llegados por inmigración, o a causa de la actuación conjunta de dichos factores, con diferente intensidad según el momento histórico y el lugar geográfico considerado. El requisito previo imprescindible para que pueda llevarse a cabo el enfoque planteado es el conocimiento exhaustivo de la estructura de la población, que indefectiblemente debe realizarse desde una doble perspectiva: 1) el análisis de los procesos demográficos determinantes de la misma, con sus concomitantes condicionantes socio-culturales, y 2) las posibles consecuencias a nivel biológico que éstos traen aparejadas, y que se constituyen en factores conductores de la posterior evolución poblacional. El presente plan de investigación forma parte de un proyecto más amplio que ha tomado como zona de estudio el área del valle de Traslasierra. El mismo se lleva a cabo desde hace cinco años en la Cátedra de Antropología de la Facultad de Ciencias Naturales de la Universidad Nacional de Córdoba, contando con el apoyo financiero del CONICET y de la SECYT Córdoba.
Resumo:
Durante el envejecimiento se producen profundos y complejos cambios en el sistema inmune que se traducen en una mayor susceptibilidad a sufrir enfermedades infecciosas, enfermedades degenerativas y cáncer. Los estudios realizados durante el envejecimiento plantean el desafío de encontrar los cambios que afectan al sistema inmune permitiendo modular su comportamiento durante este período de la vida y a la vez avanzar en los conocimientos básicos del funcionalismo del mismo. En estudios realizados en nuestro laboratorio observamos que la inducción de una enfermedad autoinmune como es la Prostatitis Autoinmune Experimental en animales envejecidos producía una mayor respuesta inmune celular y una menor respuesta humoral. Con el objetivo de analizar si en la inducción de una menor respuesta inmune humoral tenían importancia las células involucradas en el transporte del antígeno desde la periferia hacia el ganglio linfático, en donde se desencadena la respuesta humoral, estudiamos cuantitativamente y cualitativamente el fenotipo de células accesorias involucradas en el transporte del autoantígeno. Para ello los animales autoinmunes fueron injyectados con el autoantígeno marcado con isotiocianato de fluoresceína en la planta de la pata derecha y a distintos tiempos se obtuvieron los órganos linfáticos que se analizaron por medio de microscopía de fluorescencia y por citometría de flujo. Además analizamos en animales jóvenes y envejecidos el efecto que la inmunización con distintos adyuvantes producía en las poblaciones celulares de los órganos linfáticos y el tipo de células involucradas en el transporte del antígeno desde la periferia hacia los órganos linfáticos. Además estudiamos particularmente el rol que ejercen los neutrófilos como células involucradas en el transporte de antígenos, especialmente en animales inmunizados con adyuvante de Freund's Completo lo que nos permitió establecer un nexo en la función de los mismos como células involucradas no sólo en la respuesta inmune innata sino también en el desarrollo de la respuesta inmune adaptativa.
Resumo:
El estudio mediante zimogramas electroforéticos de extractos de Trypanozoma cruzi /i> aislados de humanos, animales domésticos y selváticos y de vectores procedentes de toda el área endémica de Argentina, permitió reconocer la existencia de 12 zimodemos (z) o "cepas isoenzimáticas". De los zimodemos aislados de hospederos humanos, sólo dos Z1 y Z12 se encuentran con gran frecuencia y tienen amplia distribución geográfica. Se ha observado una correlación significativa entre el zimodemo del parásito infectante y el cuadro clínico. El compromiso cardíaco es significativamente mayor en pacientes con Z12 que en aquellos con Z1. Por esta razón, la tipificación de la cepa infectante puede ser útil con fines pronósticos. Sin embargo, la metodología utilizada para la determinación del zimodemo es muy laboriosa e insume mucho tiempo, lo que reduce las posibilidades de aplicación clínica. Dada la similitud del agrupamiento obtenido por el análisis de los zimodemos y del ADNk, los problemas de la caracterización isoenzimática de aislamientos pueden ser evitados mediante estudio del ADN del parásito. (...) Objetivo general Identificación de zimodemos de Trypanosoma cruzi mediante análisis de ADN. Objetivos específicos a) Aislamientos de T. cruzi de pacientes chagásicos crónicos con diferentes cuadros clínicos serán caracterizados utilizando isoenzimas como marcadores genéticos. b) Se establecerá la relación entre la sintomatología observada en cada caso y el zimodemo al cual pertenecen los parásitos aislados. c) A partir del ADN aislado se procederá a: 1. Amplificación de segmentos de ADN al azar dando lugar a fragmentos de ADN que permitan identificar los diferentes zimodemos. 2. Hibridización con sondas de ADN, lo que permitiría identificar el zimodemo al que pertenecen los parásitos de dicho aislamiento. 3. Amplificar, mediante PCR, la región HVRm de T. cruzi directamente en muestras biológicas y proceder a su tipificación con sondas específicas.
Resumo:
El control de propiedades hidrodinámicas capaces de influir en la mecánica de ruptura y poración de sistemas lamelares o membranas es de fundamental interés para diferentes aplicaciones biotecnológicas. Resulta de particular interés la conexión entre los procesos microscópicos relacionados al tipo de moléculas o unidades básicas, el orden determinado en el auto-ensamblado de las mismas y la dinámica local del sistema, con las propiedades físicas que determinan el comportamiento macroscópico bajo estimulación acústica. Resultados logrados recientemente sugieren la existencia de resonancias hidrodinámicas que podrian ser utilizadas para lograr la inestabilidad del sistema a baja potencia acústica. Se realizaran estudios experimentales utilizando principalmente técnicas que combinan resonancia magnética nuclear (RMN) y la sonicación de la muestra. También se realizarán estudios teóricos y simulaciones numéricas que permitan modelar los sistemas bajo estudio. Se propone dar continuidad al desarrollo de una técnica de relaxometría magnética nuclear en la cual se estimula acústicamente a la muestra durante el proceso de relajación magnética nuclear, y continuar la implementación de técnicas de RMN con resolución espacial que permitan complementar los estudios mencionados. Se espera comprender los mecanismos físicos que determinan la estabilidad de fases lamelares, logrando un modelo verificable y consistente que permita relacionar las propiedades mecánicas e hidrodinámicas con las propiedades de orden y dinámica molecular. Asimismo, se espera lograr avances en el desarrollo de las técnicas experimentales involucradas. La importancia del proyecto radica en el enfoque del problema. A diferencia de casi la totalidad de los estudios reportados, nuestro interés se enfoca en mecanismos de interacción entre la membrana y el campo acústico que sean eficientes a baja potencia acústica, en un régimen donde los gradientes térmicos y la cavitación sean despreciables.
Resumo:
La verificación y el análisis de programas con características probabilistas es una tarea necesaria del quehacer científico y tecnológico actual. El éxito y su posterior masificación de las implementaciones de protocolos de comunicación a nivel hardware y soluciones probabilistas a problemas distribuidos hacen más que interesante el uso de agentes estocásticos como elementos de programación. En muchos de estos casos el uso de agentes aleatorios produce soluciones mejores y más eficientes; en otros proveen soluciones donde es imposible encontrarlas por métodos tradicionales. Estos algoritmos se encuentran generalmente embebidos en múltiples mecanismos de hardware, por lo que un error en los mismos puede llegar a producir una multiplicación no deseada de sus efectos nocivos.Actualmente el mayor esfuerzo en el análisis de programas probabilísticos se lleva a cabo en el estudio y desarrollo de herramientas denominadas chequeadores de modelos probabilísticos. Las mismas, dado un modelo finito del sistema estocástico, obtienen de forma automática varias medidas de performance del mismo. Aunque esto puede ser bastante útil a la hora de verificar programas, para sistemas de uso general se hace necesario poder chequear especificaciones más completas que hacen a la corrección del algoritmo. Incluso sería interesante poder obtener automáticamente las propiedades del sistema, en forma de invariantes y contraejemplos.En este proyecto se pretende abordar el problema de análisis estático de programas probabilísticos mediante el uso de herramientas deductivas como probadores de teoremas y SMT solvers. Las mismas han mostrado su madurez y eficacia en atacar problemas de la programación tradicional. Con el fin de no perder automaticidad en los métodos, trabajaremos dentro del marco de "Interpretación Abstracta" el cual nos brinda un delineamiento para nuestro desarrollo teórico. Al mismo tiempo pondremos en práctica estos fundamentos mediante implementaciones concretas que utilicen aquellas herramientas.