Overcoming non-determinism in testing smart devices: how to build models of device behaviour

Justification of smart instruments has become an important topic in the nuclear industry. In practice, however, the publicly available artefacts are often the only source of information about the device. Therefore, in many cases independent black-box testing may be the only way to increase the confidence in the device. In this paper we provide a set of recommendations, which we consider to be the best practices for performing black-box assessments. We present our method of testing smart instruments, in which we use the publicly available artefacts only. We present a test harness and describe a method of test automation. We focus on the analysis of test results, which is made particularly complex by the inherent non determinism in the testing of analogue devices. In the paper we analyse the sources of non-determinism, which for instance may arise from inaccuracy in an analogue measurement made by the device when two alternative actions are possible. We propose three alternative ideas on how to build models of device behaviour, which can cope with this kind of non-determinism. We compare and contrast these three solutions, and express our recommendations. Finally, we use a case study, in which a black box assessment of two similar smart instruments is performed to illustrate the differences between the solutions

Theoretical aspects of metal-electrolyte interfaces Final report

Skin surface electrode and electrochemical cell characteristics for human bioelectric response determination

Non-Linear Beam Splitter in Bose-Einstein Condensate Interferometers

A beam splitter is an important component of an atomic/optical Mach-Zehnder interferometer. Here we study a Bose Einstein Condensate beam splitter, realized with a double well potential of tunable height. We analyze how the sensitivity of a Mach Zehnder interferometer is degraded by the non-linear particle-particle interaction during the splitting dynamics. We distinguish three regimes, Rabi, Josephson and Fock, and associate to them a different scaling of the phase sensitivity with the total number of particles.Comment: draft, 19 pages, 10 figure

Spectral signatures of the Luttinger liquid to charge-density-wave transition

Electron- and phonon spectral functions of the one-dimensional, spinless-fermion Holstein model at half filling are calculated in the four distinct regimes of the phase diagram, corresponding to an attractive or repulsive Luttinger liquid at weak electron-phonon coupling, and a band- or polaronic insulator at strong coupling. The results obtained by means of kernel polynomial and systematic cluster approaches reveal substantially different physics in these regimes and further indicate that the size of the phonon frequency significantly affects the nature of the quantum Peierls phase transition.Comment: 5 pages, 4 figures; final version, accepted for publication in Physical Review

Sub Shot-Noise Phase Sensitivity with a Bose-Einstein Condensate Mach-Zehnder Interferometer

Bose Einstein Condensates, with their coherence properties, have attracted wide interest for their possible application to ultra precise interferometry and ultra weak force sensors. Since condensates, unlike photons, are interacting, they may permit the realization of specific quantum states needed as input of an interferometer to approach the Heisenberg limit, the supposed lower bound to precision phase measurements. To this end, we study the sensitivity to external weak perturbations of a representative matter-wave Mach-Zehnder interferometer whose input are two Bose-Einstein condensates created by splitting a single condensate in two parts. The interferometric phase sensitivity depends on the specific quantum state created with the two condensates, and, therefore, on the time scale of the splitting process. We identify three different regimes, characterized by a phase sensitivity $\Delta \theta$ scaling with the total number of condensate particles $N$ as i) the standard quantum limit $\Delta \theta \sim 1/N^{1/2}$, ii) the sub shot-noise $\Delta \theta \sim 1/N^{3/4}$ and the iii) the Heisenberg limit $\Delta \theta \sim 1/N$. However, in a realistic dynamical BEC splitting, the 1/N limit requires a long adiabaticity time scale, which is hardly reachable experimentally. On the other hand, the sub shot-noise sensitivity $\Delta \theta \sim 1/N^{3/4}$ can be reached in a realistic experimental setting. We also show that the $1/N^{3/4}$ scaling is a rigorous upper bound in the limit $N \to \infty$, while keeping constant all different parameters of the bosonic Mach-Zehnder interferometer.Comment: 4 figure

Polarized Magnetic Wire Induced by Tunneling Through a Magnetic Impurity

Using the zero mode method we compute the conductance of a wire consisting of a magnetic impurity coupled to two Luttinger liquid leads characterized by the Luttinger exponent $\alpha(\leq 1)$. We find for resonance conditions, in which the Fermi energy of the leads is close to a single particle energy of the impurity, the conductance as a function of temperature is $G \sim \frac{e^2}{h} (T/T_F)^{2(\alpha-2)}$, whereas for off-resonance conditions the conductance is $G \sim \frac{e^2}{h} (T/T_F)^{2(\alpha-1)}$. By applying a gate voltage and/or a magnetic field, one of the spin components can be in resonance while the other is off-resonance causing a strong asymmetry between the spin-up and spin-down conductances.Comment: 8 pages, submitted to PR

Systematic Inclusion of High-Order Multi-Spin Correlations for the Spin-121\over2 XXZXXZ Models

We apply the microscopic coupled-cluster method (CCM) to the spin-$1\over2$ $XXZ$ models on both the one-dimensional chain and the two-dimensional square lattice. Based on a systematic approximation scheme of the CCM developed by us previously, we carry out high-order {\it ab initio} calculations using computer-algebraic techniques. The ground-state properties of the models are obtained with high accuracy as functions of the anisotropy parameter. Furthermore, our CCM analysis enables us to study their quantum critical behavior in a systematic and unbiased manner.Comment: (to appear in PRL). 4 pages, ReVTeX, two figures available upon request. UMIST Preprint MA-000-000