Stabilizing the forming process in unipolar resistance switching using an improved compliance current limiter

The high reset current IR in unipolar resistance switching now poses major obstacles to practical applications in memory devices. In particular, the first IR-value after the forming process is so high that the capacitors sometimes do not exhibit reliable unipolar resistance switching. We found that the compliance current Icomp is a critical parameter for reducing IR-values. We therefore introduced an improved, simple, easy to use Icomp-limiter that stabilizes the forming process by drastically decreasing current overflow, in order to precisely control the Icomp- and subsequent IR-values.Comment: 15 pages, 4 figure

Erlang Code Evolution Control

During the software lifecycle, a program can evolve several times for different reasons such as the optimisation of a bottle-neck, the refactoring of an obscure function, etc. These code changes often involve several functions or modules, so it can be difficult to know whether the correct behaviour of the previous releases has been preserved in the new release. Most developers rely on a previously defined test suite to check this behaviour preservation. We propose here an alternative approach to automatically obtain a test suite that specifically focusses on comparing the old and new versions of the code. Our test case generation is directed by a sophisticated combination of several already existing tools such as TypEr, CutEr, and PropEr; and other ideas such as allowing the programmer to chose an expression of interest that must preserve the behaviour, or the recording of the sequences of values to which this expression is evaluated. All the presented work has been implemented in an open-source tool that is publicly available on GitHub.Comment: Pre-proceedings paper presented at the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), Namur, Belgium, 10-12 October 2017 (arXiv:1708.07854

A computationally efficient inorganic atmospheric aerosol phase equilibrium model (UHAERO)

A variety of thermodynamic models have been developed to predict inorganic gas-aerosol equilibrium. To achieve computational efficiency a number of the models rely on a priori specification of the phases present in certain relative humidity regimes. Presented here is a new computational model, named UHAERO, that is both efficient and rigorously computes phase behavior without any a priori specification. The computational implementation is based on minimization of the Gibbs free energy using a primal-dual method, coupled to a Newton iteration. The mathematical details of the solution are given elsewhere. The model also computes deliquescence and crystallization behavior without any a priori specification of the relative humidities of deliquescence or crystallization. Detailed phase diagrams of the sulfate/nitrate/ammonium/water system are presented as a function of relative humidity at 298.15 K over the complete space of composition

Sparse Optical Arbitrary Waveform Measurement by Compressive Sensing

We propose and experimentally demonstrate a compressive sensing scheme based on optical coherent receiver that recovers sparse optical arbitrary signals with an analog bandwidth up to 25GHz. The proposed scheme uses 16x lower sampling rate than the Nyquist theorem and spectral resolution of 24.4MHz

A new inorganic atmospheric aerosol phase equilibrium model (UHAERO)

A variety of thermodynamic models have been developed to predict inorganic gas-aerosol equilibrium. To achieve computational efficiency a number of the models rely on a priori specification of the phases present in certain relative humidity regimes. Presented here is a new computational model, named UHAERO, that is both efficient and rigorously computes phase behavior without any a priori specification. The computational implementation is based on minimization of the Gibbs free energy using a primal-dual method, coupled to a Newton iteration. The mathematical details of the solution are given elsewhere. The model computes deliquescence behavior without any a priori specification of the relative humidities of deliquescence. Also included in the model is a formulation based on classical theory of nucleation kinetics that predicts crystallization behavior. Detailed phase diagrams of the sulfate/nitrate/ammonium/water system are presented as a function of relative humidity at 298.15 K over the complete space of composition

Influence of gravitational field on quantum-nondemolition measurement of atomic momentum in the dispersive Jaynes-Cummings model

We present a theoretical scheme based on su(2) algebra to investigate the influence of homogeneous gravitational field on the quantum nondemolition measurement of atomic momentum in dispersive Jaynes-Cummings model. In the dispersive Jaynes-Cummings model, when detuning is large and the atomic motion is in a propagating light wave, we consider a two-level atom with quantized cavity-field in the presence of a homogeneous gravitational field. We derive an effective Hamiltonian describing the dispersive atom-field interaction in the presence of gravitational field. We can see gravitational influence both on the momentum filter and momentum distribution. Moreover, gravitational field decreases both tooth spacing of momentum and the width of teeth of momentum.Comment: 21 pages, 8 figure