An efficient, parametric fixpoint algorithm for analysis of java bytecode

Abstract interpretation has been widely used for the analysis of object-oriented languages and, in particular, Java source and bytecode. However, while most existing work deals with the problem of flnding expressive abstract domains that track accurately the characteristics of a particular concrete property, the underlying flxpoint algorithms have received comparatively less attention. In fact, many existing (abstract interpretation based—) flxpoint algorithms rely on relatively inefHcient techniques for solving inter-procedural caligraphs or are speciflc and tied to particular analyses. We also argüe that the design of an efficient fixpoint algorithm is pivotal to supporting the analysis of large programs. In this paper we introduce a novel algorithm for analysis of Java bytecode which includes a number of optimizations in order to reduce the number of iterations. The algorithm is parametric -in the sense that it is independent of the abstract domain used and it can be applied to different domains as "plug-ins"-, multivariant, and flow-sensitive. Also, is based on a program transformation, prior to the analysis, that results in a highly uniform representation of all the features in the language and therefore simplifies analysis. Detailed descriptions of decompilation solutions are given and discussed with an example. We also provide some performance data from a preliminary implementation of the analysis

Computational study on microstructure evolution and magnetic property of laser additively manufactured magnetic materials

Additive manufacturing (AM) offers an unprecedented opportunity for the quick production of complex shaped parts directly from a powder precursor. But its application to functional materials in general and magnetic materials in particular is still at the very beginning. Here we present the first attempt to computationally study the microstructure evolution and magnetic properties of magnetic materials (e.g. Fe-Ni alloys) processed by selective laser melting (SLM). SLM process induced thermal history and thus the residual stress distribution in Fe-Ni alloys are calculated by finite element analysis (FEA). The evolution and distribution of the $\gamma$-Fe-Ni and FeNi$_3$ phase fractions were predicted by using the temperature information from FEA and the output from CALculation of PHAse Diagrams (CALPHAD). Based on the relation between residual stress and magnetoelastic energy, magnetic properties of SLM processed Fe-Ni alloys (magnetic coercivity, remanent magnetization, and magnetic domain structure) are examined by micromagnetic simulations. The calculated coercivity is found to be in line with the experimentally measured values of SLM-processed Fe-Ni alloys. This computation study demonstrates a feasible approach for the simulation of additively manufactured magnetic materials by integrating FEA, CALPHAD, and micromagnetics.Comment: 20 pages, 15 figure

Visual motion processing and human tracking behavior

The accurate visual tracking of a moving object is a human fundamental skill that allows to reduce the relative slip and instability of the object's image on the retina, thus granting a stable, high-quality vision. In order to optimize tracking performance across time, a quick estimate of the object's global motion properties needs to be fed to the oculomotor system and dynamically updated. Concurrently, performance can be greatly improved in terms of latency and accuracy by taking into account predictive cues, especially under variable conditions of visibility and in presence of ambiguous retinal information. Here, we review several recent studies focusing on the integration of retinal and extra-retinal information for the control of human smooth pursuit.By dynamically probing the tracking performance with well established paradigms in the visual perception and oculomotor literature we provide the basis to test theoretical hypotheses within the framework of dynamic probabilistic inference. We will in particular present the applications of these results in light of state-of-the-art computer vision algorithms

Uniqueness of canonical tensor model with local time

Canonical formalism of the rank-three tensor model has recently been proposed, in which "local" time is consistently incorporated by a set of first class constraints. By brute-force analysis, this paper shows that there exist only two forms of a Hamiltonian constraint which satisfies the following assumptions: (i) A Hamiltonian constraint has one index. (ii) The kinematical symmetry is given by an orthogonal group. (iii) A consistent first class constraint algebra is formed by a Hamiltonian constraint and the generators of the kinematical symmetry. (iv) A Hamiltonian constraint is invariant under time reversal transformation. (v) A Hamiltonian constraint is an at most cubic polynomial function of canonical variables. (vi) There are no disconnected terms in a constraint algebra. The two forms are the same except for a slight difference in index contractions. The Hamiltonian constraint which was obtained in the previous paper and behaved oddly under time reversal symmetry can actually be transformed to one of them by a canonical change of variables. The two-fold uniqueness is shown up to the potential ambiguity of adding terms which vanish in the limit of pure gravitational physics.Comment: 21 pages, 12 figures. The final result unchanged. Section 5 rewritten for clearer discussions. The range of uniqueness commented in the final section. Some other minor correction

L\'evy-stable two-pion Bose-Einstein correlations in sNN=200\sqrt{s_{_{NN}}}=200 GeV Au++Au collisions

We present a detailed measurement of charged two-pion correlation functions in 0%-30% centrality $\sqrt{s_{_{NN}}}=200$ GeV Au$+$Au collisions by the PHENIX experiment at the Relativistic Heavy Ion Collider. The data are well described by Bose-Einstein correlation functions stemming from L\'evy-stable source distributions. Using a fine transverse momentum binning, we extract the correlation strength parameter $\lambda$, the L\'evy index of stability $\alpha$ and the L\'evy length scale parameter $R$ as a function of average transverse mass of the pair $m_T$. We find that the positively and the negatively charged pion pairs yield consistent results, and their correlation functions are represented, within uncertainties, by the same L\'evy-stable source functions. The $\lambda(m_T)$ measurements indicate a decrease of the strength of the correlations at low $m_T$. The L\'evy length scale parameter $R(m_T)$ decreases with increasing $m_T$, following a hydrodynamically predicted type of scaling behavior. The values of the L\'evy index of stability $\alpha$ are found to be significantly lower than the Gaussian case of $\alpha=2$, but also significantly larger than the conjectured value that may characterize the critical point of a second-order quark-hadron phase transition.Comment: 448 authors, 25 pages, 11 figures, 4 tables, 2010 data. v2 is version accepted for publication in Phys. Rev. C. Plain text data tables for the points plotted in figures for this and previous PHENIX publications are (or will be) publicly available at http://www.phenix.bnl.gov/papers.htm

Measurement of Transverse Polarization of Electrons Emitted in Free Neutron Decay

The final analysis of the experiment determining both components of the transverse polarization of electrons ($\sigma_{T_{1}}$, $\sigma_{T_{2}}$) emitted in the $\beta$-decay of polarized, free neutrons is presented. The T-odd, P-odd correlation coefficient quantifying $\sigma_{T_{2}}$, perpendicular to the neutron polarization and electron momentum, was found to be $R=$ 0.004$\pm0.012\pm$0.005. This value is consistent with time reversal invariance, and significantly improves both earlier result and limits on the relative strength of imaginary scalar couplings in the weak interaction. The value obtained for the correlation coefficient associated with $\sigma_{T_{1}}$, $N=$ 0.067$\pm0.011\pm$0.004, agrees with the Standard Model expectation, providing an important sensitivity test of the experimental setup. The present result sets constraints on the imaginary part of scalar and tensor couplings in weak interaction. Implications for parameters of the leptoquark exchange model and minimal supersymmetric model (MSSM) with R-parity violation are discussed