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.

A near-singular, flexure jointed, moment sensitive Stewart platform based fore-torque sensor

A force-torque sensor capable of accurate measurement of the three components of externally applied forces and moments is required for force control in robotic applications involving assembly operations. The goal in this paper is to design a Stewart platform based force torque sensor at a near-singular configuration sensitive to externally applied moments. In such a configuration, we show an enhanced mechanical amplification of leg forces and thereby higher sensitivity for the applied external moments. In other directions, the sensitivity will be that of a normal load sensor determined by the sensitivity of the sensing element and the associated electronic amplification, and all the six components of the force and torque can be sensed. In a sensor application, the friction, backlash and other non-linearities at the passive spherical joints of the Stewart platform will affect the measurements in unpredictable ways. In this sensor, we use flexural hinges at the leg interfaces of the base and platform of the sensor. The design dimensions of the flexure joints in the sensor have been arrived at using FEA. The sensor has been fabricated, assembled and instrumented. It has been calibrated for low level loads and is found to show linearity and marked sensitivity to moments about the three orthogonal X, Y and Z axes. This sensor is compatible for usage as a wrist sensor for a robot under development at ISRO Satellite Centre.

Output-Sensitive Construction of Reeb Graphs

The Reeb graph of a scalar function represents the evolution of the topology of its level sets. This paper describes a near-optimal output-sensitive algorithm for computing the Reeb graph of scalar functions defined over manifolds or non-manifolds in any dimension. Key to the simplicity and efficiency of the algorithm is an alternate definition of the Reeb graph that considers equivalence classes of level sets instead of individual level sets. The algorithm works in two steps. The first step locates all critical points of the function in the domain. Critical points correspond to nodes in the Reeb graph. Arcs connecting the nodes are computed in the second step by a simple search procedure that works on a small subset of the domain that corresponds to a pair of critical points. The paper also describes a scheme for controlled simplification of the Reeb graph and two different graph layout schemes that help in the effective presentation of Reeb graphs for visual analysis of scalar fields. Finally, the Reeb graph is employed in four different applications-surface segmentation, spatially-aware transfer function design, visualization of interval volumes, and interactive exploration of time-varying data.

Measurement of probability-distribution functions sensitive technique for the study of conduction phenomena in liquid dielectrics

The paper outlines a technique for sensitive measurement of conduction phenomena in liquid dielectrics. The special features of this technique are the simplicity of the electrical system, the inexpensive instrumentation and the high accuracy. Detection, separation and analysis of a random function of current that is superimposed on the prebreakdown direct current forms the basis of this investigation. In this case, prebreakdown direct current is the output data of a test cell with large electrodes immersed in a liquid medium subjected to high direct voltages. Measurement of the probability-distribution function of a random fluctuating component of current provides a method that gives insight into the mechanism of conduction in a liquid medium subjected to high voltages and the processes that are responsible for the existence of the fluctuating component of the current.

Preparation of a thermally sensitive ammonium perchlorate

The effect of ultrasound on the thermal decomposition behaviour of ammonium perchlorate (AP) has been investigated. It was observed that significant changes in the thermal behaviour of A-P, followed using differential thermal analysis and thermogravimetry, was observed when AP was subjected to power ultrasound in water saturated with oxygen-nitrogen mixture. The decomposition temperature of AP was found to have been lowered by nearly 25degreesC. A similar thermal sensitization was observed in AP when subjected to sonication in the presence of transition metal oxides. Kinetic parameters were calculated for AP, modified AP and catalyzed AP decomposition using non-isothermal kinetics. The activation energy for the decomposition of the sonicated AP samples were found to be lower than normal AP.

Sampling disturbances of soft sensitive clays

Sampling disturbance is unavoidable and hence the laboratory testing most often is on partially disturbed samples. This paper deals with the development of a simple method to assess degree of sample disturbance from the prediction of yield stress due to cementation and comparison of yield stress in compression of partially disturbed sample with reference to a predicted compression path of the clay devoid of any mechanical disturbance. The method uses simple parameters which are normally determined in routine investigations.

Quasi-static crack tip fields in rate-sensitive FCC single crystals

In this work, the effects of loading rate, material rate sensitivity and constraint level on quasi-static crack tip fields in a FCC single crystal are studied. Finite element simulations are performed within a mode I, plane strain modified boundary layer framework by prescribing the two term (K-T) elastic crack tip field as remote boundary conditions. The material is assumed to obey a rate-dependent crystal plasticity theory. The orientation of the single crystal is chosen so that the crack surface coincides with the crystallographic (010) plane and the crack front lies along 101] direction. Solutions corresponding to different stress intensity rates K., T-stress values and strain rate exponents m are obtained. The results show that the stress levels ahead of the crack tip increase with K. which is accompanied by gradual shrinking of the plastic zone size. However, the nature of the shear band patterns around the crack tip is not affected by the loading rate. Further, it is found that while positive T-stress enhances the opening and hydrostatic stress levels ahead of crack tip, they are considerably reduced with imposition of negative T-stress. Also, negative T-stress promotes formation of shear bands in the forward sector ahead of the crack tip and suppresses them behind the tip.

Sensitive Liquid Chromatography-Tandem Mass Spectrometry Method for the Determination of Olanzapine in Human Urine

A sensitive and selective liquid chromatographic-tandem mass spectrometric (LC-MS-MS) method was developed to determine olanzapine (OLZ) in human urine. After solid-phase extraction with SPE cartridge, the urine sample was analysed on a C-18 column (Symmetry 3.5 mu m, 50 x 4.6 mm i.d) interfaced with a triple quadrupole tandem mass spectrometer. Positive electrospray ionization was employed as the ionization source. The mobile phase consisted of ammonium acetate (pH 7.8)-acetonitrile (10:90, v/v). The method was linear over a concentration range of 1-100 ngml(-1). The lower limit of quantitation was 1 ngml(-1). The intra-day and inter-day relative standard deviation across three validation runs over the entire concentration range was < 11.5 %. The accuracy determined at three concentrations (8.0, 50.0 and 85.0 ngml(-1) OLZ) was within +/- 1.21 % in terms of relative errors.

Pressure-sensitive paint on a truncated cone in hypersonic flow at incidences

The flow over a truncated cone is a classical and fundamental problem for aerodynamic research due to its three-dimensional and complicated characteristics. The flow is made more complex when examining high angles of incidence. Recently these types of flows have drawn more attention for the purposes of drag reduction in supersonic/hypersonic flows. In the present study the flow over a truncated cone at various incidences was experimentally investigated in a Mach 5 flow with a unit Reynolds number of 13.5�10 6m -1. The cone semi-apex angle is 15° and the truncation ratio (truncated length/cone length) is 0.5. The incidence of the model varied from -12° to 12° with 3° intervals relative to the freestream direction. The external flow around the truncated cone was visualised by colour Schlieren photography, while the surface flow pattern was revealed using the oil flow method. The surface pressure distribution was measured using the anodized aluminium pressure-sensitive paint (AA-PSP) technique. Both top and sideviews of the pressure distribution on the model surface were acquired at various incidences. AA-PSP showed high pressure sensitivity and captured the complicated flow structures which correlated well with the colour Schlieren and oil flow visualisation results. © 2012 Elsevier Inc.

Zero-Sum Risk-Sensitive Stochastic Differential Games

We study zero-sum risk-sensitive stochastic differential games on the infinite horizon with discounted and ergodic payoff criteria. Under certain assumptions, we establish the existence of values and saddle-point equilibria. We obtain our results by studying the corresponding Hamilton-Jacobi-Isaacs equations. Finally, we show that the value of the ergodic payoff criterion is a constant multiple of the maximal eigenvalue of the generators of the associated nonlinear semigroups.

Naphthylhydrazone based selective and sensitive chemosensors for Cu2+ and their application in bioimaging

Two new hydroxynaphthyl-hydrazone based fluorogenic chemosensors R-1 and R-2 have been synthesized by Schiff base condensation of Tris(4-formylphenyl)amine with 1-hydroxynaphthalene-2-hydrazide and 1-hydroxynaphthalene-2-carbohydrazone, respectively. They are examined as highly selective and sensitive receptors for Cu2+ ions in aqueous medium. Electronic absorption as well as fluorescence titration studies of receptors R-1 and R-2 with different metal cations in H2O/CH3CN medium showed highly selective and very rapid (< 2 min) binding affinity towards Cu2+ ions even in the presence of other commonly coexisting metal ions such as Na+, K+, Mg2+, Ca2+, Mn2+, Fe2+, Co2+, Ni2+, Zn2+, Cd2+ and Hg2+. Quantification of the fluorescence titration analysis indicated that these newly synthesized receptors (R-1 and R-2) can indicate the presence of Cu2+ ions even at very low concentrations of 598 and 676 ppt, respectively. In addition, the propensity of these receptors as bio-imaging fluorescent probes to detect Cu2+ ions in human cervical HeLa cancer cell lines and their cytotoxicity against HeLa cells have been investigated.

Synthesis, characterization and thermal degradation of dual temperature- and pH-sensitive RAFT-made copolymers of N,N-(dimethylamino)ethyl methacrylate and methyl methacrylate

Poly{(N,N-(dimethylamino)ethyl methacrylate]-co-(methyl methacrylate)} copolymers of various compositions were synthesized by reversible addition-fragmentation chain transfer (RAFT) polymerization at 70 degrees C in N,N-dimethylformamide. The polymer molecular weights and molecular weight distributions were obtained from size exclusion chromatography, and they indicated the controlled nature of the RAFT polymerizations; the polydispersity indices are in the range 1.11.3. The reactivity ratios of N,N-(dimethylamino)ethyl methacrylate (DMAEMA) and methyl methacrylate (MMA) (rDMAEMA = 0.925 and rMMA = 0.854) were computed by the extended KelenTudos method at high conversions, using compositions obtained from 1H NMR. The pH- and temperature-sensitive behaviour were studied in aqueous solution to confirm dual responsiveness of these copolymers. The thermal properties of the copolymers with various compositions were investigated by differential scanning calorimetry and thermogravimetric analysis. The kinetics of thermal degradation were determined by Friedmann and Chang techniques to evaluate various parameters such as the activation energy, the order and the frequency factor. (c) 2012 Society of Chemical Industry

Antimony-resistant but not antimony-sensitive Leishmania donovani up-regulates host IL-10 to overexpress multidrug-resistant protein 1

The molecular mechanism of antimony-resistant Leishmania donovani ((SbLD)-L-R)-driven up-regulation of IL-10 and multidrug-resistant protein 1 (MDR1) in infected macrophages (M phi s) has been investigated. This study showed that both promastigote and amastigote forms of (SbLD)-L-R, but not the antimony-sensitive form of LD, express a unique glycan with N-acetylgalactosamine as a terminal sugar. Removal of it either by enzyme treatment or by knocking down the relevant enzyme, galactosyltransferase in (SbLD)-L-R (KD (SbLD)-L-R), compromises the ability to induce the above effects. Infection of M phi s with KD (SbLD)-L-R enhanced the sensitivity toward antimonials compared with infection with (SbLD)-L-R, and infection of BALB/c mice with KD (SbLD)-L-R caused significantly less organ parasite burden compared with infection induced by (SbLD)-L-R. The innate immune receptor, Toll-like receptor 2/6 heterodimer, is exploited by (SbLD)-L-R to activate ERK and nuclear translocation of NF-kappa B involving p50/c-Rel leading to IL-10 induction, whereas MDR1 up-regulation is mediated by PI3K/Akt and the JNK pathway. Interestingly both recombinant IL-10 and (SbLD)-L-R up-regulate MDR1 in M. with different time kinetics, where phosphorylation of PI3K was noted at 12 h and 48 h, respectively, but M phi s derived from IL-10(-/-) mice are unable to show MDR1 up-regulation on infection with (SbLD)-L-R. Thus, it is very likely that an IL-10 surge is a prerequisite for MDR1 up-regulation. The transcription factor important for IL-10-driven MDR1 up-regulation is c-Fos/c-Jun and not NF-kappa B, as evident from studies with pharmacological inhibitors and promoter mapping with deletion constructs.

Scalable flow-sensitive pointer analysis for fava with strong updates

The ability to perform strong updates is the main contributor to the precision of flow-sensitive pointer analysis algorithms. Traditional flow-sensitive pointer analyses cannot strongly update pointers residing in the heap. This is a severe restriction for Java programs. In this paper, we propose a new flow-sensitive pointer analysis algorithm for Java that can perform strong updates on heap-based pointers effectively. Instead of points-to graphs, we represent our points-to information as maps from access paths to sets of abstract objects. We have implemented our analysis and run it on several large Java benchmarks. The results show considerable improvement in precision over the points-to graph based flow-insensitive and flow-sensitive analyses, with reasonable running time.

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.