Inputs and outputs in CSP : a model and a testing theory

This article addresses refinement and testing based on CSP models, when we distinguish input and output events. In a testing experiment, the tester (or the environment) controls the inputs, and the system under test controls the outputs. The standard models and refinement relations of CSP, however, do not differentiate inputs and outputs and are not, therefore, entirely suitable for testing. Here, we consider an alphabet of events partitioned into inputs and outputs, and we present a novel refusal-testing model for CSP with a notion of input-output refusal-traces refinement. We compare that with the ioco relation often used in testing, and we find that it is more widely applicable and stronger. This means that mistakes found using traditional ioco testing do indicate mistakes in the development. Finally, we provide a CSP testing theory that takes into account inputs and outputs. With our theory, it becomes feasible to develop techniques and tools for automatic generation of realistic and sound tests from CSP models. Our work reconciles the normally disparate areas of refinement and (formal) testing by identifying how ioco testing can be used to inform refinement-based results and vice-versa

Conformance relations for distributed testing based on CSP

Copyright @ 2011 Springer Berlin HeidelbergCSP is a well established process algebra that provides comprehensive theoretical and practical support for refinement-based design and verification of systems. Recently, a testing theory for CSP has also been presented. In this paper, we explore the problem of testing from a CSP specification when observations are made by a set of distributed testers. We build on previous work on input-output transition systems, but the use of CSP leads to significant differences, since some of its conformance (refinement) relations consider failures as well as traces. In addition, we allow events to be observed by more than one tester. We show how the CSP notions of refinement can be adapted to distributed testing. We consider two contexts: when the testers are entirely independent and when they can cooperate. Finally, we give some preliminary results on test-case generation and the use of coordination messages. © 2011 IFIP International Federation for Information Processing

The Dirichlet Casimir effect for ϕ4\phi^4 theory in (3+1) dimensions: A new renormalization approach

We calculate the next to the leading order Casimir effect for a real scalar field, within $\phi^4$ theory, confined between two parallel plates in three spatial dimensions with the Dirichlet boundary condition. In this paper we introduce a systematic perturbation expansion in which the counterterms automatically turn out to be consistent with the boundary conditions. This will inevitably lead to nontrivial position dependence for physical quantities, as a manifestation of the breaking of the translational invariance. This is in contrast to the usual usage of the counterterms in problems with nontrivial boundary conditions, which are either completely derived from the free cases or at most supplemented with the addition of counterterms only at the boundaries. Our results for the massive and massless cases are different from those reported elsewhere. Secondly, and probably less importantly, we use a supplementary renormalization procedure, which makes the usage of any analytic continuation techniques unnecessary.Comment: JHEP3 format,20 pages, 2 figures, to appear in JHE

Free initial wave packets and the long-time behavior of the survival and nonescape probabilities

The behavior of both the survival S(t) and nonescape P(t) probabilities at long times for the one-dimensional free particle system is shown to be closely connected to that of the initial wave packet at small momentum. We prove that both S(t) and P(t) asymptotically exhibit the same power-law decrease at long times, when the initial wave packet in momentum representation behaves as O(1) or O(k) at small momentum. On the other hand, if the integer m becomes greater than 1, S(t) and P(t) decrease in different power-laws at long times.Comment: 4 pages, 3 figures, Title and organization changed, however the results not changed, To appear in Phys. Rev.

Radiative corrections to the Casimir effect for the massive scalar field

We compute the $O(\lambda)$ correction to the Casimir energy for the massive $\lambda\phi^4$ model confined between a pair of parallel plates. The calculations are made with Dirichlet and Neumann boundary conditions. The correction is shown to be sensitive to the boundary conditions, except in the zero mass limit, in which case our results agree with those found in the literature.Comment: 6 pages. Work presented at the XXIII Brazilian National Meeting on Particles and Fields (Aguas de Lindoia, Brazil, 15-19 Oct 2002). Also available at http://www.sbf1.if.usp.br/eventos/enfpc/xxiii/procs/RES142.pd

Ultrasonic time of flight estimation for wind speed measurement based on time-frequency domain using STFT

Peer Reviewe

Fermionic Casimir effect with helix boundary condition

In this paper, we consider the fermionic Casimir effect under a new type of space-time topology using the concept of quotient topology. The relation between the new topology and that in Ref. \cite{Feng,Zhai3} is something like that between a M\"obius strip and a cylindric. We obtain the exact results of the Casimir energy and force for the massless and massive Dirac fields in the ($D+1$)-dimensional space-time. For both massless and massive cases, there is a $Z_2$ symmetry for the Casimir energy. To see the effect of the mass, we compare the result with that of the massless one and we found that the Casimir force approaches the result of the force in the massless case when the mass tends to zero and vanishes when the mass tends to infinity.Comment: 7 pages, 4 figures, published in Eur. Phys. J.

Long-range quantum discord in critical spin systems

We show that quantum correlations as quantified by quantum discord can characterize quantum phase transitions by exhibiting nontrivial long-range decay as a function of distance in spin systems. This is rather different from the behavior of pairwise entanglement, which is typically short-ranged even in critical systems. In particular, we find a clear change in the decay rate of quantum discord as the system crosses a quantum critical point. We illustrate this phenomenon for first-order, second-order, and infinite-order quantum phase transitions, indicating that pairwise quantum discord is an appealing quantum correlation function for condensed matter systems

Finite temperature Casimir effect in piston geometry and its classical limit

We consider the Casimir force acting on a $d$-dimensional rectangular piston due to massless scalar field with periodic, Dirichlet and Neumann boundary conditions and electromagnetic field with perfect electric conductor and perfect magnetic conductor boundary conditions. It is verified analytically that at any temperature, the Casimir force acting on the piston is always an attractive force pulling the piston towards the interior region, and the magnitude of the force gets larger as the separation $a$ gets smaller. Explicit exact expressions for the Casimir force for small and large plate separations and for low and high temperatures are computed. The limits of the Casimir force acting on the piston when some pairs of transversal plates are large are also derived. An interesting result regarding the influence of temperature is that in contrast to the conventional result that the leading term of the Casimir force acting on a wall of a rectangular cavity at high temperature is the Stefan--Boltzmann (or black body radiation) term which is of order $T^{d+1}$, it is found that the contributions of this term from the interior and exterior regions cancel with each other in the case of piston. The high temperature leading order term of the Casimir force acting on the piston is of order $T$, which shows that the Casimir force has a nontrivial classical $\hbar\to 0$ limit

Thermal Casimir effect in ideal metal rectangular boxes

The thermal Casimir effect in ideal metal rectangular boxes is considered using the method of zeta functional regularization. The renormalization procedure is suggested which provides the finite expression for the Casimir free energy in any restricted quantization volume. This expression satisfies the classical limit at high temperature and leads to zero thermal Casimir force for systems with infinite characteristic dimensions. In the case of two parallel ideal metal planes the results, as derived previously using thermal quantum field theory in Matsubara formulation and other methods, are reproduced starting from the obtained expression. It is shown that for rectangular boxes the temperature-dependent contribution to the electromagnetic Casimir force can be both positive and negative depending on side lengths. The numerical computations of the scalar and electromagnetic Casimir free energy and force are performed for cubesComment: 10 pages, 4 figures, to appear in Europ. Phys. J.