Estudo em laboratório do desempenho de concreto asfáltico usinado a quente empregando ligante tipo asfalto-borracha

Pesquisas sobre aplicação de borracha de pneus descartados em pavimentação asfáltica vêm sendo desenvolvidas desde a década de 1960, especialmente nos Estados Unidos e, desde o início da década de 1990, no Brasil, como alternativa para diminuição dos problemas ambientais gerados por estes resíduos sólidos. Esta pesquisa tem por objetivo avaliar o desempenho de três misturas asfálticas do tipo concreto asfáltico usinado à quente: duas empregando teores diferentes de borracha moída e óleo de xisto (CAP 40 + 12% de borracha + 10% de óleo de xisto e CAP 40 + 20% de borracha + 15% de óleo de xisto) e uma convencional. Este estudo faz parte de um programa de pesquisa coordenado pela Escola de Engenharia de São Carlos da Universidade de São Paulo (EESC-USP), Universidade Estadual de Maringá (UEM) e Petrobrás, envolvendo a execução de misturas com borracha e óleo de xisto em trechos experimentais. Foram realizadas dosagens Marshall e ensaios de resistência à tração, módulo de resiliência e fluência por compressão uniaxial estática. Os corpos-de-prova empregados nos ensaios foram moldados no teor ótimo de cimento asfáltico referente a cada uma das misturas. Constatou-se a viabilidade técnica da adição de óleo extensor para a incorporação de borracha de pneus descartados em concreto asfáltico, permitindo a obtenção de resultados satisfatórios quanto aos projetos de dosagem das misturas pelo método Marshall. Com base nos resultados dos ensaios realizados, acredita-se ser viável a execução de trechos experimentais empregando as duas misturas modificadas.

Más sobre equivalencias lógicas y distancias entre procesos

Esta tesis se enmarca en el amplio campo de la teoría de la concurrencia. Más específicamente, nos centramos en el estudio de las relaciones de similitud entre procesos concurrentes. Comenzamos estudiando la bisimulación, considerada la más importante de estas relaciones, y vemos después cómo podemos extender nuestros resultados al resto de las semánticas de procesos estudiadas durante las últimas décadas. En particular, nuestra contribución a la comunidad científica, se centra en dos puntos principales: – El desarrollo de una caracterización lógica uniforme de las semánticas de procesos: proponemos un esquema lógico común (enmarcado en la conocida lógica modal de Hennessy-Milner) e incluimos las diferentes semánticas en este esquema, enfatizando las diferencias y similitudes entre ellas, que se presentan del modo más claro posible. – La presentación de una nueva noción de distancia, tanto entre procesos finitos como infinitos: la misma se diferencia de las anteriormente propuestas en su carácter global, que acumula las diferencias que aportan los distintos cómputos, en lugar de quedarnos con la máxima de ellas...

Generadores ScalaCheck para property-based testing de programas Spark y Spark Streaming

En los últimos años hemos sido testigos de la expansión del paradigma big data a una velocidad vertiginosa. Los cambios en este campo, nos permiten ampliar las áreas a tratar; lo que a su vez implica una mayor complejidad de los sistemas software asociados a estas tareas, como sucede en sistemas de monitorización o en el Internet de las Cosas (Internet of Things). Asimismo, la necesidad de implementar programas cada vez robustos y eficientes, es decir, que permitan el cómputo de datos a mayor velocidad y de los se obtengan información relevante, ahorrando costes y tiempo, ha propiciado la necesidad cada vez mayor de herramientas que permitan evaluar estos programas. En este contexto, el presente proyecto se centra en extender la herramienta sscheck. Sscheck permite la generación de casos de prueba basados en propiedades de programas escritos en Spark y Spark Streaming. Estos lenguajes forman parte de un mismo marco de código abierto para la computación distribuida en clúster. Dado que las pruebas basadas en propiedades generan datos aleatorios, es difícil reproducir los problemas encontrados en una cierta sesion; por ello, la extensión se centrará en cargar y guardar casos de test en disco mediante el muestreo de datos desde colecciones mayores.

Portal de Recursos Docentes con Perspectiva de Género para la Docencia Universitaria

En este trabajo abordamos el desarrollo de un Portal de Recursos Docentes con Perspectiva de Género para la Docencia Universitaria promovido desde la Unidad de Igualdad de la Universidad de Alicante y financiado por el Instituto de la Mujer, donde se ha creado una biblioteca digital que recoge un gran número de recursos digitales para ayudar y extender la inclusión de la perspectiva de género en la docencia universitaria. En el presente artículo se recoge cuál ha sido el proceso para recopilar los recursos, cómo se ha creado la biblioteca digital y de qué manera su puesta en marcha ha favorecido la inclusión de perspectiva de género en una asignatura de Ingeniería Informática.

La participación del alumnado en asignaturas de Urbanismo a través de Servicios de Redes Sociales

Tradicionalmente en el aprendizaje de las asignaturas del área de Urbanística se han utilizado sistemas colaborativos de enseñanza para el desarrollo de los programas docentes de las distintas materias. En este caso, se estudian las posibilidades de implementación de un sistema de comunicación complementario al presencial para mejorar la participación e implicación tanto dentro como fuera del aula. El objetivo fundamental es el de extender los debates surgidos en el aula a un plano informal que permita la comunicación asíncrona -alumnos-profesor y entre alumnos de modo que se fomente la reflexión, síntesis de ideas y participación que, en ocasiones, por diversas cuestiones no llega a realizarse en el aula. El propósito es el de elevar el grado de implicación del alumnado en las asignaturas con el fin de incrementar el aprendizaje significativo de la materia. El servicio de red social Twitter es la herramienta elegida para la aplicación práctica de la propuesta planteada.

IMPACTO DEL ESTRÉS ABIÓTICO SOBRE EL CULTIVO DE MANÍ: MECANISMOS FISIÓLOGICOS Y MOLECULARES IMPLICADOS EN LA ESTRATEGIA DE TOLERANCIA

El maní (Arachis hypogaea L.) es un cultivo relevante en la provincia de Córdoba ya que el 80% de la producción nacional se concentra en la región centro-sur de la provincia. El desarrollo normal y la alta productividad del cultivo muchas veces se ven afectados o interrumpidos por condiciones ambientales desfavorables entre ellos, el estrés hídrico. La obtención de plantas con mayor tolerancia no sólo aseguraría la estabilidad de los rendimientos en años de déficit hídrico, sino que permitiría extender la frontera productiva a regiones marginales. Considerando que el estrés hídrico es uno de los factores que más afecta la productividad y calidad de los cultivos y por ser el maní un cultivo regional existe escaso conocimiento sobre los mecanismos fisiológicos y moleculares involucrados en la estrategia de tolerancia a las condiciones ambientales adversas. El propósito del proyecto es contribuir al conocimiento del impacto del estrés hídrico y la rehidratación sobre plantas de maní dilucidando los mecanismos fisiológicos y moleculares implicados en las estrategias de defensa de las plantas, con el fin de seleccionar aquellos cultivares mejores adaptados a las condiciones adversas. Para ello, la metodología empleada consistirá en evaluar el crecimiento, la fijación biológica del nitrógeno y las estrategias de defensa antioxidante de cultivares de maní expuestos a estrés hídrico y posterior rehidratación.

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”.

Actividades y pluriactividades en establecimientos rurales agropecuarios y no agropecuarios. El caso de San Andrés de Giles

Muchos ámbitos rurales se configuran en la actualidad como territorios complejos en los que se desarrollan actividades económicas rurales, agropecuarias y no agropecuarias. Particularmente en las áreas rurales cercanas a las grandes ciudades, la creciente dotación de servicios, infraestructura y equipamiento, facilita el fenómeno de la expansión urbana a la vez que promueve la instalación de actividades agropecuarias intensivas, agroindustrias y diversas actividades de servicios vinculadas con las anteriores. En este trabajo nos ocuparemos de los usos del territorio rural que no se corresponden directamente con el desarrollo de una actividad agropecuaria, con el objetivo de analizar las estrategias de trabajo e ingresos implementadas por sus protagonistas. En este sentido, utilizaremos la noción de pluriactividad considerando tanto los fenómenos vinculados a las actividades como a otras fuentes de ingresos extraprediales. Intentaremos analizar si la condición de "pluriactivos", aplicada en los estudios sociales agrarios para definir a cierto tipo de productores agropecuarios, se puede extender a los propietarios de establecimientos no agrarios y sus familiares, estimando la principalidad de la actividad. Asimismo, analizaremos la fuente de los ingresos según la categoría ocupacional y la rama de la economía correspondiente. Finalmente, evaluaremos las conexiones de los establecimientos no agropecuarios con usos y actividades agrarias actuales y pasadas.El análisis contará con datos secundarios y primarios, obtenidos a partir de un trabajo de campo recientemente realizado en el partido de San Andrés de Giles, provincia de Buenos Aires

Plasma osmolyte concentrations and rectal gland mass of bull sharks Carcharhinus leucas, captured along a salinity gradient

Bull sharks (Carcharhinus leucas) were captured across a salinity gradient from freshwater (FW) to seawater (SW). Across all salinities, C leucas were hyperosmotic to the environment. Plasma osmolarity in FW-captured animals (642 +/- 7 mosM) was significantly reduced compared to SW-captured animals (1067 +/- 21 mosM). In FW animals, sodium, chloride and urea were 208 +/- 3, 203 +/- 3 and 192 +/- 2 mmol l(-1), respectively. Plasma sodium, chloride and urea in SW-captured C leucas were 289 +/- 3, 296 +/- 6 and 370 +/- 10 mmol l(-1), respectively. The increase in plasma osmolarity between FW and SW was not linear. Between FW (3 mosM) and 24%o SW (676 mosM), plasma osmolarity increased by 22% or 0.92% per 1parts per thousand rise in salinity. Between 24%o and 33parts per thousand, plasma osmolarity increased by 33% or 4.7% per 1 parts per thousand rise in salinity, largely due to a sharp increase in plasma urea between 28parts per thousand and 33parts per thousand. C. leucas moving between FW and SW appear to be faced with three major osmoregulatory challenges, these occur between 0-10parts per thousand, 11-20parts per thousand and 21-33parts per thousand. A comparison between C leucas captured in FW and estuarine environments (20-28%o) in the Brisbane River revealed no difference in the mass of rectal glands between these animals. However, a comparison of rectal gland mass between FW animals captured in the Brisbane River and Rio San Juan/Lake Nicaragua showed that animals in the latter system had a significantly smaller rectal gland mass at a given length than animals in the Brisbane River. The physiological challenges and mechanisms required for C leucas moving between FW and SW, as well as the ecological implications of these data are discussed. (C) 2004 Elsevier Inc. All rights reserved.

Investigation of the starch gelatinisation phenomena in water-glycerol systems: application of modulated temperature differential scanning calorimetry

The use of modulated temperature differential scanning calorimetry (MTDSC) has provided further insight into the gelatinisation process since it allows the detection of glass transition during gelatinisation process. It was found in this work that the glass transition overlapped with the gelatinisation peak temperature for all maize starch formulations studied. Systematic investigation on maize starch gelatinisation over a range of water-glycerol concentrations with MTDSC revealed that the addition of glycerol increased the gelatinisation onset temperature with an extent that depended on the water content in the system. Furthermore, the addition of glycerol promoted starch gelatinisation at low water content (0.4 g water/g dry starch) and the enthalpy of gelatinisation varied with glycerol concentration (0.73-19.61 J/g dry starch) depending on the water content and starch type. The validities of published gelatinisation models were explored. These models failed to explain the glass transition phenomena observed during the course of gelatinisation and failed to describe the gelatinisation behaviour observed over the water-glycerol concentrations range investigated. A hypothesis for the mechanisms involved during gelatinisation was proposed based on the side chain liquid crystalline polymer model for starch structure and the concept that the order-disorder transition in starch requires that the hydrogen bonds (the major structural element in the granule packing) to be broken before the collapse of order (helix-coil transition) can take place. (C) 2004 Elsevier Ltd. All rights reserved.

Expression of heterologous aquaporins for functional analysis in Saccharomyces cerevisiae

In this study the yeast Saccharomyces cerevisiae, which is a genetically tractable model for analysis of osmoregulation, has been used for analysis of heterologous aquaporins. Aquaporin water channels play important roles in the control of water homeostasis in individual cells and multicellular organisms. We have investigated the effects of functional expression of the mammalian aquaporins AQP1 and AQP5 and the aquaglyceroporins AQP3 and AQP9. Expression of aquaporins caused moderate growth inhibition under hyperosmotic stress, while expression of aquaglyceroporins mediated strong growth inhibition due to glycerol loss. Water transport was monitored in protoplasts, where the kinetics of bursting was influenced by presence of aquaporins but not aquaglyceroporins. We observed glycerol transport through aquaglyceroporins, but not aquaporins, in a yeast strain deficient in glycerol production, whose growth depends on glycerol inflow. In addition, a gene reporter assay allowed to indirectly monitor the effect of AQP9-mediated enhanced glycerol loss on osmoadaptation. Transport activity of certain aqua(glycero)porins was diminished by low pH or CuSO 4, suggesting that yeast can potentially be used for screening of putative aquaporin inhibitors. We conclude that yeast is a versatile system for functional studies of aquaporins, and it can be developed to screen for compounds of potential pharmacological use. © Springer-Verlag 2006.

Polyol transport in yeast: studying transport proteins and manipulating osmotic responses

The Saccharomyces cerevisiae MIP channel Fps1p plays an important role in yeast osmoregulation by exporting glycerol. Glycerol accumulates in the cell as a compatible osmolyte during hyperosmotic conditions and is exported once conditions become hypotonic. A gpd1 gpd2 mutant is unable to produce glycerol and is therefore very sensitive to high concentrations of polyols in the growth medium. The sensitivity to C3, C4 and C5, but not C6 polyols, is suppressed by expression of truncated, hyperactive Fps1p. This is because the polyols can then equilibrate over the membrane and hence the concentration gradient collapses. This experiments reveals the substrate spectrum of Fps1p. The system can be used in different ways. For instance, growth assays on different polyols elucidate the substrate range of heterologous channels such as that of the rat aquaglyceroporin AQP9. In addition, the same system is used to search for novel hyperactive mutants of Fps1p, which provide additional information on the mechanism underlying channel regulation. Finally we illustrate that the gpd1 gpd2 double mutant expressing hyperactive Fps1p can be used to manipulate activation and deactivation of the HOG pathway, contributing to our understanding of the control of this osmoregulatory system.

Desenvolvimento de pastas cimentantes contendo nanossílica como material estendedor para aplicação em fases iniciais, de poços petrolíferos, submetidas à baixa temperatura (5°c ± 3ºc)

The improved performance of hydraulic binders, the base of Portland cement, consists in the careful selection and application of materials that promote greater durability and reduced maintenance costs There is a wide variety of chemical additives used in Portland cement slurries for cementing oil wells. These are designed to work in temperatures below 0 ° C (frozen areas of land) to 300 ° C (thermal recovery wells and geothermal); pressure ranges near ambient pressure (in shallow wells) to greater than 200 MPa (in deep wells). Thus, additives make possible the adaptation of the cement slurries for application under various conditions. Among the materials used in Portland cement slurry, for oil wells, the materials with nanometer scale have been applied with good results. The nanossílica, formed by a dispersion of SiO2 particles, in the nanometer scale, when used in cement systems improves the plastic characteristics and mechanical properties of the hardened material. This dispersion is used commercially as filler material, modifier of rheological properties and / or in recovery processes construction. It is also used in many product formulations such as paints, plastics, synthetic rubbers, adhesives, sealants and insulating materials Based on the above, this study aims to evaluate the performance of nanossílica as extender additive and improver of the performance of cement slurries subjected to low temperatures (5 ° C ± 3 ° C) for application to early stages of marine oil wells. Cement slurries were formulated, with densities 11.0;12.0 and 13.0 ppg, and concentrations of 0; 0.5, 1.0 and 1.5%. The cement slurries were subjected to cold temperatures (5 ° C ± 3 ° C), and its evaluation performed by tests rheological stability, free water and compressive strength in accordance with the procedures set by API SPEC 10A. Thermal characterization tests (TG / DTA) and crystallographic (XRD) were also performed. The use of nanossílica promoted reduction of 30% of the volume of free water and increased compression resistance value of 54.2% with respect to the default cement slurry. Therefore, nanossílica presented as a promising material for use in cement slurries used in the early stages of low-temperature oil wells

(Table 1) Ion concentrations in the haemolymph of Apherusa glacialis after incubation at different medium salinities

Amphipods living at the underside of Arctic sea ice are exposed to varying salinities due to freezing and melting, and have to cope with the resulting osmotic stress. Extracellular osmotic and ionic regulation at different salinities, thermal hysteresis, and supercooling points (SCPs) were studied in the under-ice amphipod Apherusa glacialis. The species is euryhaline, capable to regulate hyperosmotically at salinities S(R) < 30 g/kg, and osmoconforms at salinities S(R) >= 30 g/kg. Hyperosmotic regulation is an adaptation to thrive in low-salinity meltwater below the ice. Conforming to the ambient salinity during freezing reduces the risk of internal ice formation. Thermal hysteresis was not observed in the haemolymph of A. glacialis. The SCP of the species was -7.8 ± 1.9°C. Several ions were specifically downregulated ([Mg2+], [SO4]2-), or upregulated ([K+], [Ca2+]) in comparison to the medium. Strong downregulation of [Mg2+], is probably necessary to avoid an anaesthetic effect at low temperatures.

Co-simulación HW/SW en Raspberry Pi

En el mundo de la simulación existen varios tipos de sistemas reales, entre los que se encuentran los sistemas de eventos discretos. Para poder simular estos sistemas se pueden utilizar, entre otras, herramientas basadas en el formalismo DEVS (Discrete EVents system Specification), como la utilizada en este proyecto: xDEVS. La simulación posee una importancia muy elevada en campos como la educación y la ciencia, y en ocasiones es necesario incluir datos del medio físico o sacar información al exterior del simulador. Por ello es necesario contar con herramientas que puedan realizar simulaciones utilizando sensores, actuadores, circuitos externos, etc., o lo que es lo mismo, que puedan realizar co-simulaciones entre software y hardware. De esta forma se puede facilitar el desarrollo de sistemas por medio de modelado y simulación, pudiendo extraer el hardware gradualmente y analizar los resultados en cada etapa. Este proyecto es de carácter incremental, y trata de extender la funcionalidad de la plataforma xDEVS para poder realizar co-simulaciones entre hardware y software sobre una Raspberry Pi. Para ello se van a utilizar circuitos lógicos como hardware externo y se enlazarán al simulador a través de ficheros de dispositivo, gestionados por módulos del kernel de Linux. Como caso de estudio se desarrolla la co-simulación entre hardware y software completa de un ascensor de siete plantas para mostrar el uso y funcionamiento en xDEVS, extrayendo los circuitos integrados de uno en uno.