Structuring real-time Object-Z specifications

This paper presents a means of structuring specifications in real-time Object-Z: an integration of Object-Z with the timed refinement calculus. Incremental modification of classes using inheritance and composition of classes to form multi-component systems are examined. Two approaches to the latter are considered: using Object-Z's notion of object instantiation and introducing a parallel composition operator similar to those found in process algebras. The parallel composition operator approach is both more concise and allows more general modelling of concurrency. Its incorporation into the existing semantics of real-time Object-Z is presented.

Habitual physical activity and physical activity intensity: their relation to body composition in 5.0-10.5 year old children

Background: Concerns of a decrease in physical activity levels (PALs) of children and a concurrent increase in childhood obesity exist worldwide. The exact relation between these two parameters however has as yet to be fully defined in children. Objective: This study examined the relation in 47 children, aged 5–10.5 y (mean age 8.4plusminus0.9 y) between habitual physical activity, minutes spent in moderate, vigorous and hard intensity activity and body composition parameters. Design: Total energy expenditure (TEE) was calculated using the doubly labelled water technique and basal metabolic rate (BMR) was predicted from Schofield's equations. PAL was determined by PAL=TEE/BMR. Time spent in moderate, vigorous and hard intensity activity was determined by accelerometry, using the Tritrac-R3D. Body fatness and body mass index (BMI) were used as the two measures of body composition. Results: Body fat and BMI were significantly inversely correlated with PAL (r=-0.43, P=0.002 and r=-0.45, P=0.001). Times spent in vigorous activity and hard activity were significantly correlated to percentage body fat (r=-0.44, P=0.004 and r=-0.39, P=0.014), but not BMI. Children who were in the top tertiles for both vigorous activity and hard activity had significantly lower body fat percentages than those in the middle and lowest tertiles. Moderate intensity activity was not correlated with measures of body composition. Conclusions: As well as showing a significant relation between PAL and body composition, these data intimate that there may be a threshold of intensity of physical activity that is influential on body fatness. In light of world trends showing increasing childhood obesity, this study supports the need to further investigate the importance of physical activity for children.

Ladder operator for the one-dimensional Hubbard model

The one-dimensional Hubbard model is integrable in the sense that it has an infinite family of conserved currents. We explicitly construct a ladder operator which can be used to iteratively generate all of the conserved current operators. This construction is different from that used for Lorentz invariant systems such as the Heisenberg model. The Hubbard model is not Lorentz invariant, due to the separation of spin and charge excitations. The ladder operator is obtained by a very general formalism which is applicable to any model that can be derived from a solution of the Yang-Baxter equation.

Matrix elements of U(2n) generators in a multishell spin-orbit basis. I. The del-operator MEs in a two-shell composite Gelfand-Paldus basis

This is the first in a series of three articles which aimed to derive the matrix elements of the U(2n) generators in a multishell spin-orbit basis. This is a basis appropriate to many-electron systems which have a natural partitioning of the orbital space and where also spin-dependent terms are included in the Hamiltonian. The method is based on a new spin-dependent unitary group approach to the many-electron correlation problem due to Gould and Paldus [M. D. Gould and J. Paldus, J. Chem. Phys. 92, 7394, (1990)]. In this approach, the matrix elements of the U(2n) generators in the U(n) x U(2)-adapted electronic Gelfand basis are determined by the matrix elements of a single Ll(n) adjoint tensor operator called the del-operator, denoted by Delta(j)(i) (1 less than or equal to i, j less than or equal to n). Delta or del is a polynomial of degree two in the U(n) matrix E = [E-j(i)]. The approach of Gould and Paldus is based on the transformation properties of the U(2n) generators as an adjoint tensor operator of U(n) x U(2) and application of the Wigner-Eckart theorem. Hence, to generalize this approach, we need to obtain formulas for the complete set of adjoint coupling coefficients for the two-shell composite Gelfand-Paldus basis. The nonzero shift coefficients are uniquely determined and may he evaluated by the methods of Gould et al. [see the above reference]. In this article, we define zero-shift adjoint coupling coefficients for the two-shell composite Gelfand-Paldus basis which are appropriate to the many-electron problem. By definition, these are proportional to the corresponding two-shell del-operator matrix elements, and it is shown that the Racah factorization lemma applies. Formulas for these coefficients are then obtained by application of the Racah factorization lemma. The zero-shift adjoint reduced Wigner coefficients required for this procedure are evaluated first. All these coefficients are needed later for the multishell case, which leads directly to the two-shell del-operator matrix elements. Finally, we discuss an application to charge and spin densities in a two-shell molecular system. (C) 1998 John Wiley & Sons.

Bioelectrical impedance analysis for the estimation of body composition in rats

Bioelectrical impedance analysis (BIA) was used to assess body composition in rats fed on either standard laboratory diet or on a high-fat diet designed to induce obesity. Bioelectrical impedance analysis predictions of total body water and thus fat-free mass (FFM) for the group mean values were generally within 5% of the measured values by tritiated water ((H2O)-H-3) dilution. The limits of agreement for the procedure were, however, large, approximately +/-25%, limiting the applicability of the technique for measurement of body composition in individual animals.

Prediction of the chemical composition of lamb carcasses from multi-frequency impedance data

Multi-frequency bioimpedance analysis (MFBIA) was used to determine the impedance, reactance and resistance of 103 lamb carcasses (17.1-34.2 kg) immediately after slaughter and evisceration. Carcasses were halved, frozen and one half subsequently homogenized and analysed for water, crude protein and fat content. Three measures of carcass length were obtained. Diagonal length between the electrodes (right side biceps femoris to left side of neck) explained a greater proportion of the variance in water mass than did estimates of spinal length and was selected for use in the index L-2/Z to predict the mass of chemical components in the carcass. Use of impedance (Z) measured at the characteristic frequency (Z(c)) instead of 50 kHz (Z(50)) did not improve the power of the model to predict the mass of water, protein or fat in the carcass. While L-2/Z(50) explained a significant proportion of variation in the masses of body water (r(2) 0.64), protein (r(2) 0.34) and fat (r(2) 0.35), its inclusion in multi-variate indices offered small or no increases in predictive capacity when hot carcass weight (HCW) and a measure of rib fat-depth (GR) were present in the model. Optimized equations were able to account for 65-90 % of the variance observed in the weight of chemical components in the carcass. It is concluded that single frequency impedance data do not provide better prediction of carcass composition than can be obtained from measures of HCW and GR. Indices of intracellular water mass derived from impedance at zero frequency and the characteristic frequency explained a similar proportion of the variance in carcass protein mass as did the index L-2/Z(50).

Coalbed methane sorption related to coal composition

Gas sorption by coal is closely related to its physical and chemical properties, which are, in turn, governed by coal type and rank. The role of coal type (sensu maceral composition) is not fully established but it is clear that coal type may affect both adsorption capacity and desorption rate. Adsorption capacity is closely related to micropore (pores <2 nm) development, which is rank and maceral dependent. Adsorption isotherms indicate that in most cases bright (vitrinite-rich) coals have a greater adsorption capacity than their dull (often inertinite-rich) equivalents. However, no differences, or even the opposing trend, may be observed in relation to coal type. Desorption rate investigations have been performed using selected bright and dull coal samples in a high pressure microbalance. Interpretation of results using unipore spherical and bidisperse pore models indicate the importance of the pore structure. Bright, vitrinite-rich coals usually have the slowest desorption rates which is associated with their highly microporous structure. However, rapid desorption in bright coals may be related to development of extensive, unmineralised fracture systems. Both macro-and micro-pore systems are implicated in the more rapidly desorbing dull coals. Some dull, inertinite-rich coals may rapidly desorb due to a predominance of large, open cell lumina. Mineral matter is essentially nonadsorbent to coal gases and acts as a simple diluent. However, mineral-rich coals may be associated with more rapid desorption. Coal rank and type (maceral composition) per se do not appear to be the critical factors in controlling gas sorption, but rather the influence they exert over pore structure development. (C) 1998 Elsevier Science B.V.

Changes in the racial composition of Phytophthora sojae in Australia between 1979 and 1996

Surveys of commercial soybean fields, disease nurseries, and trial plots of soybean were conducted throughout eastern Australia between 1979 and 1996, and 694 isolates of Phytophthora sojae were collected and classified into races. Fourteen races, 1, 2, 4, 10, 15, and 25, and eight new races, 46 to 53, were identified, but only races 1, 4, 15, 25, 46, and 53 were found in commercial fields. Races 1 and 15 were the only races found in commercial fields in the soybean-growing areas of Australia up until 1989, with race 1 being the dominant race. Race 4 was found in central New South Wales in 1989 on cultivars with the Rps1a gene, and it is now the dominant race in central and southern New South Wales. Races 46 and 53 have only been found once, in southern New South Wales, and race 25 was identified in the same region in 1994 on a cultivar with the Rps1k gene. Only races 1 and 15 have been found in the northern soybean-growing regions, with the latter dominating, which coincides with the widespread use of cultivars with the Rps2 gene. Changes in the race structure of the P. sojae population from commercial fields in Australia follow the deployment of specific resistance genes.

Measurement of grain boundary composition for X52 pipeline steel

Analytical electron microscopy was used to measure the composition of grain boundaries (GBs) and interconstituent boundaries (IBs) of X52 pipeline steel using specimens about 40-60 nm in thickness. All elements of interest were examined with the exception of carbon. With this caveat; there was no segregation at proeutectoid ferrite GBs. This indicated that the commonly expected species S and P are not responsible for preferential corrosion of GBs during intergranular stress corrosion cracking of pipeline steels. Manganese was the only species measured to segregate at the IBs. Manganese segregated to the IBs between proeutectoid ferrite and pearlitic cementite, and desegregated from IBs between proeutectoid ferrite and pearlitic ferrite. The pearlitic cementite was Mn rich. There was no Mn segregation at the IBs between pearlitic ferrite and pearlitic cementite. The pattern of Mn segregation could be explained in terms of diffusion in the process zone ahead of the pearlite during the austenite to pearlite transformation and diffusion in the IBs between the proeutectoid ferrite and pearlite. (C) 1998 Acta Metallurgica Inc. Published by Elsevier Science Ltd. All rights reserved.

New techniques in nutritional assessment: body composition methods

New techniques in air-displacement plethysmography seem to have overcome many of the previous problems of poor reproducibility and validity. These have made body-density measurements available to a larger range of individuals, including children, elderly and sick patients who often have difficulties in being submerged underwater in hydrodensitometry systems. The BOD POD air-displacement system (BOD POD body composition system; Life Measurement Instruments, Concord, CA, USA) is more precise than hydrodensitometry, is simple and rapid to operate (approximately 1 min measurements) and the results agree closely with those of hydrodensitometry (e.g. +/-3.4% for estimation of body fat). Body line scanners employing the principles of three-dimensional photography are potentially able to measure the surface area and volume of the body and its segments even more rapidly (approximately 10 s), but the validity of the measurements needs to be established. Advances in i.r. spectroscopy and mathematical modelling for calculating the area under the curve have improved precision for measuring enrichment of (H2O)-H-2 in studies of water dilution (CV 0.1-0.9% within the range of 400-1000 mu l/l) in saliva, plasma and urine. The technique is rapid and compares closely with mass spectrometry (bias 1 (SD 2) %). Advances in bedside bioelectrical-impedance techniques are making possible potential measurements of skinfold thicknesses and limb muscle mass electronically. Preliminary results suggest that the electronic method is more reproducible (intra-and inter-individual reproducibility for measuring skinfold thicknesses) and associated with less bias (+ 12%), than anthropometry (+ 40%). In addition to these selected examples, the 'mobility' or transfer of reference methods between centres has made the distinction between reference and bedside or field techniques less distinct than in the past.

Predicting composition of leg sections with anthropometry and bioelectrical impedance analysis using magnetic resonance imaging as reference

Magnetic resonance imaging (MRI) was used to evaluate and compare with anthropometry a fundamental bioelectrical impedance analysis (BIA) method for predicting muscle and adipose tissue composition in the lower limb. Healthy volunteers (eight men and eight women), aged 41 to 62 years, with mean (S.D.) body mass indices of 28.6 (5.4) kg/m(2) and 25.1 (5.4) kg/m(2) respectively, were subjected to MRI leg scans, from which 20-cm sections of thigh and IO-cm sections of lower leg (calf) were analysed for muscle and adipose tissue content, using specifically developed software. Muscle and adipose tissue were also predicted from anthropometric measurements of circumferences and skinfold thicknesses, and by use of fundamental BIA equations involving section impedance at 50 kHz and tissue-specific resistivities. Anthropometric assessments of circumferences, cross-sectional areas and volumes for total constituent tissues matched closely MRI estimates. Muscle volume was substantially overestimated (bias: thigh, -40%; calf, -18%) and adipose tissue underestimated (bias: thigh, 43%; calf, 8%) by anthropometry, in contrast to generally better predictions by the fundamental BIA approach for muscle (bias:thigh, -12%; calf, 5%) and adipose tissue (bias:thigh, 17%; calf, -28%). However, both methods demonstrated considerable individual variability (95% limits of agreement 20-77%). In general, there was similar reproducibility for anthropometric and fundamental BIA methods in the thigh (inter-observer residual coefficient of variation for muscle 3.5% versus 3.8%), but the latter was better in the calf (inter-observer residual coefficient of variation for muscle 8.2% versus 4.5%). This study suggests that the fundamental BIA method has advantages over anthropometry for measuring lower limb tissue composition in healthy individuals.

Ontological changes in the crystallin composition of the eye lenses of the territorial damselfish Parma microlepis and their possible effects on trace-metal accumulation

The eye lenses of Parma microlepis from the rocky barrens of Sydney (New South Wales, Australia) were found to contain Ba, Hg, Rb, and Sr at concentrations above the quantitative detection limits of solution-based inductively-coupled plasma-mass spectrometry (ICP-MS). Lenses were separated into the hard central nucleus and the softer surrounding cortex. Nuclei contained lower (equal for Ba) concentrations of these metals. Biochemical analysis of the protein composition of these lenses revealed differences in the ratio of gamma-crystallin to beta-crystallin in the lens nucleus and cortex. These changes were shown to be attributable both to protein degradation and changes in protein synthesis as fish age. Such changes may lead to the loss of sequestered metals from older cell layers, or change the affinity of new layers for particular trace metals. Differential binding affinities of these crystallins may, therefore, partially account for trace-metal differences observed in the lens nucleus and cortex.