Estudio de epitopes de antígenos para interpretar su respuesta inmune. Modelo 1: Virus rubeola. Modelo 2: Bacteria Chlamydia trachomatis

El estudio de los epitopes de los antígenos permitirá no sólo la diferenciación de cepas sino también la interpretación correcta de la respuesta inmune. Modelo1: Rubeola es una enfermedad infecciosa caracterizada por una erupción localizada, fiebre y adenopatías, que por lo general se produce en niños de edad escolar o preescolar. El virus de la rubeola es el único miembro del género ribivirus en la familia de los Togavirus. Se sabe que es una partícula esférica que mide 60-90 nm y lleva la información genética en una sola cadena de RNA de polaridad positiva formando una cápside icosahédrica. Estructuralmente está compuesto por tres proteínas, una no glicosilada, asociada al RNA en la nucleocápside, llamada C, y dos glicoproteínas E1 y E2 que se encuentran en la envoltura del virus donde se presentan formando complejos por dímeros E1-E1 y E1-E2. Uno de los motivos por los que se realizan estudios comparativos entre diferentes cepas de virus rubeola radica en la observación de que la respuesta inmune frente a la infección con la cepa salvaje es más eficiente y duradera que la inducida por la cepa vacunal y que no se conocen fehacientemente si la capacidad teratogénica del virus depende de la cepa viral o del tipo de infección que se produce en la placenta y en el feto. La disminución o desaparición de la respuesta inmune específica puede posibilitar la reinfección de una persona vacunada, lo que adquiere particular importancia en el caso de las embarazadas. Es por ello que este estudio se centra en el análisis comparativo de las propiedades biológicas y estructurales de la cepa de virus rubeola de circulación local (cepa Córdoba y sus clones) frente a las cepas Glichrist (prototipo) y RA 27/3 (vacunal). Esta parte del trabajo contribuye al proyecto mundial de obtención de una vacuna sintética o infectiva para controlar la infección por el virus rubeola. Objetivos: 1. Estudiar la cinética de aparición de los epitopes en citoplasma y membrana celular con una técnica de inmunofuorescencia indirecta de células infectadas y bloquear a distintos pasos la vía de síntesis de proteínas en las células infectadas para producir el camino de síntesis del complejo E1-E1 hasta su aparición en membrana. 2. Realizar la técnica de mapeo peptídico para la proteína E2 en diferentes cepas. Modelo 2: Chlamydia trachomatis es una bacteria intracelular obligada de un ciclo de vida dimórfico, con una fase extracelular llamada Cuerpo Elemental (CE), que es la forma infectiva y metabólicamente inactiva y una fase intracelular llamada Cuerpo Reticular que es la forma replicada y metabólicamente activa de la bacteria. Es el agente etiológico de Enfermedades de Transmisión Sexual (ETS) más comunmente aislado en poblaciones de riesgo, además de ser la primera causa de ceguera prevenible a nivel mundial. El resultado de la infección con C. trachomatis puede terminar en inmunidad o enfermedad dependiendo de la interacción del sistema inmune del huésped con los antígenos chlamydiales específicos. El estudio de los antígenos que generan la respuesta inmune humoral como los tipos e isotipos de inmunoglobulinas producidas en esta respuesta, en las poblaciones con diferentes manifestaciones de la infección por C. trachomatis , podrían asociarse a un tipo de perfil de respuesta de linfocitos TH y dar un valor pronóstico de la evolución de la infección. Objetivo: 1. Separar y estudiar algunos de los más importantes antígenos de la bacteria Chlamydia trachomatis .

Estudio de la electrificación de nubes de tormenta

Dentro de la electricidad atmosférica, un tema aún no completamente resuelto es el del origen de las grandes cargas eléctricas que se separan dentro de las nubes de tormenta. Por otra parte, un problema de gran incidencia económica es el de los daños producidos por el granizo. Cualquier método de control del granizo está íntimamente relacionado con el proceso de identificación de la nube que está en condiciones de producirlo. Un posible indicador que ayude a esa identificación es la electrificación de la nube, ya que el conocimiento actual apunta al hielo como principal generador de carga. Es entonces, objetivo a largo plazo de este proyecto el contribuir al entendimiento de los mecanismos de generación y separación de cargas en nubes y formular un modelo de electrificación de las mismas que permita predecir su comportamiento. Esto último permitirá ayudar a una detección temprana de nubes graniceras por medio de la medición de variables eléctricas atmosféricas a nivel de tierra. (...) Se prevé continuar con mediciones de transferencia de cargas en colisiones individuales del tipo granizo-granizo y se comenzará con las mediciones de transferencia de cargas en colisiones del tipo granizo-cristales de hielo. Desde el punto de vista numérico se prevé continuar con el modelado de una electrificación global de la tormenta, teniendo en consideración resultados experimentales de éste y otros grupos del mundo con quienes se trabaja en colaboración. Por otro lado se prevé refinar el modelado del cargado individual de granizo, dentro de sistemas convectivos, mejorando los esquemas numéricos utilizados, las parametrizaciones de la parte de crecimiento y la interpretación de resultados.

Contribución al conocimiento de parasitoides de Lepidópteros defoliadores y Hemípteros Pentatómidos en cultivos de soja y alfalfa

El presente plan tiene como objetivo aportar al conocimiento de Hymenóptera y Díptera parasitoides de Lepidóptera defoliadores y Hemíptera, en cultivos de soja y alfalfa, tanto en lo referente a las especies presentes como a su incidencia sobre la dinámica de sus hospederos. La finalidad última es la interpretación de las dinámicas poblacionales de las plagas ya mencionadas y las de sus enemigos naturales, con el propósito de desarrollar estrategias de manejo adecuadas en el marco de la filosofía y metodología del Manejo Integrado de Plagas. Atendiendo a tales propósitos se establecen los siguientes objetivos: 1- Determinar las especies de himenópteros parasitoides de lepidópteros defoliadores y hemípteros, en soja y alfalfa. 2- Determinar las especies de dípteros taquínidos parasitoides de lepidópteros defoliadores y hemípteros, en soja y alfalfa. 3- Evaluar cuantitativamente la incidencia del parasitismo natural debido a dípteros e himenópteros, en las dinámicas poblacionales de los principales hemípteros y lepidópteros defoliadores, en soja y alfalfa.

Modelos de Atmósferas Estelares y estrellas de Carbono deficientes en Hidrógeno

El trabajo apunta a determinar el origen y naturaleza de las estrellas de C deficientes en H y por lo tanto, su relación con las restantes estrellas de nuestra galaxia. Apunta a determinar la edad y el estado evolutivo de estas estrellas. En lo que se refiere a las atmósferas, se trata de desarrollar una rutina que calcule en forma automática un modelo, tomando debidamente en cuenta las dificultades del problema (apartamiento de LTE, transporte convectivo, etc.), de modo de poderlo aplicar al estudio e interpretación de los espectros de las estrellas HdC. Objetivos Contribuye a clarificar la naturaleza de las estrellas HdC: 1. Una correcta identificación de las estrellas de esta clase por las características que presentan sus espectros. 2. Determinar la abundancia de los distintos elementos en sus atmósferas. 3. Determinar su luminosidad intrínseca. 4. Poder decidir cuáles son las características cinemáticas del grupo. Dentro del tema de las atmósferas estelares, es de interés contar con una rutina que sobre la base de ciertos datos básicos (temperatura efectiva, composición química y gravedad superficial) calcule un modelo con un mínimo de intervención externa. Con este elemento disponible, hay temas interesantes que se están investigando dentro del grupo, como formación de líneas del He en estrellas B con atmósferas extendidas (en presencia de un viento estelar y de una cromósfera) y la distinta estructura que se debe esperar de una atmósfera de una estrella HdC, a causa de ser el C el siguiente elemento en importancia después del He.

Optimización microestructural y desarrollo de textura en imanes de Nd-Fe-B producidos por la técnica HDDR

El proceso de HDDR desde su aparición en 1989, como una nueva alternativa de producción de superimanes de Nd-Fe-B, ha generado un creciente interés tanto a nivel de los grupos de investigación y desarrollo como de las industrias. Este método resulta sumamente atractivo puesto que ofrece la posibilidad de producir polvos que pueden utilizarse para el conformado de imanes por ligado o inyección mediante un proceso que involucra un número reducido de operaciones. Sin embargo, la complejidad de los fenómenos fisicoquímicos involucrados ha originado un retardo significativo en su implementación a nivel productivo. El desafío tecnológico vigente es generar el conjunto de conocimientos que sirvan de sustento a la ingeniería de este proceso de indudables perspectivas económicas. (...) Objetivo general: Desarrollar un método de producción de imanes de tierras raras de bajo costo, con viabilidad de implementación industrial en Argentina. Objetivo específico: Contribuir a la interpretación del origen de la anisotropía en polvos de Nd-Fe-B producidos por el método HDDR.

La teoría de la mente desde una perspectiva interdisciplinaria: el problema de la conciencia

Diversas disciplinas científicas tales como la Psicología, las neurociencias, la psicología evolutiva, la inteligencia artificial, la lingüística, etc., abordan el estudio de los fenómenos mentales desde diferentes ángulos y con presupuestos y metodologías particulares. Por otra parte, en el marco disciplinario de la filosofía de la mente, especialmente en los últimos años, se han encarado investigaciones en torno a distintos tópicos especiales (representación, causación mental, intencionalidad, procesamiento de información, fenómenos cualitativos, subjetividad, auto-conocimiento, etc.) que han sido discutidos en diferentes niveles de análisis: ontológico, epistemológico, metodológico, semántico. Esta situación trae como consecuencia el desarrollo de investigaciones paralelas cuyas vinculaciones sólo excepcionalmente son advertidas, e incluso en el caso de algunas disciplinas aplicadas, ni siquiera se consideran los resultados de las indagaciones teóricas, lo que las lleva a incurrir tanto en errores conceptuales como la interpretación. (...) En la anterior etapa de investigación hemos logrado realizar un relevamiento general, en algunas de las disciplinas mencionadas, de los distintos marcos conceptuales y explicativos empleados en teorías de la intencionalidad. En esta nueva etapa nos proponemos analizar y evaluar las principales dificultades y discusiones epistemológicas implicadas en el intento de construir una única teoría global acerca de lo mental, vinculando diferentes disciplinas. (...) En esta primera etapa prevemos abordar el problema planteado abocándonos al estudio de una temática especial, presente en los desarrollos teóricos de las distintas disciplinas e ineludible para la construcción de una teoría transdisciplinaria acerca de los fenómenos mentales: el problema de la conciencia. (...) Objetivos específicos: 1. Examinar las teorías alternativas de la conciencia (empíricas y filosóficas) discriminando en especial sus presupuestos epistemológicos. 2. Comparar los marcos teóricos globales que se desprenden de las teorías de la conciencia con las interpretaciones que de ella se postulan en los distintos contextos disciplinarios (psicología, lingüística, etc.). 3. Evaluar la viabilidad de una teoría unitaria de la conciencia, atendiendo a las condiciones de adecuación epistemológica de acuerdo con un enfoque interdisciplinario.

Dinámica estructural

Las actividades propuestas para el presente proyecto incluyen la realización de tareas experimentales y de modelación numérica de estructuras con los siguientes objetivos generales: ii. Evaluar la validez de los modelos numéricos de sistemas estructurales complejos, a la luz del comportamiento medido de los mismos en escala natural bajo condiciones de carga operativas y de ensayos. ii. Desarrollar técnicas de interpretación de ensayos a los efectos de identificación de parámetros estructurales tales como rigidez y amortiguamiento y de detección de daños. Para alcanzar estos objetivos generales se han previsto estudios de importantes estructuras en escala natural, que por su escala e importancia en la infraestructura del país merecen especial atención: el edificio de Central Nuclear de Atucha. (...) Se aspira a que las conclusiones de los estudios a realizar sean de utilidad para diseñar y reparar otras estructuras de la infraestructura del medio. Entre los objetivos específicos del proyecto se incluyen: 1. Aplicar la técnica de Análisis Espectral de Ondas Superficiales para identificar las propiedades dinámicas de los estratos de suelo en el emplazamiento de la central nuclear de Atucha II y su uso para modelación analítica de los ensayos de impacto realizados. 2. Identificación de propiedades mecánicas de la estructura de puentes atirantados a través del registro y análisis de vibraciones ambientales, con el objeto de proveer información objetiva para la toma de decisiones en la reparación de la misma. (...) 3. Corroborar con ensayos de estructuras en escala natural la utilidad del ensayo dinámico impulsivo para determinar la rigidez estática de una estructura.

Análisis cuantitativo de las importaciones de efectos europeos en Córdoba, 1816-1825. (Segunda Etapa)

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.

Enseñanza de estrategias cognoscitivas: Criterios para valorar experiencias pedagógicas en la universidad

Este plan de trabajo atiende a la última etapa de un proyecto iniciado en 1995, que tiene como propósitos investigar los modos de ajustar la evaluación de los resultados de la aplicación de un enfoque pedagógico y profundizar el conocimiento de la compleja gama de factores que afectan esas aplicaciones. En esta etapa nos proponemos ampliar el análisis de las condiciones que afectan los resultados de un enfoque instructivo y avanzar en la comprensión de los problemas caracterizados como conocimiento inerte. Centraremos la atención en tres tópicos principales: por una parte, atenderemos a las variaciones en el tipo de interacciones profesor-alumno y alumno-alumno en diferentes configuraciones de clase y trataremos de identificar y analizar las condiciones que inciden en el valor pedagógico de determinadas interacciones; por otra parte, nos proponemos examinar producciones escritas de los estudiantes atendiendo a los problemas en el uso del conocimiento (conocimiento inerte); por último describiremos los méritos y dificultades de experiencias pedagógicas en la universidad. Se trabajará con datos recolectados durante la implementación de una experiencia de enseñanza de estrategias cognoscitivas a estudiantes universitarios (en una etapa anterior de este trabajo, durante el año 1996). Contamos con cuatro tipos de datos: registros de observaciones de clases, grabaciones de clases, protocolos de evaluación de aspecto cognitivos, motivaciones, motivacionales y metacognitivos, protocolos de respuestas de los estudiantes. Los análisis que se piensa realizar son de índole cuantitativa (especialmente para datos de rendimiento académico) y cualitativo para el análisis de las interacciones, de las producciones escritas y de los aspectos motivacionales y metacognitivos. Se elaborarán escritos tendientes a integrar resultados del proyecto en 1) una descripción de las condiciones y factores que inciden en la aplicación de los enfoques pedagógicos, particularmente del enfoque interactivo y del enfoque cooperativo, 2) una interpretación acerca de los problemas del conocimiento inerte, 3) una descripción de los beneficios y limitaciones en el uso de un modelo comprensivo para la evaluación de las experiencias pedagógicas.

Evaluación del efecto de los factores climáticos en las curvas de captura de la polilla oriental de la fruta en Río Cuarto

La polilla oriental de la fruta o grafolita, Cydia Molesta (Busck), es una de las plagas más importantes en duraznos, capaz de producir considerables daños en frutos y brotes, no sólo en esta especie frutal sino también en otras incluidas las pomáceas. Para evitar las pérdidas de cosecha por el daño en frutos, los productores realizan numerosas aplicaciones de insecticidas para el control de esta plaga. Si se cuenta con información concreta acerca del comportamiento que presenta la polilla en la temporada, es posible reducir el número de aplicaciones, alternativa económicamente importante y ecológicamente necesaria. Una manera de analizar la etología de esta plaga, es mediante el monitoreo del vuelo de machos con trampas de feromona sexual sintética. Se ha encontrado que existe una alta correlación entre las capturas en trampas de feromona y la emergencia de adultos. Para determinar el momento oportuno de control de grafolita, es fundamental ajustar las curvas poblacionales de esta plaga para cada región, debido a que las variaciones climáticas afectan su patrón de vuelo. No es posible extrapolar estos datos desde otras regiones aunque ecológicamente se parezcan, ya que ello acarrea cierto grado de error. En la zona de Río Cuarto, es escasa la información que existe sobre plagas asociadas a frutales, específicamente sobre la polilla oriental en duraznero. (...) Es por ello que se considera necesario analizar en qué medida cada factor climático afecta las curvas de vuelo de los machos de la polilla oriental, logrando una correcta interpretación de esta información. Objetivo general: * El presente trabajo pretende evaluar el efecto que ejercen los factores climáticos sobre la curva poblacional de la polilla oriental de la fruta, inferida mediante la captura de machos en trampas de feromona sexual. Objetivos específicos: * Determinar la curva poblacional de la polilla oriental en la temporada, mediante la captura de machos en trampas de feromona. * Determinar la sumatoria de Días-Grado necesaria para que se cumpla cada una de las generaciones de la polilla en la temporada. * Analizar el efecto de las temperaturas crepusculares sobre el patrón de vuelo de los machos. * Evaluar la incidencia que ejercen los vientos presentes en las horas de vuelo, sobre las capturas de machos. * Evaluar la posible variación en las capturas por efecto de la humedad relativa en las horas de vuelo. * Determinar el efecto de las precipitaciones a la hora crepuscular sobre las capturas.

Estudio del comportamiento social y reproductivo de furnáridos espineros

Existe en la actualidad un gran desarrollo de la eco-etología, en la cual muchos de los avances se han llevado a cabo en aves. Especial interés se ha manifestado en aspectos tales como estructura social, reproducción y estructuras asociadas como nidos, refugios, etc. Los furnáridos constituyen, por la diversidad de nidos que construyen, un grupo interesante de estudio. Dentro de estos, los furnáridos espineros al usar el nido todo el año y el hábito de muchas especies de construir muchos nidos simultáneamente hacen de los espineros un grupo ideal para investigar sobre la relación entre los pájaros y el nido. Objetivos generales: * Estudiar el comportamiento reproductivo bajo una interpretación socioetológica. * Determinar las razones ecológicas y evolutivas que impulsan a estas especies a construir grandes y elaborados nidos todo el año. * Estudiar el comportamiento social de los mismos, con especial énfasis en las vocalizaciones, territorio y características comunales. Objetivos específicos: * Técnicas y materiales en la construcción de nidos. * Causas que impulsan a estas especies a construir estos grandes nidos. * Gasto de tiempo que representa la construcción y mantenimiento de los nidos. * Posibles ventajas que representa la tenencia de varios nidos. * Influencia de ectoparásitos (dípteros y ácaros) en el éxito reproductivo. * La infestación de ectoparásitos y el uso de material verde de relleno como repelente. * Predación en nidos aislados y nidos agrupados. * Disponibilidad de sitios para nidificar y materiales para construcción. * Territorio de cada pareja y grupo familiar. * Estructura y conducta social: comportamiento y éxito reproductivo. * Participación de los juveniles en la cría de los hermanos. * Dispersión de los juveniles, en relación al territorio parental. * Edad de reproducción de los juveniles y tasa de supervivencia. * Tipo de vocalizaciones y sus respectivas funciones. * Importancia de estos nidos en el ecosistema chaqueño y pampeano. El estudio de estas especies se lleva a cabo en MonteCristo, Córdoba y se estudian tres especies de espineros: el Cachalote Castaño ( Pseudoseisura hopotes ), el Leñatero ( Anumbíus annumbi ) y el Crestudo ( Coriphystera alaudina ).

Efecto de los campos magnéticos en la solidificación de fluidos orgánicos

La aplicación de los campos magnéticos al acondicionamiento de fluidos, fundamentalmente agua o hidrocarburos, se ha difundido en occidente en los últimos años. Existen en la actualidad diversos dispositivos disponibles comercialmente para eliminar depósitos de sales en aguas de duras, o atenuar la deposición de parafinas en los procesos de extracción y conducción de crudo de petróleo, y de algunos de sus derivados tales como los aceites minerales, el gas-oil, etc. Es reciente la publicación de estudios científicos que reportan los efectos de campos magnéticos intensos sobre las propiedades de precipitación de carbonatos. En los hidrocarburos, por otro lado, se ha informado la prolongación de los períodos de bombeo sin interrupción por taponamiento gracias a la presencia de dispositivos que inducen campos magnéticos en el interior de las tuberías. Sin embargo no se dispone hasta el momento de explicaciones científicas del fenómeno que permitan predecir y cuantificar los efectos descriptos. Por otro lado el diseño racional de dispositivos de tratamiento magnético requiere del cálculo de propiedades de equilibrio relevantes, tales como por ejemplo las temperaturas de formación de sólidos. En este contexto el abordaje termodinámico del problema implica un paso esencial en la conformación de un marco fundamental para su análisis, cuantificación y delimitación. La etapa de investigación que se pretende abarcar en el desarrollo del presente proyecto se focalizará en el análisis termodinámico del equilibrio sólido/líquido de sistemas orgánicos multicomponentes, en presencia de campos magnéticos estacionarios. Objetivo general * Contribuir a la interpretación del origen de los efectos de los campos magnéticos en el equilibrio sólido/líquido de sustancias orgánicas. Objetivos específicos * Elaboración de un modelo termodinámico para descripción del equilibrio sólido/líquido de mezclas multicomponentes parafinas/solventes, en presencia de campos magnéticos estacionarios. * Aplicación del modelo a sistemas hidrocarburo/parafinas.

Crítica de la conciencia científica contemporánea

La problemática de la conciencia tecnocientífica contemporánea constituye uno de los puntos neurálgicos en la discusión filosófica contemporánea y especialmente en el discurso ético. Como es sabido desde la Edad Moderna, época de la consolidación de las Ciencias de la Naturaleza, los criterios usuales en estas disciplinas se convirtieron en el paradigma del conocimiento en general, pero además los mismos criterios se extrapolaron al ámbito de las relaciones humanas y a la relación hombre-naturaleza. Esta proyección tiene serias consecuencias negativas tanto para la sociedad como para el futuro del planeta; por un lado la máxima expresión del dominio de la racionalidad tecnocientífica esta dada en la concepción del mundo que rige a occidente: en este marco el hombre es considerado como engranaje y destinatario de un sistema de producción de consumo que sintomáticamente genera un profundo malestar, por otro lado la crisis ecológica actual se presenta de la misma manera como consecuencia de esta desmesurada fe en la técnica que aparece como la experiencia humana preponderante. (...) En el presente proyecto de investigación intentaremos abordar el fenómeno de la tecnociencia desde un punto de vista crítico. Efectivamente, a través del análisis de las obras de pensadores claves en la crítica de la cultura, intentaremos probar la necesidad de intentar una reinterpretación de la ciencia y de la técnica que no reduzca al hombre a una dimensión (Marcuse), sino que deje abierta la posibilidad para una interpretación multidimensional sobre todo en un marco más ampliamente humano y social. Se prevén varias etapas: la primera, que se refiere a este pedido de subsidio, tiene que ver con la recopilación del material bibliográfico pertinente y la lectura y elaboración de la obra de Marcuse. Con posterioridad se programa una confrontación crítica del pensamiento de Marcuse con el de otros pensadores más o menos radicales en la crítica de la cultura como Nietzsche, Freud, Jonas, Vattimo, etc. En una tercera etapa se procederá al procesamiento del material trabajado a través de una clasificación temática y sistemática de las diversas perspectivas de análisis.

Indicadores ópticos de actividad emisiva de radiación X en sistemas binarios Be

El estudio de los fenómenos emisivos en estrellas Be es de importancia porque agrega información que puede conducir a mejorar la interpretación de la actividad que existe en la alta atmósfera de estas estrellas. Los procesos que se desean estudiar se refieren a las interacciones entre la estrella Be y la de neutrones que componen un sistema Be emisor de radiación X. Un procedimiento posible consiste en utilizar la información prevista por las líneas de hidrógeno, especialmente la línea H gamma, cuyas variaciones permiten predecir la sucesiva emisión de la radiación X producida durante el pasaje por el periastro de la estrella de neutrones. Esto es válido, probablemente en todos los sistemas de este tipo y es justamente lo que se desea comprobar. Se trata de fenómenos que requieren, para ser analizados adecuadamente, de un eficaz seguimiento de los objetivos que se estudian; con este objeto se solicitarán turnos de observación en el Complejo Astronómico CASLEO (Complejo Astronómico Leoncito, provincia de San Juan) y en la Estación Astrofísica de Bosque Alegre del Observatorio Astronómico de Córdoba. Objetivos generales Estos hechos son de gran interés para el estudio de la física y la dinámica de la transferencia de materia en el periastro y la subsecuente emisión explosiva de radiación X. En consecuencia, si estas explosiones emisivas X están originadas por el movimiento orbital excéntrico, un seguimiento multifrecuencial de estos sistemas en su pasaje alrededor del periastro dará una respuesta a muchos de los problemas que presentan. En las longitudes de ondas ópticas, el seguimiento de estos sistemas durante un período orbital puede dar prueba definitiva de la existencia de indicadores ópticos de la siguiente actividad emisiva de radiación X. Objetivos específicos En una lista de alrededor de 25 sistemas pulsantes en radiación X, varios son TXTS. El propósito de este programa es el de buscar indicadores ópticos de emisión de radiación X en algunos sistemas como son: i) A 0538-66, sistema HXTS con un período de 0.07s, en la Nube Mayor de Magallanes. (...) ii) A 1118-615: éste es un sistema SXTS con un período de 405s. (...)

Métodos para el análisis de programas probabilistas y no-deterministas utilizando probadores de teoremas. Methods for the analysis of probabilistic and nondeterministic programs using theorem provers.

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.