Operating space diagrams: a tool for designers of wastewater treatment plants

Recent years have seen the introduction of new and varied designs of activated sludge plants. With increasing needs for higher efficiencies and lower costs, the possibility of a plant that operates more effectively has created the need for tools that can be used to evaluate and compare designs at the design stage. One such tool is the operating space diagram. It is the aim of this paper to present this tool and demonstrate its application and relevance to design using a simple case study. In the case study, use of the operating space diagram suggested changes in design that would improve the flexibility of the process. It also was useful for designing suitable control strategies.

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.