Timing analysis of assembler code control-flow paths

Timinganalysis of assembler code is essential to achieve the strongest possible guarantee of correctness for safety-critical, real-time software. Previous work has shown how timingconstrain ts on controlflow paths through high-level language programs can be formalised using the semantics of the statements comprisingthe path. We extend these results to assembler-level code where it becomes possible to not only determine timingconstrain ts, but also to verify them against the known execution times for each instruction. A minimal formal model is developed with both a weakest liberal precondition and a strongest postcondition semantics. However, despite the formalism’s simplicity, it is shown that complex timingb ehaviour associated with instruction pipeliningand iterative code can be modelled accurately.

Programs as paths: An approach to timing constraint analysis

A program can be decomposed into a set of possible execution paths. These can be described in terms of primitives such as assignments, assumptions and coercions, and composition operators such as sequential composition and nondeterministic choice as well as finitely or infinitely iterated sequential composition. Some of these paths cannot possibly be followed (they are dead or infeasible), and they may or may not terminate. Decomposing programs into paths provides a foundation for analyzing properties of programs. Our motivation is timing constraint analysis of real-time programs, but the same techniques can be applied in other areas such as program testing. In general the set of execution paths for a program is infinite. For timing analysis we would like to decompose a program into a finite set of subpaths that covers all possible execution paths, in the sense that we only have to analyze the subpaths in order to determine suitable timing constraints that cover all execution paths.

An unexpected role for visual feedback in vehicle steering control

Some motor tasks can be completed, quite literally, with our eyes shut. Most people can touch their nose without looking or reach for an object after only a brief glance at its location. This distinction leads to one of the defining questions of movement control: is information gleaned prior to starting the movement sufficient to complete the task (open loop), or is feedback about the progress of the movement required (closed loop)? One task that has commanded considerable interest in the literature over the years is that of steering a vehicle, in particular lane-correction and lane-changing tasks. Recent work has suggested that this type of task can proceed in a fundamentally open loop manner [1 and 2], with feedback mainly serving to correct minor, accumulating errors. This paper reevaluates the conclusions of these studies by conducting a new set of experiments in a driving simulator. We demonstrate that, in fact, drivers rely on regular visual feedback, even during the well-practiced steering task of lane changing. Without feedback, drivers fail to initiate the return phase of the maneuver, resulting in systematic errors in final heading. The results provide new insight into the control of vehicle heading, suggesting that drivers employ a simple policy of “turn and see,” with only limited understanding of the relationship between steering angle and vehicle heading.

Canonical Bose gas simulations with stochastic gauges

A technique to simulate the grand canonical ensembles of interacting Bose gases is presented. Results are generated for many temperatures by averaging over energy-weighted stochastic paths, each corresponding to a solution of coupled Gross-Pitaevskii equations with phase noise. The stochastic gauge method used relies on an off-diagonal coherent-state expansion, thus taking into account all quantum correlations. As an example, the second-order spatial correlation function and momentum distribution for an interacting 1D Bose gas are calculated.

Ecosystem dynamics at disturbed and undisturbed sites in North Queensland wet tropical rain forest. III. Nutrient returns to the forest floor through litterfall

The nutrient contents and accessions in litterfall over a period of 3 y are reported for undisturbed areas and at two sites disturbed by selective harvesting in tropical rain forest in North Queensland, Australia. Mean concentrations (mg g(-1) dry weight) of nutrients in litterfall ranged from 10 to 12 for nitrogen; 0.33 to 0.43 for phosphorus; 3.6 to 4.3 for potassium; 6.0 to 10.5 for calcium and 1.7 to 2.6 for magnesium. These concentrations are in the middle to lower part of the spectrum of values recorded for tropical forest. Accessions of nutrients in litterfall (kg ha(-1) y(-1)) ranged from 59 to 64 N; 1.9 to 2.4 P; 20 to 24K; 34 to 63 Ca; and 9 to 16 Mg. These rates, particularly for IN and P, are among the lowest recorded for tropical forests. There were no consistent between-site differences in total nutrient accessions in small litterfall. In terms of the contribution of litterfall to the accessions of nutrients to the forest floor, this suggests that the logged sites have recovered from the effects of selective harvesting within 25 y. Nutrient accessions at each site were distinctly seasonal, with maximum accessions occurring in the late dry season to late in the wet season. Leaf-fall accounted for the largest proportion of nutrient accessions over the study period, although at certain times accessions in both reproductive material and wood were significant. A cyclone which crossed the coast near the study sites resulted in large nutrient accessions over a short period but had little effect on the total annual accession. A comparison with previous studies of litterfall in Australian tropical rainforests indicates that nutrient return in litterfall is directly related to soil fertility.

Synchronization of estrus and fertility in zebu beef heifers treated with three estrus synchronization protocols

The effects on estrus and fertility of 3 estrus synchronization protocols were studied in Brahman beef heifers. In Treatment 1 (PGF protocol; n=234), heifers received 7.5 mg, im prostianol on Day 0 and were inseminated after observed estrus until Day 5. Treatment 2 (10-d NOR protocol; n=220) consisted of norgestomet (NOR; 3 mg, sc implant and 3 mg, im) and estradiol valerate (5 mg, im) treatment on Day -10, NOR implant removal and 400 IU, im PMSG on Day 0, and AI after observed estrus through to Day 5. Treatment 3 (14-d NOR+PGF protocol; n=168) constituted a NOR implant (3 mg, sc) on Day -14, NOR implant removal on Day 0, PGF on Day 16, and AI after observed estrus through to Day 21. All heifers were examined for return to estrus at the next cycle and inseminated after observed estrus. The heifers were then exposed to bulls for at least 21 d. During the period of estrus observation (5 d) after treatment, those heifers treated with the PGF protocol had a lower (P

Concussion in contact sports: Reliable change indices of impairment and recovery

This paper reports a follow-up study to an article on the sensitivity of three tests of speed of information processing to impairment after concussion (Hinton-Bayre, Geffen, BL McFarland, 1997). Group analyses showed that practice effects can obscure the effects of concussion on information processing, thereby making the assessment of functional impairment and recovery after injury unreliable. A Reliable Change Index (RCI) was used to assess individual variations following concussion. It was found that 16 of the 20 concussed professional rugby league players were impaired 1-3 days following injury. It was also demonstrated that 7 players still displayed cognitive deficits at 1-2 weeks, before returning to preseason levels at 3-5 weeks. The RCI permits comparisons between different tests, players, and repeated assessments, thereby providing a quantitative basis for decisions regarding return to play.

Quantifying the influence of intra-aggregate concentration gradients on solute transport

The physical nonequilibrium of solute concentration resulting from preferential now of soil water has often led to models where the soil is partitioned into two regions: preferential flow paths, where solute transport occurs mainly by advection, and the remaining region, where significant solute transport occurs through diffusive exchange with the flow paths. These two-region models commonly ignore concentration gradients within the regions. Our objective was to develop a simple model to assess the influence of concentration gradients on solute transport and to compare model results with experiments conducted on structured materials. The model calculates the distribution of solutes in a single spherical aggregate surrounded by preferential now paths and subjected to alternating boundary conditions representing either an exchange of solutes between the two regions (a wet period) or no exchange but redistribution of solutes within the aggregate (a dry period). The key parameter in the model is the aggregate radius, which defines the diffusive time scales. We conducted intermittent leaching experiments on a column of packed porous spheres and on a large (300 mm long by 216 mm diameter) undisturbed field soil core to test the validity of the model and its application to field soils. Alternating wet and dry periods enhanced leaching by up to 20% for this soil, which was consistent with the model's prediction, given a fitted equivalent aggregate radius of 1.8 cm, If similar results are obtained for other soils, use of alternating wet and dry periods could improve management of solutes, for example in salinity control and in soil remediation.

A test of competing explanations of compensation demanded

We find that prospect theory behavior is significantly more prevalent than utility theory behavior in experiments involving multiple, real items. In the experiments, subjects were endowed with three items and asked the minimum payments they required to be willing to return one, two, or three of them. Our key observation is that prospect theory implies concavity of compensation demanded, whereas utility theory implies convexity. We examine whether the compensation demanded is convex or concave in the number of items returned. (JEL C91).

Transport properties of strongly correlated metals: A dynamical mean-field approach

The temperature dependence of the transport properties of the metallic phase of a frustrated Hubbard model on the hypercubic lattice at half-filling is calculated. Dynamical mean-held theory, which maps the Hubbard model onto a single impurity,Anderson model that is solved self-consistently, and becomes exact in the limit of large dimensionality, is used. As the temperature increases there is a smooth crossover from coherent Fermi liquid excitations at low temperatures to incoherent excitations at high temperatures. This crossover leads to a nonmonotonic temperature dependence for the resistance, thermopower, and Hall coefficient, unlike in conventional metals. The resistance smoothly increases from a quadratic temperature dependence at low temperatures to large values which can exceed the Mott-Ioffe-Regel value ha/e(2) (where a is a lattice constant) associated with mean free paths less than a lattice constant. Further signatures of the thermal destruction of quasiparticle excitations are a peak in the thermopower and the absence of a Drude peak in the optical conductivity. The results presented here are relevant to a wide range of strongly correlated metals, including transition metal oxides, strontium ruthenates, and organic metals.

Returns to farm-level soil conservation on tropical steep slopes: The case of the Eritrean highlands

This study conducts an economic analysis of investment in simple soil conservation technologies in the highlands of Eritrea. The data used in the analysis were obtained from a farm survey and supplemented with data from secondary sources. Risk analysis techniques are used to take account of the uncertainties regarding the relationship between soil erosion and crop yield. The financial analysis reveals negative net present values (NPVs) and internal rates of return (IRRs) below 12 per cent for various slope categories. On the other hand, the economic analysis returns positive NPVs and IRRs of over 20 per cent. The results clearly indicate that in-vestment in soil conservation technology may not be a viable short-term proposition from the farmer's point of view and yet the net social benefits are positive. There is a strong case for government to provide incentives for soil conservation in view of the economic benefits.