Comparative Analysis of Ozone and Ultrasound Effect on the Elimination of Giardia spp. Cysts from Wastewater

Giardia spp. is a flagellate protozoan that presents two evolution forms, cysts and trophozoites. Cysts are resistant to chlorine, the most employed disinfectant agent in the treatment of water. For this reason, new techniques for the disinfection of waters that contain this parasite are necessary. This work evaluated the efficiency of the disinfection by ozone and ultrasound individually and simultaneously upon wastewater. The data obtained showed that after application, ozone, ultrasound, and combined techniques induced a significant elimination of Giardia spp. cysts. Furthermore, this effect was more accentuated when the two techniques were applied simultaneously.     

Adaptive Remus: adaptive checkpointing for Xen-based virtual machine replication

With the ever increasing dependence on computers and networks, many systems are required to be continuously available in order to fulfil their mission. Virtualization technology enables high availability to be offered in a convenient, cost-effective manner: with the encapsulation provided by virtual machines (VMs), entire systems can be replicated transparently in software, obviating the need for expensive fault-tolerant hardware. Remus is a VM replication mechanism for the Xen hypervisor that provides high availability despite crash failures. Replication is performed by checkpointing the VM at fixed intervals. However, there is an antagonism between processing and communication regarding the optimal checkpoint interval: while longer intervals benefit processor-intensive applications, shorter intervals favour network-intensive applications. Thus, any chosen interval may not always be suitable for the hosted applications, limiting Remus usage in many scenarios. This work introduces Adaptive Remus, a proposal for adaptive checkpointing in Remus that dynamically adjusts the replication frequency according to the characteristics of running applications. Experimental results indicate that our proposal improves performance for applications that require both processing and communication, without harming applications that use only one type of resource.     

Natural and human forcing in recent geomorphic change; case studies in the Rio de la Plata basin

An analysis of geomorphic system's response to change in human and natural drivers in some areas within the Río de la Plata basin is presented. The aim is to determine whether an acceleration of geomorphic processes has taken place in recent years and, if so, to what extent it is due to natural (climate) or human (land-use) drivers. Study areas of different size, socio-economic and geomorphic conditions have been selected: the Río de la Plata estuary and three sub-basins within its watershed. Sediment cores were extracted and dated (²¹⁰Pb) to determine sedimentation rates since the end of the 19th century. Rates were compared with time series on rainfall as well as human drivers such as population, GDP, livestock load, crop area, energy consumption or cement consumption, all of them related to human capacity to disturb land surface. Data on river discharge were also gathered. Results obtained indicate that sedimentation rates during the last century have remained essentially constant in a remote Andean basin, whereas they show important increases in the other two, particularly one located by the São Paulo metropolitan area. Rates in the estuary are somewhere in between. It appears that there is an intensification of denudation/sedimentation processes within the basin.Rainfall remained stable or varied very slightly during the period analysed and does not seem to explain increases of sedimentation rates observed. Human drivers, particularly those more directly related to capacity to disturb land surface (GDP, energy or cement consumption) show variations that suggest human forcing is a more likely explanation for the observed change in geomorphic processes. It appears that a marked increase in denudation, of a “technological” nature, is taking place in this basin and leading to an acceleration of sediment supply. This is coherent with similar increases observed in other regions.     

Probabilistic transition of condition: render facades

The service life of cement-rendered facades is closely related to the environmental conditions to which they are exposed. The probability distribution is determined for the degradation condition of render facades considering different environmental exposures. A sample of 100 render facades was subjected to meticulous fieldwork to determine their condition. The analysis focuses on the environmental factors that most influence the overall degradation of the facades, evaluated through the condition level. Probabilistic models based on Markov chains are developed to predict the evolution of facade deterioration according to exposure to outdoor environmental conditions. The proposed model provides data on the synergy between the degradation agents and the degradation condition of render facades, the average time of permanence in each degradation level, and indications of the effect of degradation on the durability of render that may be applied in the implementation and fine-tuning of maintenance procedures. A better understanding of the durability of render facades allows a more rational management of their maintenance, contributing to a reduction of their life cycle costs. The proposed stochastic model provides information that can be applied in the context of insurance policies, allowing an evaluation of the risk of failure of coatings.     

Numerical assessment of the Double-Cantilever Beam and Tapered Double-Cantilever Beam tests for the GIC determination of adhesive layers

ABSTRACT

Fracture mechanics-based techniques have become very popular in the failure prediction of adhesive joints. The most commonly used is cohesive zone modeling (CZM). For both conventional fracture mechanics and CZM, the most important parameters are the tensile and shear critical strain energy release rates (G_IC and G_IIC, respectively). The most common tests to estimate G_IC are the Double-Cantilever Beam (DCB) and the Tapered Double-Cantilever Beam (TDCB) tests. The main objective of this work is to compare the DCB and TDCB tests to obtain the G_IC of adhesive joints. Three adhesives with varying ductilities were used to verify their influence on the precision of the typical methods of data reduction. For both tests, methods that do not need the measurement of crack length (a) were tested. A CZM analysis was considered to reproduce the experimental load–displacement (P-δ) curves and obtain the tensile CZM laws of each tested adhesive, to test the suitability of the data reduction methods, and to study the effect of the CZM parameters on the outcome of the simulations. The CZM models accurately reproduced the experimental tests and confirmed that the data reduction methods for the TDCB test tend to underestimate G_IC for ductile adhesives.     

Assessing the feasibility of a global model for multi-temporal burned area mapping using SPOT-VEGETATION data

The possibility of using the Syst@me Probatoire de l'Observation de la Terre (SPOT)-VEGETATION (VGT) data for global burned area mapping with a single algorithm was investigated. Using VGT images from south-eastern Africa, the Iberian Peninsula and south-eastern Siberia/north-eastern China, we analysed the variability of the spectral signature of burned areas and its relationship with land cover, and performed the selection of the best variables for burned area mapping. The results show that in grasslands and croplands, near-infrared (NIR) and short-wave infrared (SWIR) reflectance always decreases as a result of fire. In forests and woodlands, there may occur a simultaneous decrease of SWIR and NIR or an increase of SWIR and a decrease of NIR. Burning of green vegetation (high values of the Normalized Difference Vegetation Index (NDVI)) tends to result in an increase of the SWIR. The best variables for burned area mapping are different in each region. Only the NIR allows a good discrimination of burned areas in all study areas. We derived a logistic regression model for multi-temporal burned area mapping in tropical, temperate and boreal regions, which handles the spectral variability of burned areas dependent on the type of vegetation. The results underline the feasibility of a single model for global burned area mapping.     

Abstract Interpretation as Automated Deduction

Automata theory, algorithmic deduction and abstract interpretation provide the foundation behind three approaches to implementing program verifiers. This article is a first step towards a mathematical translation between these approaches. By extending Büchi’s theorem, we show that reachability in a control flow graph can be encoded as satisfiability in an extension of the weak, monadic, second-order logic of one successor. Abstract interpreters are, in a precise sense, sound but incomplete solvers for such formulae. The three components of an abstract interpreter: the lattice, transformers and iteration algorithm, respectively represent a fragment of a first-order theory, deduction in that theory, and second-order constraint propagation. By inverting the Lindenbaum–Tarski construction, we show that lattices used in practice are subclassical first-order theories.