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.

Clinical signs and duration of cyanide toxicosis delivered by the M-44 ejector in wild dogs

Sodium cyanide poison is potentially a more humane method to control wild dogs than sodium fluoroacetate (1080) poison. This study quantified the clinical signs and duration of cyanide toxicosis delivered by the M-44 ejector. The device delivered a nominal 0.88 g of sodium cyanide, which caused the animal to loose the menace reflex in a mean of 43 s, and the animal was assumed to have undergone cerebral hypoxia after the last visible breath. The mean time to cerebral hypoxia was 156 s for a vertical pull and 434 s for a side pull. The difference was possibly because some cyanide may be lost in a side Pull. There were three distinct phases of cyanide toxicosis: the initial phase was characterised by head shaking, panting and salivation; the immobilisation phase by incontinence, ataxia and loss of the righting reflex; and the cerebral hypoxia phase by a tetanic seizure. Clinical signs that were exhibited in more than one phase of cyanide toxicosis included retching, agonal breathing, vocalisation, vomiting, altered levels of ocular reflex, leg paddling, tonic muscular spasms, respiratory distress and muscle fasciculations of the muzzle.

Minimising cold damage during reproductive development among temperate rice genotypes. I. Avoiding low temperature with the use of appropriate sowing time and photoperiod-sensitive varieties

Multiple-sown field trials in 4 consecutive years in the Riverina region of south-eastern Australia provided 24 different combinations of temperature and day length, which enabled the development of crop phenology models. A crop model was developed for 7 cultivars from diverse origins to identify if photoperiod sensitivity is involved in determining phenological development, and if that is advantageous in avoiding low-temperature damage. Cultivars that were mildly photoperiod-sensitive were identified from sowing to flowering and from panicle initiation to flowering. The crop models were run for 47 years of temperature data to quantify the risk of encountering low temperature during the critical young microspore stage for 5 different sowing dates. Cultivars that were mildly photoperiod-sensitive, such as Amaroo, had a reduced likelihood of encountering low temperature for a wider range of sowing dates compared with photoperiod-insensitive cultivars. The benefits of increased photoperiod sensitivity include greater sowing flexibility and reduced water use as growth duration is shortened when sowing is delayed. Determining the optimal sowing date also requires other considerations, e. g. the risk of cold damage at other sensitive stages such as flowering and the response of yield to a delay in flowering under non-limiting conditions. It was concluded that appropriate sowing time and the use of photoperiod-sensitive cultivars can be advantageous in the Riverina region in avoiding low temperature damage during reproductive development.

Onset of sheath extension and duration of lamina extension are major determinants of the response of maize lamina length to plant density

Background and Aims Plants regulate their architecture strongly in response to density, and there is evidence that this involves changes in the duration of leaf extension. This questions the approximation, central in crop models, that development follows a fixed thermal time schedule. The aim of this research is to investigate, using maize as a model, how the kinetics of extension of grass leaves change with density, and to propose directions for inclusion of this regulation in plant models. • Methods Periodic dissection of plants allowed the establishment of the kinetics of lamina and sheath extension for two contrasting sowing densities. The temperature of the growing zone was measured with thermocouples. Two-phase (exponential plus linear) models were fitted to the data, allowing analysis of the timing of the phase changes of extension, and the extension rate of sheaths and blades during both phases. • Key Results The duration of lamina extension dictated the variation in lamina length between treatments. The lower phytomers were longer at high density, with delayed onset of sheath extension allowing more time for the lamina to extend. In the upper phytomers—which were shorter at high density—the laminae had a lower relative extension rate (RER) in the exponential phase and delayed onset of linear extension, and less time available for extension since early sheath extension was not delayed. • Conclusions The relative timing of the onset of fast extension of the lamina with that of sheath development is the main determinant of the response of lamina length to density. Evidence is presented that the contrasting behaviour of lower and upper phytomers is related to differing regulation of sheath ontogeny before and after panicle initiation. A conceptual model is proposed to explain how the observed asynchrony between lamina and sheath development is regulated.

Systematic changes in the duration and precision of interception in response to variation of amplitude and effector size

The results of two experiments are reported that examined how performance in a simple interceptive action (hitting a moving target) was influenced by the speed of the target, the size of the intercepting effector and the distance moved to make the interception. In Experiment 1, target speed and the width of the intercepting manipulandum (bat) were varied. The hypothesis that people make briefer movements, when the temporal accuracy and precision demands of the task are high, predicts that bat width and target speed will divisively interact in their effect on movement time (MT) and that shorter MTs will be associated with a smaller temporal variable error (VE). An alternative hypothesis that people initiate movement when the rate of expansion (ROE) of the target's image reaches a specific, fixed criterion value predicts that bat width will have no effect on MT. The results supported the first hypothesis: a statistically reliable interaction of the predicted form was obtained and the temporal VE was smaller for briefer movements. In Experiment 2, distance to move and target speed were varied. MT increased in direct proportion to distance and there was a divisive interaction between distance and speed; as in Experiment 1, temporal VE was smaller for briefer movements. The pattern of results could not be explained by the strategy of initiating movement at a fixed value of the ROE or at a fixed value of any other perceptual variable potentially available for initiating movement. It is argued that the results support pre-programming of MT with movement initiated when the target's time to arrival at the interception location reaches a criterion value that is matched to the pre-programmed MT. The data supported completely open-loop control when MT was less than between 200 and 240 ms with corrective sub-movements increasingly frequent for movements of longer duration.

Spatially localized distortions of event time

A fundamental question about the perception of time is whether the neural mechanisms underlying temporal judgements are universal and centralized in the brain or modality specific and distributed []. Time perception has traditionally been thought to be entirely dissociated from spatial vision. Here we show that the apparent duration of a dynamic stimulus can be manipulated in a local region of visual space by adapting to oscillatory motion or flicker. This implicates spatially localized temporal mechanisms in duration perception. We do not see concomitant changes in the time of onset or offset of the test patterns, demonstrating a direct local effect on duration perception rather than an indirect effect on the time course of neural processing. The effects of adaptation on duration perception can also be dissociated from motion or flicker perception per se. Although 20 Hz adaptation reduces both the apparent temporal frequency and duration of a 10 Hz test stimulus, 5 Hz adaptation increases apparent temporal frequency but has little effect on duration perception. We conclude that there is a peripheral, spatially localized, essentially visual component involved in sensing the duration of visual events.

Can myocardial contrast echo provide incremental benefit to exercise echo? Implications of the intensity and duration of hyperaemia

Background. Stress myocardial contrast echo (MCE) is technically challenging with exercise (Ex) because of cardiacmovementandshort duration ofhyperemia.Vasodilators solve these limitations, but are less potent for inducing abnormal wall motion (WM). We sought whether a combined dipyridamole (DI; 0.56 mg/kg i.v. 4 min) and Ex stress protocol would enable MCE to provide incremental benefit toWManalysis for detection of CAD. Methods. Standard echo images were followed by real time MCE at rest and following stress in 85 pts, 70 undergoing quantitative coronary angiography and 15 low risk pts.WMAfrom standard and LVopacification images, and then myocardial perfusion were assessed sequentially in a blinded fashion. A subgroup of 13 pts also underwent Ex alone, to assess the contribution of DI to quantitative myocardial flow reserve (MFR). Results. Significant (>50%) stenoses were present in 43 pts, involving 69 territories. Addition of MCE improved SE sensitivity for detection of CAD (91% versus 74%, P = 0.02) and better appreciation of disease extent (87% versus 65%territories, P=0.003), with a non-significant reduction in specificity. In 55 territories subtended by a significant stenosis, but with no resting WM abnormality, ability to identify ischemia was also significantly increased by MCE (82% versus 60%, P = 0.002). MFR was less with Ex alone than with DIEx stress (2.4 ± 1.6 versus 4.0 ± 1.9, P = 0.05), suggesting prolongation of hyperaemia with DI may be essential to the results. Conclusions. Dipyridamole-exercise MCE adds significant incremental benefit to standard SE, with improved diagnostic sensitivity and more accurate estimation of extent of CAD.

Reliability, normative data, and the effect of age-related macular disease on the Eger Macular Stressometer photostress recovery time

Purpose: To assess repeatability and reproducibility, to determine normative data, and to investigate the effect of age-related macular disease, compared with normals, on photostress recovery time measured using the Eger Macular Stressometer (EMS). Method: The study population comprised 49 healthy eyes of 49 participants. Four EMS measurements were taken in two sessions separated by 1 h by two practitioners, with reversal of order in the second session. EMS readings were also taken from 17 age-related maculopathy (ARM), and 12 age-related macular degeneration (AMD), affected eyes. Results: EMS readings are repeatable to within ± 7 s. There is a statistically significant difference between controls and ARM affected eyes (t = 2.169, p = 0.045), and AMD affected eyes (t = 2.817, p = 0.016). The EMS is highly specific, and demonstrates sensitivity of 29% for ARM, and 50% for AMD. Conclusions: The EMS may be a useful screening test for ARM, however, direct illumination of the macula of greater intensity and longer duration may yield less variable results. © 2004 The College of Optometrists.

Transient response in high-resolution Brillouin-based distributed sensing using probe pulses shorter than the acoustic relaxation time

We perform numerical simulations on a model describing a Brillouin-based temperature and strain sensor, testing its response when it is probed with relatively short pulses. Experimental results were recently published [e.g., Opt. Lett. 24, 510 (1999)] that showed a broadening of the Brillouin loss curve when the probe pulse duration is reduced, followed by a sudden and rather surprising reduction of the linewidth when the pulse duration gets shorter than the acoustic relaxation time. Our study reveals the processes responsible for this behavior. We give a clear physical insight into the problem, allowing us to define the best experimental conditions required for one to take the advantage of this effect.

Common variance in amplitude envelope perception tasks and their impact on phoneme duration perception and reading and spelling in Finnish children with reading disabilities

Our goal was to investigate auditory and speech perception abilities of children with and without reading disability (RD) and associations between auditory, speech perception, reading, and spelling skills. Participants were 9-year-old, Finnish-speaking children with RD (N = 30) and typically reading children (N = 30). Results showed significant group differences between the groups in phoneme duration discrimination but not in perception of amplitude modulation and rise time. Correlations among rise time discrimination, phoneme duration, and spelling accuracy were found for children with RD. Those children with poor rise time discrimination were also poor in phoneme duration discrimination and in spelling. Results suggest that auditory processing abilities could, at least in some children, affect speech perception skills, which in turn would lead to phonological processing deficits and dyslexia.

Transient response in high-resolution Brillouin-based distributed sensing using probe pulses shorter than the acoustic relaxation time

We perform numerical simulations on a model describing a Brillouin-based temperature and strain sensor, testing its response when it is probed with relatively short pulses. Experimental results were recently published [e.g., Opt. Lett. 24, 510 (1999)] that showed a broadening of the Brillouin loss curve when the probe pulse duration is reduced, followed by a sudden and rather surprising reduction of the linewidth when the pulse duration gets shorter than the acoustic relaxation time. Our study reveals the processes responsible for this behavior. We give a clear physical insight into the problem, allowing us to define the best experimental conditions required for one to take the advantage of this effect.

The time course of changes in retinal vessel diameter in response to differing durations of flicker light provocation

Purpose: To determine the response of retinal vessels to differing durations of flicker light (FL) sitmulation. Methods: We recorded retinal arterial and venous vessel dilation to 12.5 Hz flicker light provocation (Retinal Vessel Analyzer, Imedos Systems) of varying duration (5, 7, 10 and 20 seconds) in twelve healthy young individuals (age range 26-45 yrs). All participants underwent a full ocular examination including intraocular pressure and blood pressure measurements. Results: Maximum dilation (MD) did not show a significant dependence on flicker duration in arteries whereas maximum constriction (MC) did. However, in veins MD significantly increased with flicker duration. Approximately 80-90% of MD in arteries is reached within 10 seconds of flicker light stimulation. Conclusions: The vast majority of arterial dilatory capacity is reached within 10 seconds of flicker light stimulation even though venous dilation continues strongly. Since the MC of arteries shows a significant dependence on flicker duration measurements at two different durations can provide more information about the retinal vascular system than at a single flicker duration alone.

Radio frequency identification and time-driven activity based costing:RFID-TDABC application in warehousing

Purpose: This paper extends the use of Radio Frequency Identification (RFID) data for accounting of warehouse costs and services. Time Driven Activity Based Costing (TDABC) methodology is enhanced with the real-time collected RFID data about duration of warehouse activities. This allows warehouse managers to have accurate and instant calculations of costs. The RFID enhanced TDABC (RFID-TDABC) is proposed as a novel application of the RFID technology. Research Approach: Application of RFID-TDABC in a warehouse is implemented on warehouse processes of a case study company. Implementation covers receiving, put-away, order picking, and despatching. Findings and Originality: RFID technology is commonly used for the identification and tracking items. The use of the RFID generated information with the TDABC can be successfully extended to the area of costing. This RFID-TDABC costing model will benefit warehouse managers with accurate and instant calculations of costs. Research Impact: There are still unexplored benefits to RFID technology in its applications in warehousing and the wider supply chain. A multi-disciplinary research approach led to combining RFID technology and TDABC accounting method in order to propose RFID-TDABC. Combining methods and theories from different fields with RFID, may lead researchers to develop new techniques such as RFID-TDABC presented in this paper. Practical Impact: RFID-TDABC concept will be of value to practitioners by showing how warehouse costs can be accurately measured by using this approach. Providing better understanding of incurred costs may result in a further optimisation of warehousing operations, lowering costs of activities, and thus provide competitive pricing to customers. RFID-TDABC can be applied in a wider supply chain.

Biogenic particle and biomarker flux from a mooring time-series at AWI HAUSGARTEN

Since 2000 long-term measurements of vertical particle flux have been performed with moored sediment traps at the long-term observatory HAUSGARTEN in the eastern Fram Strait (79°N/4°E). The study area, which is seasonally covered with ice, is located in the confluence zone of the northward flowing warm saline Atlantic water with cold, low salinity water masses of Arctic origin. Current projections suggest that this area is particularly vulnerable to global warming. Total matter fluxes and components thereof (carbonate, particulate organic carbon and nitrogen, biogenic silica, biomarkers) revealed a bimodal seasonal pattern showing elevated sedimentation rates during May/June and August/September. Annual total matter flux (dry weight, DW) at ~ 300 m depth varied between 13 and 32 g/m**2/a during 2000 and 2005. Of this total flux 6-13 % was due to CaCO3, 4-21 % to refractory particulate organic carbon (POC), and 3-8 % to biogenic particulate silica (bPSi). The annual flux of all biogenic components together was almost constant during the period studied (8.5-8.8 g/m**2/a), although this varied from 27 to 67 % of the total annual flux. The fraction was lowest in a year characterized by the longest duration of ice coverage (91 and 70 days for the calendar year and summer season, May-September, respectively). Biomarker analyses revealed that organic matter originating from marine sources was present in excess of terrigenious material in the sedimented matter throughout most of the study period. Fluxes of recognizable phyto- and protozooplankton cells amounted up to 60x106 m**2/d. Diatoms and coccolithophorids were the most abundant organisms. Diatoms, mainly pennate species, dominated during the first years of the investigation. A shift in the composition occurred during the last year when numbers of diatoms declined considerably, leading to a dominance of coccolithoporids. This was also reflected in a decrease in the sedimentation of bPSi. The sedimentation of biogenic matter, however, did not differ from the amount observed during the previous years. Among the larger organisms, pteropods at times contributed significantly to both the total matter and CaCO3, fluxes.