Facultad de Matemática, Astronomía, Física y Computación: Recent submissions
Now showing items 1181-1200 of 1232
-
Estudio de la transferencia radiativa de nubes en la región de microondas - RTM
(2011)Se elaboró un modelo que simula la interacción de la radiación con la parte líquida de las nubes en la región de microondas (23.8 y 36.5GHz) y su correspondiente código. Se creó y codificó un modelo geométrico para las ... -
Solitones en la Esfera
(2011-03)Estudio numérico y análitico de ciertos sistemas de tipo skyrmiones. Estos modelos se presentan en el contexto de teorías de campos clásicas que, al ser consideradas en su forma no-lineal completa, presentan soluciones con ... -
Teoría de control aplicada a tratamientos de quimioterapia
(2011)En este trabajo se da una breve introducción y algunas primeras herramientas para la teoría de control y los sistemas de ecuaciones diferenciales con delay. Se utilizan estas herramientas para analizar dos modelos, con ... -
Formación de estrellas de alta masa
(2011-03)En este trabajo se presenta un estudio en el infrarrojo cercano de las regiones de formación estelar asociadas con las fuentes IRAS 12272-6240 y IRAS 17149−3916. En un análisis fotométrico sobre las imágenes de las regiones ... -
Perturbaciones axiales de espacio-tiempos esféricamente simétricos
(2011)Se estudian las perturbaciones lineales de las ecuaciones de Einstein alrededor de soluciones esféricamente simétricas. Se explica por qué no hay pérdida de generalidad al restringirse a perturbaciones axialmente simétricas. ... -
Diseño de vacunas atenuadas con menor probabilidad de sufrir reversión a la virulencia
(2011)Las denominadas vacunas vivas o atenuadas han sido ampliamente utilizadas para prevenir enfermedades como la rubeola, la poliomielitis, el sarampión o la fiebre amarilla. Sin embargo, uno de los peligros del uso de este ... -
Propiedades estructurales y magnéticas de la aleación Nd60Fe30Al10 obtenida por solidificación rápida
(2011)El objetivo del presente trabajo es el de sintetizar, caracterizar y describir la microestructura y los mecanismos que controlan la coercitividad en un composite RE-TM policristalino basado en el sistema NdFeAl de fácil ... -
Implementación de técnicas de derivación de contraejemplos en el model checker PRISM
(2011-03-18)El model checking es un método de verificación formal que permite verificar automáticamente si un modelo cumple una especificación. PRISM constituye una herramienta para realizar model checking de tipo probabilista. En ... -
Transiciones de fase en membranas lipídicas
(2011)Los lípidos son fundamentales para el funcionamiento de la membrana plasmática celular, sin embargo es poco lo que se conoce de los procesos físicos básicos que acompañan a esta función. Una hipótesis es que la membrana ... -
Ingeniería de requisitos web orientada a aspectos con transformación de modelos
(2011-03-04)Los analistas usualmente describen requisitos usando notaciones involucrando conceptos técnicos que los clientes suelen desconocer. El expresar requisitos con notaciones legibles para los clientes (NLC) - es decir, que ... -
Cruces y capturas de asteroides en la resonancia de movimientos medios 3:1 con Júpiter por efecto Yarkovsky
(2011-02-25)La resonancia de movimientos medios 3:1 con Júpiter es el límite entre el cinturón de asteroides interno y el intermedio, la cual se encuentra asociada a una de las más importantes lagunas de Kirkwood. El fuerte caos que ... -
Formación y evolución de exoplanetas
(2011)En este trabajo se estudian principalmente los procesos de formación y evolución planetaria en diferentes etapas. En la etapa temprana, se estudia el proceso desde la formación del disco protoplanetario hasta la formación ... -
Abstracción a Estados Esenciales en el Model Checker Probabilista PRISM
(2010-12-17)En este trabajo se presenta una adaptación al model checking simbólico de un método de reducción de estados, el cual, tiene como objetivo reducir el costo de los cálculos numéricos involucrados en el model checking ... -
TEO : una herramienta para la optimización de la probabilidad de ejecución de casos de prueba en tiempo real
(2010)En las pruebas de sistemas de tiempo real, y en particular los que tienen comportamiento estocástico, es muy importante que éstas se ejecuten con la mayor probabilidad posible. El objetivo de este trabajo final es implementar ... -
Superficies maximales con momento lineal en Schwarzschild
(2010-12-10)Las superficies maximales son muy importantes a la hora de resolver las ecuaciones de vínculo de Einstein. Estas superficies facilitan la evolución de los datos iniciales mediante los métodos numéricos más utilizados. Con ... -
Generación de código intermedio usando semántica funtorial
(2010-12-29)Este trabajo consiste en la implementación de un front-end para un lenguaje de programación Algol-like. El front-end es la primera etapa del proceso de compilación; cuyo objetivo es generar código en un lenguaje intermedio ... -
Determinación de parámetros fundamentales de cúmulos abiertos mediante espectroscopía integrada
(2011)Los cúmulos abiertos constituyen excelentes laboratorios para delinear parámetros fundamentales de la Vía Láctea. Los más jóvenes son muy buenos trazadores de su estructura espiral en tanto que los viejos o de edades ... -
Evaluación de funciones de distribución de pares en un modelo mecánico estadístico de gases basado en particiones del espacio
(2011)La estructura microscópica de un fluido en equilibrio puede ser descripta por una clase de partición del espacio en la cual a cada partícula se le asigna un volumen v. La combinación de particiones del espacio con el método ... -
Caracterización de mezclas de distintos compuestos de azufre mediante espectroscopía de emisión de rayos x /
(2010)Se idearon métodos que permiten, mediante EPMA, diferenciar y cuantificar los compuestos presentes en una muestra (especiación). Para ello, se tomaron los espectros de rayos x emitidos por muestras preparadas con diferentes ... -
Verificación en tiempo de ejecución con Streams
(2010)La verificación en tiempo de ejecución es una de las técnicas utilizadas con el objetivo de garantizar la corrección, seguridad y confiabilidad de los sistemas de software que ha recibido gran atención en los últimos años. ...