A new method for analysing the equilibrium and time-dependent behaviour of Markovian models

Many large-scale stochastic systems, such as telecommunications networks, can be modelled using a continuous-time Markov chain. However, it is frequently the case that a satisfactory analysis of their time-dependent, or even equilibrium, behaviour is impossible. In this paper, we propose a new method of analyzing Markovian models, whereby the existing transition structure is replaced by a more amenable one. Using rates of transition given by the equilibrium expected rates of the corresponding transitions of the original chain, we are able to approximate its behaviour. We present two formulations of the idea of expected rates. The first provides a method for analysing time-dependent behaviour, while the second provides a highly accurate means of analysing equilibrium behaviour. We shall illustrate our approach with reference to a variety of models, giving particular attention to queueing and loss networks. (C) 2003 Elsevier Ltd. All rights reserved.

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.

Fast, scalable master equation solution algorithms. III. Direct time propagation accelerated by a diffusion approximation preconditioned iterative solver

In this paper we propose a novel fast and linearly scalable method for solving master equations arising in the context of gas-phase reactive systems, based on an existent stiff ordinary differential equation integrator. The required solution of a linear system involving the Jacobian matrix is achieved using the GMRES iteration preconditioned using the diffusion approximation to the master equation. In this way we avoid the cubic scaling of traditional master equation solution methods and maintain the low temperature robustness of numerical integration. The method is tested using a master equation modelling the formation of propargyl from the reaction of singlet methylene with acetylene, proceeding through long lived isomerizing intermediates. (C) 2003 American Institute of Physics.

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.

Time will tell: Ambiguous non-responses on internet relay chat

The design of Internet Relay Chat (IRC) affords for, and itself produces, non-response situations that are not possible in FTF or telephone interaction. These system-occasioned nonresponses produce almost isomorphic stimuli to participant non-responses. Situations thus arise in which non-responses are interpersonally accountable despite agentive ambiguity. This study explores four intersections of participant-action and system-occasioned non-responses. An extension to Pomerantz's (1984b) 'pursuing a response' problems/solutions is proposed. The impact of IRC's design on its popularity is discussed in contrast to more recent chat systems. Suggestions are made for active and passive presence and non-response accounting features in future chat systems.

Unexpected clobetasol propionate profile in human stratum corneum after topical application in vitro

Purpose. The validity of using drug amount-depth profiles in stratum corneum to predict uptake of clobetasol propionate into stratum corneum and its transport into deeper skin layers was investigated. Methods. In vitro diffusion experiments through human epidermis were carried out using Franz-type glass diffusion cells. A saturated solution of clobetasol propionate in 20% (V/V) aqueous propylene glycol was topically applied for 48 h. Steady state flux was calculated from the cumulative amount of drug permeated vs. time profile. Epidermal partitioning was conducted by applying a saturated drug solution to both sides of the epidermis and allowing time to equilibrate. The tape stripping technique was used to define drug concentration-depth profiles in stratum corneum for both the diffusion and equilibrium experiments. Results. The concentration-depth profile of clobetasol propionate in stratum corneum for the diffusion experiment is biphasic. A logarithmic decline of the drug concentration over the first four to five tape strips flattens to a relatively constant low concentration level in deeper layers. The drug concentration-depth profile for the equilibrium studies displays a similar shape. Conclusions. The shape of the concentration-depth profile of clobetasol propionate is mainly because of the variable partitioning coefficient in different stratum corneum layers.