Reasoning about real-time repetitions: terminating and nonterminating

It is common for a real-time system to contain a nonterminating process monitoring an input and controlling an output. Hence, a real-time program development method needs to support nonterminating repetitions. In this paper we develop a general proof rule for reasoning about possibly nonterminating repetitions. The rule makes use of a Floyd-Hoare-style loop invariant that is maintained by each iteration of the repetition, a Jones-style relation between the pre- and post-states on each iteration, and a deadline specifying an upper bound on the starting time of each iteration. The general rule is proved correct with respect to a predicative semantics. In the case of a terminating repetition the rule reduces to the standard rule extended to handle real time. Other special cases include repetitions whose bodies are guaranteed to terminate, nonterminating repetitions with the constant true as a guard, and repetitions whose termination is guaranteed by the inclusion of a fixed deadline. (C) 2002 Elsevier Science B.V. All rights reserved.

Saving, productivity and national income: a discrete-time geometric framework

This paper proposes an alternative geometric framework for analysing the inter-relationship between domestic saving, productivity and income determination in discrete time. The framework provides a means of understanding how low saving economies like the United States sustained high growth rates in the 1990s whereas high saving Japan did not. It also illustrates how the causality between saving and economic activity runs both ways and that discrete changes in national output and income depend on both current and previous accumulation behaviour. The open economy analogue reveals how international capital movements can create external account imbalances that enhance income growth for both borrower and lender economies. (C) 2002 Elsevier Science B.V. All rights reserved.

Integrals for continuous-time Markov chains

This paper presents a method of evaluating the expected value of a path integral for a general Markov chain on a countable state space. We illustrate the method with reference to several models, including birth-death processes and the birth, death and catastrophe process. (C) 2002 Elsevier Science Inc. All rights reserved.

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.

A formal model of real-time program compilation

Program compilation can be formally defined as a sequence of equivalence-preserving transformations, or refinements, from high-level language programs to assembler code, Recent models also incorporate timing properties, but the resulting formalisms are intimidatingly complex. Here we take advantage of a new, simple model of real-time refinement, based on predicate transformer semantics, to present a straightforward compilation formalism that incorporates real-time constraints. (C) 2002 Elsevier Science B.V. All rights reserved.

Probing the time course of nonlinear discriminations during human electrodermal conditioning

Animal-based theories of Pavlovian conditioning propose that patterning discriminations are solved using unique cues or immediate configuring. Recent studies with humans, however, provided evidence that in positive and negative patterning two different rules are utilized. The present experiment was designed to provide further support for this proposal by tracking the time course of the allocation of cognitive resources. One group was trained in a positive patterning; schedule (A-, B-, AB+) and a second in a negative patterning schedule (A+, B+, AB-). Electrodermal responses and secondary task probe reaction time were measured. In negative patterning, reaction times were slower during reinforced stimuli than during non-reinforced stimuli at both probe positions while there were no differences in positive patterning. These results support the assumption that negative patterning is solved using a rule that is more complex and requires more resources than does the rule employed to solve positive patterning. (C) 2001 Elsevier Science (USA).

Efficient time-independent wave packet scattering calculations within a Lanczos subspace: H+O-2 (J=0) state-to-state reaction probabilities

An efficient Lanczos subspace method has been devised for calculating state-to-state reaction probabilities. The method recasts the time-independent wave packet Lippmann-Schwinger equation [Kouri , Chem. Phys. Lett. 203, 166 (1993)] inside a tridiagonal (Lanczos) representation in which action of the causal Green's operator is affected easily with a QR algorithm. The method is designed to yield all state-to-state reaction probabilities from a given reactant-channel wave packet using a single Lanczos subspace; the spectral properties of the tridiagonal Hamiltonian allow calculations to be undertaken at arbitrary energies within the spectral range of the initial wave packet. The method is applied to a H+O-2 system (J=0), and the results indicate the approach is accurate and stable. (C) 2002 American Institute of Physics.

Lanczos subspace time-independent wave packet calculations of S(D-1)+H-2 reactive scattering

In this paper. we present the results of quantum dynamical simulations of the S (D-1) + H-2 insertion reaction on a newly developed potential energy surface (J. Chem. Phys. 2001, 114, 320). State-to-state reaction probabilities. product state distributions, and initial-state resolved cumulative reaction probabilities from a given incoming reactant channel are obtained from a time-independent wave packet analysis, performed within a single Lanczos subspace. Integral reaction cross sections are then estimated by J-shifting method and compared with the results from molecular beam experiment and QCT calculations.

Kinetics of baculovirus replication and release using real-time quantitative polymerase chain reaction

The study of viral-based processes is hampered by (a) their complex, transient nature, (b) the instability of products, and (c) the lack of accurate diagnostic assays. Here, we describe the use of real-time quantitative polymerase chain reaction to characterize baculoviral infection. Baculovirus DNA content doubles every 1.7 h from 6 h post-infection until replication is halted at the onset of budding. No dynamic equilibrium exists between replication and release, and the kinetics are independent of the cell density at the time of infection. No more than 16% of the intracellular virus copies bud from the cell. (C) 2002 John Wiley & Sons, Inc. Biotechnol Bioeng 77: 476-480, 2002; DOI 10.1002/bit.10126.

Longitudinal study of veterinarians from entry to the veterinary course to ten years after graduation: career paths

Objective To map out the career paths of veterinarians during their first 10 years after graduation, and to determine if this could have been predicted at entry to the veterinary course. Design Longitudinal study of students who started their course at The University of Queensland in 1985 and 1986, and who completed questionnaires in their first and fifth year as students, and in their second, sixth and eleventh year as veterinarians. Methods Data from 129 (96%) questionnaires completed during the eleventh year after graduation were coded numerically then analysed, together with data from previous questionnaires, with SAS System 7 for Windows 95. Results Ten years after they graduated, 80% were doing veterinary work, 60% were in private practice, 40% in small animal practice and 18% in mixed practice. The equivalent of 25% of the working time of all females was taken up by family duties. When part-time work was taken into account, veterinary work constituted the equivalent of 66% of the group working full-time. That 66% consisted of 52% on small animals, 7% on horses, 6% on cattle/sheep and 1% on pigs/poultry. Those who had grown up on farms with animals were twice as likely to be working with farm animals as were those from other backgrounds. Forecasts made on entry to the veterinary course were of no value in predicting who would remain in mixed practice. Conclusions Fewer than one-fifth of graduates were in mixed practice after 10 years, but the number was higher for those who grew up on farms with animals. Forecasts that may be made at interview before entry to the course were of little value in predicting the likelihood of remaining in mixed veterinary practice.

Longitudinal study of veterinarians from entry to the veterinary course to 10 years after graduation: attitudes to work, career and profession

Objective To describe the attitudes of veterinarians to their work, career and profession during the 10 years after graduation. Design Longitudinal study of students who started their course at The University of Queensland in 1985 and 1986, and who completed questionnaires in their first and fifth year as students, and after one, five and 10 years as veterinarians. Methods Data from 129 (96%) questionnaires completed after 10 years as a veterinarian were coded numerically then analysed, together with data from previous questionnaires, with SAS System 7 for Windows 95. Results After 10 years, almost all respondents were either very glad they had done the veterinary course (57%) or generally glad, though with some misgivings (37%). Despite this, only 55% would definitely become a veterinarian if they 'had to do it over again'. The responses for about one-third were different from those given five years earlier. The views of many were related to the level of support and encouragement received in their first job after graduation. There were 42% who were working less than half-time as veterinarians, and their main reasons were, in order, raising children, long hours of work, attitudes of bosses and clients, and poor pay. A majority was concerned about the ethics and competence of some colleagues, and almost all believed that consideration of costs must influence the type of treatment animals receive. Conclusions Most veterinarians were glad to have done the veterinary course, but for about one-quarter their career had not lived up to expectations and almost half would not do it again in another incarnation. Stress, hours of work, difficulties in balancing personal life with career and low income were important concerns for many. Low income may contribute to the low number of males entering the veterinary profession.