Simulation relations for systems with distributed interfaces

In this paper we define simulation relations for distributed systems. Taking as starting point our previous work on the distributed testing architecture, we introduce novel simulation relations that can be used to define, given a specification, what a good implementation is. We approach the problem from two different perspectives. First, we consider that different ports of the system cannot share information. Thus, the decision to consider whether a system is correct has to be based only on local observations. We give some examples to show that this relation is very weak and propose a new one where we allow the different ports to partially communicate. Specifically, we do not implement a complex synchronization mechanism but allow entities to combine whole traces to obtain a verdict

Testing from a stochastic timed system with a fault model

In this paper we present a method for testing a system against a non-deterministic stochastic finite state machine. As usual, we assume that the functional behaviour of the system under test (SUT) is deterministic but we allow the timing to be non-deterministic. We extend the state counting method of deriving tests, adapting it to the presence of temporal requirements represented by means of random variables. The notion of conformance is introduced using an implementation relation considering temporal aspects and the limitations imposed by a black-box framework. We propose an algorithm for generating a test suite that determines the conformance of a deterministic SUT with respect to a non-deterministic specification. We show how previous work on testing from stochastic systems can be encoded into the framework presented in this paper as an instantiation of our parameterized implementation relation. In this setting, we use a notion of conformance up to a given confidence level

Extending stream X-machines to specify and test systems with timeouts

Stream X-machines are a kind of extended finite state machine used to specify real systems where communication between the components is modeled by using a shared memory.In this paper we introduce an extension of the Stream X-machines formalism in order to specify delays/timeouts.The time spent by a system waiting for the environment to react has the capability of affecting the set of available outputs of the system. So, a relation focusing on functional aspects must explicitly take into account the possible timeouts.We also propose a formal testing methodology allowing to systematically test a system with respect to a specification. Finally, we introduce a test derivation algorithm. Given a specification, the derived test suite is sound and complete, that is, a system under test successfully passes the test suite if and only if this system conforms to the specification

Holding Dissapearance in RTD-based Quantizers

Multiple-valued Logic (MVL) circuits are one of the most attractive applications of the Monostable-to-Multistable transition Logic (MML), and they are on the basis of advanced circuits for communications. The operation of such quantizer has two steps : sampling and holding. Once the quantizer samples the signal, it must maintain the sampled value even if the input changes. However, holding property is not inherent to MML circuit topologies. This paper analyses the case of an MML ternary inverter used as a quantizer, and determines the relations that circuit representative parameters must verify to avoid this malfunction.Comment: Submitted on behalf of TIMA Editions (http://irevues.inist.fr/tima-editions

Quantum Topological Excitations: from the Sawtooth Lattice to the Heisenberg Chain

The recently elucidated structure of the delafossite YCuO$_{2.5}$ reveals a Cu-O network with nearly independent $\Delta$ chains having different interactions between the $s=1/2$ spins. Motivated by this result, we study the $\Delta$ chain for various ratios $J_{\rm bb}/J_{\rm bv}$ of the base-base and base-vertex interactions. By exact diagonalization and extrapolation, we show that the elementary excitation spectrum, which (within numerical error) is the same for total spins $S_{\rm tot}=0$ and 1, has a gap only in the interval $0.4874(1) \leq J_{\rm bb}/J_{\rm bv} \leq 1.53(1)$. The gap is dispersionless for $J_{\rm bb}/J_{\rm bv}=1$, but has increasing $k$-dependence as $J_{\rm bb}/J_{\rm bv}$ moves away from unity, related to the instability of dimers in the ground state.Comment: 4 pages, 6 figures (revtex twocolumn

Optimal Allocation of Land for Conservation: A General Equilibrium Analysis

This paper was replaced with a revised version on 7/26/10Conservation, General Equilibrium Modeling, Optimal Land Allocation, Conservation Tax, Environmental Economics and Policy, Land Economics/Use, Q57, C68,

Explicit computations of low lying eigenfunctions for the quantum trigonometric Calogero-Sutherland model related to the exceptional algebra E7

In the previous paper math-ph/0507015 we have studied the characters and Clebsch-Gordan series for the exceptional Lie algebra E7 by relating them to the quantum trigonometric Calogero-Sutherland Hamiltonian with coupling constant K=1. Now we extend that approach to the case of general K