Descripción: En esta tesis presentamos el diseño e implementación de una amplia gama de análisis estáticos para la plataforma .NET, con foco en la escalabilidad. Nos concentramos en .NET dada su gran popularidad en la industria y el amplio conjunto de características que provee, pertenecientes a los paradigmas orientado a objetos y funcional, incluyendo programación concurrente y la manipulación de bajo nivel de punteros. La combinación de todas estas características hacen del análisis estático un desafío. Por un lado, presentamos un framework de análisis estático distribuido de programa completo, diseñado para escalar con el tamaño de la entrada. Nuestro enfoque está basado en el modelo de programación con actores para ser ejecutado en la nube. Nuestra decisión de utilizar una red de computadoras en la nube provee un grado de elasticidad para recursos de CPU, memoria y almacenamiento. Para demostrar el potencial de nuestra técnica, mostramos cómo puede ser implementado un análisis de call graph típico en una configuración distribuida. Además, extendemos nuestro análisis para soportar actualizaciones incrementales del código fuente y mostramos cómo los resultados computados previamente pueden ser actualizados sin tener que volver a calcularlos de cero. Por otro lado, presentamos un framework de análisis estático de programas y herramientas específicamente diseñado para la plataforma .NET. Este framework provee muchas funcionalidades, incluyendo algunas representaciones intermedias como el código de tres direcciones, adecuado para la implementación de un análisis estático, así como también provee una amplia gama de análisis y transformaciones como son la inferencia de tipos, los análisis de control-flow y data-flow, y la construcción de call graph y points-to graph, entre otros. No sabemos de ningún otro framework de análisis estático de código públicamente disponible para la comunidad .NET que provea este tipo de funcionalidades. Para demostrar las capacidades de nuestro framework, presentamos también algunas aplicaciones cliente que aprovechan sus funcionalidades, como un análisis de optimización de consultas Big Data para detectar automáticamente columnas no utilizadas y dependencias entre tablas de entrada y salida de operadores definidos por el usuario desarrollados en algún lenguaje de la plataforma .NET como C#.

Descripción: Uno de los modelos más utilizados para estimar la Productividad Primaria Neta (PPN) a escala regional es el de eficiencias de Kumar and Monteith que permite la inclusión de información satelital. Uno de los parámetros clave es la eficiencia en su utilización (EUR), afectado por los factores de estrés. El objetivo fue mejorar las estimaciones a escala regional de la PPN en pastizales, bajo distintas condiciones de estrés proponiendo una cartografía temática de EUR para la región pampeana, teniendo en cuenta los factores de estrés predominantes (hídrico y nutricional). A través de ensayos manipulativos, se determinaron los cambios en la EUR en 4 gramíneas y en una pastura multiespecífica donde se incluyó el efecto del pastoreo. Para regionalizar los resultados, se generó una cartografía temática de las condiciones hídricas y nutricionales de la región. Para validar este mapa se estimó la PPNA mensual y anual utilizando imágenes MODIS que se compararon con datos de PPNA estimados a campo y con los resultados de otros dos modelos comúnmente utilizados. En los ensayos monoespecíficos la EUR varió entre 2.3-5.2 g/MJ bajo condiciones óptimas de crecimiento y entre 1.02-1.75 g/MJ en las plantas con estrés. En el ensayo multiespecífico, la EUR varió entre 0.63-1.94 g/MJ. La PPNA estimada anual presentó los menores valores en el suroeste de la región (menor a 5800 kg/ha.año) y fue aumentando hacia el noreste hasta alcanzar valores de 14500 kg/ha.año. La validación con datos de PPNA observados y estimados por otros modelos indican que nuestro modelo de EUR variable presenta mayor nivel de ajuste que el de EUR fija.

Descripción: En este trabajo se evaluaron la productividad primaria neta, la dinámica de la biomasa, la acumulación de materia orgánica y las tasas de descomposición en juncales de Schoenoplectus californicus y pajonales de Scirpus giganteus del Bajo Delta del río Paraná. El análisis se realizó en dos escalas diferentes, considerando tanto la comparación de las respuestas funcionales de la vegetación, ante situaciones hidrológicas contrastantes, como la evaluación de los patrones espaciales de fijación de carbono en una escala de paisaje. En ambas escalas de análisis y en todos los ambientes estudiados, se encontró una fuerte correspondencia entre mayores niveles de circulación superficial del agua y valores más altos de productividad primaria neta. Se encontró además, que el régimen hidrológico determina cambios en la capacidad de los ambientes para retener la biomasa producida y condiciona los patrones de acumulación de materia orgánica en el suelo. A partir de los resultados obtenidos, se realizó una caracterización funcional de estos ambientes y se estableció un modelo de cambios de estado en los niveles de energía que aporta una visión complementaria al modelo clásico de reemplazo de especies de la zona frontal del Bajo Delta.

Descripción: Las regiones templadas son las áreas de mayor concentración de población delplaneta, por lo que sus ecosistemas están sujetos a la influencia humana. Por ejemplo, grandes áreas de bosques y pastizales han sido convertidas a la agricultura. Estos cambios en el uso de la tierra tienen el potencial de producir efectos importantes en los ciclos biogeoquímicos que regulan el equilibrio y dinámica de los ambientes naturales a través de los intercambios (flujos)de energía y masa (vapor y dióxido de carbono -CO2) entre la atmósfera y el ecosistema. Las marismas saladas son pastizales naturales costeros, ubicados en áreaspreferenciales para el asentamiento urbano y por ende son vulnerables. Se consideranaltamente productivas en energía y biomasa y son de sumo interés debido a las funciones quecumplen. El método de las covarianzas turbulentas es la herramienta actual que permitedeterminar con mayor precisión, de forma continua e integrada los flujos de energía y masasobre los distintos ecosistemas terrestres. Los objetivos de esta Tesis son estudiar y analizarmediante este método, las dinámicas de los flujos de energía, CO2 y vapor de agua de unamarisma del sudeste de la Provincia de Buenos Aires y caracterizar su producción primarianeta. Para alcanzar estos objetivos se realizó una campaña experimental en la que se midieronlos flujos, además de observaciones de contenido de agua en el suelo, meteorológicasconvencionales, muestreos destructivos de biomasa aérea y censos de vegetacióncomplementarios. Los resultados muestran que la marisma actúa como sumidero de CO2 durante todo elaño, a diferencia de otros ambientes en los que durante el período invernal la superficie actúacomo fuente. Estos resultados contribuyen al conocimiento general de las interacciones entrela atmósfera y los ecosistemas y en particular provee la línea de base para caracterizar estadosde equilibrio futuros en el sistema atmósfera - biósfera.