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.

DESARROLLO DE APLICACIONES ESTADÍSTICAS PARA LA AGRICULTURA DE PRECISIÓN

A partir de las últimas décadas se ha impulsado el desarrollo y la utilización de los Sistemas de Información Geográficos (SIG) y los Sistemas de Posicionamiento Satelital (GPS) orientados a mejorar la eficiencia productiva de distintos sistemas de cultivos extensivos en términos agronómicos, económicos y ambientales. Estas nuevas tecnologías permiten medir variabilidad espacial de propiedades del sitio como conductividad eléctrica aparente y otros atributos del terreno así como el efecto de las mismas sobre la distribución espacial de los rendimientos. Luego, es posible aplicar el manejo sitio-específico en los lotes para mejorar la eficiencia en el uso de los insumos agroquímicos, la protección del medio ambiente y la sustentabilidad de la vida rural. En la actualidad, existe una oferta amplia de recursos tecnológicos propios de la agricultura de precisión para capturar variación espacial a través de los sitios dentro del terreno. El óptimo uso del gran volumen de datos derivado de maquinarias de agricultura de precisión depende fuertemente de las capacidades para explorar la información relativa a las complejas interacciones que subyacen los resultados productivos. La covariación espacial de las propiedades del sitio y el rendimiento de los cultivos ha sido estudiada a través de modelos geoestadísticos clásicos que se basan en la teoría de variables regionalizadas. Nuevos desarrollos de modelos estadísticos contemporáneos, entre los que se destacan los modelos lineales mixtos, constituyen herramientas prometedoras para el tratamiento de datos correlacionados espacialmente. Más aún, debido a la naturaleza multivariada de las múltiples variables registradas en cada sitio, las técnicas de análisis multivariado podrían aportar valiosa información para la visualización y explotación de datos georreferenciados. La comprensión de las bases agronómicas de las complejas interacciones que se producen a la escala de lotes en producción, es hoy posible con el uso de éstas nuevas tecnologías. Los objetivos del presente proyecto son: (l) desarrollar estrategias metodológicas basadas en la complementación de técnicas de análisis multivariados y geoestadísticas, para la clasificación de sitios intralotes y el estudio de interdependencias entre variables de sitio y rendimiento; (ll) proponer modelos mixtos alternativos, basados en funciones de correlación espacial de los términos de error que permitan explorar patrones de correlación espacial de los rendimientos intralotes y las propiedades del suelo en los sitios delimitados.

Mecanización de semántica de lenguajes de programación: teoría, implementación y desarrollo.

El presente proyecto se enmarca en el área de métodos formales para computación; el objetivo de los métodos formales es asegurar, a través de herramientas lógicas y matemáticas, que sistemas computacionales satisfacen ciertas propiedades. El campo de semántica de lenguajes de programación trata justamente de construir modelos matemáticos que den cuenta de las diferentes características de cada lenguaje (estado mutable, mecanismos de paso de parámetros, órdenes de ejecución, etc.); permitiendo razonar de una manera abstracta, en vez de lidiar con las peculiaridades de implementaciones o las vaguezas de descripciones informales. Como las pruebas formales de corrección son demasiado intrincadas, es muy conveniente realizar estos desarrollos teóricos con la ayuda de asistentes de prueba. Este proceso de formalizar y corrobar aspectos semánticos a través de un asistente se denomina mecanización de semántica. Este proyecto – articulado en tres líneas: semántica de teoría de tipos, implementación de un lenguaje con tipos dependientes y semántica de lenguajes imperativos con alto orden - se propone realizar avances en el estudio semántico de lenguajes de programación, mecanizar dichos resultados, e implementar un lenguaje con tipos dependientes con la intención de que se convierta, en un mediano plazo, en un asistente de pruebas. En la línea de semántica de teoría de tipos los objetivos son: (a) extender el método de normalización por evaluación para construcciones no contempladas aun en la literatura, (b) probar la adecuación de la implementación en Haskell de dicho método de normalización, y (c) construir nuevos modelos categóricos de teoría de tipos. El objetivo de la segunda línea es el diseño e implementación de un lenguaje con tipos dependientes con la intención de que el mismo se convierta en un asistente de pruebas. Una novedad de esta implementación es que el algoritmo de chequeo de tipos es correcto y completo respecto al sistema formal, gracias a resultados ya obtenidos; además la implementación en Haskell del algoritmo de normalización (fundamental para el type-checking) también tendrá su prueba de corrección. El foco de la tercera línea está en el estudio de lenguajes de programación que combinan aspectos imperativos (estado mutable) con características de lenguajes funcionales (procedimientos y funciones). Por un lado se avanzará en la mecanización de pruebas de corrección de compiladores para lenguajes Algollike. El segundo aspecto de esta línea será la definición de semánticas operacional y denotacional del lenguaje de programación Lua y la posterior caracterización del mismo a partir de ellas. Para lograr dichos objetivos hemos dividido las tareas en actividades con metas graduales y que constituyen en sí mismas aportes al estado del arte de cada una de las líneas. La importancia académica de este proyecto radica en los avances teóricos que se propone en la línea de semántica de teoría de tipos, en las contribución para la construcción de pruebas mecanizadas de corrección de compiladores, en el aporte que constituye la definición de una semántica formal para el lenguaje Lua, y en el desarrollo de un lenguaje con tipos dependientes cuyos algoritmos más importantes están respaldados por pruebas de corrección. Además, a nivel local, este proyecto permitirá incorporar cuatro integrantes al grupo de “Semántica de la programación”.