Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA

Context sensitive pointer analyses based on Whaley and Lam’s bddbddb system have been shown to scale to large Java programs. We provide a technique to incorporate flow sensitivity for Java fields into one such analysis and obtain an escape analysis based on it. First, we express an intraprocedural field flow sensitive analysis, using Fink et al.’s Heap Array SSA form in Datalog. We then extend this analysis interprocedurally by introducing two new φ functions for Heap Array SSA Form and adding deduction rules corresponding to them. Adding a few more rules gives us an escape analysis. We describe two types of field flow sensitivity: partial (PFFS) and full (FFFS), the former without strong updates to fields and the latter with strong updates. We compare these analyses with two different (field flow insensitive) versions of Whaley-Lam analysis: one of which is flow sensitive for locals (FS) and the other, flow insensitive for locals (FIS). We have implemented this analysis on the bddbddb system while using the SOOT open source framework as a front end. We have run our analysis on a set of 15 Java programs. Our experimental results show that the time taken by our field flow sensitive analyses is comparable to that of the field flow insensitive versions while doing much better in some cases. Our PFFS analysis achieves average reductions of about 23% and 30% in the size of the points-to sets at load and store statements respectively and discovers 71% more “caller-captured” objects than FIS.

On the DC Conductivity of HV DC Cable Insulation - Cautions in using the Empirical Models

The electrical conduction in insulating materials is a complex process and several theories have been suggested in the literature. Many phenomenological empirical models are in use in the DC cable literature. However, the impact of using different models for cable insulation has not been investigated until now, but for the claims of relative accuracy. The steady state electric field in the DC cable insulation is known to be a strong function of DC conductivity. The DC conductivity, in turn, is a complex function of electric field and temperature. As a result, under certain conditions, the stress at cable screen is higher than that at the conductor boundary. The paper presents detailed investigations on using different empirical conductivity models suggested in the literature for HV DC cable applications. It has been expressly shown that certain models give rise to erroneous results in electric field and temperature computations. It is pointed out that the use of these models in the design or evaluation of cables will lead to errors.

Influence of quantum confinement on the photoemission from superlattices of optoelectronic materials

We study the photoemission from quantum wire and quantum dot superlattices with graded interfaces of optoelectronic materials on the basis of newly formulated electron dispersion relations in the presence of external photo-excitation. Besides, the influence of a magnetic field on the photoemission from the aforementioned superlattices together with quantum well superlattices in the presence of a quantizing magnetic field has also been studied in this context. It has been observed taking into account HgTe/Hg1-xCdxTe and InxGa1-xAs/InP that the photoemission from these nanostructures increases with increasing photon energy in quantized steps and exhibits oscillatory dependences with the increase in carrier concentration. Besides, the photoemission decreases with increasing light intensity and wavelength, together with the fact that said emission decreases with increasing thickness exhibiting oscillatory spikes. The strong dependences of the photoemission on the light intensity reflects the direct signature of light waves on the carrier energy spectra. The content of this paper finds six applications in the fields of low dimensional systems in general. (C) 2010 Elsevier Ltd. All rights reserved.

Strong motion compatible source geometry

Strong motion array records are analyzed in this paper to identify and map the source zone of four past earthquakes. The source is represented as a sequence of double couples evolving as ramp functions, triggering at different instants, distributed in a region yet to be mapped. The known surface level ground motion time histories are treated as responses to the unknown double couples on the fault surface. The location, orientation, magnitude, and risetime of the double couples are found by minimizing the mean square error between analytical solution and instrumental data. Numerical results are presented for Chi-Chi, Imperial Valley, San Fernando, and Uttarakashi earthquakes. Results obtained are in good agreement with field investigations and those obtained from conventional finite fault source inversions.

Charge distribution in and electric moments of some aliphatic acids

Using the treatment of Smith et al., charge distribution in and consequently the dipole moments of several aliphatic acids have been evaluated. The electric moments of chloro (2·86 D), bromo (2·90 D), iodo (2·06 D) and trichloro (3·00 D) acetic acids have been measured in dioxan solution at 35°. The experimental values are compared with those calculated theoretically and discussed in terms of the various possible structures.

Raman spectra of ferro-electric crystals Part IV. Lithium hydrazinium sulphate (LiN2H5SO4)

The Raman spectrum of lithium hydrazinium sulphate has been recorded both in the single crystal form and in aqueous solutions. The crystal exhibits thirty-eight Raman lines having the frequency shifts 52, 70, 104, 146, 174, 220, 260, 302, 350, 454, 470, 610, 630, 715, 977, 1094, 1115, 1132, 1177, 1191, 1260, 1444, 1493, 1577, 1630, 1670, 2205, 2484, 2553, 2655, 2734, 2848, 2894, 2939, 3028, 3132, 3290 and 3330 cm.−1 The aqueous solution gave rise to six Raman lines at 452, 980, 1050–1200, 1260, 1425 and 1570 cm.−1 apart from a maximum at 180 cm.−1 in the ‘wing’ accompanying the Rayleigh line. The observed Raman lines have been assigned as arising from the vibrations of the SO4 ion, N2H5+ ion, Li-O4 group, hydrogen bond and the lattice. The influence of the hydrogen bond on the N-H stretching vibrations has been pointed out. The various features of the observed spectrum strongly support the hypothesis that the NH3 group in the crystal is rotating around the N-N axis at room temperature.

Raman spectrum of guanidinium aluminium sulphate hexahydrate

The Raman spectrum of guanidinium aluminium sulphate hexahydrate also known as ‘GASH’ which is a ferro-electric crystal and has strong hydrogen bonds has been recorded. 38 Raman lines have been identified in the spectra of GASH. The O-H stretching mode is found to be very much influenced by the hydrogen bond and they appear over a widely extended region from 2240–3600 cm.−1 It can therefore be concluded that all the O-H bonds are hydrogen bonded and some of them are quite strong. The Raman lines due to the N-H vibrations appear with the normal frequency shifts indicating thereby that N-H bonds are not hydrogen bonded. These conclusions are fully supported by the results obtained from the X-ray crystal structure analysis of GASH. The principal vibrations of the Al-(OH2)6 groups have also been identified.

Electric-polarization and structure of molecular complexes of the metallic halides of group II of the periodic table

Dielectric measurements have been made on a number of molecular complexes of beryllium, zinc, cadmium and mercuric halides. The polarizations observed have been interpreted in terms of a tetrahedral configuration for the undissociated beryllium, zinc and cadmium halide complexes. In other cases the observed polarization has been shown to be due to the dissociation of the complex in solution.

Electric dipole moments and molecular structure of aliphatic nitro compounds and oximes

Using the treatment of Smith et al. charge distributions in and consequently the dipole moments of some aliphatic nitro compounds and oximes have been evaluated. The mesomeric moment derived as a difference between the calculated and the observed values gives a clear picture as to how the positive (+M) and the negative (-M) mesomeric effects operate in such systems.

Influence of External Light Waves on the Thermoelectric Power Under Strong Magnetic Field in Ultrathin Films, Quantum Wires and Quantum Dots of Optoelectronic Materials

In this paper, an attempt is made to study the influence of external light waves on the thermoelectric power under strong magnetic field (TPSM) in ultrathin films (UFs), quantum wires (QWs) and quantum dots (QDs) of optoelectronic materials whose unperturbed dispersion relation of the conduction electrons are defined by three and two band models of Kane together with parabolic energy bands on the basis of newly formulated electron dispersion laws in each case. We have plotted the TPSM as functions of film thickness, electron concentration, light intensity and wavelength for UFs, QWs and ODs of InSb, GaAs, Hg1-xCdxTe and In1-xGaxAsyP1-y respectively. It appears from the figures that for UFs, the TPSM increases with increasing thickness in quantum steps, decreases with increasing electron degeneracy exhibiting entirely different types of oscillations and changes with both light intensity and wavelength and these two latter types of plots are the direct signature of light waves on opto-TPSM. For QWs, the opto-TPSM exhibits rectangular oscillations with increasing thickness and shows enhanced spiky oscillations with electron concentration per unit length. For QDs, the opto-TPSM increases with increasing film thickness exhibiting trapezoidal variations which occurs during quantum jumps and the length and breadth of the trapezoids are totally dependent on energy band constants. Under the condition of non-degeneracy, the results of opto-TPSM gets simplified into the well-known form of classical TPSM equation which the function of three constants only and being invariant of the signature of band structure.

Strong shock with radiation near the surface of a star

The propagation of a shock wave, originating in a stellar interior, is considered when it approaches the surface of the star and assumes a self-similar character, "forgetting" its initial conditions. The flow behind the shock is assumed to be spatially isothermal rather than adiabatic to simulate the conditions of large radiative transfer near the stellar surface. The adiabatic and isothermal flows behind such a shock are compared. The exact shock-propagation laws, obtained by solving the equations in similarity variables, for different values of the parameter δ in the undisturbed density law, ρ0 ∝ xδ, and γ, the ratio of specific heats, are compared with the approximate values calculated by Whitham's characteristic rule and the two show a generally good agreement.

Triggered vacuum gap for initiating electric arcs in vacuum

Describes a simple triggered vacuum gap developed for initiating electric arcs in vacuum which uses the property that the voltage required to breakdown a gap in vacuum in the presence of a solid insulating material is considerably less than the voltage required in the absence of such material. In this triggered vacuum gap a solid insulating material is used in the angular space between the main cathode and the concentric trigger electrode forming the auxiliary gap. Different materials like epoxy resin, Teflon (PTFE) and mica have been used. The trigger voltage was found to vary in the range 560-1840 V. The results with epoxy and Teflon were unsatisfactory because the trigger voltages showed wide scatter and the auxiliary gap was soon bridged by metal particles eroded from the electrodes. Though the trigger voltages required with mica were relatively high, consistent triggering could be obtained for a large number of trials before the auxiliary gap was bridged. This was probably due to better thermal stability of mica as compared with either epoxy or Teflon.

Experimental evidence of the cavity theory of sorption-desorption hysteresis by a study of the effect of electric discharge on entrapped water in silica gel

With the use of the quartz fiber spring balance, sorptions and desorptions of water on silica gel at 30°C were studied and the permanent and reproducible hysteresis loop was obtained. At different points on the desorption curve forming the loop, the gel was subjected to high tension glow electric discharge. As a result of the electric discharge, the gel at any point on the desorption curve shifts to a corresponding point on the sorption curve. This is due to the release from the cavities of gel of the entrapped water held in a metastable state. The electric discharge has no effect on the gel at different points on portions of the desorption curve which coincide with the sorption curve and also on the sorption curve itself, indicating the absence of entrapped water in the gel in these regions. The results afford direct experimental evidence of the reality of the cavity theory of sorption-desorption hysteresis.