Characterization and Space-Time Downscaling of the Inundation Extent over the Inner Niger Delta Using GIEMS and MODIS Data

The objective in this work is to develop downscaling methodologies to obtain a long time record of inundation extent at high spatial resolution based on the existing low spatial resolution results of the Global Inundation Extent from Multi-Satellites (GIEMS) dataset. In semiarid regions, high-spatial-resolution a priori information can be provided by visible and infrared observations from the Moderate Resolution Imaging Spectroradiometer (MODIS). The study concentrates on the Inner Niger Delta where MODIS-derived inundation extent has been estimated at a 500-m resolution. The space-time variability is first analyzed using a principal component analysis (PCA). This is particularly effective to understand the inundation variability, interpolate in time, or fill in missing values. Two innovative methods are developed (linear regression and matrix inversion) both based on the PCA representation. These GIEMS downscaling techniques have been calibrated using the 500-m MODIS data. The downscaled fields show the expected space-time behaviors from MODIS. A 20-yr dataset of the inundation extent at 500 m is derived from this analysis for the Inner Niger Delta. The methods are very general and may be applied to many basins and to other variables than inundation, provided enough a priori high-spatial-resolution information is available. The derived high-spatial-resolution dataset will be used in the framework of the Surface Water Ocean Topography (SWOT) mission to develop and test the instrument simulator as well as to select the calibration validation sites (with high space-time inundation variability). In addition, once SWOT observations are available, the downscaled methodology will be calibrated on them in order to downscale the GIEMS datasets and to extend the SWOT benefits back in time to 1993.

Flocculation behaviour of hematite-kaolinite suspensions in presence of extracellular bacterial proteins and polysaccharides

Cells of Bacillus subtilis exhibited higher affinity towards hematite than to kaolinite. Bacterial cells were grown and adapted in the presence of hematite and kaolinite. Higher amounts of mineral-specific proteinaceous compounds were secreted in the presence of kaolinite while hematite-grown cells produced higher amounts of exopolysaccharides. Extracellular proteins (EP) exhibited higher adsorption density on kaolinite which was rendered more hydrophobic. Hematite surfaces were rendered more hydrophilic due to increased adsorption of extracellular polysaccharides (ECP). Significant surface chemical changes were produced due to interaction between minerals and extracellular proteins and polysaccharides. Iron oxides such as hematite could be effectively removed from kaolinite clays using selective bioflocculation of hematite after interaction with EP and ECP extracted from mineral-grown cells. (C) 2013 Elsevier B.V. All rights reserved.

Toward Real-Time Availability of 3D Temperature Maps Created with Temporally Constrained Reconstruction

PurposeTo extend the previously developed temporally constrained reconstruction (TCR) algorithm to allow for real-time availability of three-dimensional (3D) temperature maps capable of monitoring MR-guided high intensity focused ultrasound applications. MethodsA real-time TCR (RT-TCR) algorithm is developed that only uses current and previously acquired undersampled k-space data from a 3D segmented EPI pulse sequence, with the image reconstruction done in a graphics processing unit implementation to overcome computation burden. Simulated and experimental data sets of HIFU heating are used to evaluate the performance of the RT-TCR algorithm. ResultsThe simulation studies demonstrate that the RT-TCR algorithm has subsecond reconstruction time and can accurately measure HIFU-induced temperature rises of 20 degrees C in 15 s for 3D volumes of 16 slices (RMSE = 0.1 degrees C), 24 slices (RMSE = 0.2 degrees C), and 32 slices (RMSE = 0.3 degrees C). Experimental results in ex vivo porcine muscle demonstrate that the RT-TCR approach can reconstruct temperature maps with 192 x 162 x 66 mm 3D volume coverage, 1.5 x 1.5 x 3.0 mm resolution, and 1.2-s scan time with an accuracy of 0.5 degrees C. ConclusionThe RT-TCR algorithm offers an approach to obtaining large coverage 3D temperature maps in real-time for monitoring MR-guided high intensity focused ultrasound treatments. Magn Reson Med 71:1394-1404, 2014. (c) 2013 Wiley Periodicals, Inc.

Treatment of gray water using anaerobic biofilms created on synthetic and natural fibers

Gray water treatment and reuse is an immediate option to counter the upcoming water shortages in various parts of world, especially urban areas. Anaerobic treatment of gray water in houses is an alternative low cost, low energy and low sludge generating option that can meet this challenge. Typical problems of fluctuating VFA, low pH and sludge washout at low loading rates with gray water feedstock was overcome in two chambered anaerobic biofilm reactors using natural fibers as the biofilm support. The long term performance of using natural fiber based biofilms at moderate and low organic loading rates (OLR) have been examined. Biofilms raised on natural fibers (coir, ridge-gourd) were similar to that of synthetic media (PVC, polyethylene) at lower OLR when operated in pulse fed mode without effluent recirculation and achieved 80-90% COD removal at HRT of 2 d showing a small variability during start-up. Confocal microscopy of the biofilms on natural fibers indicated thinner biofilms, dense cell architecture and low extra cellular polymeric substances (EPS) compared to synthetic supports and this is believed to be key factor in high performance at low OLR and low strength gray water. Natural fibers are thus shown to be an effective biofilm support that withstand fluctuating characteristic of domestic gray water. (C) 2013 The Institution of Chemical Engineers. Published by Elsevier B.V. All rights reserved.

Iodide Retention by Modified Kaolinite in the Context of Safe Disposal of High Level Nuclear Waste

Bentonite clay is identified as potential buffer in deep geological repositories (DGR) that store high level radioactive wastes (HLW) as the expansive clay satisfies the expected mechanical and physicochemical functions of the buffer material. In the deep geological disposal of HLW, iodine-129 is one of the significant nuclides, attributable to its long half-life (half life 1⁄4 1:7 × 107 years). However, the negative charge on the basal surface of bentonite particles precludes retention of iodide anions. To render the bentonite effective in retaining hazardous iodide species in DGR, improvement of the anion retention capacity of bentonite becomes imperative. The iodide retention capac-ity of bentonite is improved by admixing 10 and 20% Ag-kaolinite (Ag-K) with bentonite (B) on a dry mass basis. The present study produced Ag-kaolinite by heating silver nitrate-kaolinite mixes at 400°C. Marginal release of iodide retained by Ag-kaolinite occurred under extreme acidic (pH 1⁄4 2:5) and alkaline (pH 1⁄4 12:5) conditions. The swell pressure and iodide etention results of the B-Ag-K specimens bring out that mixing Ag-K with bentonite does not chemically modify the expansive clay; the mixing is physical in nature and Ag-K presence only contributes to iodide retention of the admixture. DOI: 10.1061/(ASCE)HZ.2153-5515.0000121. © 2012 American Society of Civil Engineers.

Using formal reasoning on a model of tasks for FreeRTOS

FreeRTOS is an open-source real-time microkernel that has a wide community of users. We present the formal specification of the behaviour of the task part of FreeRTOS that deals with the creation, management, and scheduling of tasks using priority-based preemption. Our model is written in the Z notation, and we verify its consistency using the Z/Eves theorem prover. This includes a precise statement of the preconditions for all API commands. This task model forms the basis for three dimensions of further work: (a) the modelling of the rest of the behaviour of queues, time, mutex, and interrupts in FreeRTOS; (b) refinement of the models to code to produce a verified implementation; and (c) extension of the behaviour of FreeRTOS to multi-core architectures. We propose all three dimensions as benchmark challenge problems for Hoare's Verified Software Initiative.

Correlation between band propagation property and the nature of serrations in the Portevin-Le Chatelier effect

We investigate the correlation between the band propagation property and the nature and amplitude of serrations in the Portevin-Le Chatelier effect within the framework of the Ananthakrishna model. Several significant results emerge. First, we find that spatial and temporal correlations continuously increase with strain rate from type C to type A bands. Consequently, the nature of the bands also changes continuously from type C to A bands, and so do the changes in the associated serrations. Second, even the smallest extent of propagation induces small amplitude serrations. The spatial extent of band propagation is directly correlated with the duration of small amplitude serrations, a result that is consistent with recent experiments. This correspondence allows one to estimate the spatial extent of band propagation by just measuring the temporal stretch of small amplitude serrations. Therefore, this should be of practical value when only stress versus strain is recorded. Third, the average stress drop magnitude of the small amplitude serrations induced by the propagating bands remains small and nearly constant with strain rate. As a consequence, the fully propagating type A bands are in a state of criticality. We rationalize the increasing levels of spatial and temporal correlations found with increasing strain rates. Lastly, the model also predicts several band morphologies seen in experiments including the Luders-like propagating band. (C) 2015 Acta Materialia Inc. Published by Elsevier Ltd. All rights reserved.