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.

Treatment outcome in individuals with chronic pain: is the Pain Stages of Change Questionnaire (PSOCQ) a useful tool? Jenny StrongCorresponding Author Contact Information, E-mail The Corresponding Author, a, Kym Westburya, Glen Smithb, Ian McKenziec and William Ryan

The efficacy of psychological treatments emphasising a self-management approach to chronic pain has been demonstrated by substantial empirical research. Nevertheless, high drop-out and relapse rates and low or unsuccessful engagement in self-management pain rehabilitation programs have prompted the suggestion that people vary in their readiness to adopt a self-management approach to their pain. The Pain Stages of Change Questionnaire (PSOCQ) was developed to assess a patient's readiness to adopt a self-management approach to their chronic pain. Preliminary evidence has supported the PSOCQ's psychometric properties. The current study was designed to further examine the psychometric properties of the PSOCQ, including its reliability, factorial structure and predictive validity. A total of 107 patients with an average age of 36.2 years (SD = 10.63) attending a multi-disciplinary pain management program completed the PSOCQ, the Pain Self-Efficacy Questionnaire (PSEQ) and the West Haven-Yale Multidimensional Pain Inventory (WHYMPI) pre-admission and at discharge from the program. Initial data analysis found inadequate internal consistencies of the precontemplation and action scales of the PSOCQ and a high correlation (r = 0.66, P < 0.01) between the action and maintenance scales. Principal component analysis supported a two-factor structure: 'Contemplation' and 'Engagement'. Subsequent analyses revealed that the PSEQ was a better predictor of treatment outcome than the PSOCQ scales. Discussion centres upon the utility of the PSOCQ in a clinical pain setting in light of the above findings, and a need for further research. (C) 2002 International Association for the Study of Pain. Published by Elsevier Science B.V. All rights reserved.

Investigations into a power-combining structure using a reflect array of dual-feed aperture-coupled microstrip patch antennas

This paper details an investigation of a power combiner that uses a reflect array of dual-feed aperture-coupled microstrip patch antennas and a corporate-fed dual-polarized array as a signal distributing/combining device. In this configuration, elements of the reflect array receive a linearly polarized wave and retransmit it with an orthogonal polarization using variable-length sections of microstrip lines connecting receive and transmit ports. By applying appropriate lengths of these delay lines, the array focuses the transmitted wave onto the feed array. The operation of the combiner is investigated for a small-size circular reflect array for the cases of -3 dB, -6 dB and -10 dB edge illumination by the 2 x 2-element dual-polarized array.

The non-existence of a utility function and the structure of non-representable preference relations

In this paper we investigate the structure of non-representable preference relations. While there is a vast literature on different kinds of preference relations that can be represented by a real-valued utility function, very little is known or understood about preference relations that cannot be represented by a real-valued utility function. There has been no systematic analysis of the non-representation problem. In this paper we give a complete description of non-representable preference relations which are total preorders or chains. We introduce and study the properties of four classes of non-representable chains: long chains, planar chains, Aronszajn-like chains and Souslin chains. In the main theorem of the paper we prove that a chain is non-representable if and only it is a long chain, a planar chain, an Aronszajn-like chain or a Souslin chain. (C) 2002 Published by Elsevier Science B.V.

Sub-structure syntheses and relative stereochemistry in the bistramide (bistratene) series of marine metabolites

The (6R*,9S*,11S*) and (22S*,23R*,27R*,31R*) stereochemistry, respectively, of the tetrahydropyranyl and spiroacetal moieties in bistramide A (1) have been established by stereoselective syntheses and high field NMR comparisons. Routes to the gamma-amino acid moiety are outlined. (C) 2002 Elsevier Science Ltd. All rights reserved.

Crystal structure of yeast acetohydroxyacid synthase: A target for herbicidal inhibitors

Acetohydroxyacid synthase (AHAS; EC 4.1.3.18) catalyzes the first step in branched-chain amino acid biosynthesis. The enzyme requires thiamin diphosphate and FAD for activity, but the latter is unexpected, because the reaction involves no oxidation or reduction. Due to its presence in plants, AHAS is a target for sulfonylurea and imidazolinone herbicides. Here, the crystal structure to 2.6 A resolution of the catalytic subunit of yeast AHAS is reported. The active site is located at the dimer interface and is near the proposed herbicide-binding site. The conformation of FAD and its position in the active site are defined. The structure of AHAS provides a starting point for the rational design of new herbicides. (C) 2002 Elsevier Science Ltd.

Interaction of temperature and vegetative flush maturity influences shoot structure and development of lychee (Litchi chinensis Sonn.)

Potted lychee trees (cv. Tai so) of varying vegetative flush maturity were grown under a range of temperature regimes and monitored for subsequent shoot structure and development. A combination of low temperature (15/17 or 18/13 degreesC day/night) and high vegetative flush maturity was necessary for floral initiation to occur, Exposure to high temperatures (28/23 degreesC) invariably resulted in the production of vegetative shoots, irrespective of flush maturity. Strong floral initiation was marked by the emergence of terminal particles and accompanying axillary particles. A decrea,;e in vegetative flush maturity or increase in temperature (e.g. 23/18 degreesC) resulted in a decrease in axillary shoot formation and the production of several intermediate shoot structures. These included leafy particles, stunted particles, partially emerged buds and non-emergent swollen buds, often produced on the same tree. At 23/18 degreesC, closer synchronisation of initial flush maturity was required for the production of a consistent shoot-type. Trees with synchronised mature flushes (I-2) at 23/18 degreesC resulted in the production of swollen terminal buds. Healthy trees were maintained in this state for at least 11 months. These results indicate that both temperature and flush maturity can influence subsequent shoot structure of lychee. In the absence of either a strong floral temperature (18/13 degreesC) or strong vegetative temperature (28/23 degreesC), slight differences in initial flush maturity have gteater impact on the type of emerging shoot formed. (C) 2002 Elsevier Science B.V. All rights reserved.

Influence of nano-structure on electrolytic properties in CeO2 based system

Doped ceria (CeO2) compounds are fluorite type oxides that show oxygen ionic conductivity higher than yttria stabilized zirconia, in oxidizing atmosphere. In order to improve the conductivity, the effective index was suggested to maximize the oxygen ionic conductivity in doped CeO2 based oxides. In addition, the true microstructure of doped CeO2 was observed at atomic scale for conclusion of conduction mechanism. Doped CeO2 had small domains (10-50 nm) with ordered structure in a grain. It is found that the electrolytic properties strongly depended on the nano-structural feature at atomic scale in doped CeO2 electrolyte.

Dynamic Behavior of the Jahn-Teller distorted Cu(H2O)(6)(2+) ion in Cu2+ doped Cs-2[Zn(H2O)(6)](ZrF6)(2) and the crystal structure of the host lattice

The temperature dependence of the X- and Q-band EPR spectra of Cs-2[Zn(H2O)(6)](ZrF6)(2) containing similar to1% Cu2+ is reported. All three molecular g-values vary with temperature, and their behavior is interpreted using a model in which the potential surface of the Jahn-Teller distorted Cu(H2O)(6)(2+) ion is perturbed by an orthorhombic strain induced by interactions with the surrounding lattice. The strain parameters are significantly smaller than those reported previously for the Cu(H2O)(6)(2+) ion in similar lattices. The temperature dependence of the two higher g-values suggests that in the present compound the lattice interactions change slightly with temperature. The crystal structure of the Cs-2[Zn(H2O)(6)](ZrF6)(2) host is reported, and the geometry of the Zn(H2O)(6)(2+) ion is correlated with lattice strain parameters derived from the EPR spectrum of the guest Cu2+ complex.

The first non-turnover voltammetric response from a molybdenum enzyme: direct electroscopy of dimethylsulfoxide reductase from Rhodobacter capsulatus

The first direct voltammetric response from a molybdenum enzyme under non-turnover conditions is reported. Cyclic voltammetry of dimethylsulfoxide reductase from Rhodobacter capsulatus reveals a reversible Mo-VI/V response at + 161 mV followed by a reversible Mo-V/IV response at -102 mV versus NHE at pH 8. The higher potential couple exhibits a pH dependence consistent with protonation upon reduction to the Mo-V state and we have determined the pK(a) for this semi-reduced species to be 9.0. The lower potential couple is pH independent within the range 5 < pH < 10. The optical spectrum of the Mo chromophore has been investigated with spectroelectrochemistry. At high potential, in its resting state, the enzyme exhibits a spectrum characteristic of the Mo-VI form. This changes significantly following bulk electrolysis (-400 mV versus NHE) at an optically transparent, indium-doped tin oxide working electrode, where a single visible electronic maximum at 632 nm is observed, which is comparable with spectra reported previously for the dithionite-reduced enzyme. This two-electron process is chemically reversible by reoxidizing the enzyme at the electrode in the absence of mediators or promoters. The activity of the enzyme has been established by observation of a catalytic current in the presence of DMSO at pH 8, where a sigmoidal (steady state) voltammogram is seen. Electronic supplementary material to this paper (Fig. S 1) can be obtained by using the Springer Link server located at http://dx.doi.org/10.1007/s00775-002-0374-y.

Spatial structure and habitat variation in a grasshopper hybrid zone

A hybrid zone between the grasshoppers Chorthippus brunneus and C. jacobsi (Orthoptera: Acrididae) in northern Spain has been analyzed for variation in morphology and ecology. These species are readily distinguished by the number of stridulatory pegs on the hind femur. Both sexes are fully winged and inhabit disturbed habitats throughout the study area. We develop a maximum-likelihood approach to fitting a two-dimensional cline to geographical variation in quantitative traits and for estimating associations of population mean with local habitat. This method reveals a cline in peg number approximately 30 km south of the Picos de Europa Mountains that shows substantial deviations in population mean compared with the expectations of simple tension zone models. The inclusion of variation in local vegetation in the model explains a significant proportion of the residual variation in peg number, indicating that habitat-genotype associations contribute to the observed spatial pattern. However, this association is weak, and a number of populations continue to show strong deviations in mean even after habitat is included in the final model. These outliers may be the result of long-distance colonization of sites distant from the cline center or may be due to a patchy pattern of initial contact during postglacial expansion. As well as contrasting with the smooth hybrid zones described for Chorthippus parallelus, this situation also contrasts with the mosaic hybrid zones observed in Gryllus crickets and in parts of the hybrid zone between Bombina toad species, where habitat-genotype associations account for substantial amounts of among-site variation.