Specification Based Regression Testing Using Explicit State Space Enumeration

This paper presents a method of partial automation of specification based regression testing, which we call ESSE (Explicit State Space Enumeration). The first step in ESSE method is the extraction of a finite state model of the system making use of an already tested version of the system under test (SUT). Thereafter, the finite state model thus obtained is used to compute good test sequences that can be used to regression test subsequent versions of the system. We present two new algorithms for test sequence computation - both based on our finite state model generated by the above method. We also provide the details and results of the experimental evaluation of ESSE method. Comparison with a practically used random-testing algorithm has shown substantial improvements.

Colossal electroresistance and current induced switching in ferromagnetic insulating state of La0.82Ca0.18MnO3

Colossal electroresistance and current induced resistivity switching have been measured in the ferromagnetic insulating (FMI) state of single crystal manganite La0.82Ca0.18MnO3. The sample has a Curie transition temperature TC = 165 K and the FMI state is realized for temperatures T<100 K. The electroresistance (ER), arising from a strong nonlinear resistivity, attains a large value ( ≈ 100%) in the FMI state. However, this is accompanied by a collapse of the magnetoresistance (MR) to a small value even in magnetic field (H) of 10 T. This demonstrates that the mechanisms that give rise to ER and MR are effectively decoupled.

State of bismuth in BaBiO3 and BaBi1-xPbxO3: Bi 4f photoemission and Bi L3 absorption spectroscopic studies

The 2p 6d feature in the Bi L3 spectra has different energies in the semiconducting (0.0≤x<0.7) and the superconducting (x=0.75) compositions of BaBi1−xPbxO3. The Bi 4f core level spectrum shows distinct features ascribable to Bi III and Bi V in BaBiO3 and in the semiconducting compositions; the width of the 4f peaks is also considerably larger in these compositions compared to that in BaBi0.25Pb0.75O3, which shows a single sharp Bi 4f feature.

Developments in solid-state under-frequency relays

Simpler circuits for frequency-sensitive relays responding to change and rate of change of system frequency have been developed employing phase-locked loops. A new relay responding to time intergral of the fall in system frequency has also been developed and its performance has been compared with those responding to change and rate of change of system frequency. The relays have been tested and calibrated with the help of a specially designed calibration kit.

A note on magnetization of high temperature superconductors (YBCO, BSCCO) in mixed state

We present a critical study of the temperature and field dependence magnetization of high temperature superconductors (HTSCs). The controversial field dependence of dM/dInB for YBa(2)Cu(3)O(7) (YBCO) and Bi(2)Sr(2)CaCu(2)O(8) (BSCCO) is discussed using different models. Moreover, for both the systems the magnetization (M(H)) dependence is compared with field (H) dependence. (C) 2011 Elsevier B.V. All rights reserved.

Towards sustainability: a new, solid-state synthetic route for supported metal nanocatalysts

Noble metal ions like Pt(IV) and Pd(II) were impregnated on gamma-alumina and aerosol 300 silica surfaces. Reduction of these ions using ammonia borane in the solid state resulted in the formation of the respective metal nanoparticles embedded in BNHx polymer which is dispersed on the oxide support. Removal of the BNH polymer was accomplished by washing the samples repeatedly with methanol. In this process the polymer undergoes solvolysis to release H-2 accompanied by the formation of ammonium methoxy borate salt, which has been removed by repeated methanol washings. As a result, metal nanoparticles well dispersed on gamma-alumina and aerosol 300 silica were obtained. These samples have been characterized by a combination of techniques, including electron microscopy, powder X-ray diffraction, NMR spectroscopy and surface area analyser.

Non-linear electrical response of chalcogenide glasses: Memory state phenomena

Investigations on the switching behaviour of arsenic-tellurium glasses with Ge or Al additives, yield interesting information about the dependence of switching on network rigidity, co-ordination of the constituents, glass transition & ambient temperature and glass forming ability.

A Robust Three Phase State Estimation for Distribution Networks

Electric power utilities are installing distribution automation systems (DAS) for better management and control of the distribution networks during the recent past. The success of DAS, largely depends on the availability of reliable database of the control centre and thus requires an efficient state estimation (SE) solution technique. This paper presents an efficient and robust three-phase SE algorithm for application to radial distribution networks. This method exploits the radial nature of the network and uses forward and backward propagation scheme to estimate the line flows, node voltage and loads at each node, based on the measured quantities. The SE cannot be executed without adequate number of measurements. The extension of the method to the network observability analysis and bad data detection is also discussed. The proposed method has been tested to analyze several practical distribution networks of various voltage levels and also having high R:X ratio of lines. The results for a typical network are presented for illustration purposes. © 2000 Elsevier Science S.A. All rights reserved.

Robust Approach for Identification of Bad Data in State Estimation Using SLP Technique

This paper proposes a new approach for solving the state estimation problem. The approach is aimed at producing a robust estimator that rejects bad data, even if they are associated with leverage-point measurements. This is achieved by solving a sequence of Linear Programming (LP) problems. Optimization is carried via a new algorithm which is a combination of “upper bound optimization technique" and “an improved algorithm for discrete linear approximation". In this formulation of the LP problem, in addition to the constraints corresponding to the measurement set, constraints corresponding to bounds of state variables are also involved, which enables the LP problem more efficient in rejecting bad data, even if they are associated with leverage-point measurements. Results of the proposed estimator on IEEE 39-bus system and a 24-bus EHV equivalent system of the southern Indian grid are presented for illustrative purpose.

Algorithmic approach to simulate Hamiltonian dynamics and an NMR simulation of quantum state transfer

We propose an iterative algorithm to simulate the dynamics generated by any n-qubit Hamiltonian. The simulation entails decomposing the unitary time evolution operator U (unitary) into a product of different time-step unitaries. The algorithm product-decomposes U in a chosen operator basis by identifying a certain symmetry of U that is intimately related to the number of gates in the decomposition. We illustrate the algorithm by first obtaining a polynomial decomposition in the Pauli basis of the n-qubit quantum state transfer unitary by Di Franco et al. [Phys. Rev. Lett. 101, 230502 (2008)] that transports quantum information from one end of a spin chain to the other, and then implement it in nuclear magnetic resonance to demonstrate that the decomposition is experimentally viable. We further experimentally test the resilience of the state transfer to static errors in the coupling parameters of the simulated Hamiltonian. This is done by decomposing and simulating the corresponding imperfect unitaries.

Intra-molecular hydrogen bonding with organic fluorine in the solution state: Deriving evidence by a two dimensional NMR experiment

The direct evidence for the existence of intra-molecular C-F center dot center dot center dot H-N hydrogen bond in organofluorine molecules, in the liquid state, is derived using NMR spectroscopy by the detection of long range interactions among fluorine, nitrogen and hydrogen atoms. The present study reports the determination of the relative signs and magnitudes of through space and through bond couplings to draw unambiguous evidence on the existence of weak molecular interactions involving organic fluorine. It is a simple, easy to implement, N-15 natural abundant two dimensional heteronuclear N-15-H-1 double quantum-single quantum correlation experiment. The existence of intra-molecular hydrogen bond is conclusively established in the investigated molecules. (C) 2011 Elsevier B.V. All rights reserved.