Print versus website physical activity programs: A randomized trial

Mediated physical activity interventions can reach large numbers of people at low cost. Programs delivered through the mail that target the stage of motivational readiness have been shown to increase activity. Communication technology (websites and e-mail) might provide a means for delivering similar programs. Randomized trial conducted between August and October 2001. Participants included staff at an Australian university (n=655; mean AGE=43, standard deviation, 10 years). Participants were randomized to either an 8-week, stage-targeted print program (Print) or 8-week, stage-targeted website (Web) program. The main outcome was change in self-reported physical activity.

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.

Review of stress corrosion cracking of pipeline steels in "low" and "high" pH solutions

This paper reviews the current understanding of the mechanisms of stress corrosion cracking of pipeline steels. The similarities, the differences and the influencing factors are considered for the high pH stress corrosion cracking caused by a concentrated bicarbonate-carbonate solution, and for the low pH stress corrosion cracking due to a diluter solution. For high pH stress corrosion cracking, it is well accepted that the mechanism involves anodic dissolution for crack initiation and propagation. In contrast, it has been suggested that the low pH stress corrosion cracking is associated with the dissolution of the crack tip and sides, accompanied by the ingress of hydrogen into the pipeline steel. But the precise influence of hydrogen on the mechanism needs to be further studied. (C) 2003 Kluwer Academic Publishers.

ANNA: A new prediction method for bioassessment programs

1. Cluster analysis of reference sites with similar biota is the initial step in creating River Invertebrate Prediction and Classification System (RIVPACS) and similar river bioassessment models such as Australian River Assessment System (AUSRIVAS). This paper describes and tests an alternative prediction method, Assessment by Nearest Neighbour Analysis (ANNA), based on the same philosophy as RIVPACS and AUSRIVAS but without the grouping step that some people view as artificial. 2. The steps in creating ANNA models are: (i) weighting the predictor variables using a multivariate approach analogous to principal axis correlations, (ii) calculating the weighted Euclidian distance from a test site to the reference sites based on the environmental predictors, (iii) predicting the faunal composition based on the nearest reference sites and (iv) calculating an observed/expected (O/E) analogous to RIVPACS/AUSRIVAS. 3. The paper compares AUSRIVAS and ANNA models on 17 datasets representing a variety of habitats and seasons. First, it examines each model's regressions for Observed versus Expected number of taxa, including the r(2), intercept and slope. Second, the two models' assessments of 79 test sites in New Zealand are compared. Third, the models are compared on test and presumed reference sites along a known trace metal gradient. Fourth, ANNA models are evaluated for western Australia, a geographically distinct region of Australia. The comparisons demonstrate that ANNA and AUSRIVAS are generally equivalent in performance, although ANNA turns out to be potentially more robust for the O versus E regressions and is potentially more accurate on the trace metal gradient sites. 4. The ANNA method is recommended for use in bioassessment of rivers, at least for corroborating the results of the well established AUSRIVAS- and RIVPACS-type models, if not to replace them.

Refining specifications to logic programs

The refinement calculus provides a framework for the stepwise development of imperative programs from specifications. In this paper we study a refinement calculus for deriving logic programs. Dealing with logic programs rather than imperative programs has the dual advantages that, due to the expressive power of logic programs, the final program is closer to the original specification, and each refinement step can achieve more. Together these reduce the overall number of derivation steps. We present a logic programming language extended with specification constructs (including general predicates, assertions, and types and invariants) to form a wide-spectrum language. General predicates allow non-executable properties to be included in specifications. Assertions, types and invariants make assumptions about the intended inputs of a procedure explicit, and can be used during refinement to optimize the constructed logic program. We provide a semantics for the extended logic programming language and derive a set of refinement laws. Finally we apply these to an example derivation.

Developing logic programs from specifications using stepwise refinement

In this paper we demonstrate a refinement calculus for logic programs, which is a framework for developing logic programs from specifications. The paper is written in a tutorial-style, using a running example to illustrate how the refinement calculus is used to develop logic programs. The paper also presents an overview of some of the advanced features of the calculus, including the introduction of higher-order procedures and the refinement of abstract data types.