Pointer analysis is an important part for the source code analysis of C programs. In this paper, we propose a bottom-up and flowand context-sensitive pointer analysis algorithm, where bottom-up refers to the ability to perform the analysis from callee modules to caller modules. Our approach is based on a new modular pointer analysis domain named the update history that can abstract memory state...

an active antenna for transmitter application in s frequency band is designed and analyzed using harmonic balance technique which is based on the nonlinear model of active devices. in this active antenna, the amplifier is integrated with the radiator which is a rectangular patch antenna. this patch antenna is analyzed employing full-wave momentum method. by applying nonlinear model of transisto...

In strong contrast to their non-deterministic counterparts, deterministic top-down tree automata received little attention in the scientific literature. The aim of this article is to survey recent and less recent results and stipulate new research directions for top-down deterministic tree automata motivated by the advent of the XML data exchange format. In particular, we survey different ranke...

An axisymmetric jet issued from a sharp edged circular convergent nozzle has been studied experimentally in the near field at Reynolds number 5.3x104  to search the saddle shape behavior of mean velocity and the role of mean static pressure in the jet flow. Due to the vena contracta effect the centerline mean velocity of the jet increases about 4.2% of its exit value and corresponding decrease ...

This paper examines differences in performances of a range of torsionally stiff and flexible single story buildings designed with the provisions of Iranian Standard 2800. Seismic nonlinear dynamic time history behavior of eight building models subjected to seven horizontal bi-directional design spectra compatible ground motions are investigated. These models cover a wide range of very torsional...

A new class of push-pull molecules was recently identified, based on pyridine dicarboxamide as an electron acceptor group and bearing a fluorenethynyl pi-conjugated bridge. The molecules present good second and third order nonlinear properties, with a static quadratic hyperpolarisability mubeta (at 1.907 microm) of 320 x 10(-48) esu (mubeta(0) = 249 x 10(-48) esu) and a maximum two-photon absor...

In this paper, the nonlinear autoregressive model with exogenous variables as a new neural network is used for timing of the stock markets on the basis of the technical analysis of Japanese Candlestick. In this model, the “nonlinear autoregressive model with exogenous variables” is an analyzer. For a more reliable comparison, here (like the literature) two approaches of  Raw-based and Signal-ba...

Decision procedures are widely used in automated reasoning tools in order to reason about data structures. In applications, many conjectures fall outside the theory handled by a decision procedure. Often, reasoning about user-defined functions on those data structures is needed. For this, inductive reasoning has to be employed. In this work, classes of function definitions and conjectures are i...

It is shown that a gauged nonlinear O(3) sigma model with anomalous magnetic moment interaction in 2 + 1 dimensions is exactly integrable for static, self-dual field configurations. The matter fields are exactly equivalent to those of the usual ungauged nonlinear O(3) sigma model. These static soliton solutions can be mapped into an Abelian purely magnetic vortex solutions through a suitable re...