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.

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.

Angiotensin AT-1 receptor antagonism: complementary or alternative to ACE inhibition in cardiovascular and renal disease

Both angiotensin-converting enzyme (ACE) inhibitors and AT-1 receptor antagonists reduce the effects of angiotensin II, however they may have different clinical effects. This is because the ACE inhibitors, but not the AT-1 receptor antagonists, increase the levels of substance P, bradykinin and tissue plasminogen activator. The AT-1 receptor antagonists, but not the ACE inhibitors, are capable of inhibiting the effects of angiotensin II produced by enzymes other than ACE. On the basis of the present clinical trial evidence, AT-1 receptor antagonists, rather than the ACE inhibitors, should be used to treat hypertension associated with left ventricular (LV) hypertrophy. Both groups of drugs are useful when hypertension is not complicated by LV hypertrophy, and in diabetes. In the treatment of diabetes with or without hypertension, there is good clinical support for the use of either an ACE inhibitor or an AT-1 receptor antagonist. ACE inhibitors are recommended in the treatment of renal disease that is not associated with diabetes, after myocardial infarction when left ventricular dysfunction is present, and in heart failure. As the incidence of cough is much lower with the AT-1 receptor antagonists, these can be substituted for ACE inhibitors in patients with hypertension or heart failure who have persistent cough. Preliminary studies suggest that combining an AT-1 receptor antagonist with an ACE inhibitor may be more effective than an ACE inhibitor alone in the treatment of hypertension, diabetes with hypertension, renal disease without diabetes and heart failure. However, further trials are required before combination therapy can be recommended in these conditions.

Complementary and layered expression of Ephs and Ephrins in developing mouse inner ear

The distributions of the Eph-class receptors EphA4 and EphB 1, and their ligands ephrin-A2, ephrin-B1, and ephrin-B2, were analysed by immunostaining in the mouse inner ear. Complementary patterns of EphA4 and its potential ligand ephrin-A2 were found, with ephrin-A2 in many of the structures lining the cochlear duct and within the cochlear nerve cells, and EphA4 in the deeper structures underlying the cochlear duct and in the cells lining the nerve pathway. EphB1 and its potential ligands ephrin-B1 and ephrin-B2 showed a segregated layered expression in the lateral wall of the cochlear duct (the external sulcus), which together with EphA4 expressed in the area, form a four-layered structure with an alternating pattern of receptors and ligands in the different layers. This arrangement gives the potential for different bidirectional Eph-mediated interactions between each of the layers. The results suggest that the Eph system in the cochlea may have a role in maintaining cell segregation during phases of cochlear development. (C) 2002 Wiley-Liss, Inc.

The regulation of complementary health: sacrificing integrity?

In response to the increasing use of complementary and alternative medicine (CAM), governments are exploring ways to ensure patients' safety and respond to complaints. One solution is to establish registration boards and procedures based on the model of existing health practitioner Acts. Registration will require defined minimum standards for competence, which will have to be based on scientific evidence. As scientific evidence accumulates, these modalities are likely to lose their identities as alternative and become assimilated into Western medicine.

Addressing the facilities layout design problem through constraint logic programming

One of the most difficult problems that face researchers experimenting with complex systems in real world applications is the Facility Layout Design Problem. It relies with the design and location of production lines, machinery and equipment, inventory storage and shipping facilities. In this work it is intended to address this problem through the use of Constraint Logic Programming (CLP) technology. The use of Genetic Algorithms (GA) as optimisation technique in CLP environment is also an issue addressed. The approach aims the implementation of genetic algorithm operators following the CLP paradigm.

Hybrid fuzzy Monte Carlo and logic programming model for distribution network reconfiguration in the presence of outages

This paper presents a methodology for distribution networks reconfiguration in outage presence in order to choose the reconfiguration that presents the lower power losses. The methodology is based on statistical failure and repair data of the distribution power system components and uses fuzzy-probabilistic modelling for system component outage parameters. Fuzzy membership functions of system component outage parameters are obtained by statistical records. A hybrid method of fuzzy set and Monte Carlo simulation based on the fuzzy-probabilistic models allows catching both randomness and fuzziness of component outage parameters. Once obtained the system states by Monte Carlo simulation, a logical programming algorithm is applied to get all possible reconfigurations for every system state. In order to evaluate the line flows and bus voltages and to identify if there is any overloading, and/or voltage violation a distribution power flow has been applied to select the feasible reconfiguration with lower power losses. To illustrate the application of the proposed methodology to a practical case, the paper includes a case study that considers a real distribution network.

Logic programming and fuzzy Monte Carlo for distribution network reconfiguration

This paper present a methodology to choose the distribution networks reconfiguration that presents the lower power losses. The proposed methodology is based on statistical failure and repair data of the distribution power system components and uses fuzzy-probabilistic modeling for system component outage parameters. The proposed hybrid method using fuzzy sets and Monte Carlo simulation based on the fuzzyprobabilistic models allows catching both randomness and fuzziness of component outage parameters. A logic programming algorithm is applied, once obtained the system states by Monte Carlo Simulation, to get all possible reconfigurations for each system state. To evaluate the line flows and bus voltages and to identify if there is any overloading, and/or voltage violation an AC load flow has been applied to select the feasible reconfiguration with lower power losses. To illustrate the application of the proposed methodology, the paper includes a case study that considers a 115 buses distribution network.