Model-checking bisimulation-based information flow properties for infinite state sstems

Bisimulation-based information flow properties were introduced by Focardi and Gorrieri [1] as a way of specifying security properties for transition system models. These properties were shown to be decidable for finite-state systems. In this paper, we study the problem of verifying these properties for some well-known classes of infinite state systems. We show that all the properties are undecidable for each of these classes of systems.

Dynamic state estimation for identifying earthquake support motions in instrumented structures

The problem of identification of multi-component and (or) spatially varying earthquake support motions based on measured responses in instrumented structures is considered. The governing equations of motion are cast in the state space form and a time domain solution to the input identification problem is developed based on the Kalman and particle filtering methods. The method allows for noise in measured responses, imperfections in mathematical model for the structure, and possible nonlinear behavior of the structure. The unknown support motions are treated as hypothetical additional system states and a prior model for these motions are taken to be given in terms of white noise processes. For linear systems, the solution is developed within the Kalman filtering framework while, for nonlinear systems, the Monte Carlo simulation based particle filtering tools are employed. In the latter case, the question of controlling sampling variance based on the idea of Rao-Blackwellization is also explored. Illustrative examples include identification of multi-component and spatially varying support motions in linear/nonlinear structures.

An adaptive modulation scheme for two-user fading MAC with quantized fade state feedback

For transmission over the two-user Gaussian Multiple Access Channel with fading and finite constellation at the inputs, we propose a scheme which uses only quantized knowledge of fade state at users with the feedback overhead being nominal. One of the users rotates its constellation without varying the transmit power to adapt to the existing channel conditions, in order to meet certain pre-determined minimum Euclidean distance requirement in the equivalent constellation at the destination. The optimal modulation scheme has been described for the case when both the users use symmetric M-PSK constellations at the input, where M = 2λ, λ being a positive integer. The strategy has been illustrated by considering examples where both the users use QPSK signal set at the input. It is shown that the proposed scheme has considerable better error performance compared to the conventional non-adaptive scheme, at the cost of a feedback overhead of just [log2 (M2/8 - M/4 + 2)] + 1 bits, for the M-PSK case.

Evolution of ferromagnetism from a frustrated state in LixNi(2-x)O2 (0.67 < x < 0.98)

Two-dimensional triangular-lattice antiferromagnetic systems continue to be an interesting area in condensed matter physics and LiNiO2 is one such among them. Here we present a detailed experimental magnetic study of the quasi-stoichiometric LixNi2-xO2 system (0.67states-namely spin glass, cluster glass, re-entrant spin glass and ferromagnetic. This study deals with the magnetic properties of these four distinct ground states. The spin glass state is evidenced by the frequency-dependent peak shift as well as the time-dependent slow dynamics (magnetic relaxation, magnetic memory effect etc). By tuning the Li deficiency in a controlled manner, an increase in the ordering temperature is observed. Most strikingly, with the Li deficiency the nature of the magnetic ground state is changed from spin glass to ferromagnetic, with two intermediate states-namely cluster glass and re-entrant spin glass. The critical behaviour of the re-entrant spin glass is also studied here. The critical exponents (beta, gamma and delta) are extracted from the modified Arrot plot, Kouvel-Fisher method, and critical isotherm analysis. The critical exponents match with the long-range mean-field model. The values of the critical exponents are confirmed by the Widom scaling law: delta = 1 + gamma beta(-1). Furthermore, the universality class of the scaling relations is verified, where the scaled m and scaled h collapse into two branches. Finally, based on our observations, a phase diagram is constructed.

Experimental evidence for `carbon bonding' in the solid state from charge density analysis

The validity of the newly proposed `carbon bonding', an interaction where a carbon atom acts as an electrophilic site towards a variety of nucleophiles, has been investigated in the solid state. X-ray charge density analysis provides experimental evidence for this hitherto unexplored interaction and unravels its nature and strength.

Friction Stir-Welded Dissimilar Aluminum Alloys: Microstructure, Mechanical Properties, and Physical State

A356 and 6061 aluminum alloys were joined by friction stir welding at constant tool rotational rate with different tool-traversing speeds. Thermomechanical data of welding showed that increment in tool speed reduced the pseudo heat index and temperature at weld nugget (WN). On the other hand, volume of material within extrusion zone, strain rate, and Zenner Hollomon parameter were reduced with decrease in tool speed. Optical microstructure of WN exhibited nearly uniform dispersion of Si-rich particles, fine grain size of 6061 Al alloy, and disappearance of second phase within 6061 Al alloy. With enhancement in welding speed, matrix grain size became finer, yet size of Si-rich particles did not reduce incessantly. Size of Si-rich particles was governed by interaction time between tool and substrate. Mechanical property of WN was evaluated. It has been found that the maximum joint efficiency of 116% with respect to that of 6061 alloy was obtained at an intermediate tool-traversing speed, where matrix grain size was significantly fine and those of Si-rich particles were substantially small.

Effects of initial height on the steady-state persistence probability of linear growth models

The effects of the initial height on the temporal persistence probability of steady-state height fluctuations in up-down symmetric linear models of surface growth are investigated. We study the (1 + 1)-dimensional Family model and the (1 + 1)-and (2 + 1)-dimensional larger curvature (LC) model. Both the Family and LC models have up-down symmetry, so the positive and negative persistence probabilities in the steady state, averaged over all values of the initial height h(0), are equal to each other. However, these two probabilities are not equal if one considers a fixed nonzero value of h(0). Plots of the positive persistence probability for negative initial height versus time exhibit power-law behavior if the magnitude of the initial height is larger than the interface width at saturation. By symmetry, the negative persistence probability for positive initial height also exhibits the same behavior. The persistence exponent that describes this power-law decay decreases as the magnitude of the initial height is increased. The dependence of the persistence probability on the initial height, the system size, and the discrete sampling time is found to exhibit scaling behavior.

Long ranged structural modulation in the pre-morphotropic phase boundary cubic-like state of the lead-free piezoelectric Na1/2Bi1/2TiO3-BaTiO3

The nature of the pre-morphotropic phase boundary (MPB) cubic-like state in the lead-free piezoelectric ceramics (1-x)Na1/2Bi1/2TiO3-(x)BaTiO3 at x similar to 0.06 has been examined in detail by electric field and temperature dependent neutron diffraction, x-ray diffraction, dielectric and ferroelectric characterization. The superlattice reflections in the neutron diffraction patterns cannot be explained with the tetragonal P4bm and the rhombohedral (R3c) phase coexistence model. The cubic like state is rather a result of long ranged modulated complex octahedral tilt. This modulated structure exhibits anomalously large dielectric dispersion. The modulated structure transforms to a MPB state on poling. The field-stabilized MPB state is destroyed and the modulated structure is restored on heating the poled specimen above the Vogel-Fulcher freezing temperature. The results show the predominant role of competing octahedral tilts in determining the nature of structural and polar states in Na1/2Bi1/2TiO3-based ferroelectrics. (C) 2013 AIP Publishing LLC.

Anomalous polarization in the antiferroelectric-ferroelectric phase coexistence state in PbZrO3-Bi(Mg1/2Ti1/2)O-3

The ferroelectric system (1-x)PbZrO3-(x)Bi(Mg1/2Ti1/2)O-3 has been investigated as a function of composition, temperature, and electric field by x-ray powder diffraction, dielectric, and ferroelectric measurements. Within the solubility limit (x similar to 0.25), the system evolves from an orthorhombic-antiferroelectric to rhombohedral-ferroelectric state through a phase coexistence region. The highest polarization was found not for the composition exhibiting a pure ferroelectric state, but for a composition x = 0.15 exhibiting ferroelectric + antiferroelectric phase coexistence close to the rhombohedral phase boundary. Electric poling of the equilibrium two-phase state led to irreversible enhancement in the rhombohedral phase fraction suggesting that the enhanced polarization is related to the enhanced polarizability of the lattice due to first order criticality as in ferroelectric-ferroelectric morphotropic phase boundary systems. (C) 2013 AIP Publishing LLC.

Spectral Migration of Fluorescence in Graphene Oxide Aqueous Dispersions: Evidence for Excited-State Proton Transfer

Aqueous dispersions of graphene oxide (GO) exhibit strong pH-dependent fluorescence in the visible that originates, in part, from the oxygenated functionalities present. Here we examine the spectral migration on nanosecond time-scales of the pH dependent features in the fluorescence spectra. We show, from time-resolved emission spectra (TRES) constructed from the wavelength dependent fluorescence decay curves, that the migration is associated with excited state proton transfer. Both `intramolecular' and `intermolecular' transfer involving the quasi-molecular oxygenated aromatic fragments are observed. As a prerequisite to the time-resolved measurements, we have correlated the changes in the steady state fluorescence spectra with the sequence of dissociation events that occur in GO dispersions at different values of pH.

Solvent-induced changes on the polarity of the triplet excited state of 2-chlorothioxanthone: From time-resolved absorption and resonance Raman spectroscopies

Solvent polarity has been known to influence the triplet state structure and reactivity. Here, we present our experimental and theoretical study on the effect of solvent on the lowest triplet excited state structure of 2-chlorothioxanthone (CTX). Time-resolved absorption (TA) spectroscopy has been employed to understand the triplet state electronic structure; whereas solvent-induced structural changes have been studied using time-resolved resonance Raman (TR3) spectroscopy. Both the DFT and TD-DFT calculations have been performed in the solution phase employing self-consistent reaction field implicit solvation model to support the experimental data. It has been observed that CO stretching frequencies of the excited triplet state are sensitive to the solvent polarity and increase with the increase in the solvent polarity. Both TA and TR3 studies reveal that specific solvent effect (H-bonding) is more pronounced in comparison to the nonspecific solvent effect. (C) 2013 Elsevier B.V. All rights reserved.

Zero-sum risk-sensitive stochastic games on a countable state space

Infinite horizon discounted-cost and ergodic-cost risk-sensitive zero-sum stochastic games for controlled Markov chains with countably many states are analyzed. Upper and lower values for these games are established. The existence of value and saddle-point equilibria in the class of Markov strategies is proved for the discounted-cost game. The existence of value and saddle-point equilibria in the class of stationary strategies is proved under the uniform ergodicity condition for the ergodic-cost game. The value of the ergodic-cost game happens to be the product of the inverse of the risk-sensitivity factor and the logarithm of the common Perron-Frobenius eigenvalue of the associated controlled nonlinear kernels. (C) 2013 Elsevier B.V. All rights reserved.

State estimation of spiralling target using UKF with generalized sinusoidal target acceleration model

Hit-to-kill interception of high velocity spiraling target requires accurate state estimation of relative kinematic parameters describing spiralling motion. In this pa- per, spiraling target motion is captured by representing target acceleration through sinusoidal function in inertial frame. A nine state unscented Kalman filter (UKF) formulation is presented here with three relative positions, three relative velocities, spiraling frequency of target, inverse of ballistic coefficient and maneuvering coef-ficient. A key advantage of the target model presented here is that it is of generic nature and can capture spiraling as well as pure ballistic motions without any change of tuning parameters. Extensive Six-DOF simulation experiments, which includes a modified PN guidance and dynamic inversion based autopilot, show that near Hit-to-Kill performance can be obtained with noisy RF seeker measurements of gimbal angles, gimbal angle rates, range and range rate.