Scalable Context-Sensitive Points-To Analysis Using Multi-Dimensional Bloom Filters

Context-sensitive points-to analysis is critical for several program optimizations. However, as the number of contexts grows exponentially, storage requirements for the analysis increase tremendously for large programs, making the analysis non-scalable. We propose a scalable flow-insensitive context-sensitive inclusion-based points-to analysis that uses a specially designed multi-dimensional bloom filter to store the points-to information. Two key observations motivate our proposal: (i) points-to information (between pointer-object and between pointer-pointer) is sparse, and (ii) moving from an exact to an approximate representation of points-to information only leads to reduced precision without affecting correctness of the (may-points-to) analysis. By using an approximate representation a multi-dimensional bloom filter can significantly reduce the memory requirements with a probabilistic bound on loss in precision. Experimental evaluation on SPEC 2000 benchmarks and two large open source programs reveals that with an average storage requirement of 4MB, our approach achieves almost the same precision (98.6%) as the exact implementation. By increasing the average memory to 27MB, it achieves precision upto 99.7% for these benchmarks. Using Mod/Ref analysis as the client, we find that the client analysis is not affected that often even when there is some loss of precision in the points-to representation. We find that the NoModRef percentage is within 2% of the exact analysis while requiring 4MB (maximum 15MB) memory and less than 4 minutes on average for the points-to analysis. Another major advantage of our technique is that it allows to trade off precision for memory usage of the analysis.

Ultrasonic Lamb wave based monitoring of corrosion type of damage in plate using a circular array of piezoelectric transducers

In this paper we propose a concept and report experimental results based on a circular array of Piezoelectric Wafer Active Sensors (PWASs) for rapid localization and parametric identification of corrosion type damage in metallic plates. Implementation of this circular array of PWASs combines the use of ultrasonic Lamb wave propagation technique and an algorithm based on symmetry breaking in the signal pattern to locate and monitor the growth of a corrosion pit on a metallic plate. Wavelet time-frequency maps of the sensor signals are employed to obtain an insight regarding the effect of corrosion growth on the Lamb wave transmission in time-frequency scale. We present here a method to eliminate the time scale, which helps in identifying easily the signature of damage in the measured signals. The proposed method becomes useful in determining the approximate location of the damage with respect to the location of three neighboring sensors in the circular array. A cumulative damage index is computed from the wavelet coefficients for varying damage sizes and the results appear promising. Damage index is plotted against the damage parameters for frequency sweep of the excitation signal (a windowed sine signal). Results of corrosion damage are compared with circular holes of various sizes to demonstrate the applicability of present method to different types of damage. (C) 2011 Elsevier Ltd. All rights reserved.

Efficient Algorithms for Computing All Low s-t Edge Connectivities and Related Problems

Given an undirected unweighted graph G = (V, E) and an integer k ≥ 1, we consider the problem of computing the edge connectivities of all those (s, t) vertex pairs, whose edge connectivity is at most k. We present an algorithm with expected running time Õ(m + nk3) for this problem, where |V| = n and |E| = m. Our output is a weighted tree T whose nodes are the sets V1, V2,..., V l of a partition of V, with the property that the edge connectivity in G between any two vertices s ε Vi and t ε Vj, for i ≠ j, is equal to the weight of the lightest edge on the path between Vi and Vj in T. Also, two vertices s and t belong to the same Vi for any i if and only if they have an edge connectivity greater than k. Currently, the best algorithm for this problem needs to compute all-pairs min-cuts in an O(nk) edge graph; this takes Õ(m + n5/2kmin{k1/2, n1/6}) time. Our algorithm is much faster for small values of k; in fact, it is faster whenever k is o(n5/6). Our algorithm yields the useful corollary that in Õ(m + nc3) time, where c is the size of the global min-cut, we can compute the edge connectivities of all those pairs of vertices whose edge connectivity is at most αc for some constant α. We also present an Õ(m + n) Monte Carlo algorithm for the approximate version of this problem. This algorithm is applicable to weighted graphs as well. Our algorithm, with some modifications, also solves another problem called the minimum T-cut problem. Given T ⊆ V of even cardinality, we present an Õ(m + nk3) algorithm to compute a minimum cut that splits T into two odd cardinality components, where k is the size of this cut.

Rough Core Vector Clustering

Support Vector Clustering has gained reasonable attention from the researchers in exploratory data analysis due to firm theoretical foundation in statistical learning theory. Hard Partitioning of the data set achieved by support vector clustering may not be acceptable in real world scenarios. Rough Support Vector Clustering is an extension of Support Vector Clustering to attain a soft partitioning of the data set. But the Quadratic Programming Problem involved in Rough Support Vector Clustering makes it computationally expensive to handle large datasets. In this paper, we propose Rough Core Vector Clustering algorithm which is a computationally efficient realization of Rough Support Vector Clustering. Here Rough Support Vector Clustering problem is formulated using an approximate Minimum Enclosing Ball problem and is solved using an approximate Minimum Enclosing Ball finding algorithm. Experiments done with several Large Multi class datasets such as Forest cover type, and other Multi class datasets taken from LIBSVM page shows that the proposed strategy is efficient, finds meaningful soft cluster abstractions which provide a superior generalization performance than the SVM classifier.

Faster algorithms for all-pairs small stretch distances in weighted graphs

Abstract. Let G = (V,E) be a weighted undirected graph, with non-negative edge weights. We consider the problem of efficiently computing approximate distances between all pairs of vertices in G. While many efficient algorithms are known for this problem in unweighted graphs, not many results are known for this problem in weighted graphs. Zwick [14] showed that for any fixed ε> 0, stretch 1 1 + ε distances between all pairs of vertices in a weighted directed graph on n vertices can be computed in Õ(n ω) time, where ω < 2.376 is the exponent of matrix multiplication and n is the number of vertices. It is known that finding distances of stretch less than 2 between all pairs of vertices in G is at least as hard as Boolean matrix multiplication of two n×n matrices. It is also known that all-pairs stretch 3 distances can be computed in Õ(n 2) time and all-pairs stretch 7/3 distances can be computed in Õ(n 7/3) time. Here we consider efficient algorithms for the problem of computing all-pairs stretch (2+ε) distances in G, for any 0 < ε < 1. We show that all pairs stretch (2 + ε) distances for any fixed ε> 0 in G can be computed in expected time O(n 9/4 logn). This algorithm uses a fast rectangular matrix multiplication subroutine. We also present a combinatorial algorithm (that is, it does not use fast matrix multiplication) with expected running time O(n 9/4) for computing all-pairs stretch 5/2 distances in G. 1

Localization induced base isolation in fractionally damped non linear system

In the present article we take up the study of nonlinear localization induced base isolation of a 3 degree of freedom system having cubic nonlinearities under sinusoidal base excitation. The damping forces in the system are described by functions of fractional derivative of the instantaneous displacements, typically linear and quadratic damping are considered here separately. Under the assumption of smallness of certain system parameters and nonlinear terms an approximate estimate of the response at each degree of freedom of the system is obtained by the Method of Multiple Scales approach. We then consider a similar system where the nonlinear terms and certain other parameters are no longer small. Direct numerical simulation is made use of to obtain the amplitude plot in the frequency domain for this case, which helps us to establish the efficacy of this method of base isolation for a broad class of systems. Base isolation obtained this way has no counterpart in the linear theory.

Robust Fixed Order Lateral H2 Controller for Micro Air Vehicle

This paper presents a robust fixed order H2controller design using strengthened discrete optimal projection equations, which approximate the first order necessary optimality condition. The novelty of this work is the application of the robust H2controller to a micro aerial vehicle named Sarika2 developed in house. The controller is designed in discrete domain for the lateral dynamics of Sarika2 in the presence of low frequency atmospheric turbulence (gust) and high frequency sensor noise. The design specification includes simultaneous stabilization, disturbance rejection and noise attenuation over the entire flight envelope of the vehicle. The resulting controller performance is comprehensively analyzed by means of simulation

Ultrasound-modulated optical tomography: recovery of amplitude of vibration in the insonified region from boundary measurement of light correlation

We address a certain inverse problem in ultrasound-modulated optical tomography: the recovery of the amplitude of vibration of scatterers [p(r)] in the ultrasound focal volume in a diffusive object from boundary measurement of the modulation depth (M) of the amplitude autocorrelation of light [phi(r, tau)] traversing through it. Since M is dependent on the stiffness of the material, this is the precursor to elasticity imaging. The propagation of phi(r, tau) is described by a diffusion equation from which we have derived a nonlinear perturbation equation connecting p(r) and refractive index modulation [Delta n(r)] in the region of interest to M measured on the boundary. The nonlinear perturbation equation and its approximate linear counterpart are solved for the recovery of p(r). The numerical results reveal regions of different stiffness, proving that the present method recovers p(r) with reasonable quantitative accuracy and spatial resolution. (C) 2011 Optical Society of America

Improved utilisation of an HF transformer in DC–AC application

Power conversion using high frequency (HF) link converters is popular because of compact size and light weight of highfrequency transformer. This study focuses on improved utilisation of HF transformer in DC–AC applications. In practical application, the operating condition of the power converter deviates significantly from the designed considerations. These deviating factors are commutation requirements (dead-time, overlap), mismatch in device drops and presence of the fundamental frequency in load current. As a result, the HF transformer handles some amount of low-frequency components (including DC) other than desired HF components. This causes the operating point in B-H curve to shift away from its normal or idealised position and hence results poor utilisation of the HF transformer and unwanted losses. This study investigates the nature of the problem with experimental determination of approximate lumped parameter modelling and saturation behaviour (B-H curve) of the HF transformer. A simple closed-loop control algorithm with online tuning of the controller parameters is proposed to improve the utilisation of the isolation transformer. The simulation and experimental results are presented.

Effect of shear deformation on interfacial stresses in plated beams subjected to arbitrary loading

Bonding a fibre reinforced polymer (FRP) composite or metallic plate to the soffit of a reinforced concrete (RC), timber or metallic beam can significantly increase its strength and other aspects of structural performance. These hybrid beams are often found to fail due to premature debonding of the plate from the original beam in a brittle manner. This has led to the development of many analytical solutions over the last two decades to quantify the interfacial shear and normal stresses between the adherends. The adherends are subjected to axial, bending and shear deformations. However, most analytical solutions have neglected the influence of shear deformation of the adherends. For the few solutions which consider this effect in an approximate manner, their applicability is limited to one or two specific load cases. This paper presents a general analytical solution for the interfacial stresses in plated beams under an arbitrary loading with the shear deformation of the adherends duly considered. The shear stress distribution is assumed to be parabolic through the depth of the adherends in predicting the interfacial shear stress and Timoshenko's beam theory is adopted in predicting interfacial normal stress to account for the shear deformation. The solution is applicable to a beam of arbitrary prismatic cross-section bonded symmetrically or asymmetrically with a thin or thick plate, both having linear elastic material properties. The effect of shear deformation is illustrated through an example beam. The influence of material and geometric parameters of the adherends and adhesive on the interfacial stress concentrations at the plate end is discussed. (C) 2011 Elsevier Ltd. All rights reserved.

Trapped fermions in a synthetic non-Abelian gauge field

On increasing the coupling strength (lambda) of a non-Abelian gauge field that induces a generalized Rashba spin-orbit interaction, the topology of the Fermi surface of a homogeneous gas of noninteracting fermions of density rho similar to k(F)(3) undergoes a change at a critical value, lambda(T) approximate to k(F) [Phys. Rev. B 84, 014512 ( 2011)]. In this paper we analyze how this phenomenon affects the size and shape of a cloud of spin-1/2 fermions trapped in a harmonic potential such as those used in cold atom experiments. We develop an adiabatic formulation, including the concomitant Pancharatnam-Berry phase effects, for the one-particle states in the presence of a trapping potential and the gauge field, obtaining approximate analytical formulas for the energy levels for some high symmetry gauge field configurations of interest. An analysis based on the local density approximation reveals that, for a given number of particles, the cloud shrinks in a characteristic fashion with increasing.. We explain the physical origins of this effect by a study of the stress tensor of the system. For an isotropic harmonic trap, the local density approximation predicts a spherical cloud even for anisotropic gauge field configurations. We show, via a calculation of the cloud shape using exact eigenstates, that for certain gauge field configurations there is a systematic and observable anisotropy in the cloud shape that increases with increasing gauge coupling lambda. The reasons for this anisotropy are explained using the analytical energy levels obtained via the adiabatic approximation. These results should be useful in the design of cold atom experiments with fermions in non-Abelian gauge fields. An important spin-off of our adiabatic formulation is that it reveals exciting possibilities for the cold-atom realization of interesting condensed matter Hamiltonians by using a non-Abelian gauge field in conjunction with another potential. In particular, we show that the use of a spherical non-Abelian gauge field with a harmonic trapping potential produces a monopole field giving rise to a spherical geometry quantum Hall-like Hamiltonian in the momentum representation.

Stability of control systems with time delay

To find the approximate stability limit on the forward gain in control systems with small time delay, this note suggests approximating the exponential in the characteristic equation by the first few terms of its series and using the Routh–Hurwitz criterion. This approximation avoids all the time-consuming graphical work and gives a somewhat pessimistic maximum bound for the gain constant.

Dynamic properties of sand from dry to fully saturated states

By using bender and extender elements test, the velocities of the primary and shear waves, V(P) and V(s) respectively, were measured for a sandy material by gradually varying the degree of saturation, S(r), between the dry and fully saturated states. The effect on the results of varying the relative density and effective confining pressure was also studied. The measurements clearly reveal that for a certain optimum S(r), which is around 0.7-0.9% for the chosen sand, the value of the shear modulus G reaches a maximum value, whereas the corresponding Poisson's ratio nu attains a minimum value. The values of the shear modulus corresponding to S(r) approximate to 0% and S(r) = 100% tend towards the same value. For values of Skempton's B parameter greater than 0.99, the values of V(P) and nu rise very sharply to those of water. The predictions from Biot's theory with respect to the variation of V(P) with S(r) match well with the measured experimental data.

Two new 1D chains of Ni(2)Na(2) heterometallic double half-cubane building units: Synthesis, structures and variable temperature magnetic study

An equimolar mixture of Ni(NO(3))(2)center dot 6H(2)O and pyridine-2-aldehyde with two equivalents of NaN(3) in methanol in the presence of NaOMe resulted in the formation of light green precipitate which upon crystallization from dimethylformamide (DMF) yielded light green single crystals [{Ni(2)Na(2)(pic)(4)(N(3))(2)(H(2)O)(2)(MeOH)}center dot MeOH center dot 3H(2)O](n) (1) and [{Ni(2)Na(2)(pic)(4)(N(3))(2)(H(2)O)(4)}center dot 2DMF center dot H(2)O](n) (2) (pic = pyridine-2-carboxylate) at room temperature and high temperature (100 degrees C), respectively. Variable temperature magnetic studies revealed the existence of overall ferromagnetic behaviour with J approximate to + 10 cm(-1) and D approximate to -2 to -7 cm(-1) for 1 and 2, respectively. Negative D values as well as variation of D upon slight distortion of structure by varying reaction temperature were observed. The X-band Electron Paramagnetic Resonance (EPR) spectra of both 2 and 3 were recorded below 50 K. The structural distortion was also implicated from the EPR spectra. Density Functional Theory (DFT) calculations on both complexes were performed in two different ways to corroborate the magnetic results. Considering only Ni(2)(II) dimeric unit, results were J = + 20.65 cm(-1) and D = -3.16 cm(-1) for 1, and J = +24.56 cm(-1) and D = -4.67 cm(-1) for 2. However, considering Ni(2)(II)Na(2)(I) cubane as magnetic core the results were J = +16.35 cm(-1) (1), +19.54 cm(-1) (2); D = -3.05 cm(-1) (1), -4.25 cm(-1) (2).

Triclabendazole: An Intriguing Case of Co-existence of Conformational and Tautomeric Polymorphism

The crystal polymorphism of the anthelmintic drug, triclabendazole (TCB), is described. Two anhydrates (Forms I and II), three solvates, and an amorphous form have been previously mentioned. This study reports the crystal structures of Forms I (1) and II (2). These structures illustrate the uncommon phenomenon of tautomeric polymorphism. TCB exists as two tautomers A and B. Form I (Z'=2) is composed of two molecules of tautomer A while Form II (Z'=1) contains a 1:1 mixture of A and B. The polymorphs are also characterized by using other solid-state techniques (differential scanning calorimetry (DSC), thermal gravimetric analysis (TGA), PXRD, FT-IR, and NMR spectroscopy). Form I is the higher melting form (m.p.: 177 degrees C, Delta Hf=approximate to 105 +/- 4 Jg-1) and is the more stable form at room temperature. Form II is the lower melting polymorph (m.p.: 166 degrees C, Delta Hf=approximate to 86 +/- 3 Jg-1) and shows high kinetic stability on storage in comparison to the amorphous form but it transforms readily into Form I in a solution-mediated process. Crystal structure analysis of co-crystals 3-11 further confirms the existence of tautomeric polymorphism in TCB. In 3 and 11, tautomer A is present whereas in 4-10 the TCB molecule exists wholly as tautomer B. The DFT calculations suggest that the optimized tautomers A and B have nearly the same energies. Single point energy calculations reveal that tautomer A (in Form I) exists in two low-energy conformations, whereas in Form II both tautomers A and B exist in an unfavorable high-energy conformation, stabilized by a five-point dimer synthon. The structural and thermodynamic features of 1-11 are discussed in detail. Triclabendazole is an intriguing case in which tautomeric and conformational variations co-exist in the polymorphs.