Polyhedral analysis [9] is an abstract interpretation used for automatic discovery of invariant linear inequalities among numerical variables of a program. Convexity of this abstract domain allows efficient analysis but also loses precision via convex-hull and widening operators. To selectively recover the loss of precision, sets of polyhedra (disjunctive elements) may be used to capture more p...

ion of Optional Numerical Values Jiangchao Liu and Xavier Rival INRIA, ENS, CNRS, PSL*, Paris, France, [email protected], [email protected] Abstract. We propose a technique to describe properties of numerical stores with optional values, that is, where some variables may have no value. Properties of interest include numerical equalities and inequalities. Our approach lifts common linear inequality b...

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...

The objective of this review to be submitted in two independent parts, for steel frames and for RC frames, is to compare their structural performance with respect to the proposed N2-method, and so also of the consequent convenience of using pushover methodology for the seismic analysis of these structures. A preliminary investigation is presented on a pushover analysis used for the seismic perf...

Impact of the sea surface temperature anomalies (SSTAs) on atmospheric circulations are studied with emphasis on the winter climate in Japan with the use of an atmospheric general circulation model. The empirical orthogonal function analyses are performed for precipitation, geopotential height at 500mb and surface air temperature. It is shown that leading eigenvectors of precipitation are zonal...

Mainstream link-based static-rank algorithms (e.g. PageRank and its variants) express the importance of a page as the linear combination of its in-links and compute page importance scores by solving a linear system in an iterative way. Such linear algorithms, however, may give apparently unreasonable staticrank results for some link structures. In this paper, we examine the static-rank computat...

Due to their dual behavior under tension and compression, structures with tension-only members show non-linear behavior. To analize such structures, it is necessary to use a nonlinear analysis scheme. Nonlinear analysis methods generally use gradual loading techniques with/without modification of stiffness matrix of the structure. These methods, in addition to being time consuming algorithms, a...

in static scheduling problem, where there is no change in situation, the challenge is that the large problems can be solved in a short time. in this paper, the static scheduling problem of automated guided vehicles in container terminal is solved by the network simplex algorithm (nsa). the algorithm is based on graph model and their performances are at least 100 times faster than traditional si...

Cylindrical steel tanks are important components of many industrial plants such as oil refineries and chemical plants. Usually failure of cylindrical tanks leads to serious consequences. During the past earthquakes such as 1964 Alaska and 1999 Turkey seismic performance of cylindrical tanks revealed that tanks are seismically vulnerable. Therefore, evaluation of seismic performance of these str...