A formal model of real-time program compilation

Program compilation can be formally defined as a sequence of equivalence-preserving transformations, or refinements, from high-level language programs to assembler code, Recent models also incorporate timing properties, but the resulting formalisms are intimidatingly complex. Here we take advantage of a new, simple model of real-time refinement, based on predicate transformer semantics, to present a straightforward compilation formalism that incorporates real-time constraints. (C) 2002 Elsevier Science B.V. All rights reserved.

Teaching PSP: Challenges and lessons learned

Teaching the PSP: Challenges and Lessons Learned by Jurgen Borstler, David Carrington, Gregory W Hislop, Susan Lisack, Keith Olson, and Laurie Williams, pp. 42-48. Soft-ware engineering educators need to provide environments where students learn about the size and complexity of modern software systems and the techniques available for managing these difficulties. Five universities used the Personal Software Process to teach software engineering concepts in a variety of contexts.

PrrC from Rhodobacter sphaeroides, a homologue of eukaryotic Sco proteins, is a copper-binding protein and may have a thiol-disulfide oxidoreductase activity

PrrC from Rhodobacter sphaeroides provides the signal input to a two-component signal transduction system that senses changes in oxygen tension and regulates expression of genes involved in photosynthesis (Eraso, J.M. and Kaplan, S. (2000) Biochemistry, 39, 2052-2062; Oh, J.-I. and Kaplan, S. (2000) EMBO J. 19, 42374247). It is also a homologue of eukaryotic Sco proteins and each has a C-x-x-x-C-P sequence. In mitochondrial Sco proteins these cysteines appear to be essential for the biogenesis Of the Cu-A centre of respiratory cytochrome oxidase. Overexpression and purification of a water-soluble and monomeric form of PrrC has provided sufficient material for a chemical and spectroscopic study of the properties of the four cysteine residues of PrrC, and its ability to bind divalent cations, including copper. PrrC expressed in the cytoplasm of Escherichia coli binds Ni2+ tightly and the data are consistent with a mononuclear metal site. Following removal of Ni2+ and formation of renatured metal-free rPrrC (apo-PrrC), Cu2+ could be loaded into the reduced form of PrrC to generate a protein with a distinctive UV-visible spectrum, having absorbance with a lambda(max) of 360 nm. The copper:PrrC ratio is consistent with the presence of a mononuclear metal centre. The cysteines of metal-free PrrC oxidise in the presence of air to form two intramolecular disulfide bonds, with one pair being extremely reactive. The cysteine thiols with extreme O-2 sensitivity are involved in copper binding in reduced PrrC since the same copper-loaded protein could not be generated using oxidised PrrC. Thus, it appears that PrrC, and probably Sco proteins in general, could have both a thiol-disulfide oxidoreductase function and a copper-binding role. (C) 2002 Published by Elsevier Science B.V. on behalf of the Federation of European Biochemical Societies.

Copper transfer from the Cu(I) chaperone, CopZ, to the repressor, Zn(II)CopY: Metal coordination environments and protein interactions

Extracellular copper regulates the DNA binding activity of the CopY repressor of Enterococcus hirae and thereby controls expression of the copper homeostatic genes encoded by the cop operon. CopY has a CxCxxxxCxC metal binding motif. CopZ, a copper chaperone belonging to a family of metallochaperones characterized by a MxCxxC metal binding motif, transfers copper to CopY. The copper binding stoichiometries of CopZ and CopY were determined by in vitro metal reconstitutions. The stoichiometries were found to be one copper(l) per CopZ and two copper(l) per CopY monomer. X-ray absorption studies suggested a mixture of two- and three-coordinate copper in Cu(1)CopZ, but a purely three-coordinate copper coordination with a Cu-Cu interaction for Cu(1)(2)CopY. The latter coordination is consistent with the formation of a compact binuclear Cu(l)-thiolate core in the CxCxxxxCxC binding motif of CopY. Displacement of zinc, by copper. from CopY was monitored with 2,4-pyridylazoresorcinol. Two copper(l) ions were required to release the single zinc(II) ion bound per CopY monomer. The specificity of copper transfer between CopZ and CopY was dependent on electrostatic interactions. Relative copper binding affinities of the proteins were investigated using the chelator, diethyldithiocarbamic acid (DDC). These data suggest that CopY has a higher affinity for copper than CopZ. However, this affinity difference is not the sole factor in the copper exchange: a charge-based interaction between the two proteins is required for the transfer reaction to proceed. Gain-of-function mutation of a CopZ homologue demonstrated the necessity of four lysine residues on the chaperone for the interaction with CopY. Taken together, these results suggest a mechanism for copper exchange between CopZ and CopY.

Trace organic compounds in the marine environment

Trace organic chemicals include a range of compounds which, due to a combination of their physico-chemical properties and toxicological implications, have been described as a serious threat to the biotic environment. A global treaty to regulate the manufacture and release of some of the most persistent trace chemicals has been promulgated and signed. The marine environment is an important sink for many trace chemicals, some of which accumulate in the marine food chain and in particular in marine mammals. With respect to the global distribution of trace organic chemicals, the levels of organohalogen compounds in the Southern Hemisphere are comparatively lower for a given environmental compartment and latitude compared to the Northern Hemisphere. A debate is currently evolving about the toxicity of alternative halogen substitutions such as bromine instead of chlorine and also of mixed halogen substitution. Recently a series of potentially natural bioaccumulative and persistent organohalogen chemicals have been found in marine mammals and turtles at levels in excess of those of anthropogenic trace organochlorines including PCBs and DDE. Little is known about the sources, behaviour and effects of natural trace organic chemicals. This manuscript presents an overview on the occurrence of trace organic chemicals in different compartments of the aquatic environment. Important knowledge gaps with regards to trace chemicals in the marine environment are presented. Crown Copyright (C) 2002 Published by Elsevier Science Ltd. All rights reserved.

Sponge halogenated natural products found at parts-per-million levels in marine mammals

Several unknown, abundant brominated compounds (BCs) were recently detected in the blubber of dolphins and other marine mammals from Queensland (northeast Australia). The BC were interpreted as potential natural products due to the lack of anthropogenic sources for these compounds. This study investigated whether some of the BCs accumulated by diverse marine mammal species are identical with natural BCs previously isolated from sponges (Dysidea sp.) living in the same habitat. Isolates from sponges and mollusks (Asteronotus cespitosus) were compared with the signals detected in the mammals' tissue. Mass spectra and gas chromatography retention times on four different capillary columns of the isolates from sponges and mammals were identical in all respects. This proves that the chemical name of the compound previously labeled BC-2 is 4,6-dibromo-2-(2'-dibromo)phenoxyanisole and that the chemical name of BC-11 is 3,5-dibromo-2-(3',5'-dibromo-2'-methoxy)phenoxyanisole. Using a quantitative reference solution of BC-2, we established that the concentrations of the brominated metabolies found in the marine mammals are frequently >1 mg/kg. The highest concentration (3.8 mg/kg), found in a sample of pygmy sperm whale (Kogia breviceps), indicates that BC-2 is a bioaccumulative, natural organohalogen compound. This is supported by the concentrations of the BCs in our samples being equal to the highest concentrations of anthropogenic BCs in any environmental sample. The quantitative determination of BC-2 in blubber of marine mammals from Africa and the Antarctic suggests that BC-2 is wide-spread. These results are direct proof that marine biota can produce persistent organic chemicals that accumulate to substantial concentrations in higher trophic organisms.

A framework for table driven testing of Java classes

With the advent of object-oriented languages and the portability of Java, the development and use of class libraries has become widespread. Effective class reuse depends on class reliability which in turn depends on thorough testing. This paper describes a class testing approach based on modeling each test case with a tuple and then generating large numbers of tuples to thoroughly cover an input space with many interesting combinations of values. The testing approach is supported by the Roast framework for the testing of Java classes. Roast provides automated tuple generation based on boundary values, unit operations that support driver standardization, and test case templates used for code generation. Roast produces thorough, compact test drivers with low development and maintenance cost. The framework and tool support are illustrated on a number of non-trivial classes, including a graphical user interface policy manager. Quantitative results are presented to substantiate the practicality and effectiveness of the approach. Copyright (C) 2002 John Wiley Sons, Ltd.

Who does not gain weight? Prevalence and predictors of weight maintenance in young women

OBJECTIVE: To investigate the prevalence and predictors of weight maintenance over time in a large sample of young Australian women. DESIGN: This population study examined baseline and 4y follow-up data from the cohort of young women participating in the Australian Longitudinal Study on Women's Health. SUBJECTS: A total of 8726 young women aged 18 - 23y at baseline. MEASURES: Height, weight and body mass index (BMI); physical activity; time spent sitting; selected eating behaviours (eg dieting, disordered eating, takeaway food consumption); cigarette smoking, alcohol consumption; parity; and socio-demographic characteristics. RESULTS: Only 44% of the women reported their BMI at follow-up to be within 5% of their baseline BMI (maintainers); 41% had gained weight and 15% had lost weight. Weight maintainers were more likely to be in managerial or professional occupations; to have never married; to be currently studying; and not to be mothers. Controlling for sociodemographic factors, weight maintainers were more likely to be in a healthy weight range at baseline, and to report that they spent less time sitting, and consumed less takeaway food, than women who gained weight. CONCLUSIONS: Fewer than half the young women in this community sample maintained their weight over this 4y period in their early twenties. Findings of widespread weight gain, particularly among those already overweight, suggest that early adulthood, which is a time of significant life changes for many women, may be an important time for implementing strategies to promote maintenance of healthy weight. Strategies which encourage decreased sitting time and less takeaway food consumption may be effective for encouraging weight maintenance at this life stage.

P/M in Australia

Powder metallurgy activities in Australia are reviewed. Though relatively small, the industry is diverse and is experiencing record sales, buoyed by a strong domestic economy. In particular, the industry is underpinned by a vibrant automotive sector and a dominant mining and minerals industry. Research on powder metallurgy and particulate materials is conducted primarily in the universities with emphasis on mechanical alloying and aluminium alloys. Overall, the future outlook for powder metallurgy in Australia is excellent.

Adsorption of aromatic compounds onto activated carbons: Effects of the orientation of the adsorbates

Adsorption of model aromatic compounds onto two untreated activated carbons with similar physical and chemical properties is investigated. The solution pH of all experiments was lowered so that all solutes were in their molecular forms. It is shown that the difference in the maximum adsorption capacities of the solutes was mainly attributed to the difference in the sizes of the molecules. This new experimental finding is significant to gaining insight into the orientation of the adsorbed phase and hence the adsorption mechanism of aromatic compounds in aqueous solutions. It is shown that the adsorption of aromatic compounds in a stacked motif for pi-pi interactions is unlikely, and in the absence of physical restrictions such as pore width, a T-shaped motif is the preferred orientation.

Effects of the solute ionization on the adsorption of aromatic compounds from dilute aqueous solutions by activated carbon

Adsorption of four dissociating aromatic compounds and one nondissociating compound on a commercial activated carbon is investigated systematically. All adsorption experiments were carried out in pH-controlled aqueous solutions. The adsorption isotherms are fitted to the binary homogeneous Langmuir model, where the concentrations of the molecular and the ionic species in the liquid phase are expressed in terms of the sum of the two and the degree of solute ionization. Examination of the relationships between the solution pH, the degree of ionization of the solutes, and the model parameters is found to give new insights into the adsorption process. Furthermore, this is used to correlate the variation of the monolayer capacity with the solution pH.

Role of oxygen in the nitrous oxide/carbon reaction

An investigation of the role of oxygen in the nitrous oxide/carbon reaction was carried out on various carbon samples (both graphitic and nongraphitic) over a range of temperatures and partial pressures. Previous work reported that oxygen strongly inhibited the nitrous oxide/carbon reaction. Large ratios of O-2/N2O were used in all previous work. In this work, the O-2/N2O ratio was kept below 1, and we found that oxygen did not inhibit the rate of the C + N2O reaction. Instead, the rate of the reaction in the presence of oxygen was essentially that predicted by the two independent reactions, nitrous oxide/carbon and oxygen/carbon, occurring simultaneously. A simple theoretical explanation is given for the observations, both past and present, on the basis of competitive chemisorption of nitrous oxide and oxygen on active sites.

Synthesis of polymer-montmorillonite nanocomposites by in situ intercalative polymerization

Two polymer-montmorillonite (MMT) nanocomposites have been synthesized by in situ intercalative polymerization. The styrene monomer is intercalated into the interlayer space of organically modified MMT, a layered clay mineral. Upon the intercalation, the complex is subsequently polymerized in the confinement environment of the interlayer space with a free radical initiator, 2,2-azobis isobutyronitrile. The aniline monomer is also intercalated and then polymerized within the interlayer space of sodium- and copper-MMT initiated by ammonium peroxodisulphate and interlayer copper cations respectively. X-ray diffraction indicates that the MMT layers are completely dispersed in the polystyrene matrix and an exfoliated structure has been obtained. The resulting polyaniline-MMT nanocomposites show a highly ordered structure of a single polyaniline layer stacked with the MMT layers. Fourier transform infrared spectra further confirm the intercalation and formation of both polymer-MMT nanocomposites.