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.

Are we too busy to volunteer? The relationship between time and volunteering using the 1997 ABS Time Use Data

Time availability is a key concept in relation to volunteering, leading to organisations and governments targeting those outside paid work as a potential source of volunteers. It may be that factors such as a growth in female participation in the labour market and an increase in work hours will lead to more people saying they are simply too busy to volunteer This paper discusses how social and economic change, such as changing work patterns, are impacting on time availability. Using the 1997 ABS Time Use data, it identifies a predictive model of spare time by looking at demographic, life stage and employment related variables. Results confirm that those outside paid work, particularly the young, males and those without partners or children, are the groups most likely to have time to spare. These groups do not currently report high rates of volunteering. The paper concludes by questioning the premise that people will volunteer simply because they have time to spare. This is just one component of a range of motivations and factors that influence the decision to volunteer.

Large amplitude folding in finely layered viscoelastic rock structures

We analyze folding phenomena in finely layered viscoelastic rock. Fine is meant in the sense that the thickness of each layer is considerably smaller than characteristic structural dimensions. For this purpose we derive constitutive relations and apply a computational simulation scheme (a finite-element based particle advection scheme; see MORESI et al., 2001) suitable for problems involving very large deformations of layered viscous and viscoelastic rocks. An algorithm for the time integration of the governing equations as well as details of the finite-element implementation is also given. We then consider buckling instabilities in a finite, rectangular domain. Embedded within this domain, parallel to the longer dimension we consider a stiff, layered plate. The domain is compressed along the layer axis by prescribing velocities along the sides. First, for the viscous limit we consider the response to a series of harmonic perturbations of the director orientation. The Fourier spectra of the initial folding velocity are compared for different viscosity ratios. Turning to the nonlinear regime we analyze viscoelastic folding histories up to 40% shortening. The effect of layering manifests itself in that appreciable buckling instabilities are obtained at much lower viscosity ratios (1:10) as is required for the buckling of isotropic plates (1:500). The wavelength induced by the initial harmonic perturbation of the director orientation seems to be persistent. In the section of the parameter space considered here elasticity seems to delay or inhibit the occurrence of a second, larger wavelength. Finally, in a linear instability analysis we undertake a brief excursion into the potential role of couple stresses on the folding process. The linear instability analysis also provides insight into the expected modes of deformation at the onset of instability, and the different regimes of behavior one might expect to observe.

Effect of storage time and conditions on the hardness and cooking quality of adzuki (Vigna angularis)

A storage trial of two varieties of adzuki (Vigna angularis), Bloodwood and Erimo, produced in Australia, was conducted to determine the effect of various combinations of temperature, humidity and length of storage on bean quality. The beans were stored for up to 6 mo under the following conditions: temperature (10, 20 and 30degreesC), relative humidity (RH) (40 and 65%). Storage of adzuki at elevated temperature (30degreesC) and low relative humidity (40%) resulted in the greatest loss of bean moisture, increase in hydration times and decrease in bean cooking quality, i.e. increased hardness of cooked beans. The best storage conditions for the preservation of adzuki quality were 10degreesC and 65% RH.

An agent-based approach to modelling driver route choice behaviour under the influence of real-time information

This paper presents an agent-based approach to modelling individual driver behaviour under the influence of real-time traffic information. The driver behaviour models developed in this study are based on a behavioural survey of drivers which was conducted on a congested commuting corridor in Brisbane, Australia. Commuters' responses to travel information were analysed and a number of discrete choice models were developed to determine the factors influencing drivers' behaviour and their propensity to change route and adjust travel patterns. Based on the results obtained from the behavioural survey, the agent behaviour parameters which define driver characteristics, knowledge and preferences were identified and their values determined. A case study implementing a simple agent-based route choice decision model within a microscopic traffic simulation tool is also presented. Driver-vehicle units (DVUs) were modelled as autonomous software components that can each be assigned a set of goals to achieve and a database of knowledge comprising certain beliefs, intentions and preferences concerning the driving task. Each DVU provided route choice decision-making capabilities, based on perception of its environment, that were similar to the described intentions of the driver it represented. The case study clearly demonstrated the feasibility of the approach and the potential to develop more complex driver behavioural dynamics based on the belief-desire-intention agent architecture. (C) 2002 Elsevier Science Ltd. All rights reserved.

Scope for further analytical solutions for constant flux infiltration into a semi-infinite soil profile or redistribution in a finite soil profile

[1] We attempt to generate new solutions for the moisture content form of the one-dimensional Richards' [1931] equation using the Lisle [1992] equivalence mapping. This mapping is used as no more general set of transformations exists for mapping the one-dimensional Richards' equation into itself. Starting from a given solution, the mapping has the potential to generate an infinite number of new solutions for a series of nonlinear diffusivity and hydraulic conductivity functions. We first seek new analytical solutions satisfying Richards' equation subject to a constant flux surface boundary condition for a semi-infinite dry soil, starting with the Burgers model. The first iteration produces an existing solution, while subsequent iterations are shown to endlessly reproduce this same solution. Next, we briefly consider the problem of redistribution in a finite-length soil. In this case, Lisle's equivalence mapping is generalized to account for arbitrary initial conditions. As was the case for infiltration, however, it is found that new analytical solutions are not generated using the equivalence mapping, although existing solutions are recovered.

Dormancy release in Lolium rigidum seeds is a function of thermal after-ripening time and seed water content

Dormancy release in seeds of Lolium rigidum Gaud. (annual ryegrass) was investigated in relation to temperature and seed water content. Freshly matured seeds were collected from cropping fields at Wongan Hills and Merredin, Western Australia. Seeds from Wongan Hills were equilibrated to water contents between 6 and 18% dry weight and after-ripened at constant temperatures between 9 and 50degreesC for up to 23 weeks. Wongan Hills and Merredin seeds at water contents between 7 and 17% were also after-ripened in full sun or shade conditions. Dormancy was tested at regular intervals during after-ripening by germinating seeds on agar at 12-h alternating 15degreesC (dark) and 25degreesC (light) periods. Rate of dormancy release for Wongan Hills seeds was a positive linear function of after-ripening temperature above a base temperature (T-b) of 5.4degreesC. A thermal after-ripening time model for dormancy loss accounting for seed moisture in the range 6-18% was developed using germination data for Wongan Hills seeds after-ripened at constant temperatures. The model accurately predicted dormancy release for Wongan Hills seeds after-ripened under naturally fluctuating temperatures. Seeds from Merredin responded similarly but had lower dormancy at collection and a faster rate of dormancy release in seeds below 9% water content.

Discriminating between task-relevant and task-irrelevant stimuli - The effects on autonomic orienting and secondary task reaction time

The effect that the difficulty of the discrimination between task-relevant and task-irrelevant stimuli has on the relationship between skin conductance orienting and secondary task reaction time (RT) was examined. Participants (N = 72) counted the number of longer-than-usual presentations of one shape (task-relevant) and ignored presentations of another shape (task-irrelevant). The difficulty of discriminating between the two shapes varied across three groups (low, medium, and high difficulty). Simultaneous with the primary counting task, participants performed a secondary RT task to acoustic probes presented 50, 150, and 2000 ms following shape onset. Skin conductance orienting was larger, and secondary RT at the 2000 ms probe position was slower during task-relevant shapes than during task-irrelevant shapes in the low-difficulty group. This difference declined as the discrimination difficulty was increased, such that there was no difference in the high-difficulty group. Secondary RT was slower during task-irrelevant shapes than during task-relevant shapes only in the medium-difficulty group-and only at the 150 ms probe position in the first half of the experiment. The close relationship between autonomic orienting and secondary RT at the 2000 ms probe position suggests that orienting reflects the resource allocation that results from the number of matching features between a stimulus input and a mental representation primed as significant.

An equivalent algorithm for simulating thermal effects of magma intrusion problems in porous rocks

An equivalent algorithm is proposed to simulate thermal effects of the magma intrusion in geological systems, which are composed of porous rocks. Based on the physical and mathematical equivalence, the original magma solidification problem with a moving boundary between the rock and intruded magma is transformed into a new problem without the moving boundary but with a physically equivalent heat source. From the analysis of an ideal solidification model, the physically equivalent heat source has been determined in this paper. The major advantage in using the proposed equivalent algorithm is that the fixed finite element mesh with a variable integration time step can be employed to simulate the thermal effect of the intruded magma solidification using the conventional finite element method. The related numerical results have demonstrated the correctness and usefulness of the proposed equivalent algorithm for simulating the thermal effect of the intruded magma solidification in geological systems. (C) 2003 Elsevier B.V. All rights reserved.

The coincidences of time travel

In this paper I consider two objections raised by Nick Smith (1997) to an argument against the probability of time travel given by Paul Horwich (1995, 1987). Horwich argues that time travel leads to inexplicable and improbable coincidences. I argue that one of Smith's objections fails, but that another is correct. I also consider an instructive way to defend Horwich's argument against the second of Smith's objections, but show that it too fails. I conclude that unless there is something faulty in the conception of explanation implicit in Horwich's argument, time travel presents us with nothing that is inexplicable.

Reproducibility of the cycling time to exhaustion at VO(2)peak in highly trained cyclists

The purpose of the present study was to examine, in highly trained cyclists, the reproducibility of cycling time to exhaustion (T-max) at the power output equal to that attained at peak oxygen uptake ((V) over dot O(2)peak) during a progressive exercise test. Forty-three highly trained male cyclists (M +/- SD; age = 25 +/- 6yrs; weight = 75 +/- 7 kg; (V) over dot(2)peak = 64.8 +/- 5.2 ml.kg(-1) . min(-1)) performed two T-max tests one week apart. While the two measures of T-max were strongly related (r = 0.884; p < 0.001), T-max from the second test (245 +/- 57 s) was significantly higher than that of the first (237 +/- 57 s; p = 0.047; two-tailed). Within-subject variability in the present study was calculated to be 6 +/- 6%, which was lower than that previously reported for Tmax in sub-elite runners (25%). The mean T-max was significantly (p < 0.05) related to both the second ventilatory turnpoint (VT2; r = 0.38) and to (V) over dot O(2)peak (r = 0.34). Despite a relatively low within-subject coefficient of variation, these data demonstrate that the second score in a series of two T-max tests may be significantly greater than the first. Moreover the present data show that T-max in highly trained cyclists is moderately related to VT2 and (V) over dot O(2)peak.

Anisotropic convection model for the earth's mantle

The paper presents a theory for modeling flow in anisotropic, viscous rock. This theory has originally been developed for the simulation of large deformation processes including the folding and kinking of multi-layered visco-elastic rock (Muhlhaus et al. [1,2]). The orientation of slip planes in the context of crystallographic slip is determined by the normal vector - the director - of these surfaces. The model is applied to simulate anisotropic mantle convection. We compare the evolution of flow patterns, Nusselt number and director orientations for isotropic and anisotropic rheologies. In the simulations we utilize two different finite element methodologies: The Lagrangian Integration Point Method Moresi et al [8] and an Eulerian formulation, which we implemented into the finite element based pde solver Fastflo (www.cmis.csiro.au/Fastflo/). The reason for utilizing two different finite element codes was firstly to study the influence of an anisotropic power law rheology which currently is not implemented into the Lagrangian Integration point scheme [8] and secondly to study the numerical performance of Eulerian (Fastflo)- and Lagrangian integration schemes [8]. It turned out that whereas in the Lagrangian method the Nusselt number vs time plot reached only a quasi steady state where the Nusselt number oscillates around a steady state value the Eulerian scheme reaches exact steady states and produces a high degree of alignment (director orientation locally orthogonal to velocity vector almost everywhere in the computational domain). In the simulations emergent anisotropy was strongest in terms of modulus contrast in the up and down-welling plumes. Mechanisms for anisotropic material behavior in the mantle dynamics context are discussed by Christensen [3]. The dominant mineral phases in the mantle generally do not exhibit strong elastic anisotropy but they still may be oriented by the convective flow. Thus viscous anisotropy (the main focus of this paper) may or may not correlate with elastic or seismic anisotropy.

The human organization of time: Temporal realities and experience (Book)

Reviews the book "The Human Organization of Time: Temporal Realities and Experience," by Allen C. Bluedorn.

Field assessment of thermal after-ripening time for dormancy release prediction in Lolium rigidum seeds

Dormancy release was studied in four populations of annual ryegrass (Lolium rigidum) seeds to determine whether loss of dormancy in the field can be predicted from temperature alone or whether seed water content (WC) must also be considered. Freshly matured seeds were after-ripened at the northern and southern extremes of the Western Australian cereal cropping region and at constant 37degreesC. Seed WC was allowed to fluctuate with prevailing humidity, but full hydration was avoided by excluding rainfall. Dormancy was measured regularly during after-ripening by germinating seeds with 12-hourly light or in darkness. Germination was lower in darkness than in light/dark and dormancy release was slower when germination was tested in darkness. Seeds were consistently drier, and dormancy release was slower, during after-ripening at 37degreesC than under field conditions. However, within each population, the rate of dormancy release in the field (north and south) in terms of thermal time was unaffected by after-ripening site. While low seed WC slowed dormancy release in seeds held at 37degreesC, dormancy release in seeds after-ripened under Western Australian field conditions was adequately described by thermal after-ripening time, without the need to account for changes in WC elicited by fluctuating environmental humidity.