This paper explores the abstract domain of grids, a domain that is able to represent sets of equally spaced points and hyperplanes over an n-dimensional vector space. Such a domain is useful for the static analysis of the patterns of distribution of the values program variables can take. Besides the bare abstract domain, we present a complete set of operations on grids that includes all that is...

the aim of the present paper is to evaluate the influence of the soil- foundation- structure interaction (sfsi) effects on the component demand modifier factor of concrete gravity beams based on asce 41-06 standard. to this end, the beam on the nonlinear winkler foundation approach is employed which is a simple and efficient method. at first, four sets of 3-, 6-, 10- and 15-storey concrete mome...

in the current study the effect of casimir force and squeezed film damping on the pull-in instability and dynamic behavior of electrostatically actuated nano and micro electromechanical systems is investigated separately. linear elastic membrane theory is used to model the static and dynamic behavior of system for strip, annular and disk geometries. squeezed film damping effect is modeled using...

In the first part of the paper, we consider the problem of generation of polynomial invariants of iterative loops with operator of initialization of loop and non-singular linear operator in the loop body. In the article we also show the algorithm for calculating the basic invariants for linear operator of the Jordan cell, and an algorithm for calculating the basic invariants of diagonalizable l...

Abstract Vertical structures exhibit flexibility than ordinary and also they show sensitivity in earthquake excitation. As per the safety standards of construction, are built with simple uniform configurations. Focusing on aesthetic view these vertical structures, discontinuity stiffness occurs there by resulting soft storey. this feature is highly undesirable buildings especially seismic activ...

Linear Logic is gaining momentum in computer science because it ooers a uniied framework and a common vocabulary for studying and analyzing diierent aspects of programming and computation. We focus here on models where computation is identiied with proof search in the sequent system of Linear Logic. A proof normalization procedure, called \focusing", has been proposed to make the problem of pro...

this paper investigates the effect of different methods of carbon nanotubes distribution in a thin matrix on static and dynamic behavior of the nanocomposite. five different symmetric patterns of distribution are considered, including four parabolic patterns and a linear one. for each pattern, the effective mechanical properties of the resultant nanocomposite are calculated using the rule of mi...

There are various methods for the analysis of the interactional behavior of the surrounding land, using the lining structure which is the most common method of deigning lining structure tools for the static loads by using the hyper static methods. In recent years, there has been a question that depicts whether this method provides the best results in designing the tunnel structure or not.Due to...

Progressive collapse is a chain reaction of failures propagating throughout a portion of the structure disproportionate to the original local failure occurring when a sudden loss of a critical load‐bearing element initiates a structural element failure, eventually resulting in partial or full collapse of the structure. Both General Services Administration (GSA) and United States Department of D...