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.

Dielectronic recombination in He-like, Li-like, and Be-like highly charged ions in the KLL and KLM manifolds

This paper reports a systematic study of the dependence on atomic number of the dielectronic recombination resonance strengths for He-like, Li-like and Be-like ions. Recent measurements of dielectronic recombination resonance strengths for the KLL and KLM manifolds for iron, yttrium, iodine, holmium, and bismuth are also described. The resonance strengths were normalized to calculated electron impact ionization cross sections. The measured resonance strengths generally agree well with theoretical calculations using the distorted wave approximation. However, KLM resonance strength measurements on high atomic number open-shell ions gave higher values than those suggested by calculations. Using recently measured data, along with existing results, scaling laws have been generated as a function of atomic number for He-like, Li-like, and Be-like ions in the KLL and KLM manifolds.

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