Points-to Analysis as a System of Linear Equations

We propose a novel formulation of the points-to analysis as a system of linear equations. With this, the efficiency of the points-to analysis can be significantly improved by leveraging the advances in solution procedures for solving the systems of linear equations. However, such a formulation is non-trivial and becomes challenging due to various facts, namely, multiple pointer indirections, address-of operators and multiple assignments to the same variable. Further, the problem is exacerbated by the need to keep the transformed equations linear. Despite this, we successfully model all the pointer operations. We propose a novel inclusion-based context-sensitive points-to analysis algorithm based on prime factorization, which can model all the pointer operations. Experimental evaluation on SPEC 2000 benchmarks and two large open source programs reveals that our approach is competitive to the state-of-the-art algorithms. With an average memory requirement of mere 21MB, our context-sensitive points-to analysis algorithm analyzes each benchmark in 55 seconds on an average.

Exact-Solutions Of Linear Partial-Differential Equations With Variable-Coefficients

Backlund transformations relating the solutions of linear PDE with variable coefficients to those of PDE with constant coefficients are found, generalizing the study of Varley and Seymour [2]. Auto-Backlund transformations are also determined. To facilitate the generation of new solutions via Backlund transformation, explicit solutions of both classes of the PDE just mentioned are found using invariance properties of these equations and other methods. Some of these solutions are new.

On Computation of Minimum Distance of Linear Block Codes Above 1/2 Rate Coding

The minimum distance of linear block codes is one of the important parameter that indicates the error performance of the code. When the code rate is less than 1/2, efficient algorithms are available for finding minimum distance using the concept of information sets. When the code rate is greater than 1/2, only one information set is available and efficiency suffers. In this paper, we investigate and propose a novel algorithm to find the minimum distance of linear block codes with the code rate greater than 1/2. We propose to reverse the roles of information set and parity set to get virtually another information set to improve the efficiency. This method is 67.7 times faster than the minimum distance algorithm implemented in MAGMA Computational Algebra System for a (80, 45) linear block code.

Data compression by linear prediction for storage and transmission of EEG signals

The EEG time series has been subjected to various formalisms of analysis to extract meaningful information regarding the underlying neural events. In this paper the linear prediction (LP) method has been used for analysis and presentation of spectral array data for the better visualisation of background EEG activity. It has also been used for signal generation, efficient data storage and transmission of EEG. The LP method is compared with the standard Fourier method of compressed spectral array (CSA) of the multichannel EEG data. The autocorrelation autoregressive (AR) technique is used for obtaining the LP coefficients with a model order of 15. While the Fourier method reduces the data only by half, the LP method just requires the storage of signal variance and LP coefficients. The signal generated using white Gaussian noise as the input to the LP filter has a high correlation coefficient of 0.97 with that of original signal, thus making LP as a useful tool for storage and transmission of EEG. The biological significance of Fourier method and the LP method in respect to the microstructure of neuronal events in the generation of EEG is discussed.

Variable Elimination in Linear Constraints

Gauss and Fourier have together provided us with the essential techniques for symbolic computation with linear arithmetic constraints over the reals and the rationals. These variable elimination techniques for linear constraints have particular significance in the context of constraint logic programming languages that have been developed in recent years. Variable elimination in linear equations (Guassian Elimination) is a fundamental technique in computational linear algebra and is therefore quite familiar to most of us. Elimination in linear inequalities (Fourier Elimination), on the other hand, is intimately related to polyhedral theory and aspects of linear programming that are not quite as familiar. In addition, the high complexity of elimination in inequalities has forces the consideration of intricate specializations of Fourier's original method. The intent of this survey article is to acquaint the reader with these connections and developments. The latter part of the article dwells on the thesis that variable elimination in linear constraints over the reals extends quite naturally to constraints in certain discrete domains.

Positional Consensus of Multi-Agent Systems Using Linear Programming Based Decentralized Control with Rectilinear Decision Domain

In this paper we develop a Linear Programming (LP) based decentralized algorithm for a group of multiple autonomous agents to achieve positional consensus. Each agent is capable of exchanging information about its position and orientation with other agents within their sensing region. The method is computationally feasible and easy to implement. Analytical results are presented. The effectiveness of the approach is illustrated with simulation results.

Linear electro‐optic dispersion in (‐)‐2‐(α‐methylbenzylamino)‐5‐nitropyridine single crystals

The variation of the linear electro-optic effect in (-)-2-(alpha-methylbenzylamino)-5-nitropyridine with the wavelength of the incident light at room temperature has been measured. The reduced half-wave voltages have been found to have the values 2.1, 2.8, and 6.0 kV at 488, 514.5, and 632.8 nm respectively and the corresponding values of the linear electro-optic coefficient have been evaluated.;The interpretation of the results in terms of the structures of the molecule and the crystal is discussed. The thermal variation of the birefringence has also been investigated and the coefficient for the temperature variation of the refractive index difference is found to have the value (d Delta n/dT)=9.3X10(-5) K-1.

Non-Linear effects of membrane fluctuations in the dilute lamellar phase

The static structure factor of the dilute sterically stabilised lamellar phase is calculated and found to have an Ornstein-Zernike form with a correlation length that diverges at infinite dilution. The relaxation time for concentration fluctuations at large wave number q is shown to go as q-3 with a coefficient independent of the membrane bending rigidity. The membrane fluctuations also give rise to strongly frequency-dependent viscosities at high frequencies.

Practical constant-accuracy linear weir

This paper is concerned with the modifications of the Extended Bellmouth Weir (EBM weir) earlier designed by Keshava Murthy. It is shown that by providing inclined sides (equivalent to providing an inward-trapezoidal weir) over a sector of a circle of radius R, separated by a distance 2t, and depth d, the measurable range of EBM can be considerably enhanced (over 375%). Simultaneously, the other parameters of the weir are optimized such that the reference plane of the weir coincides with its crest making it a constant-accuracy linear weir. Discharge through the aforementioned weir is proportional to the depths of flow measured above the crest of the weir for all heads in the range of 0.5R less-than-or-equal-to h less-than-or-equal-to 7.9R, within a maximum deviation of +/-1% from the theoretical discharge. Experiments with two typical weirs show excellent agreement with the theory by giving a constant-average coefficient of discharge of 0.619

Linear optical properties of BaNaB9O15, BaLiB9O15 and SrLiB9O15 glasses

Transparent BaNaB9O15 (BNBO), BaLiB9O15 (BLBO) and SrLiB9O15 (SLBO) glasses were fabricated via the conventional melt-quenching technique. X-ray diffraction (XRD) and Differential thermal analysis (DTA) studies carried out on the as-quenched glasses confirmed their amorphous and glassy nature, respectively. The optical properties for these as-quenched glasses were investigated. The refractive index, optical band gap. Urbach energy and Fermi energy were determined. The average electronic polarizability calculated from the refractive index expression. (C) 2011 Elsevier B.V. All rights reserved.

Soft-chemical synthesis of new non-linear optical materials, K0.5M0.5Ti0.5OPO4(M = Nb, Ta),related to KTiOPO4

Soft-chemical oxidation of KTiOPO4-like KM(0.5)(V)Ti(0.5)(III)OPO(4) (M = Nb, Ta) using chlorine in CHCl3 is accompanied by partial deintercalation of potassium, yielding K(0.5)MV(0.5)Ti(0.5)(IV)OPO(4) compounds which are new non-linear optical materials that exhibit efficient second-harmonic generation of 1064 nm radiation, as does KTiOPO4.

Linear and nonlinear optical properties of cumulenes and polyenynes: a model exact study

Model exact static and frequency-dependent polarizabilities, static second hyperpolarizabilities and THG coefficents of cumulenes and polyenynes, calculated within the correlated Pariser-Parr-Pople (PPP) model defined over the pi-framework are reported and compared with the results for the polyenes. It is found that for the same chain length, the polarizabilities and THG coefficients of the cumulenes are largest and those of the polyenynes smallest with the polyenes having an intermediate value. The optical gap of the infinite cumulene is lowest (0.75 eV) and is associated with a low transition dipole moment for an excitation involving transfer of an electron between the two orthogonal conjugated pi-systems. The polyenynes have the largest optical gap (4.37 eV), with the magnitude being nearly independent of the chain length. This excitation involves charge transfer between the conjugated bonds in the terminal triple bond. Chain length and frequency dependence of alpha(ij) and gamma(ijkl) of these systems are also reported. The effect of a heteroatom on the polarizability and THG coefficients of acetylenic systems is also reported. It has been found that the presence of the heteroatom reduces the polarizability and THG coefficients of these systems, an effect opposite to that found in the polyenes and cyanine dyes. This result has been associated with the different nature of the charge transfer in the acetylenic systems.

Linear electro-optic effect and temperature coefficient of birefringence in 4-nitro-4script-methylbenzylidene aniline single crystals

A study of the linear electro?optic effect in single crystals of the organic compound, 4?nitro�4??methylbenzylidene aniline is reported. The reduced half?wave voltages have been found to have values 2.8, 1.3, and 1.1 kV at 632.8, 514.5, and 488.0 nm, respectively and the corresponding values of the largest linear electro?optic coefficient have been calculated. The thermal variation of the birefringence has also been investigated and the temperature variation of the refractive index difference is found to have the value, d?n/dT = 15.8 × 10?5 K?1.

Linear dynamics and active control of an elastically supported travelling string

In this paper, the linear dynamics and active control of a string travelling with uniform velocity is presented. Discrete elastic supports are introduced along the length of the string. Finite element formulation is adopted to obtain the governing equations of motion. The velocity of translation introduces gyroscopic terms in the system equations. The effect of translation and the discrete elastic supports on the free vibration solution is studied. The solution is utilized in actively controlling the string vibrations due to an initial disturbance. The control, affected in modal space, is optimal with respect to a quadratic performance index. Numerical results are presented to demonstrate the effectiveness of the control strategy in regulating the travelling string vibrations.

Molecular interpretation of the linear relationship between the entropy and the enthalpy of activation of charge transfer reactions in polar liquids

The well-known linear relationship (T?S# =??H# +?, where 1 >? > 0,? > 0) between the entropy (?S#) and the enthalpy (?H#) of activation for reactions in polar liquids is investigated by using a molecular theory. An explicit derivation of this linear relation from first principles is presented for an outersphere charge transfer reaction. The derivation offers microscopic interpretation for the quantities? and?. It has also been possible to make connection with and justify the arguments of Bell put forward many years ago.