The variety of variables in automated real-time refinement

The refinement calculus is a well-established theory for deriving program code from specifications. Recent research has extended the theory to handle timing requirements, as well as functional ones, and we have developed an interactive programming tool based on these extensions. Through a number of case studies completed using the tool, this paper explains how the tool helps the programmer by supporting the many forms of variables needed in the theory. These include simple state variables as in the untimed calculus, trace variables that model the evolution of properties over time, auxiliary variables that exist only to support formal reasoning, subroutine parameters, and variables shared between parallel processes.

A high definition, finite difference time domain method

A high definition, finite difference time domain (HD-FDTD) method is presented in this paper. This new method allows the FDTD method to be efficiently applied over a very large frequency range including low frequencies, which are problematic for conventional FDTD methods. In the method, no alterations to the properties of either the source or the transmission media are required. The method is essentially frequency independent and has been verified against analytical solutions within the frequency range 50 Hz-1 GHz. As an example of the lower frequency range, the method has been applied to the problem of induced eddy currents in the human body resulting from the pulsed magnetic field gradients of an MRI system. The new method only requires approximately 0.3% of the source period to obtain an accurate solution. (C) 2003 Elsevier Science Inc. All rights reserved.

Explicit/implicit partitioning and a new explicit form of the generalized alpha method

Most finite element packages use the Newmark algorithm for time integration of structural dynamics. Various algorithms have been proposed to better optimize the high frequency dissipation of this algorithm. Hulbert and Chung proposed both implicit and explicit forms of the generalized alpha method. The algorithms optimize high frequency dissipation effectively, and despite recent work on algorithms that possess momentum conserving/energy dissipative properties in a non-linear context, the generalized alpha method remains an efficient way to solve many problems, especially with adaptive timestep control. However, the implicit and explicit algorithms use incompatible parameter sets and cannot be used together in a spatial partition, whereas this can be done for the Newmark algorithm, as Hughes and Liu demonstrated, and for the HHT-alpha algorithm developed from it. The present paper shows that the explicit generalized alpha method can be rewritten so that it becomes compatible with the implicit form. All four algorithmic parameters can be matched between the explicit and implicit forms. An element interface between implicit and explicit partitions can then be used, analogous to that devised by Hughes and Liu to extend the Newmark method. The stability of the explicit/implicit algorithm is examined in a linear context and found to exceed that of the explicit partition. The element partition is significantly less dissipative of intermediate frequencies than one using the HHT-alpha method. The explicit algorithm can also be rewritten so that the discrete equation of motion evaluates forces from displacements and velocities found at the predicted mid-point of a cycle. Copyright (C) 2003 John Wiley Sons, Ltd.

Fast, scalable master equation solution algorithms. IV. Lanczos iteration with diffusion approximation preconditioned iterative inversion

In this paper we propose a second linearly scalable method for solving large master equations arising in the context of gas-phase reactive systems. The new method is based on the well-known shift-invert Lanczos iteration using the GMRES iteration preconditioned using the diffusion approximation to the master equation to provide the inverse of the master equation matrix. In this way we avoid the cubic scaling of traditional master equation solution methods while maintaining the speed of a partial spectral decomposition. The method is tested using a master equation modeling the formation of propargyl from the reaction of singlet methylene with acetylene, proceeding through long-lived isomerizing intermediates. (C) 2003 American Institute of Physics.

Link invariants associated with gauge equivalent solutions of the Yang-Baxter equation: The one-parameter family of minimal typical representations of Uq[gl(2|1)]

In this paper we investigate the construction of state models for link invariants using representations of the braid group obtained from various gauge choices for a solution of the trigonometric Yang-Baxter equation. Our results show that it is possible to obtain invariants of regular isotopy (as defined by Kauffman) which may not be ambient isotopic. We illustrate our results with explicit computations using solutions of the trigonometric Yang-Baxter equation associated with the one-parameter family of minimal typical representations of the quantum superalgebra U-q,[gl(2/1)]. We have implemented MATHEMATICA code to evaluate the invariants for all prime knots up to 10 crossings.

Review of time-domain polarization measurements for assessing insulation condition in aged transformers

This paper presents a review of the time-domain polarization measurement techniques for the condition assessment of aged transformer insulation. The polarization process is first described with appropriate dielectric response theories and then commonly used polarization methods are described with special emphasis on the most widely used return voltage(rv) measurement. Most recent emphasis has been directed to techniques of determining moisture content of insulation indirectly by measuring rv parameters. The major difficulty still lies with the accurate interpretation of return voltage results. This paper investigates different thoughts regarding the interpretation of rv results for different moisture and ageing conditions. Other time domain polarization measurement techniques and their results are also presented in this paper.

Sitting time and work patterns as indicators of overweight and obesity in Australian adults

BACKGROUND: Increasing levels of physical inactivity and sedentariness are contributing to the current overweight and obesity epidemic. In this paper, the findings of two recent studies are used to explore the relationships between sitting time ( in transport, work and leisure), physical activity and body mass index (BMI) in two contrasting samples of adult Australians. METHODS: Data on sitting time, physical activity, BMI and a number of demographic characteristics were compared for participants in two studies-529 women who were participants in a preschool health promotion project ('mothers'), and 185 men and women who were involved in a workplace pedometer study ('workers'). Relationships between age, number of children, physical activity, sitting time, BMI, gender and work patterns were explored. Logistic regression was used to predict the likelihood of being overweight or obese, among participants with different physical activity, sitting time and work patterns. RESULTS: The total reported time spent sitting per day ( across all domains) was almost 6 h less among the mothers than the workers (P

Optimising high-intensity treadmill training using the running speed at maximal O-2 uptake and the time for which this can be maintained

The aim of this study was to compare the effects of two high-intensity, treadmill interval-training programs on 3000-m and 5000-m running performance. Maximal oxygen uptake ((V) over dot O-2max), the running speed associated with (V) over dot O-2max (nu (V) over dot O-2max), the time for which nu (V) over dot O-2max can be maintained (T-max), running economy (RE), ventilatory threshold (VT) and 3000-m and 5000-m running times were determined in 27 well-trained runners. Subjects were then randomly assigned to three groups; (1) 60% T-max (2) 70% T-max and (3) control. Subjects in the control group continued their normal training and subjects in the two T-max groups undertook a 4-week treadmill interval-training program with the intensity set at nu (V) over dot O-2max and the interval duration at the assigned T-max. These subjects completed two interval-training sessions per week (60% T-max = six intervals/session, 70% T-max group = five intervals/session). Subjects were re-tested on all parameters at the completion of the training program. There was a significant improvement between pre- and post-training values in 3000-m time trial (TT) performance in the 60% T-max group compared to the 70% T,,a, and control groups [mean (SE); 60% T-max = 17.6 (3.5) s, 70% T-max = 6.3 (4.2) s, control = 0.5 (7.7) s]. There was no significant effect of the training program on 5000-m TT performance [60% T-max = 25.8 (13.8) s, 70% T-max = 3.7 (11.6) s, control = 9.9 (13.1) s]. Although there were no significant improvements in (V) over dot O-2max, nu (V) over dot (2max) and RE between groups, changes in (V) over dot O-2max and RE were significantly correlated with the improvement in the 3000-m TT. Furthermore, VT and T-max were significantly higher in the 60% Tmax group post-compared to pre-training. In conclusion, 3000-m running performance can be significantly improved in a group of well-trained runners, using a 4-week treadmill interval training program at nu (V) over dot O-2max with interval durations of 60% T-max.

The reliability of video based time motion analysis

Time motion analysis is extensively used to assess the demands of team sports. At present there is only limited information on the reliability of measurements using this analysis tool. The aim of this study was to establish the reliability of an individual observer's time motion analysis of rugby union. Ten elite level rugby players were individually tracked in Southern Hemisphere Super 12 matches using a digital video camera. The video footage was subsequently analysed by a single researcher on two occasions one month apart. The test-retest reliability was quantified as the typical error of measurement (TEM) and rated as either good (10% TEM). The total time spent in the individual movements of walking, jogging, striding, sprinting, static exertion and being stationary had moderate to poor reliability (5.8-11.1% TEM). The frequency of individual movements had good to poor reliability (4.3-13.6% TEM), while the mean duration of individual movements had moderate reliability (7.1-9.3% TEM). For the individual observer in the present investigation, time motion analysis was shown to be moderately reliable as an evaluation tool for examining the movement patterns of players in competitive rugby. These reliability values should be considered when assessing the movement patterns of rugby players within competition.

Reproducibility of a laboratory-based 40-km cycle time-trial on a stationary wind-trainer in highly trained cyclists

The purpose of the present study was to examine the reproducibility of laboratory-based 40-km cycle time-trial performance on a stationary wind-trainer. Each week, for three consecutive weeks, and on different days, forty-three highly trained male cyclists ((x) over bar +/- SD; age = 25 +/- 6 y; mass = 75 +/- 7 kg; peak oxygen uptake [(V) over dot O-2 peak] = 64.8 +/- 5.2 ml x kg(-1) x min(-1)) performed: 1) a (V) over dot O-2 peak test, and 2) a 40-km time-trial on their own racing bicycle mounted to a stationary wind-trainer (Cateye - Cyclosimulator). Data from all tests were compared using a one-way analysis of variance. Performance on the second and third 40-km time-trials were highly related (r = 0.96; p < 0.001), not significantly different (57:21 +/- 2:57 vs. 57:12 +/- 3:14 min:s), and displayed a low coefficient of variation (CV) = 0.9 +/- 0.7%. Although the first 40-km time-trial (58:43 +/- 3:17min:s) was not significantly different from the second and third tests (p = 0.06), inclusion of the first test in the assessment of reliability increased within-subject CV to 3.0 +/- 2.9%. 40-km time-trial speed (km x h(-1)) was significantly (p < 0.001) related to peak power output (W; r = 0.75), (V) over dot O-2 peak (1 x min(-1); r = 0.53), and the second ventilatory turnpoint (1 x min(-1); r = 0.68) measured during the progressive exercise tests. These data demonstrate that the assessment of 40-km cycle time-trial performance in well-trained endurance cyclists on a stationary wind-trainer is reproducible, provided the athletes perform a familiarization trial.

Influence of hysteresis on tidal capillary fringe dynamics in a well-sorted sand

Nielsen and Perrochet [Adv. Water Resour. 23 (2000) 503] presented experimental data for cyclic water movement in the vadose zone above an oscillating watertable. The response of the watertable to cyclic forcing was characterised by the ratios of the forcing head to watertable amplitudes and their associated phase lag. They found that their non-hysteretic Richards' equation model failed to represent the observed behaviour of these parameters. This paper explores the effect on the simulated capillary fringe dynamics (in terms of these parameters) of including varying degrees of hysteresis in the moisture retention curve used in a numerical model of their experiment. It is clear that hysteresis can indeed account for observed discrepancies between simulation and experiment and that the effect of hysteresis varies with the frequency of oscillation. The use of a single-valued mean retention curve, as advocated by some authors, fails to provide a match between the simulated and observed behaviour of the Nielsen and Perrochet parameters, but is shown to be adequate for predicting time-averaged soil moisture profiles. (C) 2003 Elsevier Ltd. All rights reserved.