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

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

Progressive collapse is a condition where local failure of a primary structural component leads to the collapse of neighboring members and the whole structure, consequently. In this paper, the progressive collapse potential of seismically designed steel dual systems with buckling restrained braces is investigated using the alternate path method, and their performances are compared with those of...

the nonlinear static procedures (nsps) proposed by design codes do not lead to reliable results especially for tall buildings. they generally provide inconsistent estimates of inelastic seismic demands, especially for the top floors due to their inabilities in considering the higher modes effects. in this paper, a new enhanced pushover procedure is proposed which is based on the envelope of the...

Masonry infill walls are often used as non-structural elements. According to the past structural failure, ignorance of interaction between infill walls and enclosed frame may lead to the different seismic response for non-ductile building frames. The main contribution of this paper is to analytically investigate the behavior of reinforced concrete with masonry infill panels as participating str...

the purpose of this study is to determine the effect of vierendeel panel width and vertical truss spacing ratio in an inelastic behavior of the stf system due to earthquake loads. the stf system is applied to a six-storey building that serves as apartments [2]. the stf system is used in the building in the transverse direction (n-s direction), while in the longitudinal direction (w-e direction)...

This paper presents the formulation and implementation of a new static push-over analysis algorithm for the seismic rehabilitation of building frames, in accordance with “NEHRP Guidelines for the Seismic Rehabilitation of Buildings”. The concept of the push-over analysis is described and problems associated with its implementation in a nonlinear finite element program are examined. Earlier work...

bridges, as an essential part of transportation system, play a special role in economy, politic and military all around the world. serviceability of bridges is of high importance especially in emergencies, helping injured people and proportioning transportation after earthquakes. earthquake regulation codes, normally suggest linear methods to conduct the analysis, and nonlinear analysis is bare...

displacement coefficient method (dcm) stipulated in the asce 41-06 standard is becoming the preferred method for seismic rehabilitation of buildings in many high-seismic-hazard countries. applications of the method for non-building constructions such as bridges are beyond the scope of this standard. thus its application to this kind of structure should be approached with care. target displaceme...

CASPA constitutes a push-button tool for automatically proving secrecy and authenticity properties of cryptographic protocols. The tool is grounded on a novel technique for causality-based abstraction of protocol executions that allows establishing proofs of security for an unbounded number of concurrent protocol executions in an automated manner. We demonstrate the expressiveness and efficienc...