Specification-driven model transformation testing

Testing model transformations poses several challenges, among them the automatic generation of appropriate input test models and the specification of oracle functions. Most approaches for the generation of input models ensure a certain coverage of the source meta-model or the transformation implementation code, whereas oracle functions are frequently defined using query or graph languages. However, these two tasks are usually performed independently regardless of their common purpose, and sometimes, there is a gap between the properties exhibited by the generated input models and those considered by the transformations. Recently, we proposed a formal specification language for the declarative formulation of transformation properties (by means of invariants, pre-, and postconditions) from which we generated partial oracle functions used for transformation testing. Here, we extend the usage of our specification language for the automated generation of input test models by SAT solving. The testing process becomes more intentional because the generated models ensure a certain coverage of the transformation requirements. Moreover, we use the same specification to consistently derive both the input test models and the oracle functions. A set of experiments is presented, aimed at measuring the efficacy of our technique.     

3D ActionSLAM: wearable person tracking in multi-floor environments

We present 3D ActionSLAM, a stand-alone wearable system that can track people in previously unknown multi-floor environments with sub-room accuracy. ActionSLAM stands for action-based simultaneous localization and mapping: It fuses dead reckoning data from a foot-mounted inertial measurement unit with the recognition of location-related actions to build and update a local landmark map. Simultaneously, this map compensates for position drift errors that accumulate in open-loop tracking by means of a particle filter. To evaluate the system performance, we analyzed 23 tracks with a total walked distance of 6,489 m in buildings with up to three floors. The algorithm robustly (93 % of runs converged) mapped the areas with a mean landmark positioning error of 0.59 m. As ActionSLAM is fully stand-alone and not dependent on external infrastructure, it is well suited for patient tracking in remote health care applications. The algorithm is computationally light-weight and runs in real-time on a Samsung Galaxy S4, enabling immediate location-aware feedback. Finally, we propose visualization techniques to facilitate the interpretation of tracking data acquired with 3D ActionSLAM.     

A comment on the “Robust stability analysis of fractional order interval polynomials”, by Nusret Tan et al.

It is shown that Theorem 3 in the article mentioned in the title is not true and some modification is suggested to eliminate the mistake.     

In-focus electron microscopy of frozen-hydrated biological samples with a Boersch phase plate

We report the implementation of an electrostatic Einzel lens (Boersch) phase plate in a prototype transmission electron microscope dedicated to aberration-corrected cryo-EM. The combination of phase plate, C_s corrector and Diffraction Magnification Unit (DMU) as a new electron-optical element ensures minimal information loss due to obstruction by the phase plate and enables in-focus phase contrast imaging of large macromolecular assemblies. As no defocussing is necessary and the spherical aberration is corrected, maximal, non-oscillating phase contrast transfer can be achieved up to the information limit of the instrument. A microchip produced by a scalable micro-fabrication process has 10 phase plates, which are positioned in a conjugate, magnified diffraction plane generated by the DMU. Phase plates remained fully functional for weeks or months. The large distance between phase plate and the cryo sample permits the use of an effective anti-contaminator, resulting in ice contamination rates of <0.6 nm/h at the specimen. Maximal in-focus phase contrast was obtained by applying voltages between 80 and 700 mV to the phase plate electrode. The phase plate allows for in-focus imaging of biological objects with a signal-to-noise of 5-10 at a resolution of 2-3 nm, as demonstrated for frozen-hydrated virus particles and purple membrane at liquid-nitrogen temperature.     

Overactuation: A solution for the accuracy-throughput speed contradiction in parallel axis positioning systems

In parallel axis positioning systems an accuracy-throughput speed contradiction is present. The configuration is often such that the minimum number of actuators from kinematic point of view is used. The mechanical system should possess sufficient stiffness but also low mass. Structural stiffness, and hence accuracy, is obtained at the cost of mass. In intermittent motion systems the moving mass should be minimized, because it limits the attainable acceleration and thus the throughput speed. This dynamic performance barrier can be shifted with additional parallel actuators. To enhance prudence in the initial design phase, knowledge about the opportunities and limitations of parallel axis systems is required. The basic dynamical aspects of parallel axis positioning systems, with a minimum and additional number of parallel actuators, are examined for beam and plate systems. The results of the numerical models are verified with an experimental plate system.     

Creative practices in the design studio culture: collaboration and communication

For the purpose of developing collaborative support in design studio environments, we have carried out ethnographic fieldwork in professional and academic product design studios. Our intention was to understand design practices beyond the productivity point of view and take into account the experiential, inspirational and aesthetical aspects of design practices. Using examples from our fieldwork, we develop our results around three broad themes by which design professionals support communication and collaboration: (1) use of artefacts, (2) use of space and (3) designerly practices. We use the results of our fieldwork for drawing implications for designing technologies for the design studio culture.     

Biofilm development during the start-up of a sulfate-reducing down-flow fluidized bed reactor at different COD/SO4(2-) ratios and HRT

In sulfate-reducing reactors, it has been reported that the sulfate removal efficiency increases when the COD/SO4(2-) ratio is increased. The start-up of a down-flow fluidized bed reactor constitutes an important step to establish a microbial community in the biofilm able to survive under the operational bioreactor conditions in order to achieve effective removal of both sulfate and organic matter. In this work the influence of COD/SO4(2-) ratio and HRT in the development of a biofilm during reactor start-up (35 days) was studied. The reactor was inoculated with 1.6 g VSS/L of granular sludge, ground low density polyethylene was used as support material; the feed consisted of mineral medium at pH 5.5 containing 1 g COD/L (acetate:lactate, 70:30) and sodium sulfate. Four experiments were conducted at HRT of 1 or 2 days and COD/SO4(2-) ratio of 0.67 or 2.5. The results obtained indicated that a COD/SO4(2-) ratio of 2.5 and HRT 2 days allowed high sulfate and COD removal (66.1 and 69.8%, respectively), whereas maximum amount of attached biomass (1.9 g SVI/L support) and highest sulfate reducing biofilm activity (10.1 g COD-H2S/g VSS-d) was achieved at HRT of 1 day and at COD/sulfate ratios of 0.67 and 2.5, respectively, which suggests that suspended biomass also played a key role in the performance of the reactors.     

Treatment of wastewater from a school in a decentralized filtration system by percolation over organic packing media

Based on results obtained in the laboratory a WWTP composed of a septic tank and an aerated percolating filter packed with organic media was built for a school. The system can treat 18 m3 d(-1) and was operated with a hydraulic loading rate of 0.078 (m3 m(-2) d(-1). For 360 days different operational conditions including start-up; stabilization; operation with aeration and non aeration; effect of rainy season, breaks from activities due to holidays and restart; were monitored and described in the article. Once stabilized, the system was able to remove, without the need for mechanical aeration, 97% of BOD5, 71% of COD, 93% of TKN, 11% of PO(4-)-P, 95% of TSS, 96% of VSS, in addition to having a removal efficiency of 4 log units of Faecal Coliforms (FC) and 100% helminthes eggs (HE). With this quality, the treated wastewater can be chlorinated and reused to irrigate green areas and/or in toilets. Although sanitary wastewater has a high concentration of Total-N (250 mg L(-1)) and a C/N ratio of less than 1, the system removed 65% of Total-N. Finally it was observed that after non activity periods, there was neither system failure nor the need to re-stabilize the system.     

Synthesis and structure-activity study of quaternary ammonium functionalized beta-cyclodextrin-carboxymethylcellulose polymers

Carboxymethylcellulose (CMC) and beta-cyclodextrin (beta-CD)-based polymers functionalized with two types of quaternary ammonium compounds (QACs), the alkaquat DMB-451 (N-alkyl (50% C14, 40% C12, 10% C10) dimethylbenzylammonium chloride) (DMD-451) named polymer DMB-451, and FMB 1210-8 (a blend of 32 w% N-alkyl (50% C14, 40% C12, 10% C10) dimethylbenzylammonium chloride and 48 w% of didecyldimethylammonium chloride) named polymer FMB 1210-8, were synthethized and characterized by Fourier transform infrared spectroscopy. The antimicrobial activities of these polymers against Eschericia coli were also evaluated at 25 degrees C in wastewater. The results have indicated that the polymer FMB 1210-8 possesses a high-affinity binding with bacterial cells that induces a rapid disinfection process. Moreover, in the same experimental conditions of disinfection (mixture of 1.0 g of polymer and 100 mL of wastewater), the polymer FMB 1210-8 has a higher antimicrobial efficiency (99.90%) than polymer DMB-451 (92.8%). This phenomenon might be associated to a stronger interaction with bacterial cells due to stronger binding affinity for E. coli cells and greater killing efficiency of the C10 alkyl chains QAC of polymer FMB 1210-8 to disrupt the bacterial cell membrane as compared to N-alkyl (50% C14, 40% C12, 10% C10) dimethylbenzylammonium chloride. Together, these results suggest that the polymer FMB 1210-8 could constitute a good disinfectant against Escherichia coli, which could be advantageously used in wastewater treatments due to the low toxicity of beta-CD and CMC, and moderated toxicity of FMB 1210-8 to human and environment.     

Opportunities for public water utilities in the market of energy from water

An inventory is made of the possibilities to recover sustainable energy from the water cycle by identifying different water flows in a municipal environment as a sustainable energy source. It is discussed what role public water utilities should play in the market of energy from water. This is done for Waternet, the public water utility of Amsterdam, by describing experiences on two practical applications for aquifer thermal energy storage and energy recovery from drinking water. The main conclusion is that public water utilities can substantially contribute to the production of sustainable energy, especially by making use of heat and cold from the water cycle. Public water utilities have the opportunity to both regulate and enter the market for energy from water.