Model checking support for conflict resolution in multiple non-functional concern management

When implementing autonomic management of multiple non-functional concerns a trade-off must be found between the ability to develop independently management of the individual concerns (following the separation of concerns principle) and the detection and resolution of conflicts that may arise when combining the independently developed management code. Here we discuss strategies to establish this trade-off and introduce a model checking based methodology aimed at simplifying the discovery and handling of conflicts arising from deployment-within the same parallel application-of independently developed management policies. Preliminary results are shown demonstrating the feasibility of the approach.

Rapid single-nucleotide polymorphism-based identification of clonal Pseudomonas aeruginosa isolates from patients with cystic fibrosis by the use of real-time PCR and high-resolution melting curve analysis

Pseudomonas aeruginosa genotyping relies mainly upon DNA fingerprinting methods, which can be subjective, expensive and time-consuming. The detection of at least three different clonal P. aeruginosa strains in patients attending two cystic fibrosis (CF) centres in a single Australian city prompted the design of a non-gel-based PCR method to enable clinical microbiology laboratories to readily identify these clonal strains. We designed a detection method utilizing heat-denatured P. aeruginosa isolates and a ten-single-nucleotide polymorphism (SNP) profile. Strain differences were detected by SYBR Green-based real-time PCR and high-resolution melting curve analysis (HRM10SNP assay). Overall, 106 P. aeruginosa sputum isolates collected from 74 patients with CF, as well as five reference strains, were analysed with the HRM10SNP assay, and the results were compared with those obtained by pulsed-field gel electrophoresis (PFGE). The HRM10SNP assay accurately identified all 45 isolates as members of one of the three major clonal strains characterized by PFGE in two Brisbane CF centres (Australian epidemic strain-1, Australian epidemic strain-2 and P42) from 61 other P. aeruginosa strains from Australian CF patients and two representative overseas epidemic strain isolates. The HRM10SNP method is simple, is relatively inexpensive and can be completed in <3 h. In our setting, it could be made easily available for clinical microbiology laboratories to screen for local P. aeruginosa strains and to guide infection control policies. Further studies are needed to determine whether the HRM10SNP assay can also be modified to detect additional clonal strains that are prevalent in other CF centres.

In situ, high-resolution imaging of labile phosphorus in sediments of a large eutrophic lake

Understanding the labile status of phosphorus (P) in sediments is crucial for managing a eutrophic lake, but it is hindered by lacking in situ data particularly on a catchment scale. In this study, we for the first time characterized in situ labile P in sediments with the Zr-oxide diffusive gradients in thin films (Zr-oxide DGT) technique at a two-dimensional (2D), submillimeter resolution in a large eutrophic lake (Lake Taihu, China, with an area of 2338km²). The concentration of DGT-labile P in the sediment profiles showed strong variation mostly ranging from 0.01 to 0.35mgL^-1 with a considerable number of hotspots. The horizontal heterogeneity index of labile P varied from 0.04 to 4.5. High values appeared at the depths of 0-30mm, likely reflecting an active layer of labile P under the sediment-water interface (SWI). Concentration gradients of labile P were observed from the high-resolution 1D DGT profiles in both the sediment and overlying water layers close to the SWI. The apparent diffusion flux of P across the SWI was calculated between -21 and 65ngcm^-2d^-1, which showed that the sediments tended to be a source and sink of overlying water P in the algal- and macrophyte-dominated regions, respectively. The DGT-labile P in the 0-30mm active layer showed a better correlation with overlying water P than the labile P measured by ex situ chemical extraction methods. It implies that in situ, high-resolution profiling of labile P with DGT is a more reliable approach and will significantly extend our ability in in situ monitoring of the labile status of P in sediments in the field.

High resolution X-ray spectroscopy in fast electron transport studies

A detailed knowledge of the physical phenomena underlying the generation and the transport of fast electrons generated in high-intensity laser-matter interactions is of fundamental importance for the fast ignition scheme for inertial confinement fusion.

Here we report on an experiment carried out with the VULCAN Petawatt beam and aimed at investigating the role of collisional return currents in the dynamics of the fast electron beam. To that scope, in the experiment counter-propagating electron beams were generated by double-sided irradiation of layered target foils containing a Ti layer. The experimental results were obtained for different time delays between the two laser beams as well as for single-sided irradiation of the target foils. The main diagnostics consisted of two bent mica crystal spectrometers placed at either side of the target foil. High-resolution X-ray spectra of the Ti emission lines in the range from the Ly alpha to the K alpha line were recorded. In addition, 2D X-ray images with spectral resolution were obtained by means of a novel diagnostic technique, the energy-encoded pin-hole camera, based on the use of a pin-hole array equipped with a CCD detector working in single-photon regime. The spectroscopic measurements suggest a higher target temperature for well-aligned laser beams and a precise timing between the two beams. The experimental results are presented and compared to simulation results.