Formal Verification of a Gain Scheduling Control Scheme

Gain scheduling is a commonly used closed-loop control approach for safety critical non-linear systems, such as commercial gas turbine engines. It is preferred over more advanced control strategies due to a known route to certification. Nonetheless, the stability of the system is hard to prove analytically, and consequently, safety and airworthiness is achieved by burdensome extensive testing. Model checking can aid in bringing down development costs of such a control system and simultaneously improve safety by providing guarantees on properties of embedded control systems. Due to model-checking exhaustive verification capabilities, it has long been recognised that coverage and error-detection rate can be increased compared to traditional testing methods. However, the statespace explosion is still a major computational limitation when applying model-checking to verify dynamic system behaviour. A practical methodology to incrementally design and formally verify control system requirements for a gain scheduling scheme is demonstrated in this paper, overcoming the computational constraints traditionally imposed by model checking. In this manner, the gain-scheduled controller can be efficiently and safely generated with the aid of the model checker

Structure and properties of a novel fulleride Sm6C60

A novel fulleride Sm6C60 has been synthesized using high temperature solid state reaction. The Rietveld refinement on high resolution synchrotron X-ray powder diffraction data shows that Sm6C60 is isostructural with body-centered cubic A6C60 (A=K, Ba). Raman spectrum of Sm6C60 is similar to that of Ba6C60, and the frequencies of two Ag modes in Sm6C60 are nearly the same as that of Ba6C60, suggesting that Sm is divalent and hybridization between C60 molecules and the Sm atom could exist in Sm6C60. Resistivity measurement shows a weak T-linear behavior above 180 K, the transport at low temperature is mainly dominated by granular-metal theory.Comment: 9 pages, 3 figures, submitted to Phys. Rev. B (March 12, 1999

An Apparatus to Control and Monitor the Para-D2 Concentration in a Solid Deuterium, Superthermal Source of Ultra-cold Neutrons

Controlling and measuring the concentration of para-D2 is an essential step toward realizing solid deuterium as an intense ultra-cold neutron (UCN) source. To this end, we implemented an experimental technique to convert para- to ortho-deuterium molecules by flowing D2 gas through a cryogenic cell filled with paramagnetic hydrous ferric oxide granules. This process efficiently reduced the para-D2 concentration from 33.3% to 1.5%. Rotational Raman spectroscopy was applied to measure the residual para-D2 contamination to better than 2 parts in 10^3, and the hydrogen contamination to 1 part in 10^3. We also contrast our optical technique to conventional thermal conductivity measurements of the para-D2 concentration, reporting some of the relevant strengths and weaknesses of our implementation of each technique.Comment: accepted for publication in NIM

Regularization of point vortices for the Euler equation in dimension two

In this paper, we construct stationary classical solutions of the incompressible Euler equation approximating singular stationary solutions of this equation. This procedure is carried out by constructing solutions to the following elliptic problem [ -\ep^2 \Delta u=(u-q-\frac{\kappa}{2\pi}\ln\frac{1}{\ep})_+^p, \quad & x\in\Omega, u=0, \quad & x\in\partial\Omega, ] where $p>1$, $\Omega\subset\mathbb{R}^2$ is a bounded domain, $q$ is a harmonic function. We showed that if $\Omega$ is simply-connected smooth domain, then for any given non-degenerate critical point of Kirchhoff-Routh function $\mathcal{W}(x_1,...,x_m)$ with the same strength $\kappa>0$, there is a stationary classical solution approximating stationary $m$ points vortex solution of incompressible Euler equations with vorticity $m\kappa$. Existence and asymptotic behavior of single point non-vanishing vortex solutions were studied by D. Smets and J. Van Schaftingen (2010).Comment: 32page

On fitting the Pareto-Levy distribution to stock market index data: selecting a suitable cutoff value

The so-called Pareto-Levy or power-law distribution has been successfully used as a model to describe probabilities associated to extreme variations of worldwide stock markets indexes data and it has the form $Pr(X>x) ~ x**(-alpha) for gamma< x <infinity. The selection of the threshold parameter gamma$ from empirical data and consequently, the determination of the exponent alpha, is often is done by using a simple graphical method based on a log-log scale, where a power-law probability plot shows a straight line with slope equal to the exponent of the power-law distribution. This procedure can be considered subjective, particularly with regard to the choice of the threshold or cutoff parameter gamma. In this work is presented a more objective procedure, based on a statistical measure of discrepancy between the empirical and the Pareto-Levy distribution. The technique is illustrated for data sets from the New York Stock Exchange Index and the Mexican Stock Market Index (IPC).Comment: Econophysics paper. 5 pages 9 figure

The multifrequency Siberian Radioheliograph

The 10-antenna prototype of the multifrequency Siberian radioheliograph is described. The prototype consists of four parts: antennas with broadband front-ends, analog back-ends, digital receivers and a correlator. The prototype antennas are mounted on the outermost stations of the Siberian Solar Radio Telescope (SSRT) array. A signal from each antenna is transmitted to a workroom by an analog fiber optical link, laid in an underground tunnel. After mixing, all signals are digitized and processed by digital receivers before the data are transmitted to the correlator. The digital receivers and the correlator are accessible by the LAN. The frequency range of the prototype is from 4 to 8 GHz. Currently the frequency switching observing mode is used. The prototype data include both circular polarizations at a number of frequencies given by a list. This prototype is the first stage of the multifrequency Siberian radioheliograph development. It is assumed that the radioheliograph will consist of 96 antennas and will occupy stations of the West-East-South subarray of the SSRT. The radioheliograph will be fully constructed in autumn of 2012. We plan to reach the brightness temperature sensitivity about 100 K for the snapshot image, a spatial resolution up to 13 arcseconds at 8 GHz and polarization measurement accuracy about a few percent. First results with the 10-antenna prototype are presented of observations of solar microwave bursts. The prototype abilities to estimate source size and locations at different frequencies are discussed

A Two-Step Quantum Direct Communication Protocol Using Einstein-Podolsky-Rosen Pair Block

A protocol for quantum secure direct communication using blocks of EPR pairs is proposed. A set of ordered $N$ EPR pairs is used as a data block for sending secret message directly. The ordered $N$ EPR set is divided into two particle sequences, a checking sequence and a message-coding sequence. After transmitting the checking sequence, the two parties of communication check eavesdropping by measuring a fraction of particles randomly chosen, with random choice of two sets of measuring bases. After insuring the security of the quantum channel, the sender, Alice encodes the secret message directly on the message-coding sequence and send them to Bob. By combining the checking and message-coding sequences together, Bob is able to read out the encoded messages directly. The scheme is secure because an eavesdropper cannot get both sequences simultaneously. We also discuss issues in a noisy channel.Comment: 8 pages and 2 figures. To appear in Phys Rev

Thinned coprime array for second-order difference co-array generation with reduced mutual coupling

In this work, we present a new coprime array structure termed thinned coprime array (TCA), which exploits the redundancy in the structure of existing coprime array and achieves the same virtual aperture and degrees of freedom (DOFs) as the conventional coprime array with much fewer number of sensors. In comparison to other sparse arrays, thinned coprime arrays possess more unique lags (total number of difference co-arrays) than the nested arrays, while the number of consecutive lags (connected co-arrays) generated is close to 75 percent of the consecutive lags of the nested arrays with hole-free co-arrays. The resulting structure is much sparser and the number of sensor pairs with small separation is significantly reduced. Theoretical properties and proofs are provided and simulations are presented to demonstrate its robustness against heavy levels of mutual coupling using compressive sensing (CS) based direction of arrival (DOA) estimation as well as certain additional desirable characteristics

Driving forces for Ag-induced periodic faceting of vicinal Cu(111)

Adsorption of submonolayer amounts of Ag on vicinal Cu(111) induces periodic faceting. The equilibrium structure is characterized by Ag-covered facets that alternate with clean Cu stripes. In the atomic scale, the driving force is the matching of Ag(111)-like packed rows with Cu(111) terraces underneath. This determines the preference for the facet orientation and the evolution of different phases as a function of coverage. Both Cu and Ag stripe widths can be varied smoothly in the 3-30 nm range by tuning Ag coverage, allowing to test theoretical predictions of elastic theories.Comment: 1 text, 4 figure