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

the current building codes provide limited prescriptive guidance on design for protection of buildings due to progressive collapse. progressive collapse is a situation in which a localized failure in a structure, caused by an abnormal load, such as explosions or other happenings. three procedures, often employed for determination of the structural response during progressive collapse i.e. linea...

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

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

In the present paper, the focus is on the evaluation of steel dual-system frame buildings using four main types of structural analysis (Linear Static, Linear Dynamic, Nonlinear Static and Nonlinear Dynamic Analyses) with regard to "Seismic Rehabilitation Code for Existing Buildings in Iran" (based on FEMA 273 and 356) where the first two authors of the article tend to follow the previous work (...

We present a static analysis for inferring the maximum amount of buffer space used by a program consisting of concurrently running processes communicating via buffered channels. We reduce the problem to linear programming by casting the analysis as a fractional capability calculus system. Our analysis can reason about buffers used by multiple processes concurrently, and runs in time polynomial ...

pushover analysis is a simplified nonlinear analysis technique that can be used to estimate the dynamic demands imposed on a structure under earthquake excitations. one of the first steps taken in this approximate solution is to assess the maximum roof displacement, known as target displacement, using the base shear versus roof displacement diagram. that could be done by the so-called dynamic p...

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. We present the domain, its representation and the basic operations on grids necessary to define the abstract...