Formal derivation of finite state machines for class testing

Previous work on generating state machines for the purpose of class testing has not been formally based. There has also been work on deriving state machines from formal specifications for testing non-object-oriented software. We build on this work by presenting a method for deriving a state machine for testing purposes from a formal specification of the class under test. We also show how the resulting state machine can be used as the basis for a test suite developed and executed using an existing framework for class testing. To derive the state machine, we identify the states and possible interactions of the operations of the class under test. The Test Template Framework is used to formally derive the states from the Object-Z specification of the class under test. The transitions of the finite state machine are calculated from the derived states and the class's operations. The formally derived finite state machine is transformed to a ClassBench testgraph, which is used as input to the ClassBench framework to test a C++ implementation of the class. The method is illustrated using a simple bounded queue example.

Derivation of the probability distribution function for the local density of states of a disordered quantum wire via the replica trick and supersymmetry

We consider the statistical properties of the local density of states of a one-dimensional Dirac equation in the presence of various types of disorder with Gaussian white-noise distribution. It is shown how either the replica trick or supersymmetry can be used to calculate exactly all the moments of the local density of states.' Careful attention is paid to how the results change if the local density of states is averaged over atomic length scales. For both the replica trick and supersymmetry the problem is reduced to finding the ground state of a zero-dimensional Hamiltonian which is written solely in terms of a pair of coupled spins which are elements of u(1, 1). This ground state is explicitly found for the particular case of the Dirac equation corresponding to an infinite metallic quantum wire with a single conduction channel. The calculated moments of the local density of states agree with those found previously by Al'tshuler and Prigodin [Sov. Phys. JETP 68 (1989) 198] using a technique based on recursion relations for Feynman diagrams. (C) 2001 Elsevier Science B.V. All rights reserved.

The "ethical anthropic principle" and the religious ethics of Levinas

Why did Levinas choose Isaiah 45:7 ("I make peace and create evil: I the Lord do all that") as a superscription of his essay on evil? This article explores the role of evil in Levinas's religious ethics. The author discusses the structure of evil as revealed phenomenologically and juxtaposes it to the structure of subjectivity found in the writings of Levinas. The idea of the "ethical anthropic principle," modeled upon the cosmic anthropic principle, is then used to link evil to the responsibility of the subject. The link is subsequently extended to God. This is proposed as one way of understanding the meaning of Isaiah 45:7. © 2001 Journal of Religious Ethics, Inc.

Dynamic multi-resolution spatial object derivation for mobile and WWW applications

Online geographic information systems provide the means to extract a subset of desired spatial information from a larger remote repository. Data retrieved representing real-world geographic phenomena are then manipulated to suit the specific needs of an end-user. Often this extraction requires the derivation of representations of objects specific to a particular resolution or scale from a single original stored version. Currently standard spatial data handling techniques cannot support the multi-resolution representation of such features in a database. In this paper a methodology to store and retrieve versions of spatial objects at, different resolutions with respect to scale using standard database primitives and SQL is presented. The technique involves heavy fragmentation of spatial features that allows dynamic simplification into scale-specific object representations customised to the display resolution of the end-user's device. Experimental results comparing the new approach to traditional R-Tree indexing and external object simplification reveal the former performs notably better for mobile and WWW applications where client-side resources are limited and retrieved data loads are kept relatively small.

A new principle for tight junction modulation based on occludin peptides

The aim of this study was to investigate whether peptides from the extracellular loops of the tight junction protein occludin could be used as a new principle for tight junction modulation. Peptides of 4 to 47 amino acids in length and covering the two extracellular loops of the tight junction protein occludin were synthesized, and their effect on the tight junction permeability in Caco-2 cells was investigated using [C-14] mannitol as a paracellular marker. Lipopeptide derivatives of one of the active occludin peptides (OPs), synthesized by adding a lipoamino acid containing 14 carbon atoms (C-14-) to the N terminus of the peptide, were also investigated. Peptides corresponding to the N terminus of the first extracellular loop of occludin increased the permeability of the tight junctions without causing short-term toxicity. However, the peptides had an effect only when added to the basolateral side of the cells, which could be partly explained by degradation by apical peptidases and aggregate formation. By contrast, the lipopeptide C-14-OP90-103, which protects the peptide from degradation and aggregation, displayed a rapid apical effect. The L- and D-diastereomers of C-14-OP90-103 had distinctly different effects. The D-isomer, which releases intact OP90-103 from the lipoamino acid, displayed a rapid and transient increase in tight junction permeability. The L- isomer, which releases OP90-103 more rapidly, gave a more sustained increase in tight junction permeability. In conclusion, C-14-OP90-103 represents a prototype of a new class of tight junction modulators that act on the extracellular domains of tight junction proteins.