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.

Entanglement in the steady state of a collective-angular-momentum (Dicke) model

We model the behavior of an ion trap with all ions driven simultaneously and coupled collectively to a heat bath. The equations for this system are similar to the irreversible dynamics of a collective angular momentum system known as the Dicke model. We show how the steady state of the ion trap as a dissipative many-body system driven far from equilibrium can exhibit quantum entanglement. We calculate the entanglement of this steady state for two ions in the trap and in the case of more than two ions we calculate the entanglement between two ions by tracing over all the other ions. The entanglement in the steady state is a maximum for the parameter values corresponding roughly to a bifurcation of a fixed point in the corresponding semiclassical dynamics. We conjecture that this is a general mechanism for entanglement creation in driven dissipative quantum systems.

How reliably do rheumatologists measure shoulder movement?

Objective: To assess the intrarater and interrater reliability among rheumatologists of a standardised protocol for measurement of shoulder movements using a gravity inclinometer. Methods: After instruction, six rheurnatologists independently assessed eight movements of the shoulder, including total and glenohumeral flexion, total and glenohumeral abduction, external rotation in neutral and in abduction, internal rotation in abduction and hand behind back, in random order in six patients with shoulder pain and stiffness according to a 6x6 Latin square design using a standardised protocol. These assessments were then repeated. Analysis of variance was used to partition total variability into components of variance in order to calculate intraclass correlation coefficients (ICCs). Results: The intrarater and interrater reliability of different shoulder movements varied widely. The movement of hand behind back and total shoulder flexion yielded the highest ICC scores for both intrarater reliability (0.91 and 0.83, respectively) and interrater reliability (0.80 and 0.72, respectively). Low ICC scores were found for the movements of glenohumeral abduction, external rotation in abduction, and internal rotation in abduction (intrarater ICCs 0.35, 0.43, and 0.32, respectively), and external rotation in neutral, external rotation in abduction, and internal rotation in abduction (interrater ICCs 0.29, 0.11, and 0.06, respectively). Conclusions: The measurement of shoulder movements using a standardised protocol by rheumatologists produced variable intrarater and interrater reliability. Reasonable reliability was obtained only for the movement of hand behind back and total shoulder flexion.

Upstream porthole injection in a 2-D scramjet model

Injection from portholes upstream of the combustion chamber was investigated as a method of delivering fuel into a scramjet. This method reduces the viscous drag on a model by allowing a reduction in the length of the combustion chamber. At experimental enthalpies of 3.0 MJ/kg in the T4 shock tunnel, there was no evidence of combustion in the intake, either by shadowgraph or pressure measurements. Combustion was observed in the combustion chamber. A theoretical extension of these results is made to a hot wall scenario.

A comparison of peak power in the shoulder press and shoulder throw

The ability to generate peak power is central for performance in many sports. Currently two distinct resistance training methods are used to develop peak power, the heavy weight/slow velocity and light weight/fast velocity regimes. When using the light weight/fast velocity power training method it was proposed that peak power would be greater in a shoulder throw exercise compared with a normal shoulder press. Nine males performed three lifts in the shoulder press and shoulder throw at 30% and 40% of their one repetition maximum (1RM). These lifts were performed identically, except for the release of the bar in the throw condition. A potentiometer attached to the bar measured displacement and duration of the lifts. The time of bar release in the shoulder throw was determined with a pressure switch. ANOVA was used to examine statistically significant differences where the level of acceptance was set at p

Cisplatin-induced ototoxicity and pharmacokinetics: Preliminary findings in a dog model

The early effects of clinical dose of cisplatin (100 mg/m(2)) on distort ion-product otoacoustic emissions (DPOAE) thresholds and the relationship between DPOAE threshold shifts and changes in plasma concentrations of filterable and total platinum (Pt) following infusion of cisplatin in a dog model were investigated. The DPOAE thresholds (based on input-output function) were measured 2 days before a single high dose of cisplatin administration, and compared with measurements recorded 2 and 4 days after infusion. The results revealed DPOAE thresholds to be elevated by 4 days after the administration of cisplatin. However, this elevation could not be correlated with plasma concentrations of filterable and total Pt, which showed little variation over the 48-hour postinfusion period between animals. The present study demonstrated that DPOAE thresholds have the potential to be used as an indicator of cisplatin-induced ototoxicity, and cisplatin-induced ototoxicity could not be explained by plasma Pt kinetics in individual animals.

Shoulder movement after breast cancer surgery: results of a randomised controlled study of postoperative physiotherapy

Breast screening programmes have facilitated more conservative approaches to the surgical and radiotherapy management of women diagnosed with breast cancer. This study investigated changes in shoulder movement after surgery for primary, operable breast cancer to determine the effect of elective physiotherapy intervention. Sixty-five women were randomly assigned to either the treatment (TG) or control group (CG) and assessments were completed preoperatively, at day 5 and at 1 month, 3, 6, 12 and 24 months postoperatively. The CG only received an exercise instruction booklet in comparison to the TG who received the Physiotherapy Management Care Plan (PMCP). Analyses of variance revealed that abduction returned to preoperative levels more quickly in the TG than in the CG. The TG women had 14degrees more abduction at 3 months and 7degrees at 24 months. Functional recovery at 1 month was greater in those randomised to the TG, with a dominant operated arm (OA) or receiving breast-conserving surgery. However, it was not possible to predict recovery over the 2 years postoperatively on the basis of an individual woman's recovery at 1 month postoperatively. The eventual recovery of abduction or flexion range of movement was not related to the dominance of the OA nor to the surgical procedure performed. The PMCP provided in the early postoperative period is effective in facilitating and maintaining the recovery of shoulder movement over the first 2 years after breast cancer surgery.

Adjustment of homeless adolescents to a crisis shelter: Application of a stress and coping model

The present study examined the utility of a stress and coping model of adaptation to a homeless shelter among homeless adolescents. Seventy-eight homeless adolescents were interviewed and completed self-administered scales at Time 1 (day of shelter entry) and Time 2 (day of discharge). The mean duration of stay at the shelter was 7.23 days (SD = 7.01). Predictors included appraisal (threat and self-efficacy), coping resources, and coping strategies (productive, nonproductive, and reference to others coping). Adjustment outcomes were Time I measures of global distress, physical health, clinician-and youthworker- rated social adjustment, and externalizing behavior and Time 2 youthworker-rated social adjustment and goal achievement. Results of hierarchical regression analyses indicated that after controlling for the effects of relevant background variables (number of other shelters visited, sexual, emotional, and physical abuse), measures of coping resources, appraisal, and coping strategies evidenced distinct relations with measures of adjustment in ways consistent with the model's predictions with few exceptions. In cross-sectional analyses better Time I adjustment was related to reports of higher levels of coping resources, self-efficacy beliefs, and productive coping strategies, and reports of lower levels of threat appraisal and nonproductive coping strategies. Prospective analyses showed a link between reports of higher levels of reference to others coping strategies and greater goal achievement and, unexpectedly, an association between lower self-efficacy beliefs and better Time 2 youthworker-rated social adjustment. Hence, whereas prospective analyses provide only limited support for the use of a stress and coping model in explaining the adjustment of homeless adolescents to a crisis shelter, cross-sectional findings provide stronger support.

An age hardening model for Al-7Si-Mg casting alloys

Yield strength (YS) ageing curves have been modelled for A356 and A357 aluminium casting alloys below the solvus temperature of the main hardening precipitate. Predictions are based on the Shercliff and Ashby methodology (Acta MetaH. Mater. 38 (1990) 1789) for wrought alloys. Differences between strengthening in wrought and cast Al-Si-Mg alloys are considered. A Brinell hardness to YS conversion incorporating strain hardening has been established to enable YS ageing curves to be predicted with reduced experimental effort. (C) 2002 Elsevier Science B.V. All rights reserved.

Mapping Gray's model of personality onto the Eysenck Personality Profiler (EPP)

The aim of this study was to determine how well Gray's model of personality [Gray, J.A. (1982). The neuropsychology of anxiety: an enquiry into the functions of the septo-hippocampal system. Oxfords: Oxford University Press, Gray, J.A. (1987). The psychology of fear and stress. Cambridge: Cambridge University Press], as measured by the Gray Wilson Personality Questionnaire (GWPQ), can provide a full description of personality as measured by the primary scales of the Eysenck Personality Profiler (EPP) and the type scales of the short version or the EPQ-R. Factor analysis of the GWPQ the Anxiety and linpulsivity scales of the EPP and the Learning Styles Questionnaire (LSQ) showed that the GWPQ seemed to measure general activation and inhibition factors, but not the finer features of Gray's theory. When the GWPQ scales were regressed against each scale of the EPP., it was round that they generally provide only a reasonable explanation of the EPP primary scales. It is concluded that the GWPQ measures general propel-ties of Gray's model, that the linpulsivity and Anxiety scales of the EPP also scent related to the GWPQ scales, and that Gray's model of personality provides only a partial explanation of personality in general. (C) 2002 Published by Elsevier Science Ltd. All rights reserved.

Axial mixing in rotating drums using magnetic resonance imaging using bran as a model for solid state fermentations

Magnetic resonance imaging (MRI) is an easily automated, reliable technique to investigate axial mixing within rotating drums. Moist bran can be clearly differentiated from dry bran using MRI allowing a non-segregating tracer for axial mixing. For a 20-cm diameter drum, the axial dispersion coefficient in the particle bed was 0.51 cm s(-2). Axial dispersion is scale-dependent.

A uniform white-noise model for fixed-point roundoff errors in digital systems

Fixed-point roundoff noise in digital implementation of linear systems arises due to overflow, quantization of coefficients and input signals, and arithmetical errors. In uniform white-noise models, the last two types of roundoff errors are regarded as uniformly distributed independent random vectors on cubes of suitable size. For input signal quantization errors, the heuristic model is justified by a quantization theorem, which cannot be directly applied to arithmetical errors due to the complicated input-dependence of errors. The complete uniform white-noise model is shown to be valid in the sense of weak convergence of probabilistic measures as the lattice step tends to zero if the matrices of realization of the system in the state space satisfy certain nonresonance conditions and the finite-dimensional distributions of the input signal are absolutely continuous.

The impact of participation in activities while on vacation on senior's psychological well-being: A path model application

This article extends earlier research regarding the relationships between senior travelers’ participation in activities while on vacation, their overall satisfaction with their travel experiences, and their psychological well-being. A path model was developed to depict the direct and indirect relationships between these variables by using a sample of senior tourists traveling on North American escorted tour itineraries. Whereas the direct effect accounted for 98% of the relationships between the senior tourists’ levels of participation in activities and their psychological well-being, the indirect effect was negligible. The study concluded that senior tourists’activity levels were significantly related to their psychological well-being, but their satisfaction with the tours was not.