A refinement calculus for logic programs

Existing refinement calculi provide frameworks for the stepwise development of imperative programs from specifications. This paper presents a refinement calculus for deriving logic programs. The calculus contains a wide-spectrum logic programming language, including executable constructs such as sequential conjunction, disjunction, and existential quantification, as well as specification constructs such as general predicates, assumptions and universal quantification. A declarative semantics is defined for this wide-spectrum language based on executions. Executions are partial functions from states to states, where a state is represented as a set of bindings. The semantics is used to define the meaning of programs and specifications, including parameters and recursion. To complete the calculus, a notion of correctness-preserving refinement over programs in the wide-spectrum language is defined and refinement laws for developing programs are introduced. The refinement calculus is illustrated using example derivations and prototype tool support is discussed.

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.

Caractéristiques diphasiques des écoulements sur les coursiers en marches d'escalier

Stepped cascades and spillways have been used for more than 3,500 years. The recent regain of interest for the stepped chute design is associated with the introduction of new construction techniques, the development of new design techniques and newer applications. Stepped chute flows are characterised by significant free-surface aeration that cannot be neglected. Two-phase flow measurements were conducted in a large-size model (h =0.10 m, α = 22o). Experimental observations demonstrate the existence of a transition flow regime for a relatively wide range of flow rates. Detailed air-water flow measurements were conducted for both skimming flows and transition flows. Skimming flows exhibit gradual variations of the air-water flow properties, whereas transition flows are characterised by rapid flow redistributions between adjacent steps.

Universal simulation of Hamiltonian dynamics for quantum systems with finite-dimensional state spaces

What interactions are sufficient to simulate arbitrary quantum dynamics in a composite quantum system? Dodd [Phys. Rev. A 65, 040301(R) (2002)] provided a partial solution to this problem in the form of an efficient algorithm to simulate any desired two-body Hamiltonian evolution using any fixed two-body entangling N-qubit Hamiltonian, and local unitaries. We extend this result to the case where the component systems are qudits, that is, have D dimensions. As a consequence we explain how universal quantum computation can be performed with any fixed two-body entangling N-qudit Hamiltonian, and local unitaries.

Nondeterministic gates for photonic single-rail quantum logic

We discuss techniques for producing, manipulating, and measuring qubits encoded optically as vacuum- and single-photon states. We show that a universal set of nondeterministic gates can be constructed using linear optics and photon counting. We investigate the efficacy of a test gate given realistic detector efficiencies.

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.

Effects of intravenous injection of Clostridium perfringens type D epsilon toxin in calves

In cattle, a neurological lesion similar to that produced in sheep and goats by Clostridium perfringens type D enterotoxaemia has been reported. However, no causal relationship has been established between this disease and the lesion in cattle. The effects of single and multiple intravenous injections of epsilon toxin in three calves aged 6 months were studied. A further calf was inoculated intravenously with saline solution and used as a control. Epsilon toxin invariably produced neurological signs within 2-60 min of the end of the injection process. Clinical signs consisted of loss of consciousness, recumbency, convulsions, paddling, opisthotonus, hyperaesthesia and dyspnoea. Gross changes consisted of severe acute pulmonary oedema, which was particularly marked in the interlobular septa. The histological lesions consisted of intra-alveolar and interstitial oedema of the lung and variable degrees of perivascular proteinaceous oedema in the internal capsule, thalamus and cerebellar white matter. No clinical or post-mortem changes were observed in the control calf. These results show that calves are susceptible to the intravenous injection of epsilon toxin, and that they can show at least some of the histological lesions produced in sheep and goats by this toxin. (C) 2002 Harcourt Publishers Ltd.

Partitioning sets of triples into small planes

We study partitions of the set of all ((v)(3)) triples chosen from a v-set into pairwise disjoint planes with three points per line. Our partitions may contain copies of PG(2, 2) only (Fano partitions) or copies of AG(2, 3) only (affine partitions) or copies of some planes of each type (mixed partitions). We find necessary conditions for Fano or affine partitions to exist. Such partitions are already known in several cases: Fano partitions for v = 8 and affine partitions for v = 9 or 10. We construct such partitions for several sporadic orders, namely, Fano partitions for v = 14, 16, 22, 23, 28, and an affine partition for v = 18. Using these as starter partitions, we prove that Fano partitions exist for v = 7(n) + 1, 13(n) + 1, 27(n) + 1, and affine partitions for v = 8(n) + 1, 9(n) + 1, 17(n) + 1. In particular, both Fano and affine partitions exist for v = 3(6n) + 1. Using properties of 3-wise balanced designs, we extend these results to show that affine partitions also exist for v = 3(2n). Similarly, mixed partitions are shown to exist for v = 8(n), 9(n), 11(n) + 1.

Application of the maximum entropy method to the (2 + 1)D four-fermion model

We investigate spectral functions extracted using the maximum entropy method from correlators measured in lattice simulations of the (2+1)-dimensional four-fermion model. This model is particularly interesting because it has both a chirally broken phase with a rich spectrum of mesonic bound states and a symmetric phase where there are only resonances. In the broken phase we study the elementary fermion, pion, sigma, and massive pseudoscalar meson; our results confirm the Goldstone nature of the π and permit an estimate of the meson binding energy. We have, however, seen no signal of σ→ππ decay as the chiral limit is approached. In the symmetric phase we observe a resonance of nonzero width in qualitative agreement with analytic expectations; in addition the ultraviolet behavior of the spectral functions is consistent with the large nonperturbative anomalous dimension for fermion composite operators expected in this model.

A subset-oriented algorithm for minimizing the number of steps required for synthesis of cyclic-peptide libraries

Libraries of cyclic peptides are being synthesized using combinatorial chemistry for high throughput screening in the drug discovery process. This paper describes the min_syn_steps.cpp program (available at http://www.imb.uq.edu.au/groups/smythe/tran), which after inputting a list of cyclic peptides to be synthesized, removes cyclic redundant sequences and calculates synthetic strategies which minimize the synthetic steps as well as the reagent requirements. The synthetic steps and reagent requirements could be minimized by finding common subsets within the sequences for block synthesis. Since a brute-force approach to search for optimum synthetic strategies is impractically large, a subset-orientated approach is utilized here to limit the size of the search. (C) 2002 Elsevier Science Ltd. All rights reserved.

Cellular responses to Schistosoma japonicum cathepsin D aspartic protease

Lymphocyte proliferation and cytokine production were measured in groups of mice vaccinated (but not subsequently challenge infected) with recombinant forms of Schistosoma japonicum cathepsin D aspartic protease, rSjASP1 (expressed in bacteria; enzymatically inactive) and rSjASP2 (expressed in insect cells; enzymatically active). Both forms of the schistosome enzyme induced significant proliferation of splenocytes recovered from vaccinated mice, and expression of interferon (IFN)-gamma, interleukin (IL)-4 and IL-10 mRNA in these cells was detected using reverse transcriptase-polymerase chain reaction. Secretion of IFN-gamma, IL-4 and IL-10 by splenocytes from vaccinated mice was confirmed and quantified using enzyme-linked immunosorbent assay. IFN-gamma was the most abundant cytokine produced, followed by IL-4 and IL-10 in rank order. These findings indicated that vaccination of mice with the schistosome protease induces a mixed Th1/Th2 cytokine response, which may explain the modest level of protection after challenge infection in cathepsin d-vaccinated mice, reported previously.

Regulation of the mouse Nas1 promoter by vitamin D and thyroid hormone

The renal sodium-sulfate cotransporter, NaSi-1, a protein implicated to control serum sulfate levels, has been shown to be regulated in vivo by 1,25-dihydroxyvitamin D-3 (1,25-(OH)(2)D-3) and tri-iodothyronine (T-3). Recently, we cloned the mouse NaSi-1 gene (Nas1) and in the present study identified a 1,25-(OH)(2)D-3- and T-3-responsive element located within the Nas1 promoter. Mutational analysis of the Nas1 promoter resulted in identification of a direct repeat 6-type vitamin-D-responsive element (DR6 VDRE) at -525 to -508 and an imperfect inverted repeat 0-type T-3-responsive element (IR0 T3RE) at -436 to -425 which conferred 1,25(OH)(2)D-3 and T3 responsiveness, respectively. In summary, we have identified responsive elements that mediate the enhanced transcription of Nas1 by 1,25-(OH)(2)D-3 and T-3, and these mechanisms may provide important clues to the physiological control of sulfate homeostasis.