Procedures and parameters in the real-time program refinement calculus

The real-time refinement calculus is a formal method for the systematic derivation of real-time programs from real-time specifications in a style similar to the non-real-time refinement calculi of Back and Morgan. In this paper we extend the real-time refinement calculus with procedures and provide refinement rules for refining real-time specifications to procedure calls. A real-time specification can include constraints on, not only what outputs are produced, but also when they are produced. The derived programs can also include time constraints oil when certain points in the program must be reached; these are expressed in the form of deadline commands. Such programs are machine independent. An important consequence of the approach taken is that, not only are the specifications machine independent, but the whole refinement process is machine independent. To implement the machine independent code on a target machine one has a separate task of showing that the compiled machine code will reach all its deadlines before they expire. For real-time programs, externally observable input and output variables are essential. These differ from local variables in that their values are observable over the duration of the execution of the program. Hence procedures require input and output parameter mechanisms that are references to the actual parameters so that changes to external inputs are observable within the procedure and changes to output parameters are externally observable. In addition, we allow value and result parameters. These may be auxiliary parameters, which are used for reasoning about the correctness of real-time programs as well as in the expression of timing deadlines, but do not lead to any code being generated for them by a compiler. (c) 2006 Elsevier B.V. All rights reserved.

The real-time refinement calculus: A foundation for machine-independent real-time programming

The real-time refinement calculus is an extension of the standard refinement calculus in which programs are developed from a precondition plus post-condition style of specification. In addition to adapting standard refinement rules to be valid in the real-time context, specific rules are required for the timing constructs such as delays and deadlines. Because many real-time programs may be nonterminating, a further extension is to allow nonterminating repetitions. A real-time specification constrains not only what values should be output, but when they should be output. Hence for a program to implement such a specification, it must guarantee to output values by the specified times. With standard programming languages such guarantees cannot be made without taking into account the timing characteristics of the implementation of the program on a particular machine. To avoid having to consider such details during the refinement process, we have extended our real-time programming language with a deadline command. The deadline command takes no time to execute and always guarantees to meet the specified time; if the deadline has already passed the deadline command is infeasible (miraculous in Dijkstra's terminology). When such a realtime program is compiled for a particular machine, one needs to ensure that all execution paths leading to a deadline are guaranteed to reach it by the specified time. We consider this checking as part of an extended compilation phase. The addition of the deadline command restores for the real-time language the advantage of machine independence enjoyed by non-real-time programming languages.

Analysis and implementation of a new constant acceleration subcycling algorithm

An algorithm for explicit integration of structural dynamics problems with multiple time steps is proposed that averages accelerations to obtain subcycle states at a nodal interface between regions integrated with different time steps. With integer time step ratios, the resulting subcycle updates at the interface sum to give the same effect as a central difference update over a major cycle. The algorithm is shown to have good accuracy, and stability properties in linear elastic analysis similar to those of constant velocity subcycling algorithms. The implementation of a generalised form of the algorithm with non-integer time step ratios is presented. (C) 1997 by John Wiley & Sons, Ltd.

Anticipation of a non-aversive reaction time task facilitates the blink startle reflex

The conditions under which blink startle facilitation can be found in anticipation of a reaction time task were investigated to resolve inconsistent findings across previous studies. Four groups of participants (n = 64) were presented with two visual stimuli, one predicting a reaction time task (S+) and the second presented alone (S-). Participants were asked to make a speeded response to the offset of the S+ (S1 paradigm) or were asked to respond to a tactile stimulus presented at the offset of the S+ (S1-S2 paradigm). Half of the participants in each paradigm condition received performance feedback. Overall, blink latency shortening and magnitude facilitation were larger during S+ than during S-. More detailed analyses, however, found these differences to be reliable only in the Feedback conditions. Ratings of S+ pleasantness did not change across the experiment. Electrodermal responses to S+ were larger than to S- in all groups with differential electrodermal responding emerging earlier in the S1 paradigm. Taken together, the data support the notion that startle facilitation can occur during non-aversive Pavlovian conditioning. (C) 2002 Elsevier Science B.V. All rights reserved.

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.

Zero-non-zero patterned vector error correction modeling for I(2) cointegrated time series with applications in testing PPP and stock market relationships

Vector error-correction models (VECMs) have become increasingly important in their application to financial markets. Standard full-order VECM models assume non-zero entries in all their coefficient matrices. However, applications of VECM models to financial market data have revealed that zero entries are often a necessary part of efficient modelling. In such cases, the use of full-order VECM models may lead to incorrect inferences. Specifically, if indirect causality or Granger non-causality exists among the variables, the use of over-parameterised full-order VECM models may weaken the power of statistical inference. In this paper, it is argued that the zero–non-zero (ZNZ) patterned VECM is a more straightforward and effective means of testing for both indirect causality and Granger non-causality. For a ZNZ patterned VECM framework for time series of integrated order two, we provide a new algorithm to select cointegrating and loading vectors that can contain zero entries. Two case studies are used to demonstrate the usefulness of the algorithm in tests of purchasing power parity and a three-variable system involving the stock market.

The attentional demands of preferred and non-preferred gait patterns

The purpose of this study was to determine the attentional demands of natural and imposed gait, as well as the attentional costs of transitions between the walking and running co-ordination patterns. Seven healthy young men and four healthy young women undertook an auditory probe reaction time task concurrently with self-selected gait (Experiment 1) and imposed walking and running (Experiment 2) at different speeds on a motor-driven treadmill. In Experiment 1, where participants were free to choose their own movement pattern to match the speed of travel of the treadmill, normal gait control was shown to have a significant attentional cost, and hence not be automatic in the classical sense. However, this attentional cost did not differ between the two gait modes or at the transition point. In Experiment 2, where participants were required to maintain specific gait modes regardless of the treadmill speed, the maintenance of walking at speeds normally associated with running was found to have an attentional cost whereas this was not the case for running at normal walking speeds. Collectively the findings support a model of gait control in which the normal switching between gait modes is determined with minimal attention demand and in which it is possible to sustain non-preferred gait modes although, in the case of walking, only at a significant attentional/cognitive cost. © 2002 Elsevier Science B.V. All rights reserved.

Evolution of three-dimensional folds for a non-Newtonian plate in a viscous medium

We derive analytical solutions for the three-dimensional time-dependent buckling of a non-Newtonian viscous plate in a less viscous medium. For the plate we assume a power-law rheology. The principal, axes of the stretching D-ij in the homogeneously deformed ground state are parallel and orthogonal to the bounding surfaces of the plate in the flat state. In the model formulation the action of the less viscous medium is replaced by equivalent reaction forces. The reaction forces are assumed to be parallel to the normal vector of the deformed plate surfaces. As a consequence, the buckling process is driven by the differences between the in-plane stresses and out of plane stress, and not by the in-plane stresses alone as assumed in previous models. The governing differential equation is essentially an orthotropic plate equation for rate dependent material, under biaxial pre-stress, supported by a viscous medium. The differential problem is solved by means of Fourier transformation and largest growth coefficients and corresponding wavenumbers are evaluated. We discuss in detail fold evolutions for isotropic in-plane stretching (D-11 = D-22), uniaxial plane straining (D-22 = 0) and in-plane flattening (D-11 = -2D(22)). Three-dimensional plots illustrate the stages of fold evolution for random initial perturbations or initial embryonic folds with axes non-parallel to the maximum compression axis. For all situations, one dominant set of folds develops normal to D-11, although the dominant wavelength differs from the Biot dominant wavelength except when the plate has a purely Newtonian viscosity. However, in the direction parallel to D-22, there exist infinitely many modes in the vicinity of the dominant wavelength which grow only marginally slower than the one corresponding to the dominant wavelength. This means that, except for very special initial conditions, the appearance of a three-dimensional fold will always be governed by at least two wavelengths. The wavelength in the direction parallel to D-11 is the dominant wavelength, and the wavelength(s) in the direction parallel to D-22 is determined essentially by the statistics of the initial state. A comparable sensitivity to the initial geometry does not exist in the classic two-dimensional folding models. In conformity with tradition we have applied Kirchhoff's hypothesis to constrain the cross-sectional rotations of the plate. We investigate the validity of this hypothesis within the framework of Reissner's plate theory. We also include a discussion of the effects of adding elasticity into the constitutive relations and show that there exist critical ratios of the relaxation times of the plate and the embedding medium for which two dominant wavelengths develop, one at ca. 2.5 of the classical Biot dominant wavelength and the other at ca. 0.45 of this wavelength. We propose that herein lies the origin of parasitic folds well known in natural examples.

Quasistationarity of continuous-time Markov chains with positive drift

We shall study continuous-time Markov chains on the nonnegative integers which are both irreducible and transient, and which exhibit discernible stationarity before drift to infinity sets in. We will show how this 'quasi' stationary behaviour can be modelled using a limiting conditional distribution: specifically, the limiting state probabilities conditional on not having left 0 for the last time. By way of a dual chain, obtained by killing the original process on last exit from 0, we invoke the theory of quasistationarity for absorbing Markov chains. We prove that the conditioned state probabilities of the original chain are equal to the state probabilities of its dual conditioned on non-absorption, thus allowing us to establish the simultaneous existence and then equivalence, of their limiting conditional distributions. Although a limiting conditional distribution for the dual chain is always a quasistationary distribution in the usual sense, a similar statement is not possible for the original chain.

Youth suicide trends in Australian metropolitan and non-metropolitan areas, 1988-1997

Objective: The objective of this study was to examine trends in suicide among 15-34-year-olds living in Australian metropolitan and non-metropolitan areas between 1988 and 1997. Method: Suicide and population data were obtained from the Australian Bureau of Statistics. We calculated overall and method-specific suicide rates for 15-24 and 25-34-year-old males and females separately, according to area of residence defined as non-metropolitan (less than or equal to 20 000 people) or metropolitan. Results: Between 1988 and 1997 suicide rates in 15-24-year-old non-metropolitan males were consistently 50% higher than metropolitan 15-24-year-olds. In 1995-1997, for example, the rates were: 38.2 versus 25.1 per 100 000 respectively (p < 0.0001). The reverse pattern was seen in 25-34-year-old females with higher rates in metropolitan areas (7.5 per 100 000) compared with non-metropolitan areas (6.1 per 100 000, p = 0.21) in 1995-1997. There were no significant differences according to area of residence in 25-34-year-old males or 15-24-year-old females. Over the years studied we found no clear evidence that suicide rates increased to a greater extent in rural than urban areas. Rates of hanging suicide have approximately doubled in both sexes and age groups in both settings over this time. Despite an approximate halving in firearm suicide, rates remain 3-fold higher among non-metropolitan residents. Conclusion: Non-metropolitan males aged 15-24 years have disproportionately higher rates of suicide than their metropolitan counterparts. Reasons for this require further investigation. Hanging is now the most favoured method of non-metropolitan suicide replacing firearms from 10 years ago. Although legislation may reduce method-specific suicide the potential for method-substitution means that overall rates may not fall. More comprehensive interventions are therefore required.

Estimating the cost of contact for non-resident parents: A budget standards approach

Most Western countries have, for some time, provided income support and/or taxation relief to parents with children in their care. The significant amount of research into the costs of children to couple and sole parent households has been important in assessing and developing family support policies. Changing societal expectations about the level of involvement of fathers in child rearing activities has highlighted the need to understand the costs facing usually male non-resident parents in having contact with their children. The budget standards methodology is used in this paper to estimate the costs for non-resident parents exercising regular contact with their children. Costs of contact are found to be high. For contact with one child for 20 per cent of the year, costs of contact represent about 40 per cent of the costs of that same child in an intact couple household with a medium income and more than half of the costs of that child in a household with low income. Household infrastructure and transportation is the reason for high costs. One implication of this finding is that the total cost of children substantially increases when parents separate. The article discusses some policy implications of these findings. This research is of relevance to social security, taxation, family law and child support policies and administration.

Autonomic activity during human sleep as a function of time and sleep stage

While there is a developing understanding of the influence of sleep on cardiovascular autonomic activity in humans, there remain unresolved issues. In particular, the effect of time within the sleep period, independent of sleep stage, has not been investigated. Further, the influence of sleep on central sympathetic nervous system (SNS) activity is uncertain because results using the major method applicable to humans, the low frequency (LF) component of heart rate Variability (HRV), have been contradictory, and because the method itself is open to criticism. Sleep and cardiac activity were measured in 14 young healthy subjects on three nights. Data was analysed in 2-min epochs. All epochs meeting specified criteria were identified, beginning 2 h before, until 7 h after, sleep onset. Epoch values were allocated to 30-min bins and during sleep were also classified into stage 2, slow wave sleep (SWS) and rapid eye movement (REM) sleep. The measures of cardiac activity were heart irate (HR), blood pressure (BP), high frequency (HF) and LF components of HRV and pre-ejection period (PEP). During non-rapid eye movement (NREM) sleep autonomic balance shifted from sympathetic to parasympathetic dominance, although this appeared to be more because of a shift in parasympathetic nervous system (PNS) activity. Autonomic balance during REM was in general similar to wakefulness. For BP and the HF and LF components the change occurred abruptly at sleep onset and was then constant over time within each stage of sleep, indicating that any change in autonomic balance over the sleep period is a consequence of the changing distribution of sleep stages. Two variables, HR and PEP, did show time effects reflecting a circadian influence over HR and perhaps time asleep affecting PEP. While both the LF component and PEP showed changes consistent with reduced sympathetic tone during sleep, their pattern of change over time differed.