Semi-formal Models to Support Program Development: Autonomic Management within Component Based Parallel and Distributed Programming

Functional and non-functional concerns require different programming effort, different techniques and different methodologies when attempting to program efficient parallel/distributed applications. In this work we present a "programmer oriented" methodology based on formal tools that permits reasoning about parallel/distributed program development and refinement. The proposed methodology is semi-formal in that it does not require the exploitation of highly formal tools and techniques, while providing a palatable and effective support to programmers developing parallel/distributed applications, in particular when handling non-functional concerns.

Turning solid aluminium transparent by intense soft X-ray photoionization

Saturable absorption is a phenomenon readily seen in the optical and infrared wavelengths. It has never been observed in core-electron transitions owing to the short lifetime of the excited states involved and the high intensities of the soft X-rays needed. We report saturable absorption of an L-shell transition in aluminium using record intensities over 10(16)W cm(-2) at a photon energy of 92 eV. From a consideration of the relevant timescales, we infer that immediately after the X-rays have passed, the sample is in an exotic state where all of the aluminium atoms have an L-shell hole, and the valence band has approximately a 9 eV temperature, whereas the atoms are still on their crystallographic positions. Subsequently, Auger decay heats the material to the warm dense matter regime, at around 25 eV temperatures. The method is an ideal candidate to study homogeneous warm dense matter, highly relevant to planetary science, astrophysics and inertial confinement fusion.

Comparison of porcine urine and bile as matrices to screen for the residues of two sulfonamides using a semi-automated enzyme immunoassay.

Porcine urine enzyme immunoassays for sulfamethazine and sulfadiazine have previously been employed as screening tests to predict the concentrations of the drugs in the corresponding tissues (kidneys), If a urine was found positive (> 800 ng ml(-1)) the corresponding kidney was then analysed by an enzyme immunoassay and, if found positive, a confirmatory analysis by HPLC was performed. Urine was chosen as the screening matrix since sulfonamides are mainly eliminated through this body fluid, However, after obtaining a number of false positive predictions, an investigation was carried out to assess the possibility of using an alternative body fluid which would act as a superior indicator of the presence of sulfonamides in porcine kidney, An initial study indicated that serum, plasma and bile could all be used as screening matrices. From these, bile was chosen as the preferred sample matrix and an extensive study followed to compare the efficiencies of sulfonamide positive bile and urine at predicting sulphonamide positive kidneys, Bile was found to be 17 times more efficient than urine at predicting a sulfamethazine positive kidney and 11 times more efficient at predicting a sulfadiazine positive kidney, With this enhanced performance of the initial screening test, the need for the costly and time consuming kidney enzyme immunoassay, prior to HPLC analysis, was eliminated